The book contains a selection of contributions given at the 23th Congress on Differential Equations and Applications (CEDYA) / 13th Congress of Applied Mathematics (CMA) that took place at Castellon, Spain, in 2013. CEDYA is renowned as the congress of the Spanish Society of Applied Mathematics (SEMA) and constitutes the main forum and meeting point for applied mathematicians in Spain. The papers included in this book have been selected after a thorough refereeing process and provide a good summary of the recent activity developed by different groups working mainly in Spain on applications of mathematics to several fields of science and technology. The purpose is to provide a useful reference of academic and industrial researchers working in the area of numerical analysis and its applications.

The focus of this volume is research carried out as part of the program Mathematics of Planet Earth, which provides a platform to showcase the essential role of mathematics in addressing planetary problems and creating a context for mathematicians and applied scientists to foster mathematical and interdisciplinary developments that will be necessary to tackle a myriad of issues and meet future global challenges. Earth is a planet with dynamic processes in its mantle, oceans and atmosphere creating climate, causing natural disasters and influencing fundamental aspects of life and life-supporting systems. In addition to these natural processes, human activity has increased to the point where it influences the global climate, impacts the ability of the planet to feed itself and threatens the stability of these systems. Issues such as climate change, sustainability, man-made disasters, control of diseases and epidemics, management of resources, risk analysis and global integration have come to the fore. Written by specialists in several fields of mathematics and applied sciences, this book presents the proceedings of the International Conference and Advanced School Planet Earth, Mathematics of Energy and Climate Change held in Lisbon, Portugal, in March 2013, which was organized by the International Center of Mathematics (CIM) as a partner institution of the international program Mathematics of Planet Earth 2013. The book presents the state of the art in advanced research and ultimate techniques in modeling natural, economical and social phenomena. It constitutes a tool and a framework for researchers and graduate students, both in mathematics and applied sciences.

The book is mainly addressed to young graduate students in engineering and natural sciences who start to face numerical simulation, either at a research level or in the field of industrial applications. The main subjects covered are: Biomechanics, Stochastic Calculus, Geophysical flow simulation and Shock-Capturing numerical methods for Hyperbolic Systems of Partial Differential Equations. The book can also be useful to researchers or even technicians working at an industrial environment, who are interested in the state-of-the-art numerical techniques in these fields. Moreover, it gives an overview of the research developed at the French and Spanish universities and in some European scientific institutions. This book can be also useful as a textbook at master courses in Mathematics, Physics or Engineering.

Mathematical algorithms are a fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) systems. This book provides a bridge between algebraic geometry and geometric modelling algorithms, formulated within a computer science framework. Apart from the algebraic geometry topics covered, the entire book is based on the unifying concept of using algebraic techniques – properly specialized to solve geometric problems – to seriously improve accuracy, robustness and efficiency of CAD-systems. It provides new approaches as well as industrial applications to deform surfaces when animating virtual characters, to automatically compare images of handwritten signatures and to improve control of NC machines. This book further introduces a noteworthy representation based on 2D contours, which is essential to model the metal sheet in industrial processes. It additionally reviews applications of numerical algebraic geometry to differential equations systems with multiple solutions and bifurcations. Future Vision and Trends on Shapes, Geometry and Algebra is aimed specialists in the area of mathematics and computer science on the one hand and on the other hand at those who want to become familiar with the practical application of algebraic geometry and geometric modelling such as students, researchers and doctorates.

This book includes selected papers presented at the MIMS (Mediterranean Institute for the Mathematical Sciences) - GGTM (Geometry and Topology Grouping for the Maghreb) conference, held in memory of Mohammed Salah Baouendi, a most renowned figure in the field of several complex variables, who passed away in 2011. All research articles were written by leading experts, some of whom are prize winners in the fields of complex geometry, algebraic geometry and analysis. The book offers a valuable resource for all researchers interested in recent developments in analysis and geometry.

This book describes the theoretical and computational aspects of the mimetic finite difference method for a wide class of multidimensional elliptic problems, which includes diffusion, advection-diffusion, Stokes, elasticity, magnetostatics and plate bending problems. The modern mimetic discretization technology developed in part by the Authors allows one to solve these equations on unstructured polygonal, polyhedral and generalized polyhedral meshes. The book provides a practical guide for those scientists and engineers that are interested in the computational properties of the mimetic finite difference method such as the accuracy, stability, robustness, and efficiency. Many examples are provided to help the reader to understand and implement this method. This monograph also provides the essential background material and describes basic mathematical tools required to develop further the mimetic discretization technology and to extend it to various applications.

