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.

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 book begins with the fundamentals of the generalized inverses, then moves to more advanced topics. It presents a theoretical study of the generalization of Cramer's rule, determinant representations of the generalized inverses, reverse order law of the generalized inverses of a matrix product, structures of the generalized inverses of structured matrices, parallel computation of the generalized inverses, perturbation analysis of the generalized inverses, an algorithmic study of the computational methods for the full-rank factorization of a generalized inverse, generalized singular value decomposition, imbedding method, finite method, generalized inverses of polynomial matrices, and generalized inverses of linear operators. This book is intended for researchers, postdocs, and graduate students in the area of the generalized inverses with an undergraduate-level understanding of linear algebra.

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.

The first of a two volume set on novel methods in harmonic analysis, this book draws on a number of original research and survey papers from well-known specialists detailing the latest innovations and recently discovered links between various fields. Along with many deep theoretical results, these volumes contain numerous applications to problems in signal processing, medical imaging, geodesy, statistics, and data science. The chapters within cover an impressive range of ideas from both traditional and modern harmonic analysis, such as: the Fourier transform, Shannon sampling, frames, wavelets, functions on Euclidean spaces, analysis on function spaces of Riemannian and sub-Riemannian manifolds, Fourier analysis on manifolds and Lie groups, analysis on combinatorial graphs, sheaves, co-sheaves, and persistent homologies on topological spaces. Volume I is organized around the theme of frames and other bases in abstract and function spaces, covering topics such as: The advanced development of frames, including Sigma-Delta quantization for fusion frames, localization of frames, and frame conditioning, as well as applications to distributed sensor networks, Galerkin-like representation of operators, scaling on graphs, and dynamical sampling. A systematic approach to shearlets with applications to wavefront sets and function spaces. Prolate and generalized prolate functions, spherical Gauss-Laguerre basis functions, and radial basis functions. Kernel methods, wavelets, and frames on compact and non-compact manifolds.

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.

This book presents a systematic exposition of the main ideas and methods in treating inverse problems for PDEs arising in basic mathematical models, though it makes no claim to being exhaustive. Mathematical models of most physical phenomena are governed by initial and boundary value problems for PDEs, and inverse problems governed by these equations arise naturally in nearly all branches of science and engineering. The book's content, especially in the Introduction and Part I, is self-contained and is intended to also be accessible for beginning graduate students, whose mathematical background includes only basic courses in advanced calculus, PDEs and functional analysis. Further, the book can be used as the backbone for a lecture course on inverse and ill-posed problems for partial differential equations. In turn, the second part of the book consists of six nearly-independent chapters. The choice of these chapters was motivated by the fact that the inverse coefficient and source problems considered here are based on the basic and commonly used mathematical models governed by PDEs. These chapters describe not only these inverse problems, but also main inversion methods and techniques. Since the most distinctive features of any inverse problems related to PDEs are hidden in the properties of the corresponding solutions to direct problems, special attention is paid to the investigation of these properties. For the second edition, the authors have added two new chapters focusing on real-world applications of inverse problems arising in wave and vibration phenomena. They have also revised the whole text of the first edition.

This workbook and solutions manual is intended for advanced undergraduate or beginning graduate students as a supplement to a traditional course in numerical mathematics and as preparation for independent research involving numerical mathematics. The solutions manual provides complete MATLAB code and numerical results for each of the exercises in the workbook and will be especially useful for those students without previous MATLAB programming experience. It is also valuable for classroom instructors to help pinpoint the author's intent in each exercise and to provide a model for graders. Upon completion of this material, students will have a working knowledge of MATLAB programming, they will have themselves programmed algorithms encountered in classwork and textbooks, and they will know how to check and verify their own programs against hand calculations and by reference to theoretical results, special polynomial solutions and other specialized solutions. No previous programming experience with MATLAB is necessary.

This workbook and solutions manual is intended for advanced undergraduate or beginning graduate students as a supplement to a traditional course in numerical mathematics and as preparation for independent research involving numerical mathematics. The solutions manual provides complete MATLAB code and numerical results for each of the exercises in the workbook and will be especially useful for those students without previous MATLAB programming experience. It is also valuable for classroom instructors to help pinpoint the author's intent in each exercise and to provide a model for graders. Upon completion of this material, students will have a working knowledge of MATLAB programming, they will have themselves programmed algorithms encountered in classwork and textbooks, and they will know how to check and verify their own programs against hand calculations and by reference to theoretical results, special polynomial solutions and other specialized solutions. No previous programming experience with MATLAB is necessary.

