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, ...
اقرأ المزيد