The idea for this book originated during the workshop "Model order reduction, coupled problems and optimization" held at the Lorentz Center in Leiden from S- tember 19-23, 2005. During one of the discussion sessions, it became clear that a book describing the state of the art in model order reduction, starting from the very basics and containing an overview of all relevant techniques, would be of great use for students, young researchers starting in the ?eld, and experienced researchers. The observation that most of the theory on model order reduction is scattered over many good papers, making it dif?cult to ?nd a good starting point, was supported by most of the participants. Moreover, most of the speakers at the workshop were willing to contribute to the book that is now in front of you. The goal of this book, as de?ned during the discussion sessions at the workshop, is three-fold: ?rst, it should describe the basics of model order reduction. Second, both general and more specialized model order reduction techniques for linear and nonlinear systems should be covered, including the use of several related numerical techniques. Third, the use of model order reduction techniques in practical appli- tions and current research aspects should be discussed. We have organized the book according to these goals. In Part I, the rationale behind model order reduction is explained, and an overview of the most common methods is described.

This book constitutes the thoroughly refereed workshop proceedings of the 11th International Workshop on Approximation and Online Algorithms, WAOA 2013, held in Sophia Antipolis, France, in September 2013 as part of the ALGO 2013 conference event. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. They focus on the design and analysis of algorithms for online and computationally hard problems, for example in algorithmic game theory, algorithmic trading, coloring and partitioning, competitive analysis, computational advertising, computational finance, cuts and connectivity, geometric problems, graph algorithms, inapproximability results, mechanism design, natural algorithms, network design, packing and covering, paradigms for the design and analysis of approximation and online algorithms, parameterized complexity, real-world applications, scheduling problems.

Acta Numerica is a high-impact factor, prestigious annual publication containing invited surveys by leading researchers in numerical mathematics and scientific computing. The surveys present overviews of developments in their area and provide techniques and analyses. It is essential reading for practitioners and researchers. It is essential reading for all practitioners and researchers.

This introductory and self-contained book gathers as much explicit mathematical results on the linear-elastic and heat-conduction solutions in the neighborhood of singular points in two-dimensional domains, and singular edges and vertices in three-dimensional domains. These are presented in an engineering terminology for practical usage. The author treats the mathematical formulations from an engineering viewpoint and presents high-order finite-element methods for the computation of singular solutions in isotropic and anisotropic materials, and multi-material interfaces. The proper interpretation of the results in engineering practice is advocated, so that the computed data can be correlated to experimental observations.

The book is divided into fourteen chapters, each containing several sections.

Most of it (the first nine Chapters) addresses two-dimensional domains, where

only singular points exist. The solution in a vicinity of these points admits an asymptotic expansion composed of eigenpairs and associatedgeneralized flux/stress intensity factors (GFIFs/GSIFs), which are being computed analytically when possible or by finite element methods otherwise. Singular points associated with weakly coupled thermoelasticity in the vicinity of singularities are also addressed and thermal GSIFs are computed. The computed data is important in engineering practice forpredicting failure initiation in brittlematerial on a daily basis. Several failure lawsfor two-dimensional domains with V-notches arepresented and their validity is examined by comparison to experimental observations.A sufficient simple and reliable condition for predicting failureinitiation (crack formation) in micron level electronic devices, involving singularpoints, is still a topic of active research and interest, and is addressed herein.

Explicit singular solutions in the vicinity of vertices and edges in three-dimensional domains are provided in the remaining five chapters. New methods for the computation of generalized edge flux/stress intensity functions along singular edges are presented and demonstrated by several example problems from the field of fracture mechanics; including anisotropic domains and bimaterial interfaces. Circular edges are also presented and the author concludes with some remarks on open questions.

This well illustrated book will appeal to both applied mathematicians and engineers working in the field of fracture mechanics and singularities.

"

This book, addressing both researchers and graduate students, reviews equivariant localization techniques for the evaluation of Feynman path integrals. The author gives the relevant mathematical background in some detail, showing at the same time how localization ideas are related to classical integrability. The text explores the symmetries inherent in localizable models for assessing the applicability of localization formulae. Various applications from physics and mathematics are presented.

Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. The papers present overviews of recent developments in their area and provide 'state of the art' techniques and analysis.

