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