An increasing complexity of models used to predict real-world systems leads to the need for algorithms to replace complex models with far simpler ones, while preserving the accuracy of the predictions. This three-volume handbook covers methods as well as applications. This third volume focuses on applications in engineering, biomedical engineering, computational physics and computer science.

Optimization problems subject to constraints governed by partial differential equations (PDEs) are among the most challenging problems in the context of industrial, economical and medical applications. Almost the entire range of problems in this field of research was studied and further explored as part of the Deutsche Forschungsgemeinschaft (DFG) priority program 1253 on "Optimization with Partial Differential Equations" from 2006 to 2013. The investigations were motivated by the fascinating potential applications and challenging mathematical problems that arise in the field of PDE constrained optimization. New analytic and algorithmic paradigms have been developed, implemented and validated in the context of real-world applications. In this special volume, contributions from more than fifteen German universities combine the results of this interdisciplinary program with a focus on applied mathematics. The book is divided into five sections on "Constrained Optimization, Identification and Control", "Shape and Topology Optimization", "Adaptivity and Model Reduction", "Discretization: Concepts and Analysis" and "Applications". Peer-reviewed research articles present the most recent results in the field of PDE constrained optimization and control problems. Informative survey articles give an overview of topics that set sustainable trends for future research. This makes this special volume interesting not only for mathematicians, but also for engineers and for natural and medical scientists working on processes that can be modeled by PDEs.

From fabrication to testing and modeling this monograph covers all aspects on the materials class of magneto active polymers. The focus is on computational modeling of manufacturing processes and material parameters. As other smart materials, these elastomers have the ability to change electrical and mechanical properties upon application of magnetic fields. This allows for novel applications ranging from biomedical engineering to mechatronics.

This volume developed from a Workshop on Natural Locomotion in Fluids and on Surfaces: Swimming, Flying, and Sliding which was held at the Institute for Mathematics and its Applications (IMA) at the University of Minnesota, from June 1-5, 2010. The subject matter ranged widely from observational data to theoretical mechanics, and reflected the broad scope of the workshop. In both the prepared presentations and in the informal discussions, the workshop engaged exchanges across disciplines and invited a lively interaction between modelers and observers. The articles in this volume were invited and fully refereed. They provide a representative if necessarily incomplete account of the field of natural locomotion during a period of rapid growth and expansion. The papers presented at the workshop, and the contributions to the present volume, can be roughly divided into those pertaining to swimming on the scale of marine organisms, swimming of microorganisms at low Reynolds numbers, animal flight, and sliding and other related examples of locomotion.

The present volume contains invited talks of 11th biennial conference on "Emerging Mathematical Methods, Models and Algorithms for Science and Technology". The main message of the book is that mathematics has a great potential to analyse and understand the challenging problems of nanotechnology, biotechnology, medical science, oil industry and financial technology. The book highlights all the features and main theme discussed in the conference. All contributing authors are eminent academicians, scientists, researchers and scholars in their respective fields, hailing from around the world.

This book revisits the long-standing puzzle of cross-scale energy transfer and dissipation in plasma turbulence and introduces new perspectives based on both magnetohydrodynamic (MHD) and Vlasov models. The classical energy cascade scenario is key in explaining the heating of corona and solar wind. By employing a high-resolution hybrid (compact finite difference & WENO) scheme, the book studies the features of compressible MHD cascade in detail, for example, in order to approximate a real plasma cascade as "Kolmogorov-like" and to understand features that go beyond the usual simplified theories based on incompressible models. When approaching kinetic scales where plasma effects must be considered, it uses an elementary analysis of the Vlasov-Maxwell equations to help identify the channels through which energy transfer must be dissipated. In addition, it shows that the pressure-strain interaction is of great significance in producing internal energy. This analysis, in contrast to many other recent studies, does not make assumptions about wave-modes, instability or other specific mechanisms responsible for the dynamics - the results are direct consequences of the Vlasov-Maxwell system of equations. This is an important step toward understanding dissipation in turbulent collisionless plasma in space and astrophysics.

The first volume of the proceedings of the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) covers topics that include convergence and stability analysis, as well as investigations of these methods from the point of view of compatibility with physical principles. It collects together the focused invited papers, as well as the reviewed contributions from internationally leading researchers in the field of analysis of finite volume and related methods. Altogether, a rather comprehensive overview is given of the state of the art in the field.

The finite volume method in its various forms is a space discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods preserve further qualitative or asymptotic properties, including maximum principles, dissipativity, monotone decay of free energy, and asymptotic stability. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications.

Researchers, PhD and masters level students in numerical analysis, scientific computing and related fields such as partial differential equations will find this volume useful, as will engineers working in numerical modeling and simulations."

