This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial ...
Lire la suiteIn this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems ...
Lire la suiteThis book constitutes the thoroughly refereed postproceedings of the 13th International Meeting on DNA Computing, DNA 13, ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Workshop on Data Integration in the Life Sciences, ...
Lire la suiteFinding information hidden in data is as theoretically difficult as it is practically important. With the objective of discovering ...
Lire la suiteDelivers a comprehensive treatment of the mathematical and statistical models useful for analyzing data sets arising in various ...
Lire la suiteThis book discusses advances in semantic interoperability for materials modelling, aiming at integrating data obtained from ...
Lire la suiteThe book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
Lire la suiteWhat is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
Lire la suiteTopics and features: Presents a curiosity-driven approach, posing questions to stimulate readers to design novel computational ...
Lire la suiteThis volume presents recent developments in the theory of defects and the mechanics of material forces. Most of the contributions ...
Lire la suiteMechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods ...
Lire la suiteThis book provides a comprehensive introduction to the design and analysis of Learning Classifier Systems (LCS) from the ...
Lire la suiteRandomness is a powerful phenomenon that can be harnessed to solve various problems in all areas of computer science. Randomized ...
Lire la suiteThis book showcases the state of the art in evolutionary algorithms for design. The chapters are organized by experts in ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...
Lire la suiteThis book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic ...
Lire la suiteProblems demanding globally optimal solutions are ubiquitous, yet many are intractable when they involve constrained functions ...
Lire la suiteThis book focuses on the fields of fuzzy logic, bio-inspired algorithm, especially the differential evolution algorithm and ...
Lire la suiteThis book offers readers fresh insights on applying Extended Reality to Digital Anatomy, a novel emerging discipline. Indeed, ...
Lire la suite