The European Conferences on Numerical Mathematics and Advanced Applications (ENUMATH) are a series of conferences held every two years to provide a forum for discussion of new trends in numerical mathematics and challenging scientific and industrial applications at the highest level of international expertise. ENUMATH 2011 was hosted by the University of Leicester (UK) from the 5th to 9th September 2011. This proceedings volume contains more than 90 papers by speakers of the conference and gives an overview of recent developments in scientific computing, numerical analysis, and practical use of modern numerical techniques and algorithms in various applications. New results on finite element methods, multiscale methods, numerical linear algebra, and finite difference schemes are presented. A range of applications include computational problems from fluid dynamics, materials, image processing, and molecular dynamics.

This book explains the usage and application of Molecular Quantum Dynamics, the methodology where both the electrons and the nuclei in a molecule are treated with quantum mechanical calculations. This volume of Lecture Notes in Chemistry addresses graduate students and postdocs in the field of theoretical chemistry, as well as postgraduate students, researchers and teachers from neighboring fields, such as quantum physics, biochemistry, biophysics, or anyone else who is interested in this rising method in theoretical chemistry, and who wants to gain experience in the opportunities it can offer. It can also be useful for teachers interested in illustrative examples of time-dependent quantum mechanics as animations of realistic wave packets have been designed to assist in visualization. Assuming a basic knowledge about quantum mechanics, the authors link their explanations to recent experimental investigations where Molecular Quantum Dynamics proved successful and necessary for the understanding of the experimental results. Examples including reactive scattering, photochemistry, tunneling, femto- and attosecond chemistry and spectroscopy, cold chemistry or crossed-beam experiments illustrate the power of the method. The book restricts complicated formalism to the necessary and in a self-contained and clearly explained way, offering the reader an introduction to, and instructions for, practical exercises. Continuative explanation and math are optionally supplemented for the interested reader. The reader learns how to apply example simulations with the MCTDH program package (Multi Configuration Time Dependent Hartree calculations). Readers can thus obtain the tools to run their own simulations and apply them to their problems. Selected scripts and program code from the examples are made available as supplementary material. This book bridges the gap between the existing textbooks on fundamental theoretical chemistry and research monographs focusing on sophisticated applications. It is a must-read for everyone who wants to gain a sound understanding of Molecular Quantum Dynamics simulations and to obtain basic experience in running their own simulations.

This book continues the biannual series of conference proceedings, which has become a classical reference resource in traffic and granular research alike, and addresses the latest developments at the intersection of physics, engineering and computational science. These involve complex systems, in which multiple simple agents, be they vehicles or particles, give rise to surprising and fascinating phenomena. The contributions collected in these proceedings cover several research fields, all of which deal with transport. Topics include highway, pedestrian and internet traffic; granular matter; biological transport; transport networks; data acquisition; data analysis and technological applications. Different perspectives, i.e., modeling, simulations, experiments, and phenomenological observations are considered.

This book presents a systematic approach to numerical solution for a wide range of spatial contact problems of geotechnics. On the basis of the boundary element method new techniques and effective computing algorithms are considered. Special attention is given to the formulation and analysis of the spatial contact models for elastic bases. Besides the classical schemes of contact deformation, new contact models are discussed for spatially nonhomogeneous and nonlinearly elastic media properly describing soil properties.

This book project was initiated at "The Tribute Workshop in Honour of Gunnar Sparr" and the follow-up workshop "Inequalities, Interpolation, Non-commutative, Analysis, Non-commutative Geometry and Applications INANGA08," held at the Centre for Mathematical Sciences, Lund University in May and November of 2008.

The resulting book is dedicated in celebration of Gunnar Sparr's sixty-fifth anniversary and more than forty years of exceptional service to mathematics and its applications in engineering and technology, mathematics and engineering education, as well as interdisciplinary, industrial and international cooperation.
This book presents new advances in several areas of mathematics and engineering mathematics including applications in modern technology, engineering and life sciences. Thirteen high-quality chapters put forward many new methods and results, reviews of up to date research and open directions and problems for future research.
A special chapter by Gunnar Sparr and Georg Lindgren contains a historical account and important aspects of engineering mathematics
research and education, and the implementation of the highly successful education programme in Engineering Mathematics at Lund Institute of Technology, where not only the mathematical sciences have played a role.
This book will serve as a source of inspiration for a broad spectrum of researchers and research students."

Prominent scientists present the latest achievements in computational methods and mechanics in this book. These lectures were held at the CMM 2009 conference.

