The papers in this book discuss a wide variety of serious applications of all parts of mathematical modelling. New efficient, publicly available or even commercial tools are proposed or presented, and also foundations of the theory of intervals and reliable computations were con…
This monograph provides logical foundations and a uniform description for nonmonotonic reasoning and belief change. The approach to both these subjects is based on a powerful notion of an epistemic state that subsumes both existing models for nonmonotonic inference and current m…
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique…
Explores how the American public sector must evolve and adapt to exploit the possibilities of digital governance fully and fairly. Drawing from case studies, the book argues that the real challenge lies in overcoming the entrenched organizational and political divisions within t…
Summarizes the power of artificial neural networks in the investigation and treatment of disease.
"Used by more chip designers worldwide than any other comparable model, the Berkeley Short-Channel IGFET Model (BSIM) has, over the past few years, established itself as the de facto standard MOSFET SPICE model for circuit simulation and CMOS technology development. Yet, until n…
Die Entwicklung professioneller Multimedia-Anwendungen bedarf der interaktiven Zusammenarbeit zwischen Auftraggeber und Entwicklerteam. Von der Idee bis zum fertigen multimedialen Online- und/oder Offline-Produkt sind vielfältige organisatorische, gestalterische, technische und …
by Balsters, Herman, Brock, Bert de, Conrad, S., (Stefan), International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl, Wadern, Allemagne)
fromLecture notes in computer science (En ligne)
by Luck, Michael, European Coordinating Committee for Artificial Intelligence, Europe's Network of Excellence for Agent-Based Computing, ECCAI Advanced Course ACAI, Agent Link's European Agent Systems Summer School
fromLecture Notes in Computer Science
This book presents selected tutorial lectures given at the summer school on Multi-Agent Systems and Their Applications held in Prague, Czech Republic, in July 2001 under the sponsorship of ECCAI and Agent Link. The 20 lectures by leading researchers in the field presented in the…
by European Coordinating Committee for Artificial Intelligence, European Agent Systems Summer School, Prague, Czech Republic), European Agent Systems Summer School, European Agent Systems Summer School
fromLecture Notes in Computer Science
The Advanced Course on Artificial Intelligence ACAI 2001 with the subtitle M ulti- Agent Systems and Their Applications , held in Prague, Czech Republic, was a joint event of ECCAI (the European Coordinating Committee for Artificial Intelligence) and AgentLink, the European Netw…
by Helmbold, David, Williamson, Bob
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 14th Annual and 5th European Conferences on Computational Learning Theory, COLT/EuroCOLT 2001, held in Amsterdam, The Netherlands, in July 2001. The 40 revised full papers presented together with one invited paper were carefu…
This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland. TPHOLs covers all aspects of theorem proving in higher order logics, as well as related topics in …
It is generally understood that the present approachs to computing do not have the performance, flexibility, and reliability of biological information processing systems. Although there is a comprehensive body of knowledge regarding how information processing occurs in the brain…
