The goal of this book is to present the topic of discrete calculus to scientists and - gineers and to show how the theory can be applied to solving a wide variety of re- world problems. We feel that discrete calculus allows us to unify many approaches to data analysis and content extraction while being accessible enough to be widely applied in many ?elds and disciplines. This project initially began as a tutorial on discrete calculus and its applications, and we hope that this work can provide an introduction to discrete calculus and demonstrate its effectiveness in many problem domains. This book bene?ted enormously from the friends and colleagues who provided software, data, and their time in reading the manuscript. In particular, for software we would like to thank Sebastien Bougleux for help with total variation code for an arbitrary graph and Camille Couprie for powerwatershed code. For use of their data, we wish to thank Jason Bohland, James Fowler, David Gleich, and Robert S- ner. For comments on the manuscript we would like to thank Christopher Alvino, Mukund Balasubramanian, Jason Bohland, Sebastien Bougleux, Gaelle Desbordes, Mathieu Desbrun, Noha El-Zehiry, Gareth Funka-Lea, David Gleich, Oliver Hinds, Anil Hirani, Hiroshi Ishikawa, Robert Kotiuga, Elliot Saltzman, Dheeraj Singaraju, Ganesh Sundaramoorthi and Enzo Tonti. We thank Eric Schwartz for all his help and support over the years. We would like to thank Wayne Wheeler, Simon Rees, and Catherine Brett at Springer for their enthusiasm and for initially proposing this project.

This contributed volume highlights two areas of fundamental interest in high-performance computing: core algorithms for important kernels and computationally demanding applications. The first few chapters explore algorithms, numerical techniques, and their parallel formulations for a variety of kernels that arise in applications. The rest of the volume focuses on state-of-the-art applications from diverse domains. By structuring the volume around these two areas, it presents a comprehensive view of the application landscape for high-performance computing, while also enabling readers to develop new applications using the kernels. Readers will learn how to choose the most suitable parallel algorithms for any given application, ensuring that theory and practicality are clearly connected. Applications using these techniques are illustrated in detail, including: Computational materials science and engineering Computational cardiovascular analysis Multiscale analysis of wind turbines and turbomachinery Weather forecasting Machine learning techniques Parallel Algorithms in Computational Science and Engineering will be an ideal reference for applied mathematicians, engineers, computer scientists, and other researchers who utilize high-performance computing in their work.

This book is an introduction to numerical analysis in geomechanics and is intended for advanced undergraduate and beginning graduate study of the mechanics of porous, jointed rocks and soils. Although familiarity with the concepts of stress, strain and so on is assumed, a review of the fundamentals of solid mechanics including concepts of physical laws, kinematics and material laws is presented in an appendix. Emphasis is on the popular finite element method but brief explanations of the boundary element method, the distinct element method (also known as the discrete element method) and discontinuous deformation analysis are included. Familiarity with a computer programming language such as Fortran, C++ or Python is not required, although programming excerpts in Fortran are presented at the end of some chapters. This work begins with an intuitive approach to interpolation over a triangular element and thus avoids making the simple complex by not doing energy minimization via a calculus of variations approach so often found in reference books on the finite element method. The presentation then proceeds to a principal of virtual work via the well-known divergence theorem to obtain element equilibrium and then global equilibrium, both expressed as stiffness equations relating force to displacement. Solution methods for the finite element approach including elimination and iteration methods are discussed. Hydro-mechanical coupling is described and extension of the finite element method to accommodate fluid flow in porous geological media is made. Example problems illustrate important concepts throughout the text. Additional problems for a 15-week course of study are presented in an appendix; solutions are given in another appendix.

The present volume gathers contributions to the conference Microlocal and Time-Frequency Analysis 2018 (MLTFA18), which was held at Torino University from the 2nd to the 6th of July 2018. The event was organized in honor of Professor Luigi Rodino on the occasion of his 70th birthday. The conference's focus and the contents of the papers reflect Luigi's various research interests in the course of his long and extremely prolific career at Torino University.

