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.

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.

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 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.

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 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 offers a timely overview of fractional calculus applications, with a special emphasis on fractional derivatives with Mittag-Leffler kernel. The different contributions, written by applied mathematicians, physicists and engineers, offers a snapshot of recent research in the field, highlighting the current methodological frameworks together with applications in different fields of science and engineering, such as chemistry, mechanics, epidemiology and more. It is intended as a timely guide and source of inspiration for graduate students and researchers in the above-mentioned areas.

This book focuses on the theory of the Zakharov system in the context of plasma physics. It has been over 40 years since the system was first derived by V. E. Zakharov - and in the course of those decades, many innovative achievements with major impacts on other research fields have been made. The book represents a first attempt to highlight the mathematical theories that are most important to researchers, including the existence and unique problems, blow-up, low regularity, large time behavior and the singular limit. Rather than attempting to examine every aspect of the Zakharov system in detail, it provides an effective road map to help readers access the frontier of studies on this system.

This thesis presents the first isotope-shift measurement of bound-electron g-factors of highly charged ions and determines the most precise value of the electron mass in atomic mass units, which exceeds the value in the literature by a factor of 13. As the lightest fundamental massive particle, the electron is one of nature's few central building blocks. A precise knowledge of its intrinsic properties, such as its mass, is mandatory for the most accurate tests in physics - the Quantum Electrodynamics tests that describe one of the four established fundamental interactions in the universe. The underlying measurement principle combines a high-precision measurement of the Larmor-to-cyclotron frequency ratio on a single hydrogen-like carbon ion studied in a Penning trap with very accurate calculations of the so-called bound-electron g-factor. For the isotope-shift measurement, the bound-electron g-factors of two lithium-like calcium isotopes have been measured with relative uncertainties of a few 10^{-10}, constituting an as yet unrivaled level of precision for lithium-like ions.

Parallel CFD 2000, the Twelfth in an International series of meetings featuring computational fluid dynamics research on parallel computers, was held May 22-25, 2000 in Trondheim, Norway.
Following the trend of the past conferences, areas such as numerical schemes and algorithms, tools and environments, load balancing, as well as interdisciplinary topics and various kinds of industrial applications were all well represented in the work presented. In addition, for the first time in the Parallel CFD conference series, the organizing committee chose to draw special attention to certain subject areas by organizing a number of special sessions.
We feel the emphasis of the papers presented at the conference reflect the direction of the research within parallel CFD at the beginning of the new millennium. It seems to be a clear tendency towards increased industrial exploitation of parallel CFD. Several presentations also demonstrated how new insight is being achieved from complex simulations, and how powerful parallel computers now make it possible to use CFD within a broader interdisciplinary setting.
Obviously, successful application of parallel CFD still rests on the underlying fundamental principles. Therefore, numerical algorithms, development tools, and parallelization techniques are still as important as when parallel CFD was in is infancy. Furthermore, the novel concepts of affordable parallel computing as well as metacomputing show that exciting developments are still taking place.
As is often pointed out however, the real power of parallel CFD comes from the combination of all the disciplines involved: Physics, mathematics, and computer science. This is probably one of the principal reasons for the continued popularity of the Parallel CFD Conferences series, as well as the inspiration behind much of the excellent work carried out on the subject. We hope that the papers in this book, both on an individual basis and as a whole, will contribute to that inspiration. Further details of Parallel CFD'99, as well as other conferences in this series, are available at http: //www.parcfd.org

This book presents an upper level text on semilinear evolutionary partial differential equations aimed at the graduate and postgraduate level. Cazenave and Haraux present in a self-contained way, the typical basic properties of solutions to semi-linear evolutionary partial differential equations, with special emphasis on global properties. The main objective of this book is to provide a didactic approach to the subject , and the main readership will be graduate students in mathematical analysis, as well as professional applied mathematicians.

