This book highlights some of the most pressing safety, ethical, legal and societal issues related to the diverse contexts in which robotic technologies apply. Focusing on the essential concept of well-being, it addresses topics that are fundamental not only for research, but als…
This book highlights some of the most pressing safety, ethical, legal and societal issues related to the diverse contexts in which robotic technologies apply. Focusing on the essential concept of well-being, it addresses topics that are fundamental not only for research, but als…
This book highlights some of the most pressing safety, ethical, legal and societal issues related to the diverse contexts in which robotic technologies apply. Focusing on the essential concept of well-being, it addresses topics that are fundamental not only for research, but als…
This textbook is the first one addressing quantum information from the viewpoint of group symmetry. Quantum systems have a group symmetrical structure. This structure enables to handle systematically quantum information processing. However, there is no other textbook focusing on…
This textbook is the first one addressing quantum information from the viewpoint of group symmetry. Quantum systems have a group symmetrical structure. This structure enables to handle systematically quantum information processing. However, there is no other textbook focusing on…
This textbook is the first one addressing quantum information from the viewpoint of group symmetry. Quantum systems have a group symmetrical structure. This structure enables to handle systematically quantum information processing. However, there is no other textbook focusing on…
This textbook is the first one addressing quantum information from the viewpoint of group symmetry. Quantum systems have a group symmetrical structure. This structure enables to handle systematically quantum information processing. However, there is no other textbook focusing on…
Safety-Critical Systems (SCS) are increasingly present in people's daily activities. In the means of transport, in medical treatments, in industrial processes, in the control of air, land, maritime traffic, and many other situations, we use and depend on SCS. The requirements en…
This volume constitutes the state-of-the-art in active interrogation, widely recognized as indispensable methods for addressing current and future nuclear security needs. Written by a leading group of science and technology experts, this comprehensive reference presents technolo…
This volume constitutes the state-of-the-art in active interrogation, widely recognized as indispensable methods for addressing current and future nuclear security needs. Written by a leading group of science and technology experts, this comprehensive reference presents technolo…
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is…
This book provides a detailed understanding of optimization methods as they are implemented in a variety of manufacturing, fabrication and machining processes. It covers the implementation of statistical methods, multi-criteria decision making methods and evolutionary techniques…
This book gathers the proceedings of the I-ESA'18 Conference, which was organised by the Fraunhofer IPK, on behalf of the European Virtual Laboratory for Enterprise Interoperability (INTEROP-VLab) and the DFI, and was held in Berlin, Germany in March 2018. It presents contributi…
