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…
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 addresses emerging issues in usability, interface design, human–computer interaction, user experience and assistive technology. It highlights research aimed at understanding human interactions with products, services and systems and focuses on finding effective approaches for improving the user experience. It also discusses key issues in designing and providing assistive devices and…
This book presents select peer-reviewed proceedings of the International Conference on Frontiers in Smart Systems Technologies (ICFSST 2019). It focuses on latest research and cutting-edge technologies in smart systems and intelligent autonomous systems with advanced functionality. Comprising topics related to diverse aspects of smart technologies such as high security, reliability, miniaturiza…
This book presents various computational and cognitive modeling approaches in the areas of health, education, finance, theenvironment, engineering, commerce and industry. Gathering selected conference papers presented atthe International Conference on Trends in Computational and Cognitive Engineering (TCCE), it sharescutting-edge insights and ideas from mathematicians, engineers, scientists and…
This book presents various computational and cognitive modeling approaches in the areas of health, education, finance, environment, engineering, commerce, and industry. It is a collection of selected conference papers presented at the International Conference on Trends in Computational and Cognitive Engineering (TCCE 2020). It shares cutting-edge insights and ideas from mathematicians, engineer…
This book gathers all papers presented at the third edition of the international conference “Complex Systems Design & Management Asia” (CSD&M Asia 2018), which was held at the National University of Singapore (NUS) on December 6-7, 2018. Mastering complex systems requires an integrated understanding of industrial practices as well as sophisticated theoretical techniques and tools. This v…
This book contains all refereed papers accepted during the ninth edition of the conference that took place at the Cité Internationale Universitaire de Paris on December 18-19, 2018. Mastering complex systems requires an integrated understanding of industrial practices as well as sophisticated theoretical techniques and tools. This explains the creation of an annual go-between forum in Paris…
This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verificat…
This book has been designed for a first course on digital design for engineering and computer science students. It offers an extensive introduction on fundamental theories, from Boolean algebra and binary arithmetic to sequential networks and finite state machines, together with the essential tools to design and simulate systems composed of a controller and a datapath. The numerous worked examp…
Industrial Applications of Affective Engineering introduces new analytical methods such as fluctuation, fuzzy logic, fractals, and complex systems, and pursuing interdisciplinary research that traverses a wide range of fields, including information engineering, human engineering, cognitive science, psychology, and design studies. The book is split into two parts: theory and applications. The bo…
This book contains all refereed papers that were accepted to the fourth edition of the « Complex Systems Design & Management » (CSD&M 2013) international conference which took place in Paris (France) from December 4-6, 2013. These proceedings cover the most recent trends in the emerging field of complex systems sciences & practices from an industrial and academic perspective, including the…
-
-