Author: SAFE Association (U.S.). Symposium
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 254
Book Description
Proceedings of the ... Annual Symposium, SAFE Association
Author: SAFE Association (U.S.). Symposium
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 254
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 254
Book Description
Hazards XVI
Author:
Publisher: IChemE
ISBN: 0852954417
Category : Chemical engineering
Languages : en
Pages : 972
Book Description
Publisher: IChemE
ISBN: 0852954417
Category : Chemical engineering
Languages : en
Pages : 972
Book Description
Flying Magazine
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 102
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 102
Book Description
Macroergonomics
Author: Hal W. Hendrick
Publisher: CRC Press
ISBN: 1498720404
Category : Technology & Engineering
Languages : en
Pages : 284
Book Description
This book's primary objective is to provide a comprehensive coverage of ergonomics in overall work system analysis and design. It provides a summary of the historical development of macroergonomics. It explains how an understanding of macroergonomics can lead to improvements in such things as reducing work-related lost time accidents; and describes the methods and tools used in work system analysis and design. Throughout, the integrating theme is that the full potential of an organization--in terms of productivity, safety, health, and Quality of Work Life (QWL)--can't be met unless the overall work system is designed to conform with the characteristics of its technology, personnel subsystem, and the external environment upon which it depends for its survival and success. Using a sociotechnical systems approach, this text discusses the application of macroergonomics to training system development, hazard management, technology transfer, large scale organizational change projects, office and factory automation, community planning and development, and job design. For each of these applications, actual case examples will be included. The book will appeal to teachers of introductory human factors/ergonomics courses as a supplemental text or as the primary text for a course fully devoted to macroergonomics. In addition, it should also appeal to practicing ergonomists internationally as a must add to their personal professional libraries.
Publisher: CRC Press
ISBN: 1498720404
Category : Technology & Engineering
Languages : en
Pages : 284
Book Description
This book's primary objective is to provide a comprehensive coverage of ergonomics in overall work system analysis and design. It provides a summary of the historical development of macroergonomics. It explains how an understanding of macroergonomics can lead to improvements in such things as reducing work-related lost time accidents; and describes the methods and tools used in work system analysis and design. Throughout, the integrating theme is that the full potential of an organization--in terms of productivity, safety, health, and Quality of Work Life (QWL)--can't be met unless the overall work system is designed to conform with the characteristics of its technology, personnel subsystem, and the external environment upon which it depends for its survival and success. Using a sociotechnical systems approach, this text discusses the application of macroergonomics to training system development, hazard management, technology transfer, large scale organizational change projects, office and factory automation, community planning and development, and job design. For each of these applications, actual case examples will be included. The book will appeal to teachers of introductory human factors/ergonomics courses as a supplemental text or as the primary text for a course fully devoted to macroergonomics. In addition, it should also appeal to practicing ergonomists internationally as a must add to their personal professional libraries.
Software Systems Safety
Author: O. Grumberg
Publisher: IOS Press
ISBN: 1614993858
Category : Computers
Languages : en
Pages : 396
Book Description
Until quite recently, the correctness and security of software systems was a largely theoretical problem relevant only for a small group of computer specialists. Today it is a fundamental problem for society at large, with security breaches in banking software, malware attacks and bugs in programs affecting millions of people and making the headlines almost daily. The computer science community is developing verification and synthesis tools which will mechanize ever more tasks in the design of secure programs. This book presents the papers delivered at the NATO Advanced Study Institute (ASI) Summer School Marktoberdorf 2013 – Software Systems Safety. The participants represented research groups from both industry and academia, and the subjects covered included: software model checking via systematic testing, program synthesis, E voting systems, probabilistic model checking in biology, infinite state model checking, Boolean satisfiability, interactive proof, and software security by information flow control. The Marktoberdorf Summer School is one of the most renowned international computer science summer schools, and this book, with its detailed overview of current research results with special emphasis on the solving of software systems security problems, will be of interest to all those whose work involves systems security.
Publisher: IOS Press
ISBN: 1614993858
Category : Computers
Languages : en
Pages : 396
Book Description
Until quite recently, the correctness and security of software systems was a largely theoretical problem relevant only for a small group of computer specialists. Today it is a fundamental problem for society at large, with security breaches in banking software, malware attacks and bugs in programs affecting millions of people and making the headlines almost daily. The computer science community is developing verification and synthesis tools which will mechanize ever more tasks in the design of secure programs. This book presents the papers delivered at the NATO Advanced Study Institute (ASI) Summer School Marktoberdorf 2013 – Software Systems Safety. The participants represented research groups from both industry and academia, and the subjects covered included: software model checking via systematic testing, program synthesis, E voting systems, probabilistic model checking in biology, infinite state model checking, Boolean satisfiability, interactive proof, and software security by information flow control. The Marktoberdorf Summer School is one of the most renowned international computer science summer schools, and this book, with its detailed overview of current research results with special emphasis on the solving of software systems security problems, will be of interest to all those whose work involves systems security.
Sixth International Technical Conference on Experimental Safety Vehicles
Author:
Publisher:
ISBN:
Category : Automobiles
Languages : en
Pages : 834
Book Description
Publisher:
ISBN:
Category : Automobiles
Languages : en
Pages : 834
Book Description
Report - International Technical Conference on Experimental Safety Vehicles
Author:
Publisher:
ISBN:
Category : Automobiles
Languages : en
Pages : 1068
Book Description
Publisher:
ISBN:
Category : Automobiles
Languages : en
Pages : 1068
Book Description
International Technical Conference on Experimental Safety Vehicles. Sixth. Report
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 824
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 824
Book Description
Report on the ... International Technical Conference on Experimental Safety Vehicles
Author:
Publisher:
ISBN:
Category : Automobiles
Languages : en
Pages : 848
Book Description
Publisher:
ISBN:
Category : Automobiles
Languages : en
Pages : 848
Book Description
Intelligent Computing
Author: Kohei Arai
Publisher: Springer
ISBN: 3030228711
Category : Technology & Engineering
Languages : en
Pages : 1127
Book Description
This book presents the proceedings of the Computing Conference 2019, providing a comprehensive collection of chapters focusing on core areas of computing and their real-world applications. Computing is an extremely broad discipline, encompassing a range of specialized fields, each focusing on particular areas of technology and types of application, and the conference offered pioneering researchers, scientists, industrial engineers, and students from around the globe a platform to share new ideas and development experiences. Providing state-of-the-art intelligent methods and techniques for solving real- world problems, the book inspires further research and technological advances in this important area.
Publisher: Springer
ISBN: 3030228711
Category : Technology & Engineering
Languages : en
Pages : 1127
Book Description
This book presents the proceedings of the Computing Conference 2019, providing a comprehensive collection of chapters focusing on core areas of computing and their real-world applications. Computing is an extremely broad discipline, encompassing a range of specialized fields, each focusing on particular areas of technology and types of application, and the conference offered pioneering researchers, scientists, industrial engineers, and students from around the globe a platform to share new ideas and development experiences. Providing state-of-the-art intelligent methods and techniques for solving real- world problems, the book inspires further research and technological advances in this important area.