The contributions gathered here provide an overview of current research projects and selected software products of the Fraunhofer Institute for Algorithms and Scientific Computing SCAI. They show the wide range of challenges that scientific computing currently faces, the solutions it offers, and its important role in developing applications for industry. Given the exciting field of applied collaborative research and development it discusses, the book will appeal to scientists, practitioners, and students alike. The Fraunhofer Institute for Algorithms and Scientific Computing SCAI combines excellent research and application-oriented development to provide added value for our partners. SCAI develops numerical techniques, parallel algorithms and specialized software tools to support and optimize industrial simulations. Moreover, it implements custom software solutions for production and logistics, and offers calculations on high-performance computers. Its services and products are based on state-of-the-art methods from applied mathematics and information technology.

Tearing and interconnecting methods, such as FETI, FETI-DP, BETI, etc., are among the most successful domain decomposition solvers for partial differential equations. The purpose of this book is to give a detailed and self-contained presentation of these methods, including the corresponding algorithms as well as a rigorous convergence theory. In particular, two issues are addressed that have not been covered in any monograph yet: the coupling of finite and boundary elements within the tearing and interconnecting framework including exterior problems, and the case of highly varying (multiscale) coefficients not resolved by the subdomain partitioning. In this context, the book offers a detailed view to an active and up-to-date area of research.

This book presents the theoretical details and computational performances of algorithms used for solving continuous nonlinear optimization applications imbedded in GAMS. Aimed toward scientists and graduate students who utilize optimization methods to model and solve problems in mathematical programming, operations research, business, engineering, and industry, this book enables readers with a background in nonlinear optimization and linear algebra to use GAMS technology to understand and utilize its important capabilities to optimize algorithms for modeling and solving complex, large-scale, continuous nonlinear optimization problems or applications. Beginning with an overview of constrained nonlinear optimization methods, this book moves on to illustrate key aspects of mathematical modeling through modeling technologies based on algebraically oriented modeling languages. Next, the main feature of GAMS, an algebraically oriented language that allows for high-level algebraic representation of mathematical optimization models, is introduced to model and solve continuous nonlinear optimization applications. More than 15 real nonlinear optimization applications in algebraic and GAMS representation are presented which are used to illustrate the performances of the algorithms described in this book. Theoretical and computational results, methods, and techniques effective for solving nonlinear optimization problems, are detailed through the algorithms MINOS, KNITRO, CONOPT, SNOPT and IPOPT which work in GAMS technology.

This book investigates stability loss problems of the viscoelastic composite materials and structural members within the framework of the Three-Dimensional Linearized Theory of Stability (TDLTS). The stability loss problems are considered the development of the initial infinitesimal imperfection in the structure of the material or of the structural members. This development is studied within the framework of the Three-Dimensional Geometrical Non-Linear Theory of the Deformable Solid Body Mechanics. The solution to the corresponding boundary-value problems is presented in the series form in the small parameter which characterizes the degree of the initial imperfection. In this way, the nonlinear problems for the domains bounded by noncanonical surfaces are reduced for the same nonlinear problem for the corresponding domains bounded by canonical surfaces and the series subsequent linearized problems. It is proven that the equations and relations of these linearized problems coincide with the corresponding ones of the well-known TDLTS. Under concrete investigations as stability loss criterion the case is taken for the initial infinitesimal imperfection that starts to increase indefinitely. Moreover, it is proven that the critical parameters can be determined by the use of only the zeroth and first approximations.

ACMES (Algorithms and Complexity in Mathematics, Epistemology, and Science) is a multidisciplinary conference series that focuses on epistemological and mathematical issues relating to computation in modern science. This volume includes a selection of papers presented at the 2015 and 2016 conferences held at Western University that provide an interdisciplinary outlook on modern applied mathematics that draws from theory and practice, and situates it in proper context. These papers come from leading mathematicians, computational scientists, and philosophers of science, and cover a broad collection of mathematical and philosophical topics, including numerical analysis and its underlying philosophy, computer algebra, reliability and uncertainty quantification, computation and complexity theory, combinatorics, error analysis, perturbation theory, experimental mathematics, scientific epistemology, and foundations of mathematics. By bringing together contributions from researchers who approach the mathematical sciences from different perspectives, the volume will further readers' understanding of the multifaceted role of mathematics in modern science, informed by the state of the art in mathematics, scientific computing, and current modeling techniques.

An increasing complexity of models used to predict real-world systems leads to the need for algorithms to replace complex models with far simpler ones, while preserving the accuracy of the predictions. This two-volume handbook covers methods as well as applications. This second volume focuses on applications in engineering, biomedical engineering, computational physics and computer science.

