Finite-state devices, which include finite-state automata, graphs, and finite-state transducers, are in wide use in many areas of computer science. Recently, there has been a resurgence of the use of finite-state devices in all aspects of computational linguistics, including dictionary encoding, text processing, and speech processing. This...

Providing an overview of the latest computational approaches to estimate rate constants for thermal reactions, this book addresses the theories behind various first-principle and approximation methods that have emerged in the last twenty years with validation examples. It presents in-depth applications of those theories to a wide range of...

'What's going to happen next?' Time series data hold the answers, and Bayesian methods represent the cutting edge in learning what they have to say. This ambitious book is the first unified treatment of the emerging knowledge-base in Bayesian time series techniques. Exploiting the unifying framework of probabilistic graphical...

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special...

This book presents a comprehensive course of quantum mechanics for undergraduate and graduate students. After a brief outline of the innovative ideas that lead up to the quantum theory, the book reviews properties of the Schrödinger equation, the quantization phenomena and the physical meaning of wave functions. The book discusses, in a...

This monograph presents new model-based design methods for trajectory planning, feedback stabilization, state estimation, and tracking control of distributed-parameter systems governed by partial differential equations (PDEs). Flatness and backstepping techniques and their generalization to PDEs with higher-dimensional spatial domain lie at...

This book presents a comprehensive review of key distributed graph algorithms for computer network applications, with a particular emphasis on practical implementation. Topics and features: introduces a range of fundamental graph algorithms, covering spanning trees, graph traversal algorithms, routing algorithms, and self-stabilization;...

This book introduces students with little or no prior programming experience to the art of computational problem solving using Python and various Python libraries, including PyLab. It provides students with skills that will enable them to make productive use of computational techniques, including some of the tools and techniques of "data...

This book gives an introduction to the finite element method as a general computational method for solving partial differential equations approximately. Our approach is mathematical in nature with a strong focus on the underlying mathematical principles, such as approximation properties of piecewise polynomial spaces, and variational...

This Ph.D. dissertation presents the result of research carried out between 1985 and 1992, first at Leiden University as a scientific assistant researcher, and later at CWI (Centre for Mathematics and Computer Science), Amsterdam, as a researcher on the NFI IIICAD project, funded by NWO (Dutch Organization for Scientific Research)...

This text is a single variable real analysis text, designed for the one-year course at the junior, senior, or beginning graduate level. It provides a rigorous and comprehensive treatment of the theoretical concepts of analysis. The book contains most of the topics covered in a text of this nature, but it also includes many...

This classic textbook, now reissued, offers a clear exposition of modern probability theory and of the interplay between the properties of metric spaces and probability measures. The new edition has been made even more self-contained than before; it now includes a foundation of the real number system and the Stone-Weierstrass theorem on...