This workbook and solutions manual is intended for advanced undergraduate or beginning graduate students as a supplement to a traditional course in numerical mathematics and as preparation for independent research involving numerical mathematics. The solutions manual provides complete MATLAB code and numerical results for each of the exercises in the workbook and will be especially useful for those students without previous MATLAB programming experience. It is also valuable for classroom instructors to help pinpoint the author's intent in each exercise and to provide a model for graders. Upon completion of this material, students will have a working knowledge of MATLAB programming, they will have themselves programmed algorithms encountered in classwork and textbooks, and they will know how to check and verify their own programs against hand calculations and by reference to theoretical results, special polynomial solutions and other specialized solutions. No previous programming experience with MATLAB is necessary.

This workbook and solutions manual is intended for advanced undergraduate or beginning graduate students as a supplement to a traditional course in numerical mathematics and as preparation for independent research involving numerical mathematics. The solutions manual provides complete MATLAB code and numerical results for each of the exercises in the workbook and will be especially useful for those students without previous MATLAB programming experience. It is also valuable for classroom instructors to help pinpoint the author's intent in each exercise and to provide a model for graders. Upon completion of this material, students will have a working knowledge of MATLAB programming, they will have themselves programmed algorithms encountered in classwork and textbooks, and they will know how to check and verify their own programs against hand calculations and by reference to theoretical results, special polynomial solutions and other specialized solutions. No previous programming experience with MATLAB is necessary.

This book gathers peer-reviewed contributions submitted to the 21st European Conference on Mathematics for Industry, ECMI 2021, which was virtually held online, hosted by the University of Wuppertal, Germany, from April 13th to April 15th, 2021. The works explore mathematics in a wide variety of applications, ranging from problems in electronics, energy and the environment, to mechanics and mechatronics. Topics covered include: Applied Physics, Biology and Medicine, Cybersecurity, Data Science, Economics, Finance and Insurance, Energy, Production Systems, Social Challenges, and Vehicles and Transportation. The goal of the European Consortium for Mathematics in Industry (ECMI) conference series is to promote interaction between academia and industry, leading to innovations in both fields. These events have attracted leading experts from business, science and academia, and have promoted the application of novel mathematical technologies to industry. They have also encouraged industrial sectors to share challenging problems where mathematicians can provide fresh insights and perspectives. Lastly, the ECMI conferences are one of the main forums in which significant advances in industrial mathematics are presented, bringing together prominent figures from business, science and academia to promote the use of innovative mathematics in industry.

The purpose of this book is to provide tools for a better understanding of the fundamental tradeo's and interdependencies in wireless networks, with the goal of designing resource allocation strategies that exploit these int- dependencies to achieve signi?cant performance gains. Two facts prompted us to write it: First, future wireless applications will require a fundamental understanding of the design principles and control mechanisms in wireless networks. Second, the complexity of the network problems simply precludes the use of engineering common sense alone to identify good solutions, and so mathematics becomes the key avenue to cope with central technical problems in the design of wireless networks. In this book, two ?elds of mathematics play a central role: Perron-Frobenius theory for non-negative matrices and optimization theory. This book is a revised and expanded version of the research monograph "Resource Allocation in Wireless Networks" that was published as Lecture Notes in Computer Sciences (LNCS 4000) in 2006. Although the general structure has remained unchanged to a large extent, the book contains - merous additional results and more detailed discussion. For instance, there is a more extensive treatment of general nonnegative matrices and interf- ence functions that are described by an axiomatic model. Additional material on max-min fairness, proportional fairness, utility-based power control with QoS (quality of service) support and stochastic power control has been added.

Finite element methods for approximating partial differential equations have reached a high degree of maturity, and are an indispensible tool in science and technology. This textbook aims at providing a thorough introduction to the construction, analysis, and implementation of finite element methods for model problems arising in continuum mechanics. The first part of the book discusses elementary properties of linear partial differential equations along with their basic numerical approximation, the functional-analytical framework for rigorously establishing existence of solutions, and the construction and analysis of basic finite element methods. The second part is devoted to the optimal adaptive approximation of singularities and the fast iterative solution of linear systems of equations arising from finite element discretizations. In the third part, the mathematical framework for analyzing and discretizing saddle-point problems is formulated, corresponding finte element methods are analyzed, and particular applications including incompressible elasticity, thin elastic objects, electromagnetism, and fluid mechanics are addressed. The book includes theoretical problems and practical projects for all chapters, and an introduction to the implementation of finite element methods.

