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.

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

This book gives an introduction to the finite element method as a general computational method for solving partial differential equations approximately. Our approach is mathematical in nature with a strong focus on the underlying mathematical principles, such as approximation properties of piecewise polynomial spaces, and variational formulations of partial differential equations, but with a minimum level of advanced mathematical machinery from functional analysis and partial differential equations.In principle, the material should be accessible to students with only knowledge of calculus of several variables, basic partial differential equations, and linear algebra, as the necessary concepts from more advanced analysis are introduced when needed. Throughout the text we emphasize implementation of the involved algorithms, and have therefore mixed mathematical theory with concrete computer code using the numerical software MATLAB is and its PDE-Toolbox.We have also had the ambition to cover some of the most important applications of finite elements and the basic finite element methods developed for those applications, including diffusion and transport phenomena, solid and fluid mechanics, and also electromagnetics.

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

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.

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.

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.

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.

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.

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.

This book reports on solved problems concerning vibrations and stability of complex beam systems. The complexity of a system is considered from two points of view: the complexity originating from the nature of the structure, in the case of two or more elastically connected beams; and the complexity derived from the dynamic behavior of the system, in the case of a damaged single beam, resulting from the harm done to its simple structure. Furthermore, the book describes the analytical derivation of equations of two or more elastically connected beams, using four different theories (Euler, Rayleigh, Timoshenko and Reddy-Bickford). It also reports on a new, improved p-version of the finite element method for geometrically nonlinear vibrations. The new method provides more accurate approximations of solutions, while also allowing us to analyze geometrically nonlinear vibrations. The book describes the appearance of longitudinal vibrations of damaged clamped-clamped beams as a result of discontinuity (damage). It describes the cases of stability in detail, employing all four theories, and provides the readers with practical examples of stochastic stability. Overall, the book succeeds in collecting in one place theoretical analyses, mathematical modeling and validation approaches based on various methods, thus providing the readers with a comprehensive toolkit for performing vibration analysis on complex beam systems.

Concentration analysis provides, in settings without a priori available compactness, a manageable structural description for the functional sequences intended to approximate solutions of partial differential equations. Since the introduction of concentration compactness in the 1980s, concentration analysis today is formalized on the functional-analytic level as well as in terms of wavelets, extends to a wide range of spaces, involves much larger class of invariances than the original Euclidean rescalings and has a broad scope of applications to PDE. This book represents current research in concentration and blow-up phenomena from various perspectives, with a variety of applications to elliptic and evolution PDEs, as well as a systematic functional-analytic background for concentration phenomena, presented by profile decompositions based on wavelet theory and cocompact imbeddings.