Science used to be experiments and theory, now it is experiments, theory and computations. The computational approach to understanding nature and technology is currently flowering in many fields such as physics, geophysics, astrophysics, chemistry, biology, and most engineering disciplines. This book is a gentle introduction to such computational methods where the techniques are explained through examples. It is our goal to teach principles and ideas that carry over from field to field. You will learn basic methods and how to implement them. In order to gain the most from this text, you will need prior knowledge of calculus, basic linear algebra and elementary programming.

The importance of accuracy verification methods was understood at the very beginning of the development of numerical analysis. Recent decades have seen a rapid growth of results related to adaptive numerical methods and a posteriori estimates. However, in this important area there often exists a noticeable gap between mathematicians creating the theory and researchers developing applied algorithms that could be used in engineering and scientific computations for guaranteed and efficient error control.

The goals of the book are to (1) give a transparent explanation of the underlying mathematical theory in a style accessible not only to advanced numerical analysts but also to engineers and students; (2) present detailed step-by-step algorithms that follow from a theory; (3) discuss their advantages and drawbacks, areas of applicability, give recommendations and examples.

"

This volume consists of twenty peer-reviewed papers from the special session on pseudodifferential operators and the special session on generalized functions and asymptotics at the Eighth Congress of ISAAC held at the Peoples' Friendship University of Russia in Moscow on August 22-27, 2011. The category of papers on pseudo-differential operators contains such topics as elliptic operators assigned to diffeomorphisms of smooth manifolds, analysis on singular manifolds with edges, heat kernels and Green functions of sub-Laplacians on the Heisenberg group and Lie groups with more complexities than but closely related to the Heisenberg group, Lp-boundedness of pseudo-differential operators on the torus, and pseudo-differential operators related to time-frequency analysis. The second group of papers contains various classes of distributions and algebras of generalized functions with applications in linear and nonlinear differential equations, initial value problems and boundary value problems, stochastic and Malliavin-type differential equations. This second group of papers are related to the third collection of papers via the setting of Colombeau-type spaces and algebras in which microlocal analysis is developed by means of techniques in asymptotics. The volume contains the synergies of the three areas treated and is a useful complement to volumes 155, 164, 172, 189, 205 and 213 published in the same series in, respectively, 2004, 2006, 2007, 2009, 2010 and 2011.

This book provides a generalised approach to fractal dimension theory from the standpoint of asymmetric topology by employing the concept of a fractal structure. The fractal dimension is the main invariant of a fractal set, and provides useful information regarding the irregularities it presents when examined at a suitable level of detail. New theoretical models for calculating the fractal dimension of any subset with respect to a fractal structure are posed to generalise both the Hausdorff and box-counting dimensions. Some specific results for self-similar sets are also proved. Unlike classical fractal dimensions, these new models can be used with empirical applications of fractal dimension including non-Euclidean contexts. In addition, the book applies these fractal dimensions to explore long-memory in financial markets. In particular, novel results linking both fractal dimension and the Hurst exponent are provided. As such, the book provides a number of algorithms for properly calculating the self-similarity exponent of a wide range of processes, including (fractional) Brownian motion and Levy stable processes. The algorithms also make it possible to analyse long-memory in real stocks and international indexes. This book is addressed to those researchers interested in fractal geometry, self-similarity patterns, and computational applications involving fractal dimension and Hurst exponent.

This textbook presents a unified approach to compact and noncompact Riemann surfaces from the point of view of the so-called L2 $\bar{\delta}$-method. This method is a powerful technique from the theory of several complex variables, and provides for a unique approach to the fundamentally different characteristics of compact and noncompact Riemann surfaces. The inclusion of continuing exercises running throughout the book, which lead to generalizations of the main theorems, as well as the exercises included in each chapter make this text ideal for a one- or two-semester graduate course.

Disjunctive Programming is a technique and a discipline initiated by the author in the early 1970's, which has become a central tool for solving nonconvex optimization problems like pure or mixed integer programs, through convexification (cutting plane) procedures combined with enumeration. It has played a major role in the revolution in the state of the art of Integer Programming that took place roughly during the period 1990-2010. The main benefit that the reader may acquire from reading this book is a deeper understanding of the theoretical underpinnings and of the applications potential of disjunctive programming, which range from more efficient problem formulation to enhanced modeling capability and improved solution methods for integer and combinatorial optimization. Egon Balas is University Professor and Lord Professor of Operations Research at Carnegie Mellon University's Tepper School of Business.

