This book introduces the fundamentals of computer vision (CV), with a focus on extracting useful information from digital images and videos. Including a wealth of methods used in detecting and classifying image objects and their shapes, it is the first book to apply a trio of tools (computational geometry, topology and algorithms) in solving CV problems, shape tracking in image object recognition and detecting the repetition of shapes in single images and video frames. Computational geometry provides a visualization of topological structures such as neighborhoods of points embedded in images, while image topology supplies us with structures useful in the analysis and classification of image regions. Algorithms provide a practical, step-by-step means of viewing image structures. The implementations of CV methods in Matlab and Mathematica, classification of chapter problems with the symbols (easily solved) and (challenging) and its extensive glossary of key words, examples and connections with the fabric of CV make the book an invaluable resource for advanced undergraduate and first year graduate students in Engineering, Computer Science or Applied Mathematics. It offers insights into the design of CV experiments, inclusion of image processing methods in CV projects, as well as the reconstruction and interpretation of recorded natural scenes.

In this monograph, the authors present their recently developed theory of electromagnetic interactions. This neoclassical approach extends the classical electromagnetic theory down to atomic scales and allows the explanation of various non-classical phenomena in the same framework. While the classical Maxwell-Lorentz electromagnetism theory succeeds in describing the physical reality at macroscopic scales, it struggles at atomic scales. Here, quantum mechanics traditionally takes over to describe non-classical phenomena such as the hydrogen spectrum and de Broglie waves. By means of modifying the classical theory, the approach presented here is able to consistently explain quantum-mechanical effects, and while similar to quantum mechanics in some respects, this neoclassical theory also differs markedly from it. In particular, the newly developed framework omits probabilistic interpretations of the wave function and features a new fundamental spatial scale which, at the size of the free electron, is much larger than the classical electron radius and is relevant to plasmonics and emission physics. This book will appeal to researchers interested in advanced aspects of electromagnetic theory. Treating the classical approach in detail, including non-relativistic aspects and the Lagrangian framework, and comparing the neoclassical theory with quantum mechanics and the de Broglie-Bohm theory, this work is completely self-contained.

This is the second edition of a well-received book that is a modern, self-contained introduction to the theory of gravitational interactions. The new edition includes more details on gravitational waves of cosmological origin, the so-called brane world scenario, and gravitational time-delay effects.The first part of the book follows the traditional presentation of general relativity as a geometric theory of the macroscopic gravitational field, while the second, more advanced part discusses the deep analogies (and differences) between a geometric theory of gravity and the gauge theories of the other fundamental interactions. This fills a gap within the traditional approach to general relativity which usually leaves students puzzled about the role of gravity. The required notions of differential geometry are reduced to the minimum, allowing room for aspects of gravitational physics of current phenomenological and theoretical interest, such as the properties of gravitational waves, the gravitational interactions of spinors, and the supersymmetric and higher-dimensional generalization of the Einstein equations. This textbook is primarily intended for students pursuing a theoretical or astroparticle curriculum but is also relevant for PhD students and young researchers.

The topics covered in this book, written by researchers at the forefront of their field, represent some of the most relevant research areas in modern coding theory: codes and combinatorial structures, algebraic geometric codes, group codes, quantum codes, convolutional codes, network coding and cryptography. The book includes a survey paper on the interconnections of coding theory with constrained systems, written by an invited speaker, as well as 37 cutting-edge research communications presented at the 4th International Castle Meeting on Coding Theory and Applications (4ICMCTA), held at the Castle of Palmela in September 2014. The event's scientific program consisted of four invited talks and 39 regular talks by authors from 24 different countries. This conference provided an ideal opportunity for communicating new results, exchanging ideas, strengthening international cooperation, and introducing young researchers into the coding theory community.

This book provides a state-of-the-art overview on the dynamics and coevolution in multi-level strategic interaction games. As such it summarizes the results of the European CONGAS project, which developed new mathematical models and tools for the analysis, prediction and control of dynamical processes in systems possessing a rich multi-level structure and a web of interwoven interactions among elements with autonomous decision-making capabilities. The framework is built around game theoretical concepts, in particular evolutionary and multi-resolution games, and includes also techniques drawn from graph theory, statistical mechanics, control and optimization theory. Specific attention is devoted to systems that are prone to intermittency and catastrophic events due to the effect of collective dynamics.

