Page 1
Page 1
Wavelet Analysis and Applications
This volume reflects the latest developments in the area of wavelet analysis and its applications. Since the cornerstone lecture of Yves Meyer presented at the ICM 1990 in Kyoto, to some extent, wavelet analysis has often been said to be mainly an applied area. However, a significant percentage of contributions now are connected to theoretical mathematical areas, and the concept of wavelets continuously stretches across various disciplines of mathematics.
Theoretical numerical analysis : A functional analysis framework
This textbook prepares graduate students for research in numerical analysis/computational mathematics by giving to them a mathematical framework embedded in functional analysis and focused on numerical analysis. This helps the student to move rapidly into a research program. The text covers basic results of functional analysis, approximation theory, Fourier analysis and wavelets, iteration methods for nonlinear equations, finite difference methods, Sobolev spaces and weak formulations of boundary value problems, finite element methods, elliptic variational inequalities and their numerical solution, numerical methods for solving integral equations of the second kind, and boundary integral equations for planar regions.
The Schur Complement and Its Applications
The Schur complement plays an important role in matrix analysis, statistics, numerical analysis, and many other areas of mathematics and its applications. This book describes the Schur complement as a rich and basic tool in mathematical research and applications and discusses many significant results that illustrate its power and fertility.
The Method of Approximate Inverse : Theory and Applications
Inverse problems arise whenever one tries to calculate a required quantity from given measurements of a second quantity that is associated to the first one. Besides medical imaging and non-destructive testing, inverse problems also play an increasing role in other disciplines such as industrial and financial mathematics. Hence, there is a need for stable and efficient solvers. The book is concerned with the method of approximate inverse which is a regularization technique for stably solving inverse problems in various settings such as L2-spaces, Hilbert spaces or spaces of distributions.
The Mathematical Theory of Finite Element Methods
This book develops the basic mathematical theory of the finite element method, the most widely used technique for engineering design and analysis. The third edition contains four new sections: the BDDC domain decomposition preconditioner, convergence analysis of an adaptive algorithm, interior penalty methods and Poincara'e-Friedrichs inequalities for piecewise W^1_p functions. New exercises have also been added throughout.
Super-Recursive Algorithms
New discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic universe" and asserts the conventionality of recursive algorithms. A new paradigm for computation, the super-recursive algorithm, offers promising prospects for algorithms of much greater computing power and efficiency. Super-Recursive Algorithms provides an accessible, focused examination of the theory of super-recursive algorithms and its ramifications for the computer industry, networks, artificial intelligence, embedded systems, and the Internet. The book demonstrates how these algorithms are more appropriate as mathematical models for modern computers, and how these algorithms present a better framework for computing methods in such areas as numerical analysis, array searching, and controlling and monitoring systems. In addition, a new practically-oriented perspective on the theory of algorithms, computation, and automata, as a whole, is developed. Problems of efficiency, software development, parallel and distributed processing, pervasive and emerging computation, computer architecture, machine learning, brain modeling, knowledge discovery, and intelligent systems are addressed.
Spectral Methods : Fundamentals in Single Domains
Since the publication of "Spectral Methods in Fluid Dynamics", spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific and engineering computation. While retaining the tight integration between the theoretical and practical aspects of spectral methods that was the hallmark of the earlier book, Canuto et al. now incorporate the many improvements in the algorithms and the theory of spectral methods that have been made since 1988. The initial treatment Fundamentals in Single Domains discusses the fundamentals of the approximation of solutions to ordinary and partial differential equations on single domains by expansions in smooth, global basis functions.
Spectral Methods : Evolution to Complex Geometries and Applications to Fluid Dynamics
Spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific and engineering computation. While retaining the tight integration between the theoretical and practical aspects of spectral methods that was the hallmark of their 1988 book, Canuto et al. now incorporate the many improvements in the algorithms and the theory of spectral methods that have been made since then.The recent companion book Fundamentals in Single Domains discusses the fundamentals of the approximation of solutions to ordinary and partial differential equations on single domains by expansions in smooth, global basis functions.
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 ; Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018
Features a selection of high-quality papers from the presentations at the International Conference on Spectral and High-Order Methods 2018, offering an overview of the depth and breadth of the activities within this important research area. The carefully reviewed papers provide a snapshot of the state of the art, while the extensive bibliography helps initiate new research directions.
Solving Polynomial Equations : Foundations, Algorithms, and Applications
The subject of this book is the solution of polynomial equations, that is, s- tems of (generally) non-linear algebraic equations. This study is at the heart of several areas of mathematics and its applications. It has provided the - tivation for advances in di?erent branches of mathematics such as algebra, geometry, topology, and numerical analysis.
Solving PDEs in Python : The FEniCS Tutorial I
This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software library. Using a series of examples, including the Poisson equation, the equations of linear elasticity, the incompressible Navier–Stokes equations, and systems of nonlinear advection–diffusion–reaction equations, it guides readers through the essential steps to quickly solving a PDE in FEniCS, such as how to define a finite variational problem, how to set boundary conditions, how to solve linear and nonlinear systems, and how to visualize solutions and structure finite element Python programs.
Smittestopp : A Case Study on Digital Contact Tracing
Describes Smittestopp, the first Norwegian system for digital contact tracing of Covid-19 infections, which was developed in March and early April 2020. The system was deployed after five weeks of development and was active for a little more than two months, when a drop in infection levels in Norway and privacy concerns led to shutting it down. The intention of this book is twofold. First, it reports on the design choices made in the development phase. Second, as one of the only systems in the world that collected population data into a central database and which was used for an entire population, we can share experience on how the design choices impacted the system's operation. By sharing lessons learned and the challenges faced during the development and deployment of the technology, we hope that this book can be a valuable guide for experts from different domains, such as big data collection and analysis, application development, and deployment in a national population, as well as digital tracing.
Sets, Logic and Maths for Computing
The tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures such as trees and well-founded orders. They are also in part quantitative – notably elementary combinatorics and finite probability. Recurring in all of these are instruments of proof, both purely logical ones (such as proof by contradiction) and mathematical (the various forms of induction).
Second Generation Wavelets and Applications
This book details the mathematical fundamentals of the lifting transform and illustrates the latest applications of the transform in signal and image processing, numerical analysis, scattering data smoothing and rendering of computer images.
Rock Slope Engineering : Civil Applications
Covers the investigation, design, excavation and remediation of man-made rock cuts and natural slopes, primarily for civil engineering applications. It presents design information on structural geology, shear strength of rock and ground water, including weathered rock. Slope design methods are discussed for planar, wedge, circular and toppling failures, including seismic design and numerical analysis. Information is also provided on blasting, slope stabilization, movement monitoring and civil engineering applications.
Robust Numerical Methods for Singularly Perturbed Differential Equations : Convection-Diffusion-Reaction and Flow Problems
This considerably extended and completely revised second edition incorporates many new developments in the thriving field of numerical methods for singularly perturbed differential equations. It provides a thorough foundation for the numerical analysis and solution of these problems, which model many physical phenomena whose solutions exhibit layers. The book focuses on linear convection-diffusion equations and on nonlinear flow problems that appear in computational fluid dynamics. It offers a comprehensive overview of suitable numerical methods while emphasizing those with realistic error estimates. The book should be useful for scientists requiring effective numerical methods for singularly perturbed differential equations.
Recent Advances in Operator Theory and Its Applications : The Israel Gohberg Anniversary Vol.ume
Contains a selection of papers in modern operator theory and its applications. Most of them are directly related to lectures presented at the Fourteenth International Workshop on Operator Theory and its Applications (IWOTA 2003) held at the University of Cagliari, Italy, in the period of June 24–27, 2003. The workshop, which was attended by 108 mathematicians – including a number of PhD and postdoctoral students – from 22 countries, presented eight special sessions on 1) control theory, 2) interpolation theory, 3) inverse scattering, 4) numerical estimates for operators, 5) numerical treatment of integral equations, 6) pseudo differential operators, 7) realizations and transformations of analytic functions and inde?nite inner product spaces, and 8) structured matrices. The program consisted of 19 plenary lectures of 45 minutes and 78 lectures of 30 minutes in four parallel sessions. The present volume re?ects the wide range and rich variety of topics presented and discussed at the workshop, both within and outside the special sessions.
Recent advances in industrial and applied mathematics
Contains review papers authored by thirteen plenary invited speakers to the 9th International Congress on Industrial and Applied Mathematics (Valencia, July 15-19, 2019). The scientific contributions cover a wide range of cutting-edge topics of industrial and applied mathematics: mathematical modeling, industrial and environmental mathematics, mathematical biology and medicine, reduced-order modeling and cryptography.
QCD and Numerical Analysis III ; Proceedings of the 3rd International Workshop on Numerical Analysis and Lattice QCD, Edinburgh, June-July 2003
It promoted scientific progress in lattice QCD as an e-Science activity that encourages close collaboration between the core sciences of physics, mathematics, and computer science. In order to achieve more realistic computations in lattice quantum ?eld theory substantial progress is required in the exploitation of numerical methods. Recently, there has been much progress in the formulation of lattice chiral symmetry satisfying the Ginsparg-Wilson relation.
Pyomo — Optimization Modeling in Python
Illustrates the different techniques useful for formulating models, this text beautifully elucidates the breadth of modeling capabilities that are supported by Pyomo and its handling of complex real-world applications. In the third edition, much of the material has been reorganized, new examples have been added, and a new chapter has been added describing how modelers can improve the performance of their models. The authors have also modified their recommended method for importing Pyomo. A big change in this edition is the emphasis of concrete models, which provide fewer restrictions on the specification and use of Pyomo models.