Studying the relationship between the geometry, arithmetic and spectra of fractals has been a subject of significant interest in contemporary mathematics. This book contributes to the literature on the subject in several different and new ways. In particular, the authors provide a rigorous and detailed study of the spectral operator, a map that sends the geometry of fractal strings onto their spectrum. To that effect, they use and develop methods from fractal geometry, functional analysis, complex analysis, operator theory, partial differential equations, analytic number theory and mathematical physics.Originally, M L Lapidus and M van Frankenhuijsen 'heuristically' introduced the spectral operator in their development of the theory of fractal strings and their complex dimensions, specifically in their reinterpretation of the earlier work of M L Lapidus and H Maier on inverse spectral problems for fractal strings and the Riemann hypothesis.One of the main themes of the book is to provide a rigorous framework within which the corresponding question 'Can one hear the shape of a fractal string?' or, equivalently, 'Can one obtain information about the geometry of a fractal string, given its spectrum?' can be further reformulated in terms of the invertibility or the quasi-invertibility of the spectral operator.The infinitesimal shift of the real line is first precisely defined as a differentiation operator on a family of suitably weighted Hilbert spaces of functions on the real line and indexed by a dimensional parameter c. Then, the spectral operator is defined via the functional calculus as a function of the infinitesimal shift. In this manner, it is viewed as a natural 'quantum' analog of the Riemann zeta function. More precisely, within this framework, the spectral operator is defined as the composite map of the Riemann zeta function with the infinitesimal shift, viewed as an unbounded normal operator acting on the above Hilbert space.It is shown that the quasi-invertibility of the spectral operator is intimately connected to the existence of critical zeros of the Riemann zeta function, leading to a new spectral and operator-theoretic reformulation of the Riemann hypothesis. Accordingly, the spectral operator is quasi-invertible for all values of the dimensional parameter c in the critical interval (0,1) (other than in the midfractal case when c =1/2) if and only if the Riemann hypothesis (RH) is true. A related, but seemingly quite different, reformulation of RH, due to the second author and referred to as an 'asymmetric criterion for RH', is also discussed in some detail: namely, the spectral operator is invertible for all values of c in the left-critical interval (0,1/2) if and only if RH is true.These spectral reformulations of RH also led to the discovery of several 'mathematical phase transitions' in this context, for the shape of the spectrum, the invertibility, the boundedness or the unboundedness of the spectral operator, and occurring either in the midfractal case or in the most fractal case when the underlying fractal dimension is equal to 1/2 or 1, respectively. In particular, the midfractal dimension c=1/2 is playing the role of a critical parameter in quantum statistical physics and the theory of phase transitions and critical phenomena.Furthermore, the authors provide a 'quantum analog' of Voronin's classical theorem about the universality of the Riemann zeta function. Moreover, they obtain and study quantized counterparts of the Dirichlet series and of the Euler product for the Riemann zeta function, which are shown to converge (in a suitable sense) even inside the critical strip.For pedagogical reasons, most of the book is devoted to the study of the quantized Riemann zeta function. However, the results obtained in this monograph are expected to lead to a quantization of most classic arithmetic zeta functions, hence, further 'naturally quantizing' various aspects of analytic number theory and arithmetic geometry.The book should be accessible to experts and non-experts alike, including mathematics and physics graduate students and postdoctoral researchers, interested in fractal geometry, number theory, operator theory and functional analysis, differential equations, complex analysis, spectral theory, as well as mathematical and theoretical physics. Whenever necessary, suitable background about the different subjects involved is provided and the new work is placed in its proper historical context. Several appendices supplementing the main text are also included.

The quadratic binary optimization problem (QUBO) is a versatile combinatorial optimization model with a variety of applications and rich theoretical properties. Application areas of the model include finance, cluster analysis, traffic management, machine scheduling, VLSI physical design, physics, quantum computing, engineering, and medicine. In addition, various mathematical optimization models can be reformulated as a QUBO, including the resource constrained assignment problem, set partitioning problem, maximum cut problem, quadratic assignment problem, the bipartite unconstrained binary optimization problem, among others. This book presents a systematic development of theory, algorithms, and applications of QUBO. It offers a comprehensive treatment of QUBO from various viewpoints, including a historical introduction along with an in-depth discussion of applications modelling, complexity and polynomially solvable special cases, exact and heuristic algorithms, analysis of approximation algorithms, metaheuristics, polyhedral structure, probabilistic analysis, persistencies, and related topics. Available software for solving QUBO is also introduced, including public domain, commercial, as well as quantum computing based codes.

