This book constitutes the refereed proceedings of the 17th International Conference on Reversible Computation, RC 2025, held in Odense, Denmark, during July 3–4, 2025.The 7 full papers and 5 short papers included in this book were carefully reviewed and selected from 22 submissions.The conference brought together researchers from computer science, mathematics, engineering, and physics to discuss new developments and directions for future research in the area of Reversible Computati...

Numerical Methods using MATLAB, 3e, is an extensive reference offering hundreds of useful and important numerical algorithms that can be implemented into MATLAB for a graphical interpretation to help researchers analyze a particular outcome. Many worked examples are given together with exercises and solutions to illustrate how numerical methods can be used to study problems that have applications in the biosciences, chaos, optimization, engineering and science across the board. - Over 500 ...

The fourth edition of Numerical Methods Using MATLAB® provides a clear and rigorous introduction to a wide range of numerical methods that have practical applications. The authors' approach is to integrate MATLAB® with numerical analysis in a way which adds clarity to the numerical analysis and develops familiarity with MATLAB®. MATLAB® graphics and numerical output are used extensively to clarify complex problems and give a deeper understanding of their nature. The text provides an extens...

Object detection, tracking and recognition in images are key problems in computer vision. This book provides the reader with a balanced treatment between the theory and practice of selected methods in these areas to make the book accessible to a range of researchers, engineers, developers and postgraduate students working in computer vision and related fields.Key features:Explains the main theoretical ideas behind each method (which are augmented with a rigorous mathe...

This latest addition to the successful Network Biology series presents current methods for determining the entropy of networks, making it the first to cover the recently established Quantitative Graph Theory.An excellent international team of editors and contributors provides an up-to-date outlook for the field, covering a broad range of graph entropy-related concepts and methods. The topics range from analyzing mathematical properties of methods right up to applying them in real-li...

This Open Access book reviews recent theoretical and numerical developments in nonlinear model order reduction in continuum mechanics, being addressed to Master and PhD students, as well as to researchers, lecturers and instructors. The aim of the authors is to provide tools for a better understanding and implement reduced order models by using: physics-based models, synthetic data forecast by these models, experimental data and deep learning algorithms. The book involves a survey of key m...

This book gathers together a selection of papers presented at the Joint CTS-HYCON Workshop on Nonlinear and Hybrid Control held at the Paris Sorbonne, France, 10-12 July 2006. The main objective of the Workshop was to promote the exchange of ideas and experiences and reinforce scientific contacts in the large multidisciplinary area of the control of nonlinear and hybrid systems.

This first volume, edited and authored by world leading experts, gives a review of the principles, methods and techniques of important and emerging research topics and technologies in machine learning and advanced signal processing theory. With this reference source you will: - Quickly grasp a new area of research - Understand the underlying principles of a topic and its application - Ascertain how a topic relates to other areas and learn of the research issues yet to be resolved - Quick t...

The proceedings represent the state of knowledge in the area of algorithmic differentiation (AD). The 31 contributed papers presented at the AD2012 conference cover the application of AD to many areas in science and engineering as well as aspects of AD theory and its implementation in tools. For all papers the referees, selected from the program committee and the greater community, as well as the editors have emphasized accessibility of the presented ideas also to non-AD experts. In the AD...

In the last few years, Algorithms for Convex Optimization have revolutionized algorithm design, both for discrete and continuous optimization problems. For problems like maximum flow, maximum matching, and submodular function minimization, the fastest algorithms involve essential methods such as gradient descent, mirror descent, interior point methods, and ellipsoid methods. The goal of this self-contained book is to enable researchers and professionals in computer science, data science, a...

In this popular text for an Numerical Analysis course, the authors introduce several major methods of solving various partial differential equations (PDEs) including elliptic, parabolic, and hyperbolic equations. It covers traditional techniques including the classic finite difference method, finite element method, and state-of-the-art numercial methods.The text uniquely emphasizes both theoretical numerical analysis and practical implementation of the algorithms in MATLAB. This new editio...

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.