This book constitutes the thoroughly refereed post workshop proceedings of the 10th International Workshop on Approximation and Online Algorithms, WAOA 2012, held in Ljubljana, Slovenia, in September 2012 as part of the ALGO 2012 conference event. The 22 revised full papers presented together with invited talk were carefully reviewed and selected from 60 submissions. The workshop covered areas such as geometric problems, online algorithms, scheduling, algorithmic game theory, and approximation algorithms.

This book is based on the belief that, before students can make sense of any presentation of abstract mathematics, they need to be engaged in mental activities that will establish an experiential base for any future verbal explanations and to have the opportunity to reflect on their activities. This approach is based on extensive theoretical and empirical studies, as well as on the substantial experience of the authors in teaching Abstract Algebra. The main source of activities in this course is computer constructions, specifically, small programs written in the math-like programming language ISETL; the main tool for reflection is work in teams of two to four students, where the activities are discussed and debated. Because of the similarity of ISETL expressions to standard written mathematics, there is very little programming overhead: learning to program is inseparable from learning the mathematics. Each topic is first introduced through computer activities, which are then followed by a text section and exercises. The text section is written in an informal, discursive style, closely relating definitions and proofs to the constructions in the activities. Notions such as cosets and quotient groups become much more meaningful to the students than when they are presented in a lecture.

Sensitivity analysis and optimal shape design are key issues in engineering that have been affected by advances in numerical tools currently available. This book, and its supplementary online files, presents basic optimization techniques that can be used to compute the sensitivity of a given design to local change, or to improve its performance by local optimization of these data. The relevance and scope of these techniques have improved dramatically in recent years because of progress in discretization strategies, optimization algorithms, automatic differentiation, software availability, and the power of personal computers. Numerical Methods in Sensitivity Analysis and Shape Optimization will be of interest to graduate students involved in mathematical modeling and simulation, as well as engineers and researchers in applied mathematics looking for an up-to-date introduction to optimization techniques, sensitivity analysis, and optimal design.

This collection on "Mechanics of Generalized Continua - from Micromechanical Basics to Engineering Applications" brings together leading scientists in this field from France, Russian Federation, and Germany. The attention in this publication is be focussed on the most recent research items, i.e., - new models, - application of well-known models to new problems, - micro-macro aspects, - computational effort, - possibilities to identify the constitutive equations, and - old problems with incorrect or non-satisfying solutions based on the classical continua assumptions.

The main purpose of this book is to provide a simple and accessible introduction to the mixed finite element method as a fundamental tool to numerically solve a wide class of boundary value problems arising in physics and engineering sciences. The book is based on material that was taught in corresponding undergraduate and graduate courses at the Universidad de Concepcion, Concepcion, Chile, during the last 7 years. As compared with several other classical books in the subject, the main features of the present one have to do, on one hand, with an attempt of presenting and explaining most of the details in the proofs and in the different applications. In particular several results and aspects of the corresponding analysis that are usually available only in papers or proceedings are included here.

The 91st London Mathematical Society Durham Symposium took place from July 5th to 15th 2010, with more than 100 international participants attending. The Symposium focused on Numerical Analysis of Multiscale Problems and this book contains 10 invited articles from some of the meeting's key speakers, covering a range of topics of contemporary interest in this area. Articles cover the analysis of forward and inverse PDE problems in heterogeneous media, high-frequency wave propagation, atomistic-continuum modeling and high-dimensional problems arising in modeling uncertainty. Novel upscaling and preconditioning techniques, as well as applications to turbulent multi-phase flow, and to problems of current interest in materials science are all addressed. As such this book presents the current state-of-the-art in the numerical analysis of multiscale problems and will be of interest to both practitioners and mathematicians working in those fields.

This collection is dedicated to the 70th jubilee of Yu. N. Savchenko, and presents experimental, theoretical, and numerical investigations written by an international group of well-known authors. The contributions solve very important problems of the high-speed hydrodynamics, such as supersonic motion in water, drag diminishing, dynamics and stability of supercavitating vehicles, water entry and hydrodynamic performances of hydrofoils, ventilated cavities after a disc and under the ship bottom.
The book is written for researches, scientists, engineers, and students interested in problems of hydromechanics."