The aim of this book is to present a rigorous phenomenological and mathematical formulation of sedimentation processes and to show how this theory can be applied to the design and control of continuous thickeners. The book is directed to stu dents and researchers in applied mathematics and engineering sciences, especially in metallurgical, chemical, mechanical and civil engineering, and to practicing en gineers in the process industries. Such a vast and diverse audience should read this book differently. For this reason we have organized the chapters in such a way that the book can be read in two ways. Engineers and engineering students will find a rigorous formulation of the mathematical model of sedimentation and the exact and approximate solutions for the most important problems encountered in the laboratory and in industry in Chapters 1 to 3, 7 and 8, and 10 to 12, which form a self-contained subject. They can skip Chapters 4 to 6 and 9, which are most important to applied mathematicians, without losing the main features of sedimentation processes. On the other hand, applied mathematicians will find special interest in Chapters 4 to 6 and 9 which show some known but many recent results in the field of conservation laws of quasilinear hyperbolic and degenerate parabolic equations of great interest today. These two approaches to the theory keep their own styles: the mathematical approach with theorems and proofs, and the phenomenological approach with its deductive technique."

Featuring contributions from experts in mathematical biology and biomedical research, this edited volume covers a diverse set of topics on mathematical methods and applications in the biosciences. Topics focus on advanced mathematical methods, with chapters on the mathematical analysis of the quasispecies model, Arnold's weak resonance equation, bifurcation analysis, and the Tonnelier-Gerstner model. Special emphasis is placed on applications such as natural selection, population heterogeneity, polyvariant ontogeny in plants, cancer dynamics, and analytical solutions for traveling pulses and wave trains in neural models. A survey on quasiperiodic topology is also presented in this book. Carefully peer-reviewed, this volume is suitable for students interested in interdisciplinary research. Researchers in applied mathematics and the biosciences will find this book an important resource on the latest developments in the field. In keeping with the STEAM-H series, the editors hope to inspire interdisciplinary understanding and collaboration.

Learning spaces offer a rigorous mathematical foundation for practical systems of educational technology. Learning spaces generalize partially ordered sets and are special cases of knowledge spaces. The various structures are investigated from the standpoints of combinatorial properties and stochastic processes.

Leaning spaces have become the essential structures to be used in assessing students' competence of various topics. A practical example is offered by ALEKS, a Web-based, artificially intelligent assessment and learning system in mathematics and other scholarly fields. At the heart of ALEKS is an artificial intelligence engine that assesses each student individually and continously.

The book is of interest to mathematically oriented readers in education, computer science, engineering, and combinatorics at research and graduate levels. Numerous examples and exercises are included, together with an extensive bibliography.

In this unique volume, renowned experts discuss the applications of fractals in petroleum research-offering an excellent introduction to the subject. Contributions cover a broad spectrum of applications from petroleum exploration to production. Papers also illustrate how fractal geometry can quantify the spatial heterogeneity of different aspects of geology and how this information can be used to improve exploration and production results.

The 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2009) was held on Hainan Island, China from December 2 - 4. SERA '09 featured excellent theoretical and practical contributions in the areas of formal methods and tools, requirements engineering, software process models, communication systems and networks, software quality and evaluation, software engineering, networks and mobile computing, parallel/distributed computing, software testing, reuse and metrics, database retrieval, computer security, software architectures and modeling. Our conference officers selected the best 17 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members or the program committee, and underwent further rigorous rounds of review.

Aimed at graduates and potential researchers, this is a comprehensive introduction to the mathematical aspects of spin glasses and neural networks. It should be useful to mathematicians in probability theory and theoretical physics, and to engineers working in theoretical computer science.

Phenomena occurring during a contact of two bodies are encountered in everyday life. In reality almost every type of motion is related to frictional contact between a moving body and a ground. Moreover, modeling of simple and more complex processes as nailing, cutting, vacuum pressing, movement of machines and their elements, rolling or, finally, a numerical simulation of car crash tests, requires taking contact into account.Therefore, its analysis has been a subject of many research efforts for a long time now. However, it is author 's opinion that there are relatively few efforts related to contact between structural elements, like beams, plates or shells. The purpose of this work is to fill this gap. It concerns the beam-to-beam contact as a specific case of the 3D solids contact. A numerical formulation of frictional contact for beams with two shapes of cross-section is derived. Further, a couple of effective methods for modeling of smooth curves representing beam axes are presented. A part of the book is also devoted to analyze some aspects of thermo-electro-mechanical coupling in contact of thermal and electric conductors. Analyses in every chapter are illustrated with numerical examples showing the performance of derived contact finite elements.