Initial training in pure and applied sciences tends to present problem-solving as the process of elaborating explicit closed-form solutions from basic principles, and then using these solutions in numerical applications. This approach is only applicable to very limited classes of problems that are simple enough for such closed-form solutions to exist. Unfortunately, most real-life problems are too complex to be amenable to this type of treatment. "Numerical Methods a Consumer Guide "presents methods for dealing with them.

Shifting the paradigm from formal calculus to numerical computation, the text makes it possible for the reader to

. discover how to escape the dictatorship of those particular cases that are simple enough to receive a closed-form solution, and thus gain the ability to solve complex, real-life problems;

. understand the principles behind recognized algorithms used in state-of-the-art numerical software;

. learn the advantages and limitations of these algorithms, to facilitate the choice of which pre-existing bricks to assemble for solving a given problem; and

. acquire methods that allow a critical assessment of numerical results.

"Numerical Methods a Consumer Guide "will be of interest to engineers and researchers who solve problems numerically with computers or supervise people doing so, and to students of both engineering and applied mathematics. "

This book explores the most significant computational methods and the history of their development. It begins with the earliest mathematical / numerical achievements made by the Babylonians and the Greeks, followed by the period beginning in the 16th century. For several centuries the main scientific challenge concerned the mechanics of planetary dynamics, and the book describes the basic numerical methods of that time. In turn, at the end of the Second World War scientific computing took a giant step forward with the advent of electronic computers, which greatly accelerated the development of numerical methods. As a result, scientific computing became established as a third scientific method in addition to the two traditional branches: theory and experimentation. The book traces numerical methods' journey back to their origins and to the people who invented them, while also briefly examining the development of electronic computers over the years. Featuring 163 references and more than 100 figures, many of them portraits or photos of key historical figures, the book provides a unique historical perspective on the general field of scientific computing - making it a valuable resource for all students and professionals interested in the history of numerical analysis and computing, and for a broader readership alike.

This book provides a comprehensive analysis of time domain boundary integral equations and their discretisation by convolution quadrature and the boundary element method. Properties of convolution quadrature, based on both linear multistep and Runge-Kutta methods, are explained in detail, always with wave propagation problems in mind. Main algorithms for implementing the discrete schemes are described and illustrated by short Matlab codes; translation to other languages can be found on the accompanying GitHub page. The codes are used to present numerous numerical examples to give the reader a feeling for the qualitative behaviour of the discrete schemes in practice. Applications to acoustic and electromagnetic scattering are described with an emphasis on the acoustic case where the fully discrete schemes for sound-soft and sound-hard scattering are developed and analysed in detail. A strength of the book is that more advanced applications such as linear and non-linear impedance boundary conditions and FEM/BEM coupling are also covered. While the focus is on wave scattering, a chapter on parabolic problems is included which also covers the relevant fast and oblivious algorithms. Finally, a brief description of data sparse techniques and modified convolution quadrature methods completes the book. Suitable for graduate students and above, this book is essentially self-contained, with background in mathematical analysis listed in the appendix along with other useful facts. Although not strictly necessary, some familiarity with boundary integral equations for steady state problems is desirable.

This book includes a thorough theoretical and computational analysis of unconstrained and constrained optimization algorithms and combines and integrates the most recent techniques and advanced computational linear algebra methods. Nonlinear optimization methods and techniques have reached their maturity and an abundance of optimization algorithms are available for which both the convergence properties and the numerical performances are known. This clear, friendly, and rigorous exposition discusses the theory behind the nonlinear optimization algorithms for understanding their properties and their convergence, enabling the reader to prove the convergence of his/her own algorithms. It covers cases and computational performances of the most known modern nonlinear optimization algorithms that solve collections of unconstrained and constrained optimization test problems with different structures, complexities, as well as those with large-scale real applications. The book is addressed to all those interested in developing and using new advanced techniques for solving large-scale unconstrained or constrained complex optimization problems. Mathematical programming researchers, theoreticians and practitioners in operations research, practitioners in engineering and industry researchers, as well as graduate students in mathematics, Ph.D. and master in mathematical programming will find plenty of recent information and practical approaches for solving real large-scale optimization problems and applications.