This book presents the proceedings of the 20th International Workshop on Hermitian Symmetric Spaces and Submanifolds, which was held at the Kyungpook National University from June 21 to 25, 2016. The Workshop was supported by the Research Institute of Real and Complex Manifolds (RIRCM) and the National Research Foundation of Korea (NRF). The Organizing Committee invited 30 active geometers of differential geometry and related fields from all around the globe to discuss new developments for research in the area. These proceedings provide a detailed overview of recent topics in the field of real and complex submanifolds.

Different facets of interplay between harmonic analysis and approximation theory are covered in this volume. The topics included are Fourier analysis, function spaces, optimization theory, partial differential equations, and their links to modern developments in the approximation theory. The articles of this collection were originated from two events. The first event took place during the 9th ISAAC Congress in Krakow, Poland, 5th-9th August 2013, at the section "Approximation Theory and Fourier Analysis". The second event was the conference on Fourier Analysis and Approximation Theory in the Centre de Recerca Matematica (CRM), Barcelona, during 4th-8th November 2013, organized by the editors of this volume. All articles selected to be part of this collection were carefully reviewed.

The second 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 II is organized around the theme of recent applications of harmonic analysis to function spaces, differential equations, and data science, covering topics such as: The classical Fourier transform, the non-linear Fourier transform (FBI transform), cardinal sampling series and translation invariant linear systems. Recent results concerning harmonic analysis on non-Euclidean spaces such as graphs and partially ordered sets. Applications of harmonic analysis to data science and statistics Boundary-value problems for PDE's including the Runge-Walsh theorem for the oblique derivative problem of physical geodesy.

Our everyday lives are practically unthinkable without optimization. We constantly try to minimize our effort and to maximize the reward or progress achieved. Many real-world and industrial problems arising in engineering, economics, medicine and other domains can be formulated as optimization tasks. This volume presents a comprehensive collection of extended contributions from the 2017 Workshop on Computational Optimization. Presenting recent advances in computational optimization, it addresses important concrete applications, e.g. the modeling of physical processes, wildfire modeling, modeling processes in chemical engineering, workforce planning, wireless access network topology, parameter settings for controlling various processes, berth allocation, identification of homogeneous domains, and quantum computing. The book shows how to develop algorithms for them based on new intelligent methods like evolutionary computations, ant colony optimization, constrain programming and others.

The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) was held from June 29-July 3, 2010, in Uppsala, Sweden. This was the eighth conference in a series of biannual meetings starting in Paris (1995). S- sequent conferences were organized in Heidelberg (1997), Jyvas ] kyla ] (1999), Ischia (2001), Prague (2003), Santiago de Compostela (2005), and Graz (2007). ENU- MATH 2009 attracted over 330 attendees to the scienti c programme, with ten invited speakers, one public lecture, 32 minisymposia, and more than 280 presen- tions. This volume contains a selection of papers by the invited speakers and from the minisymposia and the contributed sessions. The purpose of the conference was to create a forum for discussion and d- semination of recent results in numerical mathematics and new applications of computational methods. Many subjects were covered in the talks and a few of the topicsrepresentedin these proceedingswere discontinuousGalerkinmethods, nite elementmethodsindifferentapplications, methodsfor uid ow, electromagnetism, nancial engineering, structuralmechanics, optimalcontrol, andbiomechanics. The minisymposia listed below with their organizers also give an impression of how broad the scope of the conference was: Adaptivity for non-linearand non-smooth problems, part I & II, Ralf Kornhuber, Andreas Veeser Advanced techniques in radial basis function approximation for PDEs, partI & II, Natasha Flyer, Elisabeth Larsson Advances in numerical methods for non-Newtonian ?ows, part I & II, Erik Burman, Maxim Olshanskii, Stefan Turek Anisotropicadaptivemeshes: erroranalysisandapplications, partI&II, Thierry Coupez, Simona Perotto Asymptotic linear algebra, numerical methods, and applications, part I & II, Marco Donatelli, Stefano Serra-Capizzano Biomechanics, part I & II, Gerhard A."

Approximation theory and numerical analysis are central to the creation of accurate computer simulations and mathematical models. Research in these areas can influence the computational techniques used in a variety of mathematical and computational sciences.

