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