Including contributions from leading experts in the field, this book covers applications and developments of heuristic search methods for solving complex optimization problems. The book covers various local search strategies including genetic algorithms, simulated annealing, tabu search and hybrids thereof. These methods have proved extraordinarily successful by solving some of the most difficult, real-world problems. At the interface between Artificial Intelligence and Operational Research, research in this exciting area is progressing apace spurred on by the needs of industry and commerce. The introductory chapter provides a clear overview of the basic techniques and useful pointers to further reading and to current research. The second section of the book covers some of the most recent and exciting developments of the basic techniques, with suggestions not only for extending and improving these but also for hybridizing and incorporating automatic adaption. The third section contains a number of case studies, surveys and comparative studies which span a wide range of application areas ranging from the classic Steiner tree problem to more practical problems arising in telecommunications and data analysis. The coverage of the latest research and the illustrative case studies will ensure that the book is invaluable for researchers and professionals with an interest in heuristic search methods.

This thesis describes the stand-alone discovery and measurement of the Higgs boson in its decays to two W bosons using the Run-I ATLAS dataset. This is the most precise measurement of gluon-fusion Higgs boson production and is among the most significant results attained at the LHC. The thesis provides an exceptionally clear exposition on a complicated analysis performed by a large team of researchers. Aspects of the analysis performed by the author are explained in detail; these include new methods for evaluating uncertainties on the jet binning used in the analysis and for estimating the background due to associated production of a W boson and an off-shell photon. The thesis also describes a measurement of the WW cross section, an essential background to Higgs boson production. The primary motivation of the LHC was to prove or disprove the existence of the Higgs boson. In 2012, CERN announced this discovery and the resultant ATLAS publication contained three decay channels: gg, ZZ, and WW.

This book contains the elaborated and updated versions of the 24 lectures given at the 43rd Saas-Fee Advanced Course. Written by four eminent scientists in the field, the book reviews the physical processes related to star formation, starting from cosmological down to galactic scales. It presents a detailed description of the interstellar medium and its link with the star formation. And it describes the main numerical computational techniques designed to solve the equations governing self-gravitating fluids used for modelling of galactic and extra-galactic systems. This book provides a unique framework which is needed to develop and improve the simulation techniques designed for understanding the formation and evolution of galaxies. Presented in an accessible manner it contains the present day state of knowledge of the field. It serves as an entry point and key reference to students and researchers in astronomy, cosmology, and physics.

This thesis develops a nested sampling algorithm into a black box tool for directly calculating the partition function, and thus the complete phase diagram of a material, from the interatomic potential energy function. It represents a significant step forward in our ability to accurately describe the finite temperature properties of materials. In principle, the macroscopic phases of matter are related to the microscopic interactions of atoms by statistical mechanics and the partition function. In practice, direct calculation of the partition function has proved infeasible for realistic models of atomic interactions, even with modern atomistic simulation methods. The thesis also shows how the output of nested sampling calculations can be processed to calculate the complete PVT (pressure-volume-temperature) equation of state for a material, and applies the nested sampling algorithm to calculate the pressure-temperature phase diagrams of aluminium and a model binary alloy.

This book fills an important gap in studies on D. D. Kosambi. For the first time, the mathematical work of Kosambi is described, collected and presented in a manner that is accessible to non-mathematicians as well. A number of his papers that are difficult to obtain in these areas are made available here. In addition, there are essays by Kosambi that have not been published earlier as well as some of his lesser known works. Each of the twenty four papers is prefaced by a commentary on the significance of the work, and where possible, extracts from technical reviews by other mathematicians.

Quantum Field Theory has become the universal language of most modern theoretical physics. This introductory textbook shows how this beautiful theory offers the correct mathematical framework to describe and understand the fundamental interactions of elementary particles. The book begins with a brief reminder of basic classical field theories, electrodynamics and general relativity, as well as their symmetry properties, and proceeds with the principles of quantisation following Feynman's path integral approach. Special care is used at every step to illustrate the correct mathematical formulation of the underlying assumptions. Gauge theories and the problems encountered in their quantisation are discussed in detail. The last chapters contain a full description of the Standard Model of particle physics and the attempts to go beyond it, such as grand unified theories and supersymmetry. Written for advanced undergraduate and beginning graduate students in physics and mathematics, the book could also serve as a reference for active researchers in the field.

