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