This book is the outcome of a discussion meeting of leading scholars and critical thinkers with expertise in complex systems ...
Lire la suiteThis book reports on methods and technologies to describe, evaluate and control uncertainty in mechanical engineering applications. ...
Lire la suiteThe Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Lire la suiteThis book about The 5th International Conference on Unconventional Computation, UC 2006,organized under the auspices of the ...
Lire la suiteThe book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
Lire la suiteAction planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
Lire la suiteIn June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...
Lire la suiteThis volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...
Lire la suiteThere is a difference in the communication and safeguarding effects of a regulation, depending on the precision of its wording. ...
Lire la suiteUrban Transport Development is a contribution to the ongoing global discussion on the future of urban transport. The main ...
Lire la suiteEach of the 18 lessons introduces new programming objects, concepts or techniques that can be presented in a whole-group ...
Lire la suiteThis monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...
Lire la suiteAutomobiles are responsible for a substantial part of the world's consumption of primary energy, mostly fossil liquid hydrocarbons. ...
Lire la suiteThis volume brings together the invited papers and selected participants’ contributions presented at the COST 2102 International ...
Lire la suiteThe 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Lire la suiteThis volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
Lire la suiteThis book begins with consideration of possible frameworks for understanding virtuality and virtualization. It examines group ...
Lire la suiteNetworked computers are ubiquitous, and are subject to attack, misuse, and abuse. One method to counteracting this cyber ...
Lire la suiteThis book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
Lire la suiteThis book gives an overview of possible solutions and helps to make the right choice. It presents the background, potentials ...
Lire la suite