201,022 research outputs found
Su[m]ma de casib[us] ;:Summa de m[at]rimonio.
No full textRaymond of Peñaforte's Summa de poenitentia and Summa de matrimonio. Note in later hand on fol. 296v reads, "Explicu[n]t su[m]ma de casib[us] [et] su[m]ma de mat[ri]monio"; notes on the verso of fol. ii read: "Summa de casibus" in a fourteenth-century hand, "Summa de casibus conscientiae", and "13e s. comp.[osé] par R. des frères V ... rs" in an eighteenth- or nineteenth-century hand
Recommended from our members
Su[m]ma de casib[us] ;:Summa de m[at]rimonio.
No full textRaymond of Peñaforte's Summa de poenitentia and Summa de matrimonio. Note in later hand on fol. 296v reads, "Explicu[n]t su[m]ma de casib[us] [et] su[m]ma de mat[ri]monio"; notes on the verso of fol. ii read: "Summa de casibus" in a fourteenth-century hand, "Summa de casibus conscientiae", and "13e s. comp.[osé] par R. des frères V ... rs" in an eighteenth- or nineteenth-century hand
Negotiating Authority and Epistemic Humility: Thomas Aquinas’ Summa Theologiae I, 65-74 as a Propaedeutic Training in the Reverential Reading of Patristic Texts
No full textAquinas’ treatment of the Creation narrative (Genesis 1:1-2:4) within QQ 65-74 of the prima pars of his Summa Theologiae (ST) has long been and remains neglected, virtually unread, within the community of the readers of Aquinas. This neglect is born of a mistaken expectation of this section of the ST as a quest for theological or philosophical truth. Those reading his parallel treatments of the same material have deemed ST I, 65-74 insufficiently robust, shallow, even embarrassing for those who see him as a theological touchstone. But the readers of Aquinas in general and of the ST in particular have not asked why Aquinas elected to engage in this apparently simplistic treatment of a Scriptural passage which addressed issues that were foundational to his philosophical and theological project. Drawing upon Aquinas’ historical context and through comparison with his other treatments of the same biblical material this thesis argues that within these QQ Aquinas deliberately shaped his use of patristic sources to create both a primer on the use of these patristic sources for his students and, in so doing, also made a necessary appeal to all his readers that they embrace Augustine’s epistemic humility. Read through this lens, ST I, 65-74 provides important insights into Aquinas’ use of ideas and authoritative texts and once more gives voice to his still relevant call for epistemic humility
Semantic-based distributed ledger technology for pervasive cyber-physical systems
No full textL'evoluzione dei sistemi cyberfisici (Cyber-Physical System, CPS) e delle Distributed Ledger Technology (DLT) rappresenta un passo significativo nella progettazione di infrastrutture sicure e intelligenti in diversi ambiti, tra cui l'industria manifatturiera, le smart city e l'Internet of Thing (IoT). Con l'integrazione sempre più stretta delle capacità computazionali dei sistemi CPS con i processi fisici, diventa essenziale una gestione dei dati robusta, trasparente e decentralizzata. Le DLT, in particolare la blockchain, offrono una soluzione garantendo l'integrità dei dati e abilitando interazioni sicure peer-to-peer, risultando ideali per soddisfare i requisiti di fiducia e visibilità delle informazioni negli ambienti CPS.
In questo contesto, la tesi presenta un framework basato su tecnologie semantiche per integrare le DLT nei sistemi CPS, sfruttando il Semantic Web of Thing (SWoT) per migliorare il processo decisionale, la gestione delle risorse e il ragionamento automatico nei sistemi decentralizzati. L'architettura proposta affronta sfide chiave come scalabilità, sicurezza e interoperabilità, combinando le DLT con tecnologie semantiche per consentire ai dispositivi con risorse limitate di eseguire compiti complessi di ragionamento localmente, mantenendo l'integrità e la fiducia dei dati a livello di sistema.
I principali contributi del framework includono: (1) un layer di knowledge representation che supporta il resource discovery avanzato e la selezione dei servizi ottimizzata mediante ragionamento automatico; (2) un modello di apprendimento federato che abilita l'addestramento sicuro e decentralizzato dei modelli tra dispositivi edge e IoT, preservando la privacy dei dati e ottimizzando l'efficienza della rete; e (3) un componente blockchain arricchito semanticamente che utilizza smart contract e matchmaking semantico per gestire e prioritizzare dinamicamente le risorse. Una validazione sperimentale approfondita, inclusa un'applicazione pratica sulla mobilità sostenibile per veicoli elettrici, dimostra l'applicabilità del framework a scenari reali di CPS, evidenziando miglioramenti nella gestione dei dati, nella scalabilità e nell'utilizzo delle risorse.The evolution of Cyber-Physical Systems (CPSs) and Distributed Ledger Technologies (DLTs) marks a significant step forward in building secure and intelligent infrastructures across various domains, including manufacturing, smart cities, and the Internet of Things (IoT). As CPS systems increasingly integrate computational capabilities with physical processes, the need for robust, transparent, and decentralized data management becomes essential. DLTs, particularly blockchain, provide a solution by ensuring data integrity and enabling secure peer-to-peer interactions, making it ideal for supporting the trust and information visibility requirements of CPS environments.
In this context, this dissertation presents a semantic-based framework for integrating DLTs into CPSs, leveraging the Semantic Web of Things (SWoT) to enhance decision-making, resource management, and automated reasoning within decentralized systems. The proposed architecture addresses key challenges in scalability, security, and interoperability by combining DLTs with semantic technologies to enable resource-constrained devices to perform complex reasoning tasks locally while preserving data integrity and trust across the system.
The framework’s primary contributions include: (1) a knowledge representation layer that supports advanced resource discovery and service selection through automated reasoning; (2) a federated learning model that enables secure, decentralized model training across edge and IoT devices, preserving data privacy and optimizing network efficiency; and (3) a semantic-enhanced blockchain mechanism that utilizes smart contracts and semantic matchmaking to dynamically manage and prioritize resources across the continuum. Extensive experimental validation, including a case study on green mobility for electric vehicles, demonstrates the framework’s applicability to real-world CPS scenarios, showcasing improvements in data handling, scalability, and resource utilization
Geberis philosophi perspicacissimi, summa perfectionis magisterii in sua natura ex Bibliothecae Vaticanae exemplari undecunq[ue] : emendatissimo nuper edita, cum quorundam capituloru[m], vasorum, & fornacum, in uolumine aliàs mendosissimè impresso omissorum : libriq[ue] inuestigationis magisterij & testamenti eiusdem Geberis, ac Aurei triu[m] uerborum libelli et Auicennae summi medici & acutissimi philosophi mineralium additio[n]e castigatissima.
No full textWoodcut illustrations.Signatures: [A]⁸ B-R⁸.Numerous errors in foliation.Imprint from colophons.The author of the Summa, Pseudo-Geber (not to be confused with Geber (Jābir ibn Ḥayyān)) was in all probability Paul of Taranto.Duveen, D.I. Alchemica et chemica,Mode of access: Internet.Bound in contemporary limp vellum; ink title and date on spine; Bernard Pagel's label on front pastedown; manuscript notations on front free endpaper
Summa angelica
No full textDate de création : Anno d[omi]ni.M.cccc.nonagesimo.secundodie vero quarto Junii [4 juin 1492]
Titre pris à la page de faux-titre
Adresse bibliographique prise au colophon
2 col. de 44 lignes ; caractères gothiques
Marque de l'imprimeur au dernier feuillet
Propriété et historique de la conservation : Marque d'appartenance manuscrite de Frère Angelus Asc.
Reliure : Fermoir en tissu
Inclut : Angelo Carletti, 1411-1495 Summa angelicaEmpreinte lina ispe siin +qca (3) 1492 (R)Signatures : [ ]⁸ a⁸ b-z¹² A-V¹² X⁸ [ ]¹²Références :
- Incunabula Short Title Catalogue ia00723000
- Polain, M.-L. Catalogue des livres imprimés au quinzième siècle des bibliothèques de Belgique 21
Critical node/edge detection problems on trees
No full textWe consider the problem of removing a limited subset of nodes and/or edges from a graph in order to minimize the so-called pairwise connectivity of the residual graph, which is defined as the total cost of the pairs of nodes still connected by a path. This is a well-studied version of a family of problems known as critical node or edge detection problems. However, while most of the literature focuses on deleting nodes or edges separately, we allow the simultaneous removal of nodes and edges. We consider both the case in which the nodes and edges removed must satisfy a joint weight limit, and the case in which two separate weight limits are given for nodes and edges. We study the complexity of several problems of this type when the given graph is a tree, providing NP-hardness results or polynomial-time algorithms for the different cases that we analyze
Balas formulation for the union of polytopes is optimal
No full textA celebrated theorem of Balas gives a linear mixed-integer formulation for the union of two nonempty polytopes whose relaxation gives the convex hull of this union. The number of inequalities in Balas formulation is linear in the number of inequalities that describe the two polytopes and the number of variables is doubled. In this paper we show that this is best possible: in every dimension there exist two nonempty polytopes such that if a formulation for the convex hull of their union has a number of inequalities that is polynomial in the number of inequalities that describe the two polytopes, then the number of additional variables is at least linear in the dimension of the polytopes. We then show that this result essentially carries over if one wants to approximate the convex hull of the union of two polytopes and also in the more restrictive setting of lift-and-project
- …
