Turbulence in Fluids : Fourth Revised and Enlarged Edition
This is the 4th edition of a book originally published by Kluwer Academic Publishers. It is an exhaustive monograph on turbulence ...
Lire la suite
Tutorials in Mathematical Biosciences I
This volume introduces some basic theories on computational neuroscience. Chapter 1 is a brief introduction to neurons, tailored ...
Lire la suite
Typed Lambda Calculi and Applications
The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
Lire la suite
Ubiquitous Intelligence and Computing
This book is the refereed proceedings of the Third International Conference on Ubiquitous Intelligence and Computing, UIC ...
Lire la suite
Ubiquitous Intelligence and Computing
This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Intelligence and Computing ...
Lire la suite
Unconventional Computation
This book constitutes the refereed proceedings of the Sixth International Conference on Unconventional Computation, UC 2007,organized ...
Lire la suite
Unconventional Computation (vol. # 3699)
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Lire la suite
Unconventional Computing : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings
The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
Lire la suite
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
Lire la suite
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lire la suite
Unfoldings : A Partial-Order Approach to Model Checking
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Lire la suite
Uniformly Accelerating Charged Particles : A Threat to the Equivalence Principle
There has been a long debate about whether uniformly accelerated charges should radiate electromagnetic energy and how one ...
Lire la suite
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Lire la suite
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry
Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Lire la suite
VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search
This monograph presents a complete computational system for visual attention and object detection: VOCUS (Visual Object detection ...
Lire la suite
Variational Problems in Materials Science
This volume contains the proceedings of the international workshop Variational Problems in Materials Science, which was jointly ...
Lire la suite
Vavilov-Cherenkov and Synchrotron Radiation
The book having nine chapters reviews fundamental physical and mathematical problems of the Vavilov-Cherenkov effect of media. ...
Lire la suite
Vector Semantics / András Kornai
Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...
Lire la suite
Vibration Problems ICOVP 2005
This volume presents the Proceedings of the Seventh International Conference on Vibration Problems, held in Istanbul, Turkey, ...
Lire la suite
Visual Information Systems. Web-Based Visual Information Search and Management : 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008. Proceedings
This book covered are information and data visualization; advances techniques for visual information management; mobile visual ...
Lire la suite