This self-tutorial offers a concise yet thorough introduction into the mathematical analysis of approximation methods for partial differential equation. A particular emphasis is put on finite element methods. The unique approach first summarizes and outlines the finite-element mathematics in general and then in the second and major part, formulates problem examples that clearly demonstrate the techniques of functional analysis via numerous and diverse exercises. The solutions of the problems are given directly afterwards. Using this approach, the author motivates and encourages the reader to actively acquire the knowledge of finite- element methods instead of passively absorbing the material as in most standard textbooks. This English edition is based on the Finite Element Methods for Engineering Sciences by Joel Chaskalovic.

Numerical Methods for Unsteady Compressible Flow Problems is written to give both mathematicians and engineers an overview of the state of the art in the field, as well as of new developments. The focus is on methods for the compressible Navier-Stokes equations, the solutions of which can exhibit shocks, boundary layers and turbulence. The idea of the text is to explain the important ideas to the reader, while giving enough detail and pointers to literature to facilitate implementation of methods and application of concepts. The book covers high order methods in space, such as Discontinuous Galerkin methods, and high order methods in time, in particular implicit ones. A large part of the text is reserved to discuss iterative methods for the arising large nonlinear and linear equation systems. Ample space is given to both state-of-the-art multigrid and preconditioned Newton-Krylov schemes. Features Applications to aerospace, high-speed vehicles, heat transfer, and more besides Suitable as a textbook for graduate-level courses in CFD, or as a reference for practitioners in the field

This book treats state-of-the-art computational methods for power flow studies and contingency analysis. In the first part the authors present the relevant computational methods and mathematical concepts. In the second part, power flow and contingency analysis are treated. Furthermore, traditional methods to solve such problems are compared to modern solvers, developed using the knowledge of the first part of the book. Finally, these solvers are analyzed both theoretically and experimentally, clearly showing the benefits of the modern approach.

This book is devoted to the mathematical foundation of boundary integral equations. The combination of ?nite element analysis on the boundary with these equations has led to very e?cient computational tools, the boundary element methods (see e.g., the authors [139] and Schanz and Steinbach (eds.) [267]). Although we do not deal with the boundary element discretizations in this book, the material presented here gives the mathematical foundation of these methods. In order to avoid over generalization we have con?ned ourselves to the treatment of elliptic boundary value problems. The central idea of eliminating the ?eld equations in the domain and - ducing boundary value problems to equivalent equations only on the bou- ary requires the knowledge of corresponding fundamental solutions, and this idea has a long history dating back to the work of Green [107] and Gauss [95, 96]. Today the resulting boundary integral equations still serve as a major tool for the analysis and construction of solutions to boundary value problems.

"Artificial Boundary Method" systematically introduces the artificial boundary method for the numerical solutions of partial differential equations in unbounded domains. Detailed discussions treat different types of problems, including Laplace, Helmholtz, heat, Schrodinger, and Navier and Stokes equations. Both numerical methods and error analysis are discussed. The book is intended for researchers working in the fields of computational mathematics and mechanical engineering.
Prof. Houde Han works at Tsinghua University, China; Prof. Xiaonan Wu works at Hong Kong Baptist University, China."

This is the second edition of the book which has two additional new chapters on Maxwell's equations as well as a section on properties of solution spaces of Maxwell's equations and their trace spaces. These two new chapters, which summarize the most up-to-date results in the literature for the Maxwell's equations, are sufficient enough to serve as a self-contained introductory book on the modern mathematical theory of boundary integral equations in electromagnetics. The book now contains 12 chapters and is divided into two parts. The first six chapters present modern mathematical theory of boundary integral equations that arise in fundamental problems in continuum mechanics and electromagnetics based on the approach of variational formulations of the equations. The second six chapters present an introduction to basic classical theory of the pseudo-differential operators. The aforementioned corresponding boundary integral operators can now be recast as pseudo-differential operators. These serve as concrete examples that illustrate the basic ideas of how one may apply the theory of pseudo-differential operators and their calculus to obtain additional properties for the corresponding boundary integral operators. These two different approaches are complementary to each other. Both serve as the mathematical foundation of the boundary element methods, which have become extremely popular and efficient computational tools for boundary problems in applications. This book contains a wide spectrum of boundary integral equations arising in fundamental problems in continuum mechanics and electromagnetics. The book is a major scholarly contribution to the modern approaches of boundary integral equations, and should be accessible and useful to a large community of advanced graduate students and researchers in mathematics, physics, and engineering.