1,354,415 research outputs found
Formulazione Unificata di Elementi finiti Piani per Analisi Termoelastica di Strutture Multistrato, XVI Congresso Nazionale AIDAA, ROMA
No full textHierarchic finite elements based on unified formulation for the static analysis of shear actuated multilayered piezoelectric plates
No full textFinite Element based on RMVT anf Unified Formulation for Thermal stress analysis of multilayered plates
No full text
Influence of temperature profile on the accuracy of classical and refined multilayered plate elements
No full textUnified formulation for finite element thermoleastic analysis of multilayered anisotropic composite plates
No full textFormalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base
No full textThe DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml)
True atherosclerotic pedis artery aneurysm.
No full textAbstract
We report an unusual case of a true atherosclerotic dorsalis pedis aneurysm in a relatively young (53-year-old), ex-semi-professional soccer player patient. This lesion is a rare entity and due to its location may require surgical intervention and removal. The presentation, the diagnostic evaluation, and the surgical treatment of the aneurysm are discussed. Pathological analysis did confirm atherosclerotic findings despite the rapid clinical onset of the lesion and the possible traumatic origin
- …