Honoring Andrei Agrachev's 60th birthday, this volume presents recent advances in the interaction between Geometric Control Theory and sub-Riemannian geometry. On the one hand, Geometric Control Theory used the differential geometric and Lie algebraic language for studying controllability, motion planning, stabilizability and optimality for control systems. The geometric approach turned out to be fruitful in applications to robotics, vision modeling, mathematical physics etc. On the other hand, Riemannian geometry and its generalizations, such as sub-Riemannian, Finslerian geometry etc., have been actively adopting methods developed in the scope of geometric control. Application of these methods has led to important results regarding geometry of sub-Riemannian spaces, regularity of sub-Riemannian distances, properties of the group of diffeomorphisms of sub-Riemannian manifolds, local geometry and equivalence of distributions and sub-Riemannian structures, regularity of the Hausdorff volume, etc.

“Intelligent Routines II: Solving Linear Algebra and Differential Geometry with Sage� contains numerous of examples and problems as well as many unsolved problems. This book extensively applies the successful software Sage, which can be found free online http://www.sagemath.org/. Sage is a recent and popular software for mathematical computation, available freely and simple to use. This book is useful to all applied scientists in mathematics, statistics and engineering, as well for late undergraduate and graduate students of above subjects. It is the first such book in solving symbolically with Sage problems in Linear Algebra and Differential Geometry. Plenty of SAGE applications are given at each step of the exposition.

​​This volume arose from the Third Annual Workshop on Inverse Problems, held in Stockholm on May 2-6, 2012. The proceedings present new analytical developments and numerical methods for solutions of  inverse and ill-posed problems, which consistently pose complex challenges to the development of effective numerical methods. The book highlights recent research focusing on reliable numerical techniques for the solution of inverse problems, with relevance to a range of fields including acoustics, electromagnetics, optics, medical imaging, and geophysics. ​

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.

Sparse grids have gained increasing interest in recent years for the numerical treatment of high-dimensional problems. Whereas classical numerical discretization schemes fail in more than three or four dimensions, sparse grids make it possible to overcome the “curse� of dimensionality to some degree, extending the number of dimensions that can be dealt with. This volume of LNCSE collects the papers from the proceedings of the second workshop on sparse grids and applications, demonstrating once again the importance of this numerical discretization scheme. The selected articles present recent advances on the numerical analysis of sparse grids as well as efficient data structures, and the range of applications extends to uncertainty quantification settings and clustering, to name but a few examples.

This book addresses several mathematical models from the most relevant class of kp-Schrödinger systems. Both mathematical models and state-of-the-art numerical methods for adequately solving the arising systems of differential equations are presented. The operational principle of modern semiconductor nano structures, such as quantum wells, quantum wires or quantum dots, relies on quantum mechanical effects. The goal of numerical simulations using quantum mechanical models in the development of semiconductor nano structures is threefold: First they are needed for a deeper understanding of experimental data and of the operational principle. Secondly, they allow us to predict and optimize in advance the qualitative and quantitative properties of new devices in order to minimize the number of prototypes needed. Semiconductor nano structures are embedded as an active region in semiconductor devices. Thirdly and finally, the results of quantum mechanical simulations of semiconductor nano structures can be used with upscaling methods to deliver parameters needed in semi-classical models for semiconductor devices, such as quantum well lasers. This book covers in detail all these three aspects using a variety of illustrative examples. Readers will gain detailed insights into the status of the multiband effective mass method for semiconductor nano structures. Both users of the kp method as well as advanced researchers who want to advance the kp method further will find helpful information on how to best work with this method and use it as a tool for characterizing the physical properties of semiconductor nano structures. The book is primarily intended for graduate and Ph.D. students in applied mathematics, mathematical physics and theoretical physics, as well as all those working in quantum mechanical research or the semiconductor / opto-electronic industry who are interested in new mathematical aspects.

The topics faced in this book cover a large spectrum of current trends in mathematics, such as Shimura varieties and the Lang lands program, zonotopal combinatorics, non linear potential theory, variational methods in imaging, Riemann holonomy and algebraic geometry, mathematical problems arising in kinetic theory, Boltzmann systems, Pell's equations in polynomials, deformation theory in non commutative algebras. This work contains a selection of contributions written by international leading mathematicians who were speakers at the "INdAM Day", an initiative born in 2004 to present the most recent developments in contemporary mathematics.