Intersecting two large research areas - numerical analysis and applied probability/queuing theory - this book is a self-contained introduction to the numerical solution of structured Markov chains, which have a wide applicability in queuing theory and stochastic modeling and include M/G/1 and GI/M/1-type Markov chain, quasi-birth-death processes, non-skip free queues and tree-like stochastic processes. Written for applied probabilists and numerical analysts, but accessible to engineers and scientists working on telecommunications and evaluation of computer systems performances, it provides a systematic treatment of the theory and algorithms for important families of structured Markov chains and a thorough overview of the current literature. The book, consisting of nine Chapters, is presented in three parts. Part 1 covers a basic description of the fundamental concepts related to Markov chains, a systematic treatment of the structure matrix tools, including finite Toeplitz matrices, displacement operators, FFT, and the infinite block Toeplitz matrices, their relationship with matrix power series and the fundamental problems of solving matrix equations and computing canonical factorizations. Part 2 deals with the description and analysis of structure Markov chains and includes M/G/1, quasi-birth-death processes, non-skip-free queues and tree-like processes. Part 3 covers solution algorithms where new convergence and applicability results are proved. Each chapter ends with bibliographic notes for further reading, and the book ends with an appendix collecting the main general concepts and results used in the book, a list of the main annotations and algorithms used in the book, and an extensive index.

In accordance with the developments in computation, theoretical studies on numerical schemes are now fruitful and highly needed. In 1991 an article on the finite element method applied to evolutionary problems was published. Following the method, basically this book studies various schemes from operator theoretical points of view. Many parts are devoted to the finite element method, but other schemes and problems (charge simulation method, domain decomposition method, nonlinear problems, and so forth) are also discussed, motivated by the observation that practically useful schemes have fine mathematical structures and the converses are also true. This book has the following chapters: 1. Boundary Value Problems and FEM. 2. Semigroup Theory and FEM. 3. Evolution Equations and FEM. 4. Other Methods in Time Discretization. 5. Other Methods in Space Discretization. 6. Nonlinear Problems. 7. Domain Decomposition Method.

This book is devoted to describing theories for porous media where such pores have an inbuilt macro structure and a micro structure. For example, a double porosity material has pores on a macro scale, but additionally there are cracks or fissures in the solid skeleton. The actual body is allowed to deform and thus the underlying theory is one of elasticity. Various different descriptions are reviewed. Chapter 1 introduces the classical linear theory of elastodynamics together with uniqueness and continuous dependence results. Chapters 2 and 3 review developments of theories for double and triple porosity using a pressure-displacement structure and also using voids-displacement. Chapter 4 compares various aspects of the pressure-displacement and voids-displacement theories via uniqueness studies and wave motion analysis. Mathematical analyses of double and triple porosity materials are included concentrating on uniqueness and stability studies in chapters 5 to 7. In chapters 8 and 9 the emphasis is on wave motion in double porosity materials with special attention paid to nonlinear waves. The final chapter embraces a novel area where an elastic body with a double porosity structure is analyzed, but the thermodynamics allows for heat to travel as a wave rather than simply by diffusion. This book will be of value to mathematicians, theoretical engineers and other practitioners who are interested in double or triple porosity elasticity and its relevance to many diverse applications.

This volume collects contributions written by different experts in honor of Prof. Jaime Munoz Masque. It covers a wide variety of research topics, from differential geometry to algebra, but particularly focuses on the geometric formulation of variational calculus; geometric mechanics and field theories; symmetries and conservation laws of differential equations, and pseudo-Riemannian geometry of homogeneous spaces. It also discusses algebraic applications to cryptography and number theory. It offers state-of-the-art contributions in the context of current research trends. The final result is a challenging panoramic view of connecting problems that initially appear distant.