This is a book on optimal control problems (OCPs) for partial differential equations (PDEs) that evolved from a series of courses taught by the authors in the last few years at Politecnico di Milano, both at the undergraduate and graduate levels. The book covers the whole range spanning from the setup and the rigorous theoretical analysis of OCPs, the derivation of the system of optimality conditions, the proposition of suitable numerical methods, their formulation, their analysis, including their application to a broad set of problems of practical relevance. The first introductory chapter addresses a handful of representative OCPs and presents an overview of the associated mathematical issues. The rest of the book is organized into three parts: part I provides preliminary concepts of OCPs for algebraic and dynamical systems; part II addresses OCPs involving linear PDEs (mostly elliptic and parabolic type) and quadratic cost functions; part III deals with more general classes of OCPs that stand behind the advanced applications mentioned above. Starting from simple problems that allow a "hands-on" treatment, the reader is progressively led to a general framework suitable to face a broader class of problems. Moreover, the inclusion of many pseudocodes allows the reader to easily implement the algorithms illustrated throughout the text. The three parts of the book are suitable to readers with variable mathematical backgrounds, from advanced undergraduate to Ph.D. levels and beyond. We believe that applied mathematicians, computational scientists, and engineers may find this book useful for a constructive approach toward the solution of OCPs in the context of complex applications.

Algorithms play an increasingly important role in nearly all fields of mathematics. This book allows readers to develop basic mathematical abilities, in particular those concerning the design and analysis of algorithms as well as their implementation. It presents not only fundamental algorithms like the sieve of Eratosthenes, the Euclidean algorithm, sorting algorithms, algorithms on graphs, and Gaussian elimination, but also discusses elementary data structures, basic graph theory, and numerical questions. In addition, it provides an introduction to programming and demonstrates in detail how to implement algorithms in C++. This textbook is suitable for students who are new to the subject and covers a basic mathematical lecture course, complementing traditional courses on analysis and linear algebra. Both authors have given this "Algorithmic Mathematics" course at the University of Bonn several times in recent years.

Many mathematical problems in science and engineering are defined by ordinary or partial differential equations with appropriate initial-boundary conditions. Among the various methods, boundary integral equation method (BIEM) is probably the most effective. It's main advantage is that it changes a problem from its formulation in terms of unbounded differential operator to one for an integral/integro-differential operator, which makes the problem tractable from the analytical or numerical point of view. Basically, the review/study of the problem is shifted to a boundary (a relatively smaller domain), where it gives rise to integral equations defined over a suitable function space. Integral equations with singular kernels areamong the most important classes in the fields of elasticity, fluid mechanics, electromagnetics and other domains in applied science and engineering. With the advancesin computer technology, numerical simulations have become important tools in science and engineering. Several methods have been developed in numerical analysis for equations in mathematical models of applied sciences. Widely used methods include: Finite Difference Method (FDM), Finite Element Method (FEM), Finite Volume Method (FVM) and Galerkin Method (GM). Unfortunately, none of these are versatile. Each has merits and limitations. For example, the widely used FDM and FEM suffers from difficulties in problem solving when rapid changes appear in singularities. Even with the modern computing machines, analysis of shock-wave or crack propagations in three dimensional solids by the existing classical numerical schemes is challenging (computational time/memory requirements). Therefore, with the availability of faster computing machines, research into the development of new efficient schemes for approximate solutions/numerical simulations is an ongoing parallel activity. Numerical methods based on wavelet basis (multiresolution analysis) may be regarded as a confluence of widely used numerical schemes based on Finite Difference Method, Finite Element Method, Galerkin Method, etc. The objective of this monograph is to deal with numerical techniques to obtain (multiscale) approximate solutions in wavelet basis of different types of integral equations with kernels involving varieties of singularities appearing in the field of elasticity, fluid mechanics, electromagnetics and many other domains in applied science and engineering.

