This proceedings volume highlights a selection of papers presented at the Sixth International Conference on High Performance Scientific Computing, which took place in Hanoi, Vietnam on March 16-20, 2015. The conference was jointly organized by the Heidelberg Institute of Theoretical Studies (HITS), the Institute of Mathematics of the Vietnam Academy of Science and Technology (VAST), the Interdisciplinary Center for Scientific Computing (IWR) at Heidelberg University, and the Vietnam Institute for Advanced Study in Mathematics, Ministry of Education The contributions cover a broad, interdisciplinary spectrum of scientific computing and showcase recent advances in theory, methods, and practical applications. Subjects covered numerical simulation, methods for optimization and control, parallel computing, and software development, as well as the applications of scientific computing in physics, mechanics, biomechanics and robotics, material science, hydrology, biotechnology, medicine, transport, scheduling, and industry.

This book is primarily intended as a research monograph that could also be used in graduate courses for the design of parallel algorithms in matrix computations. It assumes general but not extensive knowledge of numerical linear algebra, parallel architectures, and parallel programming paradigms. The book consists of four parts: (I) Basics; (II) Dense and Special Matrix Computations; (III) Sparse Matrix Computations; and (IV) Matrix functions and characteristics. Part I deals with parallel programming paradigms and fundamental kernels, including reordering schemes for sparse matrices. Part II is devoted to dense matrix computations such as parallel algorithms for solving linear systems, linear least squares, the symmetric algebraic eigenvalue problem, and the singular-value decomposition. It also deals with the development of parallel algorithms for special linear systems such as banded ,Vandermonde ,Toeplitz ,and block Toeplitz systems. Part III addresses sparse matrix computations: (a) the development of parallel iterative linear system solvers with emphasis on scalable preconditioners, (b) parallel schemes for obtaining a few of the extreme eigenpairs or those contained in a given interval in the spectrum of a standard or generalized symmetric eigenvalue problem, and (c) parallel methods for computing a few of the extreme singular triplets. Part IV focuses on the development of parallel algorithms for matrix functions and special characteristics such as the matrix pseudospectrum and the determinant. The book also reviews the theoretical and practical background necessary when designing these algorithms and includes an extensive bibliography that will be useful to researchers and students alike. The book brings together many existing algorithms for the fundamental matrix computations that have a proven track record of efficient implementation in terms of data locality and data transfer on state-of-the-art systems, as well as several algorithms that are presented for the first time, focusing on the opportunities for parallelism and algorithm robustness.

This book is dedicated to Professor Selim G. Akl to honour his groundbreaking research achievements in computer science over four decades. The book is an intellectually stimulating excursion into emergent computing paradigms, architectures and implementations. World top experts in computer science, engineering and mathematics overview exciting and intriguing topics of musical rhythms generation algorithms, analyse the computational power of random walks, dispelling a myth of computational universality, computability and complexity at the microscopic level of synchronous computation, descriptional complexity of error detection, quantum cryptography, context-free parallel communicating grammar systems, fault tolerance of hypercubes, finite automata theory of bulk-synchronous parallel computing, dealing with silent data corruptions in high-performance computing, parallel sorting on graphics processing units, mining for functional dependencies in relational databases, cellular automata optimisation of wireless sensors networks, connectivity preserving network transformers, constrained resource networks, vague computing, parallel evolutionary optimisation, emergent behaviour in multi-agent systems, vehicular clouds, epigenetic drug discovery, dimensionality reduction for intrusion detection systems, physical maze solvers, computer chess, parallel algorithms to string alignment, detection of community structure. The book is a unique combination of vibrant essays which inspires scientists and engineers to exploit natural phenomena in designs of computing architectures of the future.

Designed for graduate students, researchers, and engineers in mathematics, optimization, and economics, this self-contained volume presents theory, methods, and applications in mathematical analysis and approximation theory. Specific topics include: approximation of functions by linear positive operators with applications to computer aided geometric design, numerical analysis, optimization theory, and solutions of differential equations. Recent and significant developments in approximation theory, special functions and q-calculus along with their applications to mathematics, engineering, and social sciences are discussed and analyzed. Each chapter enriches the understanding of current research problems and theories in pure and applied research.

Written by a team of leading experts in the field, this volume presents a self-contained account of the theory, techniques and results in metric type spaces (in particular in G-metric spaces); that is, the text approaches this important area of fixed point analysis beginning from the basic ideas of metric space topology. The text is structured so that it leads the reader from preliminaries and historical notes on metric spaces (in particular G-metric spaces) and on mappings, to Banach type contraction theorems in metric type spaces, fixed point theory in partially ordered G-metric spaces, fixed point theory for expansive mappings in metric type spaces, generalizations, present results and techniques in a very general abstract setting and framework. Fixed point theory is one of the major research areas in nonlinear analysis. This is partly due to the fact that in many real world problems fixed point theory is the basic mathematical tool used to establish the existence of solutions to problems which arise naturally in applications. As a result, fixed point theory is an important area of study in pure and applied mathematics and it is a flourishing area of research.