Die Autoren führen auf anschauliche und systematische Weise in die mathematische und informatische Modellierung sowie in die Simulation als universelle Methodik ein. Es geht um Klassen von Modellen und um die Vielfalt an Beschreibungsarten. Aber es geht immer auch darum, wie aus Modellen konkrete Simulationsergebnisse gewonnen werden können. Nach einem kompakten Repetitorium zum benötigten mathematischen Apparat wird das Konzept anhand von Szenarien u. a. aus den Bereichen „Spielen – entscheiden – planen" und „Physik im Rechner" umgesetzt.

This book collects papers presented during the European Workshop on High Order Nonlinear Numerical Methods for Evolutionary PDEs (HONOM 2013) that was held at INRIA Bordeaux Sud-Ouest, Talence, France in March, 2013. The central topic is high order methods for compressible fluid dynamics. In the workshop, and in this proceedings, greater emphasis is placed on the numerical than the theoretical aspects of this scientific field. The range of topics is broad, extending through algorithm design, accuracy, large scale computing, complex geometries, discontinuous Galerkin, finite element methods, Lagrangian hydrodynamics, finite difference methods and applications and uncertainty quantification. These techniques find practical applications in such fields as fluid mechanics, magnetohydrodynamics, nonlinear solid mechanics, and others for which genuinely nonlinear methods are needed.

This book covers the main mathematical and numerical models in computational electrocardiology, ranging from microscopic membrane models of cardiac ionic channels to macroscopic bidomain, monodomain, eikonal models and cardiac source representations. These advanced multiscale and nonlinear models describe the cardiac bioelectrical activity from the cell level to the body surface and are employed in both the direct and inverse problems of electrocardiology. The book also covers advanced numerical techniques needed to efficiently carry out large-scale cardiac simulations, including time and space discretizations, decoupling and operator splitting techniques, parallel finite element solvers. These techniques are employed in 3D cardiac simulations illustrating the excitation mechanisms, the anisotropic effects on excitation and repolarization wavefronts, the morphology of electrograms in normal and pathological tissue and some reentry phenomena. The overall aim of the book is to present rigorously the mathematical and numerical foundations of computational electrocardiology, illustrating the current research developments in this fast-growing field lying at the intersection of mathematical physiology, bioengineering and computational biomedicine. This book is addressed to graduate student and researchers in the field of applied mathematics, scientific computing, bioengineering, electrophysiology and cardiology.

This monograph describes the numerical analysis of non-linearities in structural mechanics, i.e. large rotations, large strain (geometric non-linearities), non-linear material behaviour, in particular elasto-plasticity as well as time-dependent behaviour, and contact. Based on that, the book treats stability problems and limit-load analyses, as well as non-linear equations of a large number of variables. Moreover, the author presents a wide range of problem sets and their solutions. The target audience primarily comprises advanced undergraduate and graduate students of mechanical and civil engineering, but the book may also be beneficial for practising engineers in industry.

This book presents a collection of computational intelligence algorithms that addresses issues in visual pattern recognition such as high computational complexity, abundance of pattern features, sensitivity to size and shape variations and poor performance against complex backgrounds. The book has 3 parts. Part 1 describes various research issues in the field with a survey of the related literature. Part 2 presents computational intelligence based algorithms for feature selection and classification. The algorithms are discriminative and fast. The main application area considered is hand posture recognition. The book also discusses utility of these algorithms in other visual as well as non-visual pattern recognition tasks including face recognition, general object recognition and cancer / tumor classification. Part 3 presents biologically inspired algorithms for feature extraction. The visual cortex model based features discussed have invariance with respect to appearance and size of the hand, and provide good inter class discrimination. A Bayesian model of visual attention is described which is effective in handling complex background problem in hand posture recognition. The book provides qualitative and quantitative performance comparisons for the algorithms outlined, with other standard methods in machine learning and computer vision. The book is self-contained with several figures, charts, tables and equations helping the reader to understand the material presented without instruction.

The book presents twelve state of the art contributions in the field of numerical modeling of materials subjected to large strain, high strain rates, large pressure and high stress triaxialities, organized into two sections. The first part is focused on high strain rate-high pressures such as those occurring in impact dynamics and shock compression related phenomena, dealing with material response identification, advanced modeling incorporating microstructure and damage, stress waves propagation in solids and structures response under impact. The latter part is focused on large strain-low strain rates applications such as those occurring in technological material processing, dealing with microstructure and texture evolution, material response at elevated temperatures, structural behavior under large strain and multi axial state of stress.

