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 work illustrates research conducted over a ten-year timespan and addresses a fundamental issue in reliability theory. This still appears to be an empirically disorganized field and the book suggests employing a deductive base in order to evolve reliability as a science. The…
This work illustrates research conducted over a ten-year timespan and addresses a fundamental issue in reliability theory. This still appears to be an empirically disorganized field and the book suggests employing a deductive base in order to evolve reliability as a science. The…
This work illustrates research conducted over a ten-year timespan and addresses a fundamental issue in reliability theory. This still appears to be an empirically disorganized field and the book suggests employing a deductive base in order to evolve reliability as a science. The…
This work illustrates research conducted over a ten-year timespan and addresses a fundamental issue in reliability theory. This still appears to be an empirically disorganized field and the book suggests employing a deductive base in order to evolve reliability as a science. The…
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…
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…
by Taerwe, Luc, Proske, Dirk, Caspeele, Robby
This book presents the proceedings of the 14th International Probabilistic Workshop that was held in Ghent, Belgium in December 2016. Probabilistic methods are currently of crucial importance for research and developments in the field of engineering, which face challenges presen…
by Taerwe, Luc, Proske, Dirk, Caspeele, Robby
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 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…
This volume collects the papers from the World Conference on Acoustic Emission 2017 (WCAE-2017) in Xi'an, China. The latest research and applications of acoustic emission (AE) are explored, with a particular emphasis on detecting and processing AE signals, the development of AE …
This book illustrates a new quantitative risk analysis model for road tunnels that is capable of evaluating the role of infrastructure measures, equipment and management procedures as prescribed by EU Directive 2004/54/EC. The risk assessment draws on the typical F-N curves of s…
This volume chronicles the 16th Annual Conference on System Engineering Research (CSER) held on May 8-9, 2018 at the University of Virginia, Charlottesville, Virginia, USA. The CSER offers researchers in academia, industry, and government a common forum to present, discuss, and …
