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 ...
Weiterlesen
Tutorials in Mathematical Biosciences I
This volume introduces some basic theories on computational neuroscience. Chapter 1 is a brief introduction to neurons, tailored ...
Weiterlesen
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 ...
Weiterlesen
Ubiquitous Intelligence and Computing
This book is the refereed proceedings of the Third International Conference on Ubiquitous Intelligence and Computing, UIC ...
Weiterlesen
Ubiquitous Intelligence and Computing
This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Intelligence and Computing ...
Weiterlesen
Unconventional Computation
This book constitutes the refereed proceedings of the Sixth International Conference on Unconventional Computation, UC 2007,organized ...
Weiterlesen
Unconventional Computation (vol. # 3699)
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Weiterlesen
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 ...
Weiterlesen
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, ...
Weiterlesen
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Variational Problems in Materials Science
This volume contains the proceedings of the international workshop Variational Problems in Materials Science, which was jointly ...
Weiterlesen
Vavilov-Cherenkov and Synchrotron Radiation
The book having nine chapters reviews fundamental physical and mathematical problems of the Vavilov-Cherenkov effect of media. ...
Weiterlesen
Vector Semantics / András Kornai
Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...
Weiterlesen
Vibration Problems ICOVP 2005
This volume presents the Proceedings of the Seventh International Conference on Vibration Problems, held in Istanbul, Turkey, ...
Weiterlesen
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 ...
Weiterlesen