This book provides a snapshot of representative modeling analyses of coastal hypoxia and its effects. Hypoxia refers to conditions in the water column where dissolved oxygen falls below levels that can support most metazoan marine life (i.e., 2 mg O2 l-1). The number of hypoxic zones has been increasing at an exponential rate since the 1960s; there are currently more than 600 documented hypoxic zones in the estuarine and coastal waters worldwide. Hypoxia develops as a synergistic product of many physical and biological factors that affect the balance of dissolved oxygen in seawater, including temperature, solar radiation, wind, freshwater discharge, nutrient supply, and the production and decay of organic matter. A number of modeling approaches have been increasingly used in hypoxia research, along with the more traditional observational and experimental studies. Modeling is necessary because of rapidly changing coastal circulation and stratification patterns that affect hypoxia, the large spatial extent over which hypoxia develops, and limitations on our capabilities to directly measure hypoxia over large spatial and temporal scales. This book consists of 15 chapters that are broadly organized around three main topics: (1) Modeling of the physical controls on hypoxia, (2) Modeling of biogeochemical controls and feedbacks, and, (3) Modeling of the ecological effects of hypoxia. The final chapter is a synthesis chapter that draws generalities from the earlier chapters, highlights strengths and weaknesses of the current state-of-the-art modeling, and offers recommendations on future directions.

This proceedings volume gathers a selection of outstanding research papers presented at the third Conference on Isogeometric Analysis and Applications, held in Delft, The Netherlands, in April 2018. This conference series, previously held in Linz, Austria, in 2012 and Annweiler am Trifels, Germany, in 2014, has created an international forum for interaction between scientists and practitioners working in this rapidly developing field. Isogeometric analysis is a groundbreaking computational approach that aims to bridge the gap between numerical analysis and computational geometry modeling by integrating the finite element method and related numerical simulation techniques into the computer-aided design workflow, and vice versa. The methodology has matured over the last decade both in terms of our theoretical understanding, its mathematical foundation and the robustness and efficiency of its practical implementations. This development has enabled scientists and practitioners to tackle challenging new applications at the frontiers of research in science and engineering and attracted early adopters for this his novel computer-aided design and engineering technology in industry. The IGAA 2018 conference brought together experts on isogeometric analysis theory and application, share their insights into challenging industrial applications and to discuss the latest developments as well as the directions of future research and development that are required to make isogeometric analysis an established mainstream technology.

This book presents practical applications of the finite element method to general differential equations. The underlying strategy of deriving the finite element solution is introduced using linear ordinary differential equations, thus allowing the basic concepts of the finite element solution to be introduced without being obscured by the additional mathematical detail required when applying this technique to partial differential equations. The author generalizes the presented approach to partial differential equations which include nonlinearities. The book also includes variations of the finite element method such as different classes of meshes and basic functions. Practical application of the theory is emphasised, with development of all concepts leading ultimately to a description of their computational implementation illustrated using Matlab functions. The target audience primarily comprises applied researchers and practitioners in engineering, but the book may also be beneficial for graduate students.

This textbook provides a step-by-step approach to numerical methods in engineering modelling. The authors provide a consistent treatment of the topic, from the ground up, to reinforce for students that numerical methods are a set of mathematical modelling tools which allow engineers to represent real-world systems and compute features of these systems with a predictable error rate. Each method presented addresses a specific type of problem, namely root-finding, optimization, integral, derivative, initial value problem, or boundary value problem, and each one encompasses a set of algorithms to solve the problem given some information and to a known error bound. The authors demonstrate that after developing a proper model and understanding of the engineering situation they are working on, engineers can break down a model into a set of specific mathematical problems, and then implement the appropriate numerical methods to solve these problems.

This volume contains a selection of papers presented at the 21st international conference on domain decomposition methods in science and engineering held in Rennes, France, June 25-29, 2012. Domain decomposition is an active and interdisciplinary research discipline, focusing on the development, analysis and implementation of numerical methods for massively parallel computers. Domain decomposition methods are among the most efficient solvers for large scale applications in science and engineering. They are based on a solid theoretical foundation and shown to be scalable for many important applications. Domain decomposition techniques can also naturally take into account multiscale phenomena. This book contains the most recent results in this important field of research, both mathematically and algorithmically and allows the reader to get an overview of this exciting branch of numerical analysis and scientific computing.

The methods considered in the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) have properties which offer distinct advantages for a number of applications. The second volume of the proceedings covers reviewed contributions reporting successful applications in the fields of fluid dynamics, magnetohydrodynamics, structural analysis, nuclear physics, semiconductor theory and other topics.

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.

This book gathers threads that have evolved across different mathematical disciplines into seamless narrative. It deals with condition as a main aspect in the understanding of the performance ---regarding both stability and complexity--- of numerical algorithms. While the role of condition was shaped in the last half-century, so far there has not been a monograph treating this subject in a uniform and systematic way. The book puts special emphasis on the probabilistic analysis of numerical algorithms via the analysis of the corresponding condition. The exposition's level increases along the book, starting in the context of linear algebra at an undergraduate level and reaching in its third part the recent developments and partial solutions for Smale's 17th problem which can be explained within a graduate course. Its middle part contains a condition-based course on linear programming that fills a gap between the current elementary expositions of the subject based on the simplex method and those focusing on convex programming.