This unique collection of research papers offers a comprehensive and up-to-date guide to algebraic approaches to rough sets and reasoning with vagueness. It bridges important gaps, outlines intriguing future research directions, and connects algebraic approaches to rough sets with those for other forms of approximate reasoning. In addition, the book reworks algebraic approaches to axiomatic granularity. Given its scope, the book offers a valuable resource for researchers and teachers in the areas of rough sets and algebras of rough sets, algebraic logic, non classical logic, fuzzy sets, possibility theory, formal concept analysis, computational learning theory, category theory, and other formal approaches to vagueness and approximate reasoning. Consultants in AI and allied fields will also find the book to be of great practical value.

This thesis discusses the random Euclidean bipartite matching problem, i.e., the matching problem between two different sets of points randomly generated on the Euclidean domain. The presence of both randomness and Euclidean constraints makes the study of the average properties of the solution highly relevant. The thesis reviews a number of known results about both matching problems and Euclidean matching problems. It then goes on to provide a complete and general solution for the one dimensional problem in the case of convex cost functionals and, moreover, discusses a potential approach to the average optimal matching cost and its finite size corrections in the quadratic case. The correlation functions of the optimal matching map in the thermodynamical limit are also analyzed. Lastly, using a functional approach, the thesis puts forward a general recipe for the computation of the correlation function of the optimal matching in any dimension and in a generic domain.

Many open questions in Theoretical Physics pertain to strongly interacting quantum systems such as the quark-gluon plasma (QGP) produced in heavy-ion collisions or the strange-metal phase observed in many high-temperature superconductors. These systems are notoriously difficult to study using traditional methods such as perturbation theory, but the gauge/gravity duality offers a successful alternative approach, which maps strongly interacting quantum gauge theories to computationally tractable, classical gravity theories. This book begins with a pedagogical introduction to how the duality can be used to extract transport properties of quantum systems from their gravity dual. It then presents new results on hydrodynamic transport in strongly interacting quantum fluids, providing strong evidence that the Haack-Yarom identity between second-order transport coefficients holds for all fluids with a classical gravity dual and may be a universal feature of all strongly coupled quantum fluids such as the QGP. Newly derived Kubo formulae, expressing transport coefficients in terms of quantum correlators, hold independently of the duality. Lastly, the book discusses new results on magnetic impurities in strongly correlated metals, including the first dual gravity description of an inter-impurity coupling, crucial for the quantum criticality underlying the strange-metal phase.

This book presents and discusses the state of the art and future perspectives in mathematical modeling and homogenization techniques with the focus on addressing key physiological issues in the context of multiphase healthy and malignant biological materials. The highly interdisciplinary content brings together contributions from scientists with complementary areas of expertise, such as pure and applied mathematicians, engineers, and biophysicists. The book also features the lecture notes from a half-day introductory course on asymptotic homogenization. These notes are suitable for undergraduate mathematics or physics students, while the other chapters are aimed at graduate students and researchers.

This book uses art photography as a point of departure for learning about physics, while also using physics as a point of departure for asking fundamental questions about the nature of photography as an art. Although not a how-to manual, the topics center around hands-on applications, most-often illustrated by photographic processes that are inexpensive and easily accessible to students (including a versatile new process developed by the author, and herein first described in print). A central theme is the connection between the physical interaction of light and matter on the one hand, and the artistry of the photographic processes and their results on the other. Geometry and the Nature of Light focuses on the physics of light and the optics of lenses, but also includes extended discussions of topics less commonly covered in a beginning text, including symmetry in art and physics, different physical processes of the scattering of light, photograms (photographic shadow prints) and the nature of shadows, elements of 2-dimensional design, pinhole photography and the view camera. Although written at a beginning undergraduate level, the topics are chosen for their role in a more general discussion of the relation between science and art that is of interest to readers of all backgrounds and levels of expertise.