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