-
This book constitutes the refereed conference proceedings of the 10th Annual Privacy Forum, APF 2022 in Warsaw, Poland in June 2022. The 8 full papers were carefully reviewed and selected from 38 submissions. The papers are organized in the area of privacy and data protection while focusing on privacy related application areas. A large focus of the 2022 conference was on the General Dat…
This two-volume set LNCS 13344 and 13345 constitutes the proceedings of the 13th International Conference on Advances in Swarm Intelligence, ICSI 2022, which took place in Xi’an, China, in July 2022. The theme of this year’s conference was “Serving Life with Swarm Intelligence”. The 85 full papers presented were carefully reviewed and selected from 171 submissions. The papers of the fi…
This book constitutes the refereed proceedings of the 9th International Conference on Well-Being in the Information Society, WIS 2022, held in Turku, Finland, in August 2022. The 14 revised full papers presented were carefully reviewed and selected from 17 submissions. The proceedings are structured in four sections as follows: mental well-being and e-health; social media and well-being; i…
The main aim of the book is to give a review of all relevant information regarding a well-known and important problem of Feedback Arc Set (FAS). This review naturally also includes a history of the problem, as well as specific algorithms. To this point such a work does not exist: There are sources where one can find incomplete and perhaps untrustworthy information. With this book, information …
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
This book treats state-of-the-art computational methods for power flow studies and contingency analysis. In the first part the authors present the relevant computational methods and mathematical concepts. In the second part, power flow and contingency analysis are treated. Furthermore, traditional methods to solve such problems are compared to modern solvers, developed using the knowledge of th…
This book investigates new important applications of the Spatial Grasp Technology (SGT) allowing us to effectively simulate and manage large distributed dynamic systems on semantic and holistic levels. This patented technology, developed for decades and in different countries, is based on a completely different philosophy and model allowing us to directly operate in united distributed physical …
This book discusses recent developments in dynamic reliability in multi-state systems (MSS), addressing such important issues as reliability and availability analysis of aging MSS, the impact of initial conditions on MSS reliability and availability, changing importance of components over time in MSS with aging components, and the determination of age-replacement policies. It also describes mod…
In this book, the authors focus on three aspects related to the development of articulated agents: presenting an overview of high-level control algorithms for intelligent decision-making of articulated agents, experimental study of the properties of soft agents as the end-effector of articulated agents, and accurate management of low-level torque-control loop to accurately control the articulat…
This book comprises select proceedings of the 43rd National Systems Conference on Innovative and Emerging Trends in Engineering Systems (NSC 2019) held at the Indian Institute of Technology, Roorkee, India. The contents cover latest research in the highly multidisciplinary field of systems engineering, and discusses its various aspects like systems design, dynamics, analysis, modeling and simul…
This book comprises select proceedings of the International Conference on Advancement in Energy, Drives, and Control. It covers frontier topics in optimization and control. It covers applications of optimization processes in areas such as computer architecture, communication systems, system optimization, signal processing, fluid dynamics and process control. This book is of use to researchers, …
This book is useful to engineers, researchers, entrepreneurs, and students in different branches of production, engineering, and systems sciences. The polytopic roadmaps are the guidelines inspired by the development stages of cognitive-intelligent systems, and expected to become powerful instruments releasing an abundance of new capabilities and structures for complex engineering systems imple…
This book is authorized for sale in Asia only and may be exported. The content is materially different than products for other markets including the authorized U.S. counterpart of this title. Exportation of this book to another region without the publisher's authorization may be ilegal and a violation of the publisher's rights. The Publisher's rights. The Publisher may take legal action to enfo…