This volume consists of papers presented at the Variational Analysis and Aerospace Engineering Workshop II held in Erice, Italy in September 2010 at the International School of Mathematics "Guido Stampacchia." The workshop provided a platform for aerospace engineers and mathematicians (from universities, research centers and industry) to discuss the advanced problems requiring an extensive application of mathematics. The presentations were dedicated to the most advanced subjects in engineering and, in particular to computational fluid dynamics methods, introduction of new materials, optimization in aerodynamics, structural optimization, space missions, flight mechanics, control theory and optimization, variational methods and applications, etc.

This book will capture the interest of researchers from both academia and industry.

"

Synchronization of chaotic systems, a patently nonlinear phenomenon, has emerged as a highly active interdisciplinary research topic at the interface of physics, biology, applied mathematics and engineering sciences. In this connection, time-delay systems described by delay differential equations have developed as particularly
suitable tools for modeling specific dynamical systems. Indeed, time-delay is ubiquitous in many physical systems, for example due to finite
switching speeds of amplifiers in electronic circuits, finite lengths of vehicles in traffic flows, finite signal propagation times in biological networks and circuits, and quite generally whenever memory effects are relevant.
This monograph presents the basics of chaotic time-delay systems and their synchronization with an emphasis on the effects of time-delay feedback which give rise to new collective dynamics.
Special attention is devoted to scalar chaotic/hyperchaotic time-delay
systems, and some higher order models, occurring in different branches of science and technology as well as to the synchronization of their coupled versions.

Last but not least, the presentation as a whole strives for a balance between the necessary mathematical description of the basics
and the detailed presentation of real-world applications.

This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; places our current state of knowledge within the context of the contributions made by early civilizations, such as the ancient Babylonians, Egyptians and Greeks; examines the building blocks of mathematics, including sets, relations and functions; presents an introduction to logic, formal methods and software engineering; explains the fundamentals of number theory, and its application in cryptography; describes the basics of coding theory, language theory, and graph theory; discusses the concept of computability and decideability; includes concise coverage of calculus, probability and statistics, matrices, complex numbers and quaternions.

The College of Computing and Informatics (CCI) at UNC-Charlotte has three departments: Computer Science, Software and Information Systems, and Bioinformatics and Genomics. The Department of Computer Science offers study in a variety of specialized computing areas such as database design, knowledge systems, computer graphics, artificial intelligence, computer networks, game design, visualization, computer vision, and virtual reality. The Department of Software and Information Systems is primarily focused on the study of technologies and methodologies for information system architecture, design, implementation, integration, and management with particular emphasis on system security. The Department of Bioinformatics and Genomics focuses on the discovery, development and application of novel computational technologies to help solve important biological problems. This volume gives an overview of research done by CCI faculty in the area of Information & Intelligent Systems. Presented papers focus on recent advances in four major directions: Complex Systems, Knowledge Management, Knowledge Discovery, and Visualization. A major reason for producing this book was to demonstrate a new, important thrust in academic research where college-wide interdisciplinary efforts are brought to bear on large, general, and important problems. As shown in the research described here, these efforts need not be formally organized joint undertakings (through parts could be) but are rather a convergence of interests around grand themes.

This is the eighth volume in the series "Mathematics in Industrial Prob lems." The motivation for these volumes is to foster interaction between Industry and Mathematics at the "grass roots level"; that is, at the level of specific problems. These problems come from Industry: they arise from models developed by the industrial scientists in ventures directed at the manufacture of new or improved products. At the same time, these prob lems have the potential for mathematical challenge and novelty. To identify such problems, I have visited industries and had discussions with their scientists. Some of the scientists have subsequently presented their problems in the IMA Seminar on Industrial Problems. The book is based on the seminar presentations and on questions raised in subsequent discussions. Each chapter is devoted to one of the talks and is self-contained. The chapters usually provide references to the mathematical literature and a list of open problems that are of interest to industrial scientists. For some problems, a partial solution is indicated briefly. The last chapter of the book contains a short description of solutions to some of the problems raised in the previous volume, as well as references to papers in which such solutions have been published."

The Decomposition of Controlled Dynamic Systems.- A Differential Game for the Minimax of a Positional Functional.- Global Methods in Optimal Control Theory.- On the Theory of Trajectory Tubes - a Mathematical Formalism for Uncertain Dynamics, Viability and Control.- A Theory of Generalized Solutions to First-Order PDEs with an Emphasis on Differential Games.- Adaptivity and Robustness in Automatic Control Systems.

