This book constitutes extended, revised and selected papers from the 11th International Symposium of Artificial Intelligence ...
Lire la suite
The objectives of this book are to present the award papers of the 20th annual conference of JSAI 2006 and selected papers ...
Lire la suite
The technology of artifcial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer ...
Lire la suite
The 20 International Conference on Industrial, Engineering and Other Applications of Applied Intelligent S- tems (IEA/AIE-2007) ...
Lire la suite
This book describes two main classes of non-equilibrium phase-transitions: (a) static and dynamics of transitions into an ...
Lire la suite
We present in this volume the collection of ?nally accepted papers of NOLISP 2005 conference. It has been the third event ...
Lire la suite
This book is only an introduction to show that radiation and radioisotopes (RI) are premier tools to study living plant ...
Lire la suite
The game of Sudoku has exploded in the Western world since 2005 and has since continued to expand, to gather new followers, ...
Lire la suite
This volume explains how major nuclear and radiological emergencies (NREs) can have implications at local, national and ...
Lire la suiteThis volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our ...
Lire la suiteAccording to world statistics, nutrition is estimated to contribute to about one-third of preventable cancers, nearly the ...
Lire la suite
Shows students how to use both the principles of software engineering and the practices of various object-oriented tools, ...
Lire la suite
This volume contains the reports from the workshopsheld at the 21st European Conference on Object-Oriented Programming - ...
Lire la suite
This is an outline of a coherence theory of law. Its basic ideas are: reasonable support and weighing of reasons. All the ...
Lire la suite
Investigates color from numerous perspectives: literary, historical, cultural, anthropological, philosophical, art historical, ...
Lire la suite
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; ...
Lire la suite
The editors structured the contributions into three parts: first, a detailed introduction into the use of ontologies in software ...
Lire la suite
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Lire la suite
This book explains why microresonators came to be important components in the photonic toolbox. While functionally similar ...
Lire la suite
This book constitutes the refereed proceedings of the The International Workshop on Optical SuperComputing, OSC 2008, held ...
Lire la suite