Many mathematical assumptions on which classical derivative pricing methods are based have come under scrutiny in recent years. The present volume offers an introduction to deterministic algorithms for the fast and accurate pricing of derivative contracts in modern finance. This unified, non-Monte-Carlo computational pricing methodology is capable of handling rather general classes of stochastic market models with jumps, including, in particular, all currently used Levy and stochastic volatility models. It allows us e.g. to quantify model risk in computed prices on plain vanilla, as well as on various types of exotic contracts. The algorithms are developed in classical Black-Scholes markets, and then extended to market models based on multiscale stochastic volatility, to Levy, additive and certain classes of Feller processes.

This book is intended for graduate students and researchers, as well as for practitioners in the fields of quantitative finance and applied and computational mathematics with a solid background in mathematics, statistics or economics.

This proceedings volume gathers peer-reviewed, selected papers presented at the "Mathematical and Numerical Approaches for Multi-Wave Inverse Problems" conference at the Centre Internacional de Rencontres Mathematiques (CIRM) in Marseille, France, in April 2019. It brings the latest research into new, reliable theoretical approaches and numerical techniques for solving nonlinear and inverse problems arising in multi-wave and hybrid systems. Multi-wave inverse problems have a wide range of applications in acoustics, electromagnetics, optics, medical imaging, and geophysics, to name but a few. In turn, it is well known that inverse problems are both nonlinear and ill-posed: two factors that pose major challenges for the development of new numerical methods for solving these problems, which are discussed in detail. These papers will be of interest to all researchers and graduate students working in the fields of nonlinear and inverse problems and its applications.

This book introduces models and methodologies that can be employed towards making the Industry 4.0 vision a reality within the process industries, and at the same time investigates the impact of uncertainties in such highly integrated settings. Advances in computing power along with the widespread availability of data have led process industries to consider a new paradigm for automated and more efficient operations. The book presents a theoretically proven optimal solution to multi-parametric linear and mixed-integer linear programs and efficient solutions to problems such as process scheduling and design under global uncertainty. It also proposes a systematic framework for the uncertainty-aware integration of planning, scheduling and control, based on the judicious coupling of reactive and proactive methods. Using these developments, the book demonstrates how the integration of different decision-making layers and their simultaneous optimisation can enhance industrial process operations and their economic resilience in the face of uncertainty.

In recent years, extensive research has been conducted by eminent mathematicians and engineers whose results and proposed problems are presented in this new volume. It is addressed to graduate students, research mathematicians, physicists, and engineers. Individual contributions are devoted to topics of approximation theory, functional equations and inequalities, fixed point theory, numerical analysis, theory of wavelets, convex analysis, topology, operator theory, differential operators, fractional integral operators, integro-differential equations, ternary algebras, super and hyper relators, variational analysis, discrete mathematics, cryptography, and a variety of applications in interdisciplinary topics. Several of these domains have a strong connection with both theories and problems of linear and nonlinear optimization. The combination of results from various domains provides the reader with a solid, state-of-the-art interdisciplinary reference to theory and problems. Some of the works provide guidelines for further research and proposals for new directions and open problems with relevant discussions.

This book is intended for students of computational systems biology with only a limited background in mathematics. Typical books on systems biology merely mention algorithmic approaches, but without offering a deeper understanding. On the other hand, mathematical books are typically unreadable for computational biologists. The authors of the present book have worked hard to fill this gap. The result is not a book on systems biology, but on computational methods in systems biology. This book originated from courses taught by the authors at Freie Universitat Berlin. The guiding idea of the courses was to convey those mathematical insights that are indispensable for systems biology, teaching the necessary mathematical prerequisites by means of many illustrative examples and without any theorems. The three chapters cover the mathematical modelling of biochemical and physiological processes, numerical simulation of the dynamics of biological networks and identification of model parameters by means of comparisons with real data. Throughout the text, the strengths and weaknesses of numerical algorithms with respect to various systems biological issues are discussed. Web addresses for downloading the corresponding software are also included.

