Filter by
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
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…
- Edition
- -
- ISBN/ISSN
- 9783031906534
- Collation
- XX, 387hlm,: ill, lamp; 21 cm
- Series Title
- -
- Call Number
- -
The Mathematical Theory of Semantic Communication
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…
- Edition
- -
- ISBN/ISSN
- 9789819651313
- Collation
- VIII, 115 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Photonic Neural Networks with Spatiotemporal Dynamics; Paradigms of Computing…
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…
- Edition
- -
- ISBN/ISSN
- 978-981-99-5072-0
- Collation
- online resource ( VIII, 278 Pages)
- Series Title
- -
- Call Number
- 006.32 SUZ p
Decide Better: Open and Interoperable Local Digital Twins
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…
- Edition
- 1st Edition
- ISBN/ISSN
- 978-3-031-81451-8
- Collation
- XXV, 348
- Series Title
- -
- Call Number
- -
Künstliche Intelligenz = Technologien | Anwendung | Gesellschaft
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 …
- Edition
- 1
- ISBN/ISSN
- 9783662580424
- Collation
- XVI, 270 ill; lamp
- Series Title
- -
- Call Number
- -
Probability in Electrical Engineering and Computer Science = An Application-D…
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…
- Edition
- 1
- ISBN/ISSN
- 9783030499952
- Collation
- XXI, 380 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
European Guide to Power System Testing = The ERIGrid Holistic Approach for Ev…
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…
- Edition
- 1
- ISBN/ISSN
- 9783030422745
- Collation
- XII, 132 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Deep Neural Networks and Data for Automated Driving
Deployment of modern data-driven machine learning methods, most often realized by deep neural networks (DNNs), in safety-critical applications such as health care, industrial plant control, or autonomous driving is highly challenging due to numerous model-inherent shortcomings. These shortcomings are diverse and range from a lack of generalization over insufficient interpretability and impl…
- Edition
- -
- ISBN/ISSN
- 9783031012334
- Collation
- XVIII, 427
- Series Title
- -
- Call Number
- -
Social Networks and Health Inequalities
“Tell me how much your friends earn and I’ll tell you whether you smoke, what diseases you have and how old you’re going to become!” Part of this statement should be familiar to those who are interested in the connection between social inequality and health. People of comparatively lower socioeconomic status are at higher risk of health problems and are more likely to fall ill and d…
- Edition
- -
- ISBN/ISSN
- 9783030977221
- Collation
- VI, 343
- Series Title
- -
- Call Number
- -
eIoT : The Development of the Energy Internet of Things in Energy Infrastructure
This open access book explores the collision between the sustainable energy transition and the Internet of Things (IoT). In that regard, this book’s arrival is timely. Not only is the Internet of Things for energy applications, herein called the energy Internet of Things (eIoT), rapidly developing but also the transition towards sustainable energy to abate global climate is very much at the f…
- Edition
- 1
- ISBN/ISSN
- 9783030104276
- Collation
- XXVIII, 160 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography