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.

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

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.

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.

This volume presents significant advances in a number of theories and problems of Mathematical Analysis and its applications in disciplines such as Analytic Inequalities, Operator Theory, Functional Analysis, Approximation Theory, Functional Equations, Differential Equations, Wavelets, Discrete Mathematics and Mechanics. The contributions focus on recent developments and are written by eminent scientists from the international mathematical community. Special emphasis is given to new results that have been obtained in the above mentioned disciplines in which Nonlinear Analysis plays a central role. Some review papers published in this volume will be particularly useful for a broader readership in Mathematical Analysis, as well as for graduate students. An attempt is given to present all subjects in this volume in a unified and self-contained manner, to be particularly useful to the mathematical community.

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.

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

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

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.

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.

A comprehensive introduction to the most commonly used statistical methods relevant in atmospheric, oceanic and climate sciences. Each method is described step-by-step using plain language, and illustrated with concrete examples, with relevant statistical and scientific concepts explained as needed. Particular attention is paid to nuances and pitfalls, with sufficient detail to enable the reader to write relevant code. Topics covered include hypothesis testing, time series analysis, linear regression, data assimilation, extreme value analysis, Principal Component Analysis, Canonical Correlation Analysis, Predictable Component Analysis, and Covariance Discriminant Analysis. The specific statistical challenges that arise in climate applications are also discussed, including model selection problems associated with Canonical Correlation Analysis, Predictable Component Analysis, and Covariance Discriminant Analysis. Requiring no previous background in statistics, this is a highly accessible textbook and reference for students and early-career researchers in the climate sciences.

Partial differential equations (PDEs) are the main tool to describe spatially and temporally extended systems in nature. PDEs usually come with parameters, and the study of the parameter dependence of their solutions is an important task. Letting one parameter vary typically yields a branch of solutions, and at special parameter values, new branches may bifurcate. Numerical Continuation and Bifurcation in Nonlinear PDEs: Presents hands-on approach to numerical continuation and bifurcation for nonlinear PDEs, in 1D, 2D and 3D. ,Provides a concise but sound review of analytical background and numerical methods. Explains the use of the free MATLAB package pde2path via a large variety of examples with ready to use code. Contains demo codes that can be easily adapted to the reader's given problem. This book will be of interest to applied mathematicians and scientists from physics, chemistry, biology, and economics interested in the numerical solution of nonlinear PDEs, particularly the parameter dependence of solutions. It is appropriate for the following courses: Advanced Numerical Analysis, Special Topics on Numerical Analysis, Topics on Data Science, Topics on Numerical Optimization, and Topics on Approximation Theory.

Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. The papers present overviews of recent developments in their area and provide state-of-the-art techniques and analysis.

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

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.

At the end of the year 2008, we have seen a strategic step towards a funct- ning HPC infrastructure on Tier-0 level in Germany. Based on an agreement ( Verwaltungsabkommen") between the Federal Ministry of Education and " Research (BMBF) and the state ministries for research of Baden-Wurttem- .. berg, Bayern, and Nordrhein-Westfalen, a budget of overall 400 Million Euro had been allocated - equally shared between federal and state authorities in a ?ve year time frame - to establish the next generation of HPC systems at the Gauss Centre for Supercomputing (GCS) - consisting of the three nat- nal supercomputing centres HLRS (Stuttgart), NIC/JSC (Julich), and LRZ .. (Munich). As part of that strategic initiative, in May 2009 already NIC/JSC has installed the ?rst phase of the GCS HPC Tier-0 resources, an IBM Blue Gene/P with roughly 300. 000 Cores, this time in Julic .. h, With that, the GCS provides the most powerfulhigh-performance computing infrastructure in - rope already today. HLRS and its partners in the GCS have agreed on a common strategy for the installation of the next generation of leading edge HPC systems. Over the next few years, HLRS and LRZ as the other two GCS centers will upgrade their systems accordingly. The plan is to have a Tier-0 HPC system within GCS operating at any time in this ?ve year period. Asanintermediatestep,HLRShasreplacedmostoftheirNECSX-8nodes by the NEC SX-9/12M192, a system with roughly 20 TFLOPs peak.