Search
Search Results
-
Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings
This proceedings constitutes the refereed post-conference proceedings of the 15th International Conference on Simulation Tools and Techniques,... -
Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5–6, 2023, Proceedings
This book constitutes the refereed proceedings of the International Conference on Brain Inspired Cognitive Systems, BICS 2023, held in Kuala Lumpur,... -
Foundations for Functional Modeling of Technical Artefacts
This monograph provides a new framework for modelling goals and functions of control systems. It demonstrates how to use means-end concepts and... -
Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6–10, 2022, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Dynamic Data Driven Applications Systems, DDDAS 2022, which...
-
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the...
-
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett...
-
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
This book describes a general hybrid metaheuristic for combinatorial optimization labeled Construct, Merge, Solve & Adapt (CMSA). The general idea of...
-
Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25–26, 2023, Proceedings, Part I
This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of... -
Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25–26, 2023, Proceedings, Part II
This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of... -
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the...
-
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the...
-
Structural Decision Diagrams in Digital Test Theory and Applications
This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model...
-
Algorithmic Game Theory 16th International Symposium, SAGT 2023, Egham, UK, September 4–7, 2023, Proceedings
This book constitutes the proceedings of the 16th International Symposium on Algorithmic Game Theory, SAGT 2023, which took place in Egham, UK, in... -
Symbols An Evolutionary History from the Stone Age to the Future
For millennia humans have used visible marks to communicate information. Modern examples of conventional graphical symbols include written language,... -
Digital Forensics and Watermarking 21st International Workshop, IWDW 2022, Guilin, China, November 18-19, 2022, Revised Selected Papers
This book constitutes the refereed proceedings of the 21st International Workshop, IWDW 2022, held in Guilin, China, during November 18-19, 2022.
The... -
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May...
-
Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19–23, 2022, Proceedings, Part I
The two-volume set LNAI 13588 and 13589 constitutes the refereed post-conference proceedings of the 21st International Conference on Artificial... -
Research on Modeling and Using Context Over 25 Years
This book is the outcome of 25 years of research on how to model and use context in real-world applications on a spectrum from technology-centered...
-
A Primer on Generative Adversarial Networks
This book is meant for readers who want to understand GANs without the need for a strong mathematical background. Moreover, it covers the practical... -
Computer Vision Statistical Models for Marr's Paradigm
As the first book of a three-part series, this book is offered as a tribute to pioneers in vision, such as Béla Julesz, David Marr, King-Sun Fu, Ulf...