This collection of contributed chapters, dedicated to renowned mathematician Gradimir V. Milovanovi, represent the recent work of experts in the fields of approximation theory and numerical analysis. These invited contributions describe new trends in these important areas of research including theoretic developments, new computational algorithms, and multidisciplinary applications.

Special features of this volume:

- Presents results and approximation methods in various computational settings including: polynomial and orthogonal systems, analytic functions, and differential equations.

- Provides a historical overview of approximation theory and many of its subdisciplines;

- Contains new results from diverse areas of research spanning mathematics, engineering, and the computational sciences.

"Approximation and Computation" is intended for mathematicians and researchers focusing on approximation theory and numerical analysis, but can also be a valuable resource to students and researchers in the computational and applied sciences."

This book provides a collection of concepts, algorithms, and techniques that effectively harness the power of Spatial Network Big Data. Reading this book is a first step towards understanding the immense challenges and novel applications of SNBD database systems. This book explores these challenges via investigating scalable graph-based query processing strategies and I/O efficient storage and access methods. This book will be of benefit to academics, researchers, engineers with a particular interest in network database models, network query processing, and physical storage models.

This volume, as Andrew M. Odlzyko writes in the foreword, commemorates and celebrates the life and achievements of an extraordinary person. Originally conceived as an 80th birthday tribute to Herbert Wilf, the well-known combinatorialist, the book has evolved beyond the proceeds of the W80 tribute.

Professor Wilf was an award-winning teacher, who was supportive of women mathematicians, and who had an unusually high proportion of women among his PhD candidates. He was Editor-in-chief of the American Mathematical Monthly and a founder of both the Journal of Algorithms and of the Electronic Journal of Combinatorics. But he was first a researcher, driven by his desire to know and explain the inner workings of the mathematical world.

The book collects high-quality, refereed research contributions by some of Professor Wilf s colleagues, students, and collaborators. Many of the papers presented here were featured in the Third Waterloo Workshop on Computer Algebra (WWCA 2011, W80), held May 26-29, 2011 at Wilfrid Laurier University, Waterloo, Canada. Others were included because of their relationship to his important work in combinatorics. All are presented as a tribute to Herb Wilf s contributions to mathematics and mathematical life."

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.

Improved geospatial instrumentation and technology such as in laser scanning has now resulted in millions of data being collected, e.g., point clouds. It is in realization that such huge amount of data requires efficient and robust mathematical solutions that this third edition of the book extends the second edition by introducing three new chapters: Robust parameter estimation, Multiobjective optimization and Symbolic regression. Furthermore, the linear homotopy chapter is expanded to include nonlinear homotopy. These disciplines are discussed first in the theoretical part of the book before illustrating their geospatial applications in the applications chapters where numerous numerical examples are presented. The renewed electronic supplement contains these new theoretical and practical topics, with the corresponding Mathematica statements and functions supporting their computations introduced and applied. This third edition is renamed in light of these technological advancements.

In 1917, Johann Radon published his fundamental work, where he introduced what is now called the Radon transform. Including important contributions by several experts, this book reports on ground-breaking developments related to the Radon transform throughout these years, and also discusses novel mathematical research topics and applications for the next century.

The subject of the book is the mathematical theory of the discontinuous Galerkin method (DGM), which is a relatively new technique for the numerical solution of partial differential equations. The book is concerned with the DGM developed for elliptic and parabolic equations and its applications to the numerical simulation of compressible flow. It deals with the theoretical as well as practical aspects of the DGM and treats the basic concepts and ideas of the DGM, as well as the latest significant findings and achievements in this area. The main benefit for readers and the book's uniqueness lie in the fact that it is sufficiently detailed, extensive and mathematically precise, while at the same time providing a comprehensible guide through a wide spectrum of discontinuous Galerkin techniques and a survey of the latest efficient, accurate and robust discontinuous Galerkin schemes for the solution of compressible flow.

Premature cracking in asphalt pavements and overlays continues to shorten pavement lifecycles and creates significant economic and environmental burden. In response, RILEM Technical Committee TC 241-MCD on Mechanisms of Cracking and Debonding in Asphalt and Composite Pavements has conducted a State-of-the-Art Review (STAR), as detailed in this comprehensive book. Cutting-edge research performed by RILEM members and their international partners is presented, along with summaries of open research questions and recommendations for future research. This book is organized according to the theme areas of TC 241-MCD - i.e., fracture in the asphalt bulk material, interface debonding behaviour, and advanced measurement systems. This STAR is expected to serve as a long term reference for researchers and practitioners, as it contributes to a deeper fundamental understanding of the mechanisms behind cracking and debonding in asphalt concrete and composite pavement systems.