This book contains the results in numerical analysis and optimization presented at the ECCOMAS thematic conference "Computational Analysis and Optimization" (CAO 2011) held in Jyvaskyla, Finland, June 9-11, 2011. Both the conference and this volume are dedicated to Professor Pekka Neittaanmaki on the occasion of his sixtieth birthday. It consists of five parts that are closely related to his scientific activities and interests: Numerical Methods for Nonlinear Problems; Reliable Methods for Computer Simulation; Analysis of Noised and Uncertain Data; Optimization Methods; Mathematical Models Generated by Modern Technological Problems. The book also includes a short biography of Professor Neittaanmaki.

The book is organized around 4 sections. The first deals with the creativity and its neural basis (responsible editor Emmanuelle Volle). The second section concerns the neurophysiology of aesthetics (responsible editor Zoi Kapoula). It covers a large spectrum of different experimental approaches going from architecture, to process of architectural creation and issues of architectural impact on the gesture of the observer. Neurophysiological aspects such as space navigation, gesture, body posture control are involved in the experiments described as well as questions about terminology and valid methodology. The next chapter contains studies on music, mathematics and brain (responsible editor Moreno Andreatta). The final section deals with evolutionary aesthetics (responsible editor Julien Renoult). Chapter "Composing Music from Neuronal Activity: The Spikiss Project" is available open access under a Creative Commons Attribution-NonCommercial 4.0 International License via link.springer.com.

In this book, the general theory of submanifolds in a multidimensional projective space is constructed. The topics dealt with include osculating spaces and fundamental forms of different orders, asymptotic and conjugate lines, submanifolds on the Grassmannians, different aspects of the normalization problems for submanifolds (with special emphasis given to a connection in the normal bundle) and the problem of algebraizability for different kinds of submanifolds, the geometry of hypersurfaces and hyperbands, etc. A series of special types of submanifolds with special projective structures are studied: submanifolds carrying a net of conjugate lines (in particular, conjugate systems), tangentially degenerate submanifolds, submanifolds with asymptotic and conjugate distributions etc. The method of moving frames and the apparatus of exterior differential forms are systematically used in the book and the results presented can be applied to the problems dealing with the linear subspaces or their generalizations.

Graduate students majoring in differential geometry will find this monograph of great interest, as will researchers in differential and algebraic geometry, complex analysis and theory of several complex variables.

This book emphasizes in detail the applicability of the Optimal Homotopy Asymptotic Method to various engineering problems. It is a continuation of the book "Nonlinear Dynamical Systems in Engineering: Some Approximate Approaches", published at Springer in 2011 and it contains a great amount of practical models from various fields of engineering such as classical and fluid mechanics, thermodynamics, nonlinear oscillations, electrical machines and so on. The main structure of the book consists of 5 chapters. The first chapter is introductory while the second chapter is devoted to a short history of the development of homotopy methods, including the basic ideas of the Optimal Homotopy Asymptotic Method. The last three chapters, from Chapter 3 to Chapter 5, are introducing three distinct alternatives of the Optimal Homotopy Asymptotic Method with illustrative applications to nonlinear dynamical systems. The third chapter deals with the first alternative of our approach with two iterations. Five applications are presented from fluid mechanics and nonlinear oscillations. The Chapter 4 presents the Optimal Homotopy Asymptotic Method with a single iteration and solving the linear equation on the first approximation. Here are treated 32 models from different fields of engineering such as fluid mechanics, thermodynamics, nonlinear damped and undamped oscillations, electrical machines and even from physics and biology. The last chapter is devoted to the Optimal Homotopy Asymptotic Method with a single iteration but without solving the equation in the first approximation.

This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through many examples and exercises, and guides the reader from the basics of the theory to current research topics in the mathematics of computation. Contents Preliminaries Real intervals Interval vectors, interval matrices Expressions, P-contraction, -inflation Linear systems of equations Nonlinear systems of equations Eigenvalue problems Automatic differentiation Complex intervals

This volume gathers contributions reflecting topics presented during an INDAM workshop held in Rome in May 2016. The event brought together many prominent researchers in both Mathematical Analysis and Numerical Computing, the goal being to promote interdisciplinary collaborations. Accordingly, the following thematic areas were developed: 1. Lagrangian discretizations and wavefront tracking for synchronization models; 2. Astrophysics computations and post-Newtonian approximations; 3. Hyperbolic balance laws and corrugated isometric embeddings; 4. "Caseology" techniques for kinetic equations; 5. Tentative computations of compressible non-standard solutions; 6. Entropy dissipation, convergence rates and inverse design issues. Most of the articles are presented in a self-contained manner; some highlight new achievements, while others offer snapshots of the "state of the art" in certain fields. The book offers a unique resource, both for young researchers looking to quickly enter a given area of application, and for more experienced ones seeking comprehensive overviews and extensive bibliographic references.

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.

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."

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.