This book explains how computer software is designed to perform the tasks required for sophisticated statistical analysis. For statisticians, it examines the nitty-gritty computational problems behind statistical methods. For mathematicians and computer scientists, it looks at the application of mathematical tools to statistical problems. The first half of the book offers a basic background in numerical analysis that emphasizes issues important to statisticians. The next several chapters cover a broad array of statistical tools, such as maximum likelihood and nonlinear regression. The author also treats the application of numerical tools; numerical integration and random number generation are explained in a unified manner reflecting complementary views of Monte Carlo methods. Each chapter contains exercises that range from simple questions to research problems. Most of the examples are accompanied by demonstration and source code available in from the author's Web site. New in this second edition are demonstrations coded in R, as well as new sections on linear programming and the Nelder-Mead search algorithm.

These proceedings were prepared in connection with the international conference Approximation Theory XIII, which was held March 7-10, 2010 in San Antonio, Texas. The conference was the thirteenth in a series of meetings in Approximation Theory held at various locations in the United States, and was attended by 144 participants. Previous conferences in the series were held in Austin, Texas (1973, 1976, 1980, 1992), College Station, Texas (1983, 1986, 1989, 1995), Nashville, Tennessee (1998), St. Louis, Missouri (2001), Gatlinburg, Tennessee (2004), and San Antonio, Texas (2007). Along with the many plenary speakers, the contributors to this proceedings provided inspiring talks and set a high standard of exposition in their descriptions of new directions for research. Many relevant topics in approximation theory are included in this book, such as abstract approximation, approximation with constraints, interpolation and smoothing, wavelets and frames, shearlets, orthogonal polynomials, univariate and multivariate splines, and complex approximation.

The aim of this monograph is to present a self-contained introduction to some geometric and analytic aspects of the Yamabe problem. The book also describes a wide range of methods and techniques that can be successfully applied to nonlinear differential equations in particularly challenging situations. Such situations occur where the lack of compactness, symmetry and homogeneity prevents the use of more standard tools typically used in compact situations or for the Euclidean setting. The work is written in an easy style that makes it accessible even to non-specialists. After a self-contained treatment of the geometric tools used in the book, readers are introduced to the main subject by means of a concise but clear study of some aspects of the Yamabe problem on compact manifolds. This study provides the motivation and geometrical feeling for the subsequent part of the work. In the main body of the book, it is shown how the geometry and the analysis of nonlinear partial differential equations blend together to give up-to-date results on existence, nonexistence, uniqueness and a priori estimates for solutions of general Yamabe-type equations and inequalities on complete, non-compact Riemannian manifolds.

INRIA, Institut National de Recherche en Informatique et en Automatique

This book constitutes the refereed proceedings of the 14th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2014, held in Copenhagen, Denmark, in July 2014. The 33 papers were carefully reviewed and selected from a total of 134 submissions. The papers present original research and cover a wide range of topics in the field of design and analysis of algorithms and data structures including but not limited to approximation algorithms, parameterized algorithms, computational biology, computational geometry and topology, distributed algorithms, external-memory algorithms, exponential algorithms, graph algorithms, online algorithms, optimization algorithms, randomized algorithms, streaming algorithms, string algorithms, sublinear algorithms and algorithmic game theory.

This book constitutes the refereed proceedings of the 13th International Symposium on Experimental Algorithms, SEA 2014, held in Copenhagen, Denmark, in June/July 2014.

The 36 revised full papers presented together with 3 invited presentations were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on combinatorial optimization, data structures, graph drawing, shortest path, strings, graph algorithms and suffix structures.

"Introduction to Computational Science" was developed over a period of two years at the University of Utah Department of Computer Science in conjunction with the U.S. Department of Energy-funded Undergraduate Computation in Engineering Science (UCES) program. Each chapter begins by introducing a problem and then guiding the student through its solution. The computational techniques needed to solve the problem are developed as necassary, making the motivation for learning the computing alwasy apparent. Each chapter will introduce a single problem that will be used to motivate a single computing concept. The notes currently consist of 15 chapters. The first seven chapters deal with Maple and the last eight with C. The textbook will contain 20 to 30 chapters covering a similar mix of concepts at a finer level of detail.