This book provides a literature review of techniques used to pass from continuous to combinatorial space, before discussing a detailed example with individual steps of how cuckoo search (CS) can be adapted to solve combinatorial optimization problems. It demonstrates the application of CS to three different problems and describes their source code. The content is divided into five chapters, the first of which provides a technical description, together with examples of combinatorial search spaces. The second chapter summarizes a diverse range of methods used to solve combinatorial optimization problems. In turn, the third chapter presents a description of CS, its formulation and characteristics. In the fourth chapter, the application of discrete cuckoo search (DCS) to solve three POCs (the traveling salesman problem, quadratic assignment problem and job shop scheduling problem) is explained, focusing mainly on a reinterpretation of the terminology used in CS and its source of inspiration. In closing, the fifth chapter discusses random-key cuckoo search (RKCS) using random keys to represent positions found by cuckoo search in the TSP and QAP solution space.

Biometrics, the science of using physical traits to identify individuals, is playing an increasing role in our security-conscious society and across the globe. Biometric authentication, or bioauthentication, systems are being used to secure everything from amusement parks to bank accounts to military installations. Yet developments in this field have not been matched by an equivalent improvement in the statistical methods for evaluating these systems. Compensating for this need, this unique text/reference provides a basic statistical methodology for practitioners and testers of bioauthentication devices, supplying a set of rigorous statistical methods for evaluating biometric authentication systems. This framework of methods can be extended and generalized for a wide range of applications and tests. This is the first single resource on statistical methods for estimation and comparison of the performance of biometric authentication systems. The book focuses on six common performance metrics: for each metric, statistical methods are derived for a single system that incorporates confidence intervals, hypothesis tests, sample size calculations, power calculations and prediction intervals. These methods are also extended to allow for the statistical comparison and evaluation of multiple systems for both independent and paired data. Topics and features: * Provides a statistical methodology for the most common biometric performance metrics: failure to enroll (FTE), failure to acquire (FTA), false non-match rate (FNMR), false match rate (FMR), and receiver operating characteristic (ROC) curves * Presents methods for the comparison of two or more biometric performance metrics * Introduces a new bootstrap methodology for FMR and ROC curve estimation * Supplies more than 120 examples, using publicly available biometric data where possible * Discusses the addition of prediction intervals to the bioauthentication statistical toolset * Describes sample-size and power calculations for FTE, FTA, FNMR and FMR Researchers, managers and decisions makers needing to compare biometric systems across a variety of metrics will find within this reference an invaluable set of statistical tools. Written for an upper-level undergraduate or master's level audience with a quantitative background, readers are also expected to have an understanding of the topics in a typical undergraduate statistics course. Dr. Michael E. Schuckers is Associate Professor of Statistics at St. Lawrence University, Canton, NY, and a member of the Center for Identification Technology Research.

Scientists and engineers are mainly using Richardson extrapolation as a computational tool for increasing the accuracy of various numerical algorithms for the treatment of systems of ordinary and partial differential equations and for improving the computational efficiency of the solution process by the automatic variation of the time-stepsizes. A third issue, the stability of the computations, is very often the most important one and, therefore, it is the major topic studied in all chapters of this book. Clear explanations and many examples make this text an easy-to-follow handbook for applied mathematicians, physicists and engineers working with scientific models based on differential equations. Contents The basic properties of Richardson extrapolation Richardson extrapolation for explicit Runge-Kutta methods Linear multistep and predictor-corrector methods Richardson extrapolation for some implicit methods Richardson extrapolation for splitting techniques Richardson extrapolation for advection problems Richardson extrapolation for some other problems General conclusions

