
The problem of cooperation and social order is one of the core issues in the social sciences. The key question is how humans, groups, institutions, and countries can avoid or overcome the collective good dilemmas that could lead to a Hobbesian war of all against all. Using the general set of social dilemmas as a paradigmatic example, rigorous formal analysis can stimulate scientific progress in…

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…

This Open Access Book explores how classical information theory’s focus on syntactic information has limited the further development of communication science. Recently, communication technologies that handle and transmit semantic information have gained widespread attention in academia. Semantic communication has paved new directions for the future of communication technology development, yet…

Buku akses terbuka ini menyajikan gambaran umum tentang kemajuan terbaru dalam jaringan saraf fotonik dengan dinamika spatiotemporal. Paradigma komputasi dan implementasi yang disajikan dalam buku ini adalah hasil dari studi interdisipliner oleh peneliti kolaboratif dari tiga bidang ilmu matematika nonlinier, fotonika informasi, dan rekayasa sistem terintegrasi. Buku ini menawarkan sudut pandan…

This is an open access book. Decide Better: Open and Interoperable Local Digital Twins explores the transformative potential of Local Digital Twins (LDTs) in urban governance. The book begins by introducing the concept of LDTs, which create digital replicas of cities or regions, combining real-time data and simulations to inform decision-making. It highlights how LDTs can enhance urban manag…

Dieses Buch ist eine Open-Access-Publikation unter einer CC BY 4.0 Lizenz. Künstliche Intelligenz (KI) klingt in aktuellen Debatten oft abstrakt und alltagsfremd. Doch die meisten Internetnutzerinnern und -nutzer sind bereits täglich mit ihr konfrontiert – wenn auch unbewusst: sei es bei der Sprachsteuerung des Smartphones, bei Kaufempfehlungen im Online-Shop oder bei der Abfrage von auf …

This revised textbook motivates and illustrates the techniques of applied probability by applications in electrical engineering and computer science (EECS). The author presents information processing and communication systems that use algorithms based on probabilistic models and techniques, including web searches, digital links, speech recognition, GPS, route planning, recommendation systems, c…

This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing method. It introduces readers to corresponding simulation and laboratory-based tools, including co-simulation, real-time simulation, and hardware-in-the-loop. Selected test cases and validation examples are provided, in order to support the theory discussed. The book begins…