An up-to-date source for computation applications of optimization, prediction via artificial intelligence methods, and evaluation ...
Lire la suite
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suite
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suite
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
Lire la suite
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suite
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suite
Bioarrays: From Basics to Diagnostics provides an integrated and comprehensive collection of timely articles on the use of ...
Lire la suite
The conference was organized by the Laboratory of Theoretical Genetics, Institute of Cytology and Genetics, Siberian Branch ...
Lire la suite
The average person can name more bird species than they think, but do we really know what a bird “species” is? This open ...
Lire la suite
This book uses Pierre Bourdieu’s field theory as a lens through which to examine military operations. Novel in its approach, ...
Lire la suite
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite
This book examines the appearance of matter in its most primitive form, from the vacuum and the diversity that results from ...
Lire la suite
This book examines the educational conditions that support cultures of exploration in kindergartens. It conceptualises cultures ...
Lire la suite
Cytogenetics is a very important research tool in basic and applied research. The uses of cytogenetics in human-population ...
Lire la suite
Although Riemann surfaces are a time-honoured field, this book is novel in its broad perspective that systematically explores ...
Lire la suite
Although Riemann surfaces are a time-honoured field, this book is novel in its broad perspective that systematically explores ...
Lire la suite
This book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop ...
Lire la suiteHybrid Intelligent Systems has become an important research topic in computer science and a key application field in science ...
Lire la suite
This volume contains 27 contributions to the Second Russian-German Advanced Research Workshop on Computational Science and ...
Lire la suite