Theoretical advances in dynamical-systems theory and their applications to pattern-forming processes in the sciences and engineering are discussed in this volume that resulted from the conference Patterns in Dynamics held in honor of Bernold Fiedler, in Berlin, July 25-29, 2016.The contributions build and develop mathematical techniques, and use mathematical approaches for prediction and control of complex systems. The underlying mathematical theories help extract structures from experimental observations and, conversely, shed light on the formation, dynamics, and control of spatio-temporal patterns in applications. Theoretical areas covered include geometric analysis, spatial dynamics, spectral theory, traveling-wave theory, and topological data analysis; also discussed are their applications to chemotaxis, self-organization at interfaces, neuroscience, and transport processes.

This textbook intends to be a comprehensive and substantially self-contained two-volume book covering performance, reliability, and availability evaluation subjects. The volumes focus on computing systems, although the methods may also be applied to other systems. The first volume covers Chapter 1 to Chapter 14, whose subtitle is ``Performance Modeling and Background". The second volume encompasses Chapter 15 to Chapter 25 and has the subtitle ``Reliability and Availability Modeling, Measuring and Workload, and Lifetime Data Analysis". This text is helpful for computer performance professionals for supporting planning, design, configuring, and tuning the performance, reliability, and availability of computing systems. Such professionals may use these volumes to get acquainted with specific subjects by looking at the particular chapters. Many examples in the textbook on computing systems will help them understand the concepts covered in each chapter. The text may also be helpful for the instructor who teaches performance, reliability, and availability evaluation subjects. Many possible threads could be configured according to the interest of the audience and the duration of the course. Chapter 1 presents a good number of possible courses programs that could be organized using this text.

Algebraic Identification and Estimation Methods in Feedback Control Systems presents a model-based algebraic approach to online parameter and state estimation in uncertain dynamic feedback control systems. This approach evades the mathematical intricacies of the traditional stochastic approach, proposing a direct model-based scheme with several easy-to-implement computational advantages. The approach can be used with continuous and discrete, linear and nonlinear, mono-variable and multi-variable systems. The estimators based on this approach are not of asymptotic nature, and do not require any statistical knowledge of the corrupting noises to achieve good performance in a noisy environment. These estimators are fast, robust to structured perturbations, and easy to combine with classical or sophisticated control laws. This book uses module theory, differential algebra, and operational calculus in an easy-to-understand manner and also details how to apply these in the context of feedback control systems. A wide variety of examples, including mechanical systems, power converters, electric motors, and chaotic systems, are also included to illustrate the algebraic methodology. Key features: * Presents a radically new approach to online parameter and state estimation. * Enables the reader to master the use and understand the consequences of the highly theoretical differential algebraic viewpoint in control systems theory. * Includes examples in a variety of physical applications with experimental results. * Covers the latest developments and applications. Algebraic Identification and Estimation Methods in Feedback Control Systems is a comprehensive reference for researchers and practitioners working in the area of automatic control, and is also a useful source of information for graduate and undergraduate students.

This monograph bridges the gap between the nonlinear predictor as a concept and as a practical tool, presenting a complete theory of the application of predictor feedback to time-invariant, uncertain systems with constant input delays and/or measurement delays. It supplies several methods for generating the necessary real-time solutions to the systems' nonlinear differential equations, which the authors refer to as approximate predictors. Predictor feedback for linear time-invariant (LTI) systems is presented in Part I to provide a solid foundation on the necessary concepts, as LTI systems pose fewer technical difficulties than nonlinear systems. Part II extends all of the concepts to nonlinear time-invariant systems. Finally, Part III explores extensions of predictor feedback to systems described by integral delay equations and to discrete-time systems. The book's core is the design of control and observer algorithms with which global stabilization, guaranteed in the previous literature with idealized (but non-implementable) predictors, is preserved with approximate predictors developed in the book. An applications-driven engineer will find a large number of explicit formulae, which are given throughout the book to assist in the application of the theory to a variety of control problems. A mathematician will find sophisticated new proof techniques, which are developed for the purpose of providing global stability guarantees for the nonlinear infinite-dimensional delay system under feedback laws employing practically implementable approximate predictors. Researchers working on global stabilization problems for time-delay systems will find this monograph to be a helpful summary of the state of the art, while graduate students in the broad field of systems and control will advance their skills in nonlinear control design and the analysis of nonlinear delay systems.

