Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lire la suiteThis book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a ...
Lire la suiteThis open access book is the culmination of many years of research on what happened to the bodies of executed criminals in ...
Lire la suiteThis volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...
Lire la suiteHybrid Artificial Intelligence Systems (HAIS) combines symbolic and sub-symbolic techniques to construct more robust and ...
Lire la suiteMachine learning is currently one of the most rapidly growing areas of research in computer science. In compiling this volume ...
Lire la suiteThis book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
Lire la suiteMathematics is playing an ever more important role in the physical and biological sciences, provoking a blurring of boundaries ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
Lire la suiteIn this book we describe the rule of law as the reign of persuasion rather than the reign of force, and democracy as the ...
Lire la suiteThis book deals with change, a notion little approached in the West. It draws on the Yi Jing, the classic of changes, as ...
Lire la suiteThis book presents the result of research and reflections of more than twenty years on the links that exist between Yi Jing ...
Lire la suiteMathematica for Theoretical Physics: Electrodynamics, Quantum Mechanics, General Relativity, and Fractals This second edition ...
Lire la suiteMathematica for Theoretical Physics: Classical Mechanics and Nonlinear Dynamics This second edition of Baumann's Mathematica® ...
Lire la suiteThis proceedings volume contains a selection of papers presented at the symposium "International Conference on High Performance ...
Lire la suiteThe ISAAC Group in Pseudo-diferential Operators (IGPDO) was formed at the Fourth ISAAC Congress held at York University in ...
Lire la suiteThis work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics ...
Lire la suiteThis book focuses on the efficient performance of mobile robots through the use of multi-hierarchical symbolic representations ...
Lire la suiteNew Tools of Economic Dynamics gives an introduction and overview of recently developed methods and tools, most of them ...
Lire la suiteThis monograph proposes how to manage complexity by organizing the system as a State Tree Structure (STS). an efficient recursive ...
Lire la suite