Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties ...
اقرأ المزيد
This book reviews known topics of the Behavioral Approach and offers new theoretic results with the advantage of including ...
اقرأ المزيد
Modelling and Control of Mini-Flying Machines is an exposition of models developed for various types of mini-aircraft. Modelling ...
اقرأ المزيدThis monograph presents a variety of techniques that can be used for designing robust fault diagnosis schemes for non-linear ...
اقرأ المزيد
The book begins with a historical introduction to the field of bioprocess control based on artificial intelligence approaches, ...
اقرأ المزيد
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
اقرأ المزيد
Modelling and Simulation: Exploring Dynamic System Behaviour provides the reader with a balanced and integrated presentation ...
اقرأ المزيد
The research of Antanas Žilinskas has focused on developing models for global optimization, implementing and investigating ...
اقرأ المزيد
Computer Aided Tolerancing (CAT) is an important topic in any field of design and production where parts move relative to ...
اقرأ المزيد
A detailed description of up-to-date methods used for computer processing and interpretation of medical images is given. ...
اقرأ المزيد
This book presents a unified, systematic description of basic and advanced problems, methods and algorithms of the modern ...
اقرأ المزيد
Synthesizes and presents novel deep learning approaches to a seemingly unlikely domain - tabular data. Whether for finance, ...
اقرأ المزيد
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
اقرأ المزيد
The book provides a comprehensive treatment of multidimensional scaling (MDS), a family of statistical techniques for analyzing ...
اقرأ المزيد
Understand the essential details about x86 SIMD architectures and instruction sets including AVX, AVX2, and AVX-512. / Master ...
اقرأ المزيد
This work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics ...
اقرأ المزيد
This book reports the majority of lectures given during the NATO Advanced Study Institute ASI-982440, which was held at the ...
اقرأ المزيد
The monograph written by Ron Alterovitz and Ken Goldberg combines ideas from robotics, physically-based modeling, and operations ...
اقرأ المزيد
The present volume provides a collection of seven articles containing new and high quality research results demonstrating ...
اقرأ المزيد
This monograph presents a selected collection of research work on multi-objective approach to machine learning, including ...
اقرأ المزيد