This book presents the complete formulation of a new advanced discretization meshless technique: the Natural Neighbour Radial Point Interpolation Method (NNRPIM). In addition, two of the most popular meshless methods, the EFGM and the RPIM, are fully presented. Being a truly meshless method, the major advantages of the NNRPIM over the FEM and other meshless methods, are the remeshing flexibility and the higher accuracy of the obtained variable field. Using the natural neighbour concept, the NNRPIM permits to determine organically the influence-domain, resembling the cellulae natural behaviour. This innovation permits the analysis of convex boundaries and extremely irregular meshes, which is an advantage in the biomechanical analysis, with no extra computational effort associated. This volume shows how to extend the NNRPIM to the bone tissue remodelling analysis, expecting to contribute with new numerical tools and strategies in order to permit a more efficient numerical biomechanical analysis.

The importance of accuracy verification methods was understood at the very beginning of the development of numerical analysis. Recent decades have seen a rapid growth of results related to adaptive numerical methods and a posteriori estimates. However, in this important area there often exists a noticeable gap between mathematicians creating the theory and researchers developing applied algorithms that could be used in engineering and scientific computations for guaranteed and efficient error control.   The goals of the book are to (1) give a transparent explanation of the underlying mathematical theory in a style accessible not only to advanced numerical analysts but also to engineers and students; (2) present detailed step-by-step algorithms that follow from a theory; (3) discuss their advantages and drawbacks, areas of applicability, give recommendations and examples.

Blind Source Separation intends to report the new results of the efforts on the study of Blind Source Separation (BSS). The book collects novel research ideas and some training in BSS, independent component analysis (ICA), artificial intelligence and signal processing applications. Furthermore, the research results previously scattered in many journals and conferences worldwide are methodically edited and presented in a unified form. The book is likely to be of interest to university researchers, R&D engineers and graduate students in computer science and electronics who wish to learn the core principles, methods, algorithms and applications of BSS. Dr. Ganesh R. Naik works at University of Technology, Sydney, Australia; Dr. Wenwu Wang works at University of Surrey, UK.

This volume contains contributions from the Gulf International Conference in Applied Mathematics, held at the Gulf University for Science & Technology. The proceedings reflects the three major themes of the conference. The first of these was mathematical biology, including a keynote address by Professor Philip Maini. The second theme was computational science/numerical analysis, including a keynote address by Professor Grigorii Shishkin. The conference also addressed more general applications topics, with papers in business applications, fluid mechanics, optimization, scheduling problems and engineering applications, as well as a keynote by Professor Ali Nayfeh.

The book describes the science gateway building technology developed in the SCI-BUS European project and its adoption and customization method, by which user communities, such as biologists, chemists, and astrophysicists, can build customized, domain-specific science gateways. Many aspects of the core technology are explained in detail, including its workflow capability, job submission mechanism to various grids and clouds, and its data transfer mechanisms among several distributed infrastructures. The book will be useful for scientific researchers and IT professionals engaged in the development of science gateways.

Leonardo wrote, “Mechanics is the paradise of the mathematical sciences, because by means of it one comes to the fruits of mathematics�; replace “Mechanics� by “Fluid mechanics� and here we are. - From the Preface to the Second Edition Although the exponential growth of computer power has advanced the importance of simulations and visualization tools for elaborating new models, designs and technologies, the discipline of fluid mechanics is still large, and turbulence in flows remains a challenging problem in classical physics. Like its predecessor, the revised and expanded Second Edition of this book addresses the basic principles of fluid mechanics and solves fluid flow problems where viscous effects are the dominant physical phenomena. Much progress has occurred in the half a century that has passed since the edition of 1964. As predicted, aspects of hydrodynamics once considered offbeat have risen to importance. For example, the authors have worked on problems where variations in viscosity and surface tension cannot be ignored. The advent of nanotechnology has broadened interest in the hydrodynamics of thin films, and hydromagnetic effects and radiative heat transfer are routinely encountered in materials processing. This monograph develops the basic equations, in the three most important coordinate systems, in a way that makes it easy to incorporate these phenomena into the theory. The book originally described by Prof. Langlois as "a monograph on theoretical hydrodynamics, written in the language of applied mathematics" offers much new coverage including the second principle of thermodynamics, the Boussinesq approximation, time dependent flows, Marangoni convection, Kovasznay flow, plane periodic solutions, Hele-Shaw cells, Stokeslets, rotlets, finite element methods, Wannier flow, corner eddies, and analysis of the Stokes operator.