This thesis both broadens and deepens our understanding of the Brownian world. It addresses new problems in diffusion theory that have recently attracted considerable attention, both from the side of nanotechnology and from the viewpoint of pure academic research. The author focusses on the difussion of interacting particles in restricted geometries and under externally controlled forces. These geometries serve, for example, to model ion transport through narrow channels in cell membranes or a Brownian particle diffusing in an optical trap, now a paradigm for both theory and experiment. The work is exceptional in obtaining explicit analytically formulated answers to such realistic, experimentally relevant questions. At the same time, with its detailed exposition of the problems and a complete set of references, it presents a clear and broadly accessible introduction to the domain. Many of the problem settings and the corresponding exact asymptotic laws are completely new in diffusion theory.

This work is motivated by the ongoing open question of how information in the outside world is represented and processed by the brain. Consequently, several novel methods are developed. A new mathematical formulation is proposed for the encoding and decoding of analog signals using integrate-and-fire neuron models. Based on this formulation, a novel algorithm, significantly faster than the state-of-the-art method, is proposed for reconstructing the input of the neuron. Two new identification methods are proposed for neural circuits comprising a filter in series with a spiking neuron model. These methods reduce the number of assumptions made by the state-of-the-art identification framework, allowing for a wider range of models of sensory processing circuits to be inferred directly from input-output observations. A third contribution is an algorithm that computes the spike time sequence generated by an integrate-and-fire neuron model in response to the output of a linear filter, given the input of the filter encoded with the same neuron model.

This unique text/reference provides an overview of crossbar-based interconnection networks, offering novel perspectives on these important components of high-performance, parallel-processor systems. A particular focus is placed on solutions to the blocking and scalability problems. Topics and features: introduces the fundamental concepts in interconnection networks in multi-processor systems, including issues of blocking, scalability, and crossbar networks; presents a classification of interconnection networks, and provides information on recognizing each of the networks; examines the challenges of blocking and scalability, and analyzes the different solutions that have been proposed; reviews a variety of different approaches to improve fault tolerance in multistage interconnection networks; discusses the scalable crossbar network, which is a non-blocking interconnection network that uses small-sized crossbar switches as switching elements. This invaluable work will be of great benefit to students, researchers and practitioners interested in computer networks, parallel processing and reliability engineering. The text is also essential reading for course modules on interconnection network design and reliability.

This book - specifically developed as a novel textbook on elementary classical mechanics - shows how analytical and numerical methods can be seamlessly integrated to solve physics problems. This approach allows students to solve more advanced and applied problems at an earlier stage and equips them to deal with real-world examples well beyond the typical special cases treated in standard textbooks. Another advantage of this approach is that students are brought closer to the way physics is actually discovered and applied, as they are introduced right from the start to a more exploratory way of understanding phenomena and of developing their physical concepts. While not a requirement, it is advantageous for the reader to have some prior knowledge of scientific programming with a scripting-type language. This edition of the book uses Python, and a chapter devoted to the basics of scientific programming with Python is included. A parallel edition using Matlab instead of Python is also available. Last but not least, each chapter is accompanied by an extensive set of course-tested exercises and solutions.

This book presents the most recent advances in the research of machines and mechanisms. It collects 54 reviewed papers presented at the XII International Conference on the Theory of Machines and mechanisms (TMM 2016) held in Liberec, Czech Republic, September 6-8, 2016. This volume offers an international selection of the most important new results and developments, grouped in six different parts, representing a well-balanced overview, and spanning the general theory of machines and mechanisms, through analysis and synthesis of planar and spatial mechanisms, linkages and cams, robots and manipulators, dynamics of machines and mechanisms, rotor dynamics, computational mechanics, vibration and noise in machines, optimization of mechanisms and machines, mechanisms of textile machines, mechatronics to the control and monitoring systems of machines. This conference is traditionally organised every four year under the auspices of the international organisation IFToMM and the Czech Society for Mechanics.

