Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role.
Artificial Intelligence is moving beyond incremental innovation toward a threshold of transformative potential, where its capabilities may surpass human performance in critical cognitive, creative, and strategic domains.
Provides a short survey of recent advances in the mathematical modelling of the mechanical behavior of anisotropic solids under creep conditions, including principles, methods, and applications of tensor functions.
An enterprise architecture tries to describe and control an organisation's structure, processes, applications, systems and techniques in an integrated way.
Computational Intelligence: Principles, Techniques and Applications presents both theories and applications of computational intelligence in a clear, precise and highly comprehensive style.
Computational Atomic Physics deals with computational methods for calculating electron (and positron) scattering from atoms and ions, including elastic scattering, excitation, and ionization processes.
In the past decades, traditional television broadcasting has been an autonomous field which was largely independent of the world of telecommunications and computers.
This book emerged from lecture notes of a course taught in the second year to students of Computer Science at the Federal Institute of Tech- nology, Zurich.
The aim of this book is to bring together approaches from different subfields of Artificial Intelligence as well as adjoint disciplines in order to characterize a "e;computational model"e; of conflicts.
In its 3rd revised and extended edition the book offers an overview of the techniques used to solve problems in fluid mechanics on computers and describes in detail those most often used in practice.
Theoretical tools and insights from discrete mathematics, theoretical computer science, and topology now play essential roles in our understanding of vital biomolecular processes.
Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science.
Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science.
This book attempts to reflect the project reality as closely as possible, covering the ISO 21500:2012 standard that has just been introduced and the benefits from the best contributions worldwide and also providing the concise yet powerful tool box.
This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures.
Questions related to language acquisition have been of interest for many centuries, as children seem to acquire a sophisticated capacity for processing language with apparent ease, in the face of ambiguity, noise and uncertainty.
The four-volume set LNCS 16483-16486 constitutes the refereed conference proceedings of the 48th European Conference on Information Retrieval, ECIR 2026, held in Delft, The Netherlands, during March 29–April 2, 2026.
This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics.
This book documents recent advances in the field of modeling, simulation, control, security and reliability of Cyber- Physical Systems (CPS) in power grids.
The overall structure of this new edition is three-tier: Part I presents the basics, Part II is concerned with methodological issues, and Part III discusses advanced topics.