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.

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.

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.

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

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.

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.

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

In this thesis, novel Monte Carlo methods for precisely calculating the critical phenomena of the effectively frustrated quantum spin system are developed and applied to the critical phenomena of the spin-Peierls systems. Three significant methods are introduced for the first time: a new optimization algorithm of the Markov chain transition kernel based on the geometric weight-allocation approach, the extension of the worm (directed-loop) algorithm to nonconserved particles, and the combination with the level spectroscopy. Utilizing these methods, the phase diagram of the one-dimensional XXZ spin-Peierls system is elucidated. Furthermore, the multi-chain and two-dimensional spin-Peierls systems with interchain lattice interaction are investigated. The unbiased simulation shows that the interesting quantum phase transition between the 1D-like liquid phase and the macroscopically-degenerated dimer phase occurs on the fully-frustrated parameter line that separates the doubly-degenerated dimer phases in the two-dimensional phase diagram. The spin-phonon interaction in the spin-Peierls system introduces the spin frustration, which usually hinders the quantum Monte Carlo analysis, owing to the notorious negative sign problem. In this thesis, the author has succeeded in precisely calculating the critical phenomena of the effectively frustrated quantum spin system by means of the quantum Monte Carlo method without the negative sign.

This volume contains original research articles, survey articles and lecture notes related to the Computations with Modular Forms 2011 Summer School and Conference, held at the University of Heidelberg. A key theme of the Conference and Summer School was the interplay between theory, algorithms and experiment. The 14 papers offer readers both, instructional courses on the latest algorithms for computing modular and automorphic forms, as well as original research articles reporting on the latest developments in the field. The three Summer School lectures provide an introduction to modern algorithms together with some theoretical background for computations of and with modular forms, including computing cohomology of arithmetic groups, algebraic automorphic forms, and overconvergent modular symbols. The 11 Conference papers cover a wide range of themes related to computations with modular forms, including lattice methods for algebraic modular forms on classical groups, a generalization of the Maeda conjecture, an efficient algorithm for special values of p-adic Rankin triple product L-functions, arithmetic aspects and experimental data of Bianchi groups, a theoretical study of the real Jacobian of modular curves, results on computing weight one modular forms, and more.

The focus of this book is on establishing theories and methods of both decision and game analysis in management using intuitionistic fuzzy sets. It proposes a series of innovative theories, models and methods such as the representation theorem and extension principle of intuitionistic fuzzy sets, ranking methods of intuitionistic fuzzy numbers, non-linear and linear programming methods for intuitionistic fuzzy multi-attribute decision making and (interval-valued) intuitionistic fuzzy matrix games. These theories and methods form the theory system of intuitionistic fuzzy decision making and games, which is not only remarkably different from those of the traditional, Bayes and/or fuzzy decision theory but can also provide an effective and efficient tool for solving complex management problems. Since there is a certain degree of inherent hesitancy in real-life management, which cannot always be described by the traditional mathematical methods and/or fuzzy set theory, this book offers an effective approach to using the intuitionistic fuzzy set expressed with membership and non-membership functions. This book is addressed to all those involved in theoretical research and practical applications from a variety of fields/disciplines: decision science, game theory, management science, fuzzy sets, operational research, applied mathematics, systems engineering, industrial engineering, economics, etc.

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.

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.

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.

The Theory of Dynamical Systems was first introduced by the great mathematician Henri Poincaré as a qualitative study of differential equations. For more than forty years, Jacob Palis has made outstanding contributions to this area of mathematics. In the 1970s, following in the wake of Stephen Smale, he became one of the major figures in developing the Theory of Hyperbolic Dynamics and Structural Stability. This volume presents a selection of Jacob Palis’ mathematical contributions, starting with his PhD thesis and ending with papers on what is widely known as the Palis Conjecture. Most of the papers included in the present volume are inspired by the earlier work of Poincaré and, more recently, by Steve Smale among others. They aim at providing a description of the general structure of dynamical systems. Jacob Palis, whose work has been distinguished with numerous international prizes, is broadly recognized as the father of the Latin American School of Mathematics in Dynamical Systems and one of the most important scientific personalities on the continent. In 2010 he was awarded the Balzan Prize for his fundamental contributions in the Mathematical Theory of Dynamical Systems, which has been the basis for many applications in various scientific disciplines.

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 contains papers presented at the 2014 MICCAI Workshop on Computational Diffusion MRI, CDMRI’14. Detailing new computational methods applied to diffusion magnetic resonance imaging data, it offers readers a snapshot of the current state of the art and covers a wide range of topics from fundamental theoretical work on mathematical modeling to the development and evaluation of robust algorithms and applications in neuroscientific studies and clinical practice. Inside, readers will find information on brain network analysis, mathematical modeling for clinical applications, tissue microstructure imaging, super-resolution methods, signal reconstruction, visualization, and more. Contributions include both careful mathematical derivations and a large number of rich full-color visualizations. Computational techniques are key to the continued success and development of diffusion MRI and to its widespread transfer into the clinic. This volume will offer a valuable starting point for anyone interested in learning computational diffusion MRI. It also offers new perspectives and insights on current research challenges for those currently in the field. The book will be of interest to researchers and practitioners in computer science, MR physics, and applied mathematics.