This book highlights recent research advances in the area of turbulent flows from both industry and academia for applications in the area of Aerospace and Mechanical engineering. Contributions include modeling, simulations and experiments meant for researchers, professionals and students in the area.

Broadly organized around the applications of Fourier analysis, "Methods of Applied Mathematics with a MATLAB Overview" covers both classical applications in partial differential equations and boundary value problems, as well as the concepts and methods associated to the Laplace, Fourier, and discrete transforms. Transform inversion problems are also examined, along with the necessary background in complex variables. A final chapter treats wavelets, short-time Fourier analysis, and geometrically-based transforms. The computer program MATLAB is emphasized throughout, and an introduction to MATLAB is provided in an appendix. Rich in examples, illustrations, and exercises of varying difficulty, this text can be used for a one- or two-semester course and is ideal for students in pure and applied mathematics, physics, and engineering.

This book gathers nineteen papers presented at the first NLAGA-BIRS Symposium, which was held at the Cheikh Anta Diop University in Dakar, Senegal, on June 24-28, 2019. The four-day symposium brought together African experts on nonlinear analysis and geometry and their applications, as well as their international partners, to present and discuss mathematical results in various areas. The main goal of the NLAGA project is to advance and consolidate the development of these mathematical fields in West and Central Africa with a focus on solving real-world problems such as coastal erosion, pollution, and urban network and population dynamics problems. The book addresses a range of topics related to partial differential equations, geometrical analysis of optimal shapes, geometric structures, optimization and optimal transportation, control theory, and mathematical modeling.

This book gives a concise introduction to the basic techniques needed for the theoretical analysis of the Maxwell Equations, and filters in an elegant way the essential parts, e.g., concerning the various function spaces needed to rigorously investigate the boundary integral equations and variational equations. The book arose from lectures taught by the authors over many years and can be helpful in designing graduate courses for mathematically orientated students on electromagnetic wave propagation problems. The students should have some knowledge on vector analysis (curves, surfaces, divergence theorem) and functional analysis (normed spaces, Hilbert spaces, linear and bounded operators, dual space). Written in an accessible manner, topics are first approached with simpler scale Helmholtz Equations before turning to Maxwell Equations. There are examples and exercises throughout the book. It will be useful for graduate students and researchers in applied mathematics and engineers working in the theoretical approach to electromagnetic wave propagation.

This book highlights recent compelling research results and trends in various aspects of contemporary mathematics, emphasizing applicabilitions to real-world situations. The chapters present exciting new findings and developments in situations where mathematical rigor is combined with common sense. A multi-disciplinary approach, both within each chapter and in the volume as a whole, leads to practical insights that may result in a more synthetic understanding of specific global issues as well as their possible solutions. The volume will be of interest not only to experts in mathematics, but also to graduate students, scientists, and practitioners from other fields including physics, biology, geology, management, and medicine.

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 Institute for Mathematics and its Applications (IMA) devoted its 1997-1998 program to Emerging Applications of Dynamical Systems. Dynamical systems theory and related numerical algorithms provide powerful tools for studying the solution behavior of differential equations and mappings. In the past 25 years computational methods have been developed for calculating fixed points, limit cycles, and bifurcation points. A remaining challenge is to develop robust methods for calculating more complicated objects, such as higher- codimension bifurcations of fixed points, periodic orbits, and connecting orbits, as well as the calcuation of invariant manifolds. Another challenge is to extend the applicability of algorithms to the very large systems that result from discretizing partial differential equations. Even the calculation of steady states and their linear stability can be prohibitively expensive for large systems (e.g. 10_3- -10_6 equations) if attempted by simple direct methods. Several of the papers in this volume treat computational methods for low and high dimensional systems and, in some cases, their incorporation into software packages. A few papers treat fundamental theoretical problems, including smooth factorization of matrices, self -organized criticality, and unfolding of singular heteroclinic cycles. Other papers treat applications of dynamical systems computations in various scientific fields, such as biology, chemical engineering, fluid mechanics, and mechanical engineering.

Examining the basic principles in real analysis and their applications, this text provides a self-contained resource for graduate and advanced undergraduate courses. It contains independent chapters aimed at various fields of application, enhanced by highly advanced graphics and results explained and supplemented with practical and theoretical exercises. The presentation of the book is meant to provide natural connections to classical fields of applications such as Fourier analysis or statistics. However, the book also covers modern areas of research, including new and seminal results in the area of functional analysis.

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.

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

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.

This textbook presents finite element methods using exclusively one-dimensional elements. The aim is to present the complex methodology in an easily understandable but mathematically correct fashion. The approach of one-dimensional elements enables the reader to focus on the understanding of the principles of basic and advanced mechanical problems. The reader easily understands the assumptions and limitations of mechanical modeling as well as the underlying physics without struggling with complex mathematics. But although the description is easy it remains scientifically correct.

The approach using only one-dimensional elements covers not only standard problems but allows also for advanced topics like plasticity or the mechanics of composite materials. Many examples illustrate the concepts and problems at the end of every chapter help to familiarize with the topics."