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