The theme of CSA is focused on the various aspects of computer science and its applications for advances in computer science and its applications and provides an opportunity for academic and industry
o Computer Automation in Manufacturing provide instruction in computer architecture, interfacing to mechanical systems, and software development for continuous control and discrete event systems. T
Passivity-based Model Predictive Control for Mobile Vehicle Navigation represents a complete theoretical approach to the adoption of passivity-based model predictive control (MPC) for autonomous vehic
This book covers a fast-growing topic in great depth and focuses on the technologies and applications of probabilistic data management. It aims to provide a single account of current studies in probab
Probabilistic Group Theory, Combinatorics and Computing is based on lecture courses held at the Fifth de Brun Workshop in Galway, Ireland in April 2011. Each course discusses computational and algorit
The concept of 'shape' is at the heart of image processing and computer vision, yet researchers still have some way to go to replicate the human brain's ability to extrapolate meaning from the most ba
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semanti
A systematic computer-aided approach provides a versatile setting for the control engineer to overcome the complications of controller design for highly nonlinear systems. Computer-aided Nonlinear Con
The authors survey a recent technique in computer vision called Interactive Co-segmentation, which is the task of simultaneously extracting common foreground objects from multiple related images. They
Nonlinear Model Predictive Control is a thorough and rigorous introduction to nonlinear model predictive control (NMPC) for discrete-time and sampled-data systems. NMPC is interpreted as an approximat
The aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. The computer programs are presented i
This comprehensive text gives an interesting and useful blend of the mathematical, probabilistic and statistical tools used in heavy-tail analysis. It is uniquely devoted to heavy-tails and emphasizes
This book proposes a uniform logic and probabilistic (LP) approach to risk estimation and analysis in engineering and economics. It covers the methodological and theoretical basis of risk management
This comprehensive text gives an interesting and useful blend of the mathematical, probabilistic and statistical tools used in heavy-tail analysis. Heavy tails are characteris
"Discrete Mathematics for Computer Science" is the perfect text to combine the fields of mathematics and computer science. Written by leading academics in the field of computer science, readers will g
200Ts Vision of Vision One of my formative childhood experiences was in 1968 stepping into the Uptown Theater on Connecticut Avenue in Washington, DC, one of the few movie theaters nationwide that pro
Astronomy with a Home Computer is designed for every amateur astronomer who owns a home computer, whether it is running Microsoft Windows, Mac OS or Linux. It doesn't matter what kind of telescope you
Over the past decade, many major advances have been made in the field of graph coloring via the probabilistic method. This monograph, by two of the best on the topic, provides an accessible and unifie
This volume contains a total of thirteen papers covering a variety of AI topics ranging from computer vision and robotics to intelligent modeling, neural networks and fuzzy logic. There are two gen
This monograph is devoted to the problem of inferring geometric information about arbitrarily curved surfaces from visual cues; this is a central problem in computer vision with immediate relevance fo
This book is intended for engineers, computer scientists, managers and all those concerned with computer graphics, computer-aided design and computer-aided manufacture. While it is primarily intended
This book addresses customized laser vision correction, an integral management option for the treatment of irregular corneas. This type of treatment reshapes the corneal surface in order to improve bo
This book offers a detailed description of the histogram probabilistic multi-hypothesis tracker (H-PMHT), providing an accessible and intuitive introduction to the mathematical mechanics of H-PMHT as
This two-volume book offers a comprehensive treatment of the probabilistic approach to mean field game models and their applications. The book is self-contained in nature and includes original materia
This two-volume book offers a comprehensive treatment of the probabilistic approach to mean field game models and their applications. The book is self-contained in nature and includes original materia
This Book discusses machine learning for model order reduction, which can be used in modern VLSI design to predict the behavior of an electronic circuit, via mathematical models that predict behavior.
This book describes several mathematical models of the primary visual cortex, referring them to a vast ensemble of experimental data and putting forward an original geometrical model for its functiona
This textbook leads readers from fundamental through advanced topics in nanomedicine and their applications with a focus on nanophototherapy for cancer-related diseases. A computer practicum, keyed to
With this brief, the authors present algorithms for model-free stabilization of unstable dynamic systems. An extremum-seeking algorithm assigns the role of a cost function to the dynamic system’s cont
This book offers readers a thorough and rigorous introduction to nonlinear model predictive control (NMPC) for discrete-time and sampled-data systems. NMPC schemes with and without stabilizing termina
This book provides an academic introduction to, and presentation and defence of stakeholder theory as a model for the strategic management of businesses and corporations, as well as of public organiza
This book compiles and presents new developments in statistical causal inference. The accompanying data and computer programs are publicly available so readers may replicate the model development and
The contributions for this book have been gathered over several years from conferences held in the series of Mechatronics and Machine Vision in Practice, the latest of which was held in Ankara, Turkey
This book clarifies the interrelationship between optics, vision and perspective before the Classical Age, examining binocularity in particular. The author shows how binocular vision was one of the ke
This book provides probabilistic, deterministic and geolocation-aware approaches for adaptive connectivity, robust security and privacy-aware communications for vehicular cyber physical systems (CPS).
This book presents general methods for the design of economic model predictive control (EMPC) systems for broad classes of nonlinear systems that address key theoretical and practical considerations i
In this monograph the authors give a systematic approach to the probabilistic properties of the fixed point equation X=AX+B. A probabilistic study of the stochastic recurrence equation X_t=A_
This book presents a philosophical approach to probability and probabilistic thinking, considering the underpinnings of probabilistic reasoning and modeling, which effectively underlie everything in d
This book presents a wide range of well-known and less common methods used for estimating the accuracy of probabilistic approximations, including the Esseen type inversion formulas, the Stein method a
This introductory book discusses how to plan and build useful, reliable, maintainable and cost efficient computer systems for automated engineering design. The book takes a user perspective and seeks