This book contains selected papers of NSC08, the 2nd Conference on Nonlinear Science and Complexity, held 28-31 July, 2008, Porto, Portugal. It focuses on fundamental theories and principles, analytical and symbolic approaches, computational techniques in nonlinear physics and mathematics. Topics treated include - Chaotic Dynamics and Transport in Classic and Quantum Systems - Complexity and Nonlinearity in Molecular Dynamics and Nano-Science - Complexity and Fractals in Nonlinear Biological Physics and Social Systems - Lie Group Analysis and Applications in Nonlinear Science - Nonlinear Hydrodynamics and Turbulence - Bifurcation and Stability in Nonlinear Dynamic Systems - Nonlinear Oscillations and Control with Applications - Celestial Physics and Deep Space Exploration - Nonlinear Mechanics and Nonlinear Structural Dynamics - Non-smooth Systems and Hybrid Systems - Fractional dynamical systems

The book provides a collection of recent applications of nature inspired optimization in industrial fields. Different optimization techniques have been deployed, and different problems have been effectively analyzed. The valuable contributions from researchers focus on three ultimate goals (i) improving the accuracy of these techniques, (ii) achieving higher speed and lower computational complexity, and (iii) working on their proposed applications. The book is helpful for active researchers and practitioners in the field.

This textbook is intended to introduce advanced undergraduate and early-career graduate students to the field of numerical analysis. This field pertains to the design, analysis, and implementation of algorithms for the approximate solution of mathematical problems that arise in applications spanning science and engineering, and are not practical to solve using analytical techniques such as those taught in courses in calculus, linear algebra or differential equations. Topics covered include computer arithmetic, error analysis, solution of systems of linear equations, least squares problems, eigenvalue problems, nonlinear equations, optimization, polynomial interpolation and approximation, numerical differentiation and integration, ordinary differential equations, and partial differential equations. For each problem considered, the presentation includes the derivation of solution techniques, analysis of their efficiency, accuracy and robustness, and details of their implementation, illustrated through the Python programming language. This text is suitable for a year-long sequence in numerical analysis, and can also be used for a one-semester course in numerical linear algebra.

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

Digital Signal Processing in Power System Protection and Control bridges the gap between the theory of protection and control and the practical applications of protection equipment. Understanding how protection functions is crucial not only for equipment developers and manufacturers, but also for their users who need to install, set and operate the protection devices in an appropriate manner. After introductory chapters related to protection technology and functions, Digital Signal Processing in Power System Protection and Control presents the digital algorithms for signal filtering, followed by measurement algorithms of the most commonly-used protection criteria values and decision-making methods in protective relays. A large part of the book is devoted to the basic theory and applications of artificial intelligence techniques for protection and control. Fuzzy logic based schemes, artificial neural networks, expert systems and genetic algorithms with their advantages and drawbacks are discussed. AI techniques are compared and it is also shown how they can be combined to eliminate the disadvantages and magnify the useful features of particular techniques. The information provided in Digital Signal Processing in Power System Protection and Control can be useful for protection engineers working in utilities at various levels of the electricity network, as well as for students of electrical engineering, especially electrical power engineering. It may also be helpful for other readers who want to get acquainted with and to apply the filtering, measuring and decision-making algorithms for purposes other than protection and control, everywhere fast and on-line signal analysis is needed for proper functioning of the apparatus.

Computational and theoretical open problems in optimization, computational geometry, data science, logistics, statistics, supply chain modeling, and data analysis are examined in this book. Each contribution provides the fundamentals needed to fully comprehend the impact of individual problems. Current theoretical, algorithmic, and practical methods used to circumvent each problem are provided to stimulate a new effort towards innovative and efficient solutions. Aimed towards graduate students and researchers in mathematics, optimization, operations research, quantitative logistics, data analysis, and statistics, this book provides a broad comprehensive approach to understanding the significance of specific challenging or open problems within each discipline. The contributions contained in this book are based on lectures focused on "Challenges and Open Problems in Optimization and Data Science" presented at the Deucalion Summer Institute for Advanced Studies in Optimization, Mathematics, and Data Science in August 2016.