Uncertainty Quantification (UQ) is a relatively new research area which describes the methods and approaches used to supply quantitative descriptions of the effects of uncertainty, variability and errors in simulation problems and models. It is rapidly becoming a field of increasing importance, with many real-world applications within statistics, mathematics, probability and engineering, but also within the natural sciences. Literature on the topic has up until now been largely based on polynomial chaos, which raises difficulties when considering different types of approximation and does not lead to a unified presentation of the methods. Moreover, this description does not consider either deterministic problems or infinite dimensional ones. This book gives a unified, practical and comprehensive presentation of the main techniques used for the characterization of the effect of uncertainty on numerical models and on their exploitation in numerical problems. In particular, applications to linear and nonlinear systems of equations, differential equations, optimization and reliability are presented. Applications of stochastic methods to deal with deterministic numerical problems are also discussed. Matlab (R) illustrates the implementation of these methods and makes the book suitable as a textbook and for self-study.

The goal of this book is to present Stochastic Calculus at an introductory level and not at its maximum mathematical detail. The author aims to capture as much as possible the spirit of elementary deterministic Calculus, at which students have been already exposed. This assumes a presentation that mimics similar properties of deterministic Calculus, which facilitates understanding of more complicated topics of Stochastic Calculus.

The goal of this book is to present Stochastic Calculus at an introductory level and not at its maximum mathematical detail. The author aims to capture as much as possible the spirit of elementary deterministic Calculus, at which students have been already exposed. This assumes a presentation that mimics similar properties of deterministic Calculus, which facilitates understanding of more complicated topics of Stochastic Calculus.

This book presents a collection of selected papers that represent the current variety of research on the teaching and learning of probability. The respective chapters address a diverse range of theoretical, empirical and practical aspects underpinning the teaching and learning of probability, curricular issues, probabilistic reasoning, misconceptions and biases, as well as their pedagogical implications. These chapters are divided into THREE main sections, dealing with: TEACHING PROBABILITY, STUDENTS' REASONING AND LEARNING AND EDUCATION OF TEACHERS. In brief, the papers presented here include research dealing with teachers and students at different levels and ages (from primary school to university) and address epistemological and curricular analysis, as well as the role of technology, simulations, language and visualisation in teaching and learning probability. As such, it offers essential information for teachers, researchers and curricular designers alike.

This book introduces the basic fundamentals, models, emulators and analyses of mem-elements in the circuit theory with applications. The book starts reviewing the literature on mem-elements, models and their recent applications. It presents mathematical models, numerical results, circuit simulations, and experimental results for double-loop hysteresis behavior of mem-elements. The authors introduce a generalized memristor model in the fractional-order domain under different input and different designs for emulator-based mem-elements, with circuit and experimental results. The basic concept of memristive-based relaxation-oscillators in the circuit theory is also covered. The reader will moreover find in this book information on memristor-based multi-level digital circuits, memristor-based multi-level multiplier and memcapacitor-based oscillators and synaptic circuits.

This work is concerned with combinatorial aspects arising in the theory of exactly solvable models and representation theory. Recent developments in integrable models reveal an unexpected link between representation theory and statistical mechanics through combinatorics. For example, Young tableaux, which describe the basis of irreducible representations, appear in the Bethe Ansatz method in quantum spin chains as labels for the eigenstates for Hamiltonians.

Taking into account the various criss-crossing among mathematical subject, Physical Combinatorics presents new results and exciting ideas from three viewpoints; representation theory, integrable models, and combinatorics.

This volume will be of interest to mathematical physicists and graduate students in the the above-mentioned fields.

Contributors to the volume: T.H. Baker, O. Foda, G. Hatayama, Y. Komori, A. Kuniba, T. Nakanishi, M. Okado, A. Schilling, J. Suzuki, T. Takagi, D. Uglov, O. Warnaar, T.A. Welsh, A. Zabrodin