| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910800092203321 |
|
|
Titolo |
Handbook of human factors and ergonomics in health care and patient safety / / edited by Pascale Carayon |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Boca Raton, Fla. : , : CRC Press, , 2012 |
|
|
|
|
|
|
|
ISBN |
|
0-429-15201-9 |
1-283-35013-0 |
9786613350138 |
1-4398-3034-7 |
|
|
|
|
|
|
|
|
Edizione |
[2nd ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (855 p.) |
|
|
|
|
|
|
Collana |
|
Human factors and ergonomics |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Medical errors: prevention |
Human engineering |
Patients: safety measures |
Health facilities: design and construction |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
section 1. Introduction -- section 2. Macroergonomics and systems -- section 3. Job and organizational design -- section 4. Physical ergonomics -- section 5. Technology -- section 6. Human error -- section 7. Human factors and ergonomics methodologies -- section 8. Human factors and ergonomics interventions -- section 9. Specific applications. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Written for students and professionals, this book is a complete reference on human factors and ergonomics research, concepts, theories, models, methods, and interventions that have been or can be applied in health care. Topics such as medical technology and telemedicine are covered, and special emphasis is put on the contributions of human factors and ergonomics to the improvement of patient safety and quality of care. Nine chapters from the original edition were deleted, and information from them was incorporated into other chapters. Furthermore, this second edition offers 17 new chapters. Includes coverage of emerging human factors and ergonomics issues. Includes practical issues such as methods, |
|
|
|
|
|
|
|
|
|
|
|
|
|
interventions, and applications. Covers cognitive, physical, and organizational ergonomic issues in health care and patient safety. Emphasizes the contribution of human factors and ergonomics to patient safety and care quality. Covers human factors and ergonomics issues specific to a range of healthcare domains or applications-- |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910254066303321 |
|
|
Autore |
Dardha Ornela |
|
|
Titolo |
Type Systems for Distributed Programs: Components and Sessions / / by Ornela Dardha |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Paris : , : Atlantis Press : , : Imprint : Atlantis Press, , 2016 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXII, 192 p. 69 illus., 4 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Atlantis Studies in Computing, , 2212-8565 ; ; 7 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Machine theory |
Formal Languages and Automata Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
1.Background on Components -- 2. A Type System for Components -- 3. Properties of the Type System -- 4.Background on π- Types -- 5. Background on Session Types -- 6. Session Types Revisited -- 7. Subtyping -- 8. Polymorphism -- 9.Higher-Order Communication -- 10.Recursion -- 11.From π- Types to Session Types -- 12. Background on π- types for Lock Freedom -- 13 Background on Session Types for Progress -- 14 Progress as Compositional Lock Freedom. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings. The main contributions of this book are twofold. i) We design a type system for a concurrent object-oriented calculus to statically |
|
|
|
|
|
|
|
|
|
|
ensure consistency of dynamic reconfigurations. ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus. |
|
|
|
|
|
| |