Current Topics in Artificial Intelligence
This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial ...
Continue reading
Cyber-Physical Systems: A Model-Based Approach
In this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems ...
Continue reading
DNA Computing : 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed postproceedings of the 13th International Meeting on DNA Computing, DNA 13, ...
Continue reading
Data Integration in the Life Sciences : 5th International Workshop, DILS 2008, Evry, France, June 25-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Workshop on Data Integration in the Life Sciences, ...
Continue reading
Data Mining with Computational Intelligence
Finding information hidden in data is as theoretically difficult as it is practically important. With the objective of discovering ...
Continue reading
Data Science in Theory and Practice: Techniques for Big Data Analytics and Complex Data Sets / Maria Cristina Mariani, Osei Kofi Tweneboah, Maria Pia Beccar-Varela
Delivers a comprehensive treatment of the mathematical and statistical models useful for analyzing data sets arising in various ...
Continue reading
Data Technology in Materials Modelling
This book discusses advances in semantic interoperability for materials modelling, aiming at integrating data obtained from ...
Continue reading
Decision Procedures : An Algorithmic Point of View
The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
Continue reading
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
Continue reading
Deep Learning to See : Towards New Foundations of Computer Vision / Alessandro Betti, Marco Gori, Stefano Melacci
Topics and features: Presents a curiosity-driven approach, posing questions to stimulate readers to design novel computational ...
Continue reading
Defect and Material Mechanics : Proceedings of the International Symposium on Defect and Material Mechanics (ISDMM), held in Aussois, France, March 25–29, 2007
This volume presents recent developments in the theory of defects and the mechanics of material forces. Most of the contributions ...
Continue reading
Dependability Modelling under Uncertainty : An Imprecise Probabilistic Approach
Mechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods ...
Continue reading
Design and Analysis of Learning Classifier Systems : A Probabilistic Approach
This book provides a comprehensive introduction to the design and analysis of Learning Classifier Systems (LCS) from the ...
Continue reading
Design and Analysis of Randomized Algorithms
Randomness is a powerful phenomenon that can be harnessed to solve various problems in all areas of computer science. Randomized ...
Continue reading
Design by Evolution : Advances in Evolutionary Design
This book showcases the state of the art in evolutionary algorithms for design. The chapters are organized by experts in ...
Continue reading
Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...
Continue reading
Differential Equations with Symbolic Computation
This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic ...
Continue reading
Differential Evolution
Problems demanding globally optimal solutions are ubiquitous, yet many are intractable when they involve constrained functions ...
Continue reading
Differential Evolution Algorithm with Type-2 Fuzzy Logic for Dynamic Parameter Adaptation with Application to Intelligent Control
This book focuses on the fields of fuzzy logic, bio-inspired algorithm, especially the differential evolution algorithm and ...
Continue reading
Digital Anatomy
This book offers readers fresh insights on applying Extended Reality to Digital Anatomy, a novel emerging discipline. Indeed, ...
Continue reading