From the Preface: Blending ideas from operations research, music psychology, music theory, and cognitive science, this book aims to tell a coherent story of how tonality pervades our experience, and hence our models, of music. The story is told through the developmental stages of the Spiral Array model for tonality, a geometric model designed to incorporate and represent principles of tonal cognition, thereby lending itself to practical applications of tonal recognition, segmentation, and visualization. Mathematically speaking, the coils that make up the Spiral Array model are in effect helices, a spiral referring to a curve emanating from a central point. The use of "spiral" here is inspired by spiral staircases, intertwined spiral staircases: nested double helices within an outer spiral. The book serves as a compilation of knowledge about the Spiral Array model and its applications, and is written for a broad audience, ranging from the layperson interested in music, mathematics, and computing to the music scientist-engineer interested in computational approaches to music representation and analysis, from the music-mathematical and computational sciences student interested in learning about tonality from a formal modeling standpoint to the computer musician interested in applying these technologies in interactive composition and performance. Some chapters assume no musical or technical knowledge, and some are more musically or computationally involved.

Scienti?c Computing in Electrical Engineering (SCEE) is an international c- ference series, which started as a national German meeting held in Darmstadt (1997) and Berlin (1998), both under the auspices of the Deutscher Mathematiker Verein. The ?rst truly international SCEE conference was organized in 2000 in Warnemunde, .. Germany, by the University of Rostock. In 2002, the 4th SCEE c- ference took place in Eindhoven, The Netherlands, jointly organized by the Ei- hoven University of Technologyand Philips Research LaboratoriesEindhoven.The 5th SCEE conference was held in 2004 in Capo D'Orlando, Italy, jointly organized by Universita di Catania and Consorzio Catania Ricerche. The venue of the 6th SCEE conference was Sinaia, Romania, in 2006, organized by the Politehnica U- versity of Bucharest. The 7th International Conference on Scienti?c Computing in Electrical En- neering (SCEE 2008) was held in Espoo, Finland, from September 28 to October 3, 2008. It was organized by the Helsinki University of Technology; Faculty of Electronics, Communications and Automation; Department of Radio Science and Engineering; Circuit Theory Group. (Details on the SCEE 2008 conference are at http://radio.tkk.fi/en/conferences/scee2008/).

The basic principle of protective relaying of power systems has not changed for more than half a century. Almost all power system protective relaying algorithms are dominated by integral transforms such as the Fourier transform and the wavelet transform. The integral transform can only provide an average attribute of the s- nals or their components. The accuracy of the attribute extraction is signi?cantly sacri?ced by the assumption of periodicity of the signals if the integral transform is appliedto transientsignals. Itis also wellknownthatthe signalsare liable to bec- taminatedbynoiseintheformofexponentiallydecayingDCoffsets,highfrequency transients, harmonic distortion, errors caused by non-linearityin the response of the sensors, and unwanted behaviour of power systems. This contamination is often provoked by fault conditions, just at the time when the protection relay is required to respond and trip the circuit breaker to limit damage caused by the fault. On the other hand, as we know, in most protection relays, complex computation has to be undertakenwithin a sampling interval, no matter how small the interval, to calculate the coef?cients relevantto the attributes of the signals byusing the integral transform based on a window of samples, and to calculate the relaying algorithms, which are derivedto representthe relationship betweenthese coef? cientsandpower system faults. If fast transients and high-order harmonics are to be addressed, - tra computing power and facilities are required. Therefore, it can be seen that the current power system relaying algorithms suffer from many problems including - curacy, fast responses, noise, disturbance rejections and reliability.

This monograph presents some theoretical and computational aspects of the parameterization method for invariant manifolds, focusing on the following contexts: invariant manifolds associated with fixed points, invariant tori in quasi-periodically forced systems, invariant tori in Hamiltonian systems and normally hyperbolic invariant manifolds. This book provides algorithms of computation and some practical details of their implementation. The methodology is illustrated with 12 detailed examples, many of them well known in the literature of numerical computation in dynamical systems. A public version of the software used for some of the examples is available online. The book is aimed at mathematicians, scientists and engineers interested in the theory and applications of computational dynamical systems.

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.

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.