12,906 research outputs found
La colpa professionale del medico a due anni dalla Legge Balduzzi
No full textIl contributo, a due anni dalla controversa Legge Balduzzi, si ripropone di ripercorrerne tutte le tappe interpretative, mettendone in luce gli aspetti di persistente criticità
Non solo imperizia: la Cassazione amplia l'orizzonte applicativo della Legge Balduzzi
No full textSi tratta di una nota a due sentenze della IV Sezione della Corte di Cassazione che, seppur attraverso percorsi diversi, ampliano l'orizzonte applicativo della Legge Balduzzi, rendendo l'esimente ivi prevista anche alle ipotesi di negligenza ed imprudenza
Dehydroepiandrosterone (DHEA) and the Aging Brain: Flipping a Coin in the Fountain of Youth
No full text
The use of a smartphone application to disseminate guidelines on pancreatic cystic neoplasms
Full text linkOfficially release in October 2019, iCyst was developed as part of the project entitled “Current application of the European evidence‐based guidelines on pancreatic cystic tumors”, which was promoted by the Department of General and pancreatic Surgery – The Pancreas Institute, University of Verona Hospital Trust (Institutional Review Board approval number 2390CESC – Comitato Etico delle Province di Verona e Rovigo), and received funding from the United European Gastroenterology Activity Grants – Support of Standards & Guidelines initiatives, dissemination of existing clinical practice 2019 (endorse by the European Digestive Surgery – EDS)
Performance optimization on Manufacturing Systems: an hybrid systems approach
No full textIn this paper we present a novel formulation for analysis and performance optimization of flexible manufacturing systems. We approximately represent the dynamics of the system with an hybrid model and derive an optimum control strategy for part routing and machine scheduling. We show that the system can be described with a single formalism as a stochastic discrete-time, time-varying, state variable model which allows fast and direct design of the system configuration
Detecting Insecure Code Patterns in Industrial Robot Programs
No full textKey to modern smart manufacturing, industrial robots are complex and customizable machines that can be programmed in a variety of ways. In addition to the “teach by showing” paradigm, most vendors provide domain-specific programming languages to operate the robots with high precision. Besides movement instructions, such fully fledged programming languages provide access to low-level system resources like files and network. Although useful, these features create venues for unsafe programming patterns, which could lead to taint-style vulnerabilities or malware-like functionalities. In this paper, we analyze the programming languages of 8 leading industrial robot vendors, systematize their technical features, and discuss cases of vulnerable and malicious uses. We then describe the source-code analysis tool that we created to analyze robotic programs, and discover unsafe uses of programming primitives.We focused our proof-of-concept implementation on two popular languages (i.e., ABB’s RAPID and KUKA’s KRL), and evaluated it on a dataset of publicly available programs. Our results show that unsafe patterns are indeed found in real-world code, and that static source code analysis is an effective vetting mechanism, for example to prevent commissioning unsafe or malicious robotic programs. We conclude by discussing the remediation steps that can be adopted by developers and vendors to mitigate such issues in the medium and long term
- …