The deep and original ideas of Norman Levinson have had a lasting impact on fields as diverse as differential & integral equations, harmonic, complex & stochas tic analysis, and analytic number theory during more than half a century. Yet, the extent of his contributions has not always been fully recognized in the mathematics community. For example, the horseshoe mapping constructed by Stephen Smale in 1960 played a central role in the development of the modern theory of dynami cal systems and chaos. The horseshoe map was directly stimulated by Levinson's research on forced periodic oscillations of the Van der Pol oscillator, and specifi cally by his seminal work initiated by Cartwright and Littlewood. In other topics, Levinson provided the foundation for a rigorous theory of singularly perturbed dif ferential equations. He also made fundamental contributions to inverse scattering theory by showing the connection between scattering data and spectral data, thus relating the famous Gel'fand-Levitan method to the inverse scattering problem for the Schrodinger equation. He was the first to analyze and make explicit use of wave functions, now widely known as the Jost functions. Near the end of his life, Levinson returned to research in analytic number theory and made profound progress on the resolution of the Riemann Hypothesis. Levinson's papers are typically tightly crafted and masterpieces of brevity and clarity. It is our hope that the publication of these selected papers will bring his mathematical ideas to the attention of the larger mathematical community."

The idea of optimization runs through most parts of control theory. The simplest optimal controls are preplanned (programmed) ones. The problem of constructing optimal preplanned controls has been extensively worked out in literature (see, e. g., the Pontrjagin maximum principle giving necessary conditions of preplanned control optimality). However, the concept of op timality itself has a restrictive character: it is limited by what one means under optimality in each separate case. The internal contradictoriness of the preplanned control optimality ("the better is the enemy of the good") yields that the practical significance of optimal preplanned controls proves to be not great: such controls are usually sensitive to unregistered disturbances (includ ing the round-off errors which are inevitable when computer devices are used for forming controls), as there is the effect of disturbance accumulation in the control process which makes controls to be of little use on large time inter vals. This gap is mainly provoked by oversimplified settings of optimization problems. The outstanding result of control theory established in the end of the first half of our century is that controls in feedback form ensure the weak sensitivity of closed loop systems with respect to "small" unregistered internal and external disturbances acting in them (here we do not need to discuss performance indexes, since the considered phenomenon is of general nature). But by far not all optimal preplanned controls can be represented in a feedback form."

This book offers a compact primer on advanced numerical flux functions in computational fluid dynamics (CFD). It comprehensively introduces readers to methods used at the forefront of compressible flow simulation research. Further, it provides a comparative evaluation of the methods discussed, helping readers select the best numerical flux function for their specific needs. The first two chapters of the book reviews finite volume methods and numerical functions, before discussing issues commonly encountered in connection with each. The third and fourth chapter, respectively, address numerical flux functions for ideal gases and more complex fluid flow cases- multiphase flows, supercritical fluids and magnetohydrodynamics. In closing, the book highlights methods that provide high levels of accuracy. The concise content provides an overview of recent advances in CFD methods for shockwaves. Further, it presents the author's insights into the advantages and disadvantages of each method, helping readers implement the numerical methods in their own research.

Probably the first book to describe computational methods for numerically computing steady state and Hopf bifurcations. Requiring only a basic knowledge of calculus, and using detailed examples, problems, and figures, this is an ideal textbook for graduate students.

This EMS volume shows the great power provided by modern harmonic analysis, not only in mathematics, but also in mathematical physics and engineering. Aimed at a reader who has learned the principles of harmonic analysis, this book is intended to provide a variety of perspectives on this important classical subject. The authors have written an outstanding book which distinguishes itself by the authors' excellent expository style.
It can be useful for the expert in one area of harmonic analysis who wishes to obtain broader knowledge of other aspects of the subject and also by graduate students in other areas of mathematics who wish a general but rigorous introduction to the subject.

Parallel CFD 2008, the twentieth in the high-level international series of meetings featuring different aspect of parallel computing in computational?uid dynamics and other modern scienti?c domains was held May 19?22, 2008 in Lyon, France. The themes of the 2008 meeting included the traditional emphases of this c- ference, and experiences with contemporary architectures. Around 70 presentations were included into the conference program in the following sessions: Parallel Algorithms and solvers Parallel performances with contemporary architectures Structured and unstructured grid methods, boundary methods software framework and components architecture CFD applications(Bio ?uid, environmentalproblem)Lattice Boltzmannmethodand SPH Optimisation in Aerodynamics This book presents an up-to-date overviewof the state of the art in Parallel C- putational Fluid Dynamics from Asia, Europe, and North America. This reviewed proceedingsincluded about sixty percent of the oral lectures presented at the conf- ence. The editors. VI Preface Parallel CFD 2008 was organized by the Institut Camille Jordan of the Univ- sity of Lyon 1 in collaboration with the Center for the Development of the Parallel Scienti?c Computing. The Scienti?c Committee and Local Organizers of Parallel CFD 2008 are - lighted to acknowledge the generous sponsorship of the following organizations, through ?nancial or in-kind assistance. Assistance of our sponsors allowed to - ganize scienti?c as well as social program of the conference.