This book constitutes the refereed proceedings of the 21st International Colloquium on Structural Information and Communication Complexity, SIROCCO 2014, held in Takayama, Japan, in July 2014. The 24 full papers presented together with 5 invited talks were carefully reviewed and selected from 51 submissions. The focus of the colloquium is on following subjects Shared Memory and Multiparty Communication, Network Optimization, CONGEST Algorithms and Lower Bounds, Wireless networks, Aggregation and Creation Games in Networks, Patrolling and Barrier Coverage, Exploration, Rendevous and Mobile Agents.

A cognitive journey towards the reliable simulation of scattering problems using finite element methods, with the pre-asymptotic analysis of Galerkin FEM for the Helmholtz equation with moderate and large wave number forming the core of this book. Starting from the basic physical assumptions, the author methodically develops both the strong and weak forms of the governing equations, while the main chapter on finite element analysis is preceded by a systematic treatment of Galerkin methods for indefinite sesquilinear forms. In the final chapter, three dimensional computational simulations are presented and compared with experimental data. The author also includes broad reference material on numerical methods for the Helmholtz equation in unbounded domains, including Dirichlet-to-Neumann methods, absorbing boundary conditions, infinite elements and the perfectly matched layer. A self-contained and easily readable work.

Since the appearance of computers, numerical methods for discontinuous solutions of quasi-linear hyperbolic systems of partial differential equations have been among the most important research subjects in numerical analysis. The authors have developed a new difference method (named the singularity-separating method) for quasi-linear hyperbolic systems of partial differential equations. Its most important feature is that it possesses a high accuracy even for problems with singularities such as schocks, contact discontinuities, rarefaction waves and detonations. Besides the thorough description of the method itself, its mathematical foundation (stability-convergence theory of difference schemes for initial-boundary-value hyperbolic problems) and its application to supersonic flow around bodies are discussed. Further, the method of lines and its application to blunt body problems and conical flow problems are described in detail. This book should soon be an important working basis for both graduate students and researchers in the field of partial differential equations as well as in mathematical physics.

A discussion of recent numerical and algorithmic tools for the solution of certain flow problems arising in CFD, which are governed by the incompressible Navier-Stokes equations. The book contains the latest results for the numerical solution of (complex) flow problems on modern computer platforms, with particular emphasis on the solution process of the resulting high dimensional discrete systems of equations which is often neglected in other works. Together with the accompanying CD ROM containing the complete FEATFLOW 1.1 software and parts of the "Virtual Album of Fluid Motion," readers are able to perform their own numerical simulations and will find numerous suggestions for improving their own computational simulations.

This book collects up-to-date papers from world experts in a broad variety of relevant applications of approximation theory, including dynamical systems, multiscale modelling of fluid flow, metrology, and geometric modelling to mention a few. The 14 papers in this volume document modern trends in approximation through recent theoretical developments, important computational aspects and multidisciplinary applications. The book is arranged in seven invited surveys, followed by seven contributed research papers. The surveys of the first seven chapters are addressing the following relevant topics: emergent behaviour in large electrical networks, algorithms for multivariate piecewise constant approximation, anisotropic triangulation methods in adaptive image approximation, form assessment in coordinate metrology, discontinuous Galerkin methods for linear problems, a numerical analyst's view of the lattice Boltzmann method, approximation of probability measures on manifolds. Moreover, the diverse contributed papers of the remaining seven chapters reflect recent developments in approximation theory, approximation practice and their applications. Graduate students who wish to discover the state of the art in a number of important directions of approximation algorithms will find this a valuable volume. Established researchers from statisticians through to fluid modellers will find interesting new approaches to solving familiar but challenging problems. This book grew out of the sixth in the conference series on "Algorithms for Approximation", which took place from 31st August to September 4th 2009 in Ambleside in the Lake District of the United Kingdom.