The articles in this volume summarize the research results obtained in the former SFB 359 "Reactive Flow, Diffusion and Transport" which has been supported by the DFG over the period 1993-2004. The main subjects are physical-chemical processes sharing the difficulty of interacting diffusion, transport and reaction which cannot be considered separately. Typical examples are the chemical processes in flow reactors and in the catalytic combustion at surfaces. Further examples are models of star formation including diffusive mass transport, energy radiation and dust formation and the polluting transport in soil and waters. For these complex processes mathematical models are established and numerically simulated. The modeling uses multiscale techniques for nonlinear differential equations while for the numerical simulation and optimization goal-oriented mesh and model adaptivity, multigrid techniques and advanced Newton-type methods are developed combined with parallelization. This modeling and simulation is accompanied by experiments.

The present volume celebrates the 60th birthday of Professor Giovanni Paolo Galdi and honors his remarkable contributions to research in the ?eld of Mathematical Fluid Mechanics. The book contains a collection of 35 peer reviewed papers, with authors from 20 countries, re?ecting the worldwide impact and great inspiration by his work over the years. These papers were selected from invited lectures and contributed talks presented at the International Conference on Mathematical Fluid Mechanics held in Estoril, Portugal, May 21-25, 2007 and organized on the oc- sion of Professor Galdi's 60th birthday. We express our gratitude to all the authors and reviewers for their important contributions. Professor Galdi devotes his career to research on the mathematical analysis of the Navier-Stokes equations and non-Newtonian ?ow problems, with special emphasis on hydrodynamic stability and ?uid-particle interactions, impressing the worldwide mathematical communities with his results. His numerous contributions have laid down signi?cant milestones in these ?elds, with a great in?uence on interdis- plinary research communities. He has advanced the careers of numerous young researchers through his generosity and encouragement, some directly through int- lectual guidance and others indirectly by pairing them with well chosen senior c- laborators. A brief review of Professor Galdi's activities and some impressions by colleagues and friends are included here.

This monographcovers dynamical inverse problems, that is problems whose data are the values of wave fields. It deals with the problem of determination of one or more coefficients of a hyperbolic equation or a system of hyperbolic equations. The desired coefficients are functions of point. Most attention is given to the case where the required functions depend only on one coordinate. The first chapter of the book deals mainly with methods of solution of one-dimensional inverse problems. The second chapter focuses on scalar inverse problems of wave propagation in a layered medium. In the final chapter inverse problems for elasticity equations in stratified media and acoustic equations for moving media are given.

This thesis presents a study of strong stratification and turbulence collapse in the planetary boundary layer, opening a new avenue in this field. It is the first work to study all regimes of stratified turbulence in a unified simulation framework without a break in the paradigms for representation of turbulence. To date, advances in our understanding and the parameterization of turbulence in the stable boundary layer have been hampered by difficulties simulating the strongly stratified regime, and the analysis has primarily been based on field measurements. The content presented here changes that paradigm by demonstrating the ability of direct numerical simulation to address this problem, and by doing so to remove the uncertainty of turbulence models from the analysis. Employing a stably stratified Ekman layer as a simplified physical model of the stable boundary layer, the three stratification regimes observed in nature- weakly, intermediately and strongly stratified-are reproduced, and the data is subsequently used to answer key, long-standing questions. The main part of the book is organized in three sections, namely a comprehensive introduction, numerics, and physics. The thesis ends with a clear and concise conclusion that distills specific implications for the study of the stable boundary layer. This structure emphasizes the physical results, but at the same time gives relevance to the technical aspects of numerical schemes and post-processing tools. The selection of the relevant literature during the introduction, and its use along the work appropriately combines literature from two research communities: fluid dynamics, and boundary-layer meteorology.

Intended as a textbook for courses in computational fluid dynamics at the senior undergraduate or graduate level, this book is a follow-up to the book Fundamentals of Computational Fluid Dynamics by the same authors, which was published in the series Scientific Computation in 2001. Whereas the earlier book concentrated on the analysis of numerical methods applied to model equations, this new book concentrates on algorithms for the numerical solution of the Euler and Navier-Stokes equations. It focuses on some classical algorithms as well as the underlying ideas based on the latest methods. A key feature of the book is the inclusion of programming exercises at the end of each chapter based on the numerical solution of the quasi-one-dimensional Euler equations and the shock-tube problem. These exercises can be included in the context of a typical course and sample solutions are provided in each chapter, so readers can confirm that they have coded the algorithms correctly.

This thesis details significant improvements in the understanding of the nuclear EMC effect and nuclear shadowing in neutrino physics, and makes substantial comparisons with electron scattering physics. Specifically, it includes the first systematic study of the EMC ratios of carbon, iron and lead to plastic scintillator of neutrinos. The analysis presented provides the best evidence to date that the EMC effect is similar between electrons and neutrinos within the sensitivity of the data. Nuclear shadowing is measured systematically for the first time with neutrinos. In contrast with the data on the EMC effect, the data on nuclear shadowing support the conclusion that nuclear shadowing may be stronger for neutrinos than it is for electrons. This conclusion points to interesting new nuclear physics.

Mathematical modeling and numerical simulation in fluid mechanics are topics of great importance both in theory and technical applications. The present book attempts to describe the current status in various areas of research. The 10 chapters, mostly survey articles, are written by internationally renowned specialists and offer a range of approaches to and views of the essential questions and problems. In particular, the theories of incompressible and compressible Navier-Stokes equations are considered, as well as stability theory and numerical methods in fluid mechanics. Although the book is primarily written for researchers in the field, it will also serve as a valuable source of information to graduate students.

This book discusses the development of a theory of info-statics as a sub-theory of the general theory of information. It describes the factors required to establish a definition of the concept of information that fixes the applicable boundaries of the phenomenon of information, its linguistic structure and scientific applications. The book establishes the definitional foundations of information and how the concepts of uncertainty, data, fact, evidence and evidential things are sequential derivatives of information as the primary category, which is a property of matter and energy. The sub-definitions are extended to include the concepts of possibility, probability, expectation, anticipation, surprise, discounting, forecasting, prediction and the nature of past-present-future information structures. It shows that the factors required to define the concept of information are those that allow differences and similarities to be established among universal objects over the ontological and epistemological spaces in terms of varieties and identities. These factors are characteristic and signal dispositions on the basis of which general definitional foundations are developed to construct the general information definition (GID). The book then demonstrates that this definition is applicable to all types of information over the ontological and epistemological spaces. It also defines the concepts of uncertainty, data, fact, evidence and knowledge based on the GID. Lastly, it uses set-theoretic analytics to enhance the definitional foundations, and shows the value of the theory of info-statics to establish varieties and categorial varieties at every point of time and thus initializes the construct of the theory of info-dynamics.

Propelled by the success of the sequencing of the human and many related genomes, molecular and cellular biology has delivered significant scientific breakthroughs. Mathematics (broadly defined) continues to play a major role in this effort, helping to discover the secrets of life by working collaboratively with bench biologists, chemists and physicists.

Because of its outstanding record of interdisciplinary research and training, the IMA was an ideal venue for the 2007-2008 IMA thematic year on Mathematics of Molecular and Cellular Biology. The kickoff event for this thematic year was a tutorial on Mathematics of Nucleic Acids, followed by the workshop Mathematics of Molecular and Cellular Biology, held September 15--21 at the IMA. This volume is dedicated to the memory of Nicholas R. Cozzarelli, a dynamic leader who fostered research and training at the interface between mathematics and molecular biology. It contains a personal remembrance of Nick Cozzarelli, plus 15 papers contributed by workshop speakers. The papers give an overview of state-of-the-art mathematical approaches to the understanding of DNA structure and function, and the interaction of DNA with proteins that mediate vital life processes.

This monographdeals with methods of studying multidimensional inverse problems for kinetic and other evolution equations, in particular transfer equations. The methods used are applied to concrete inverse problems, especially multidimensional inverse problems applicable in linear and nonlinear statements. A significant part of the book contains formulas and relations for solving inverse problems, including formulas for the solution and coefficients of kinetic equations, differential-difference equations, nonlinear evolution equations, and second order equations.

Commutative Algebra, Singularities and Computer Algebra presents current trends in commutative algebra, algebraic combinatorics, singularity theory and computer algebra, and highlights the interaction between these disciplines. Contributions by leading international mathematicians thoroughly discuss topics in: modules theory, integrally closed ideals and determinantal ideals, singularities in projective spaces and Castelnuovo-Mumford regularity, Groebner and SAGBI basis, and the use of the computer packages Bergman, CoCoA and SINGULAR.

The topic of the 2010 Abel Symposium, hosted at the Norwegian Academy of Science and Letters, Oslo, was Nonlinear Partial Differential Equations, the study of which is of fundamental importance in mathematics and in almost all of natural sciences, economics, and engineering. This area of mathematics is currently in the midst of an unprecedented development worldwide. Differential equations are used to model phenomena of increasing complexity, and in areas that have traditionally been outside the realm of mathematics. New analytical tools and numerical methods are dramatically improving our understanding of nonlinear models. Nonlinearity gives rise to novel effects reflected in the appearance of shock waves, turbulence, material defects, etc., and offers challenging mathematical problems. On the other hand, new mathematical developments provide new insight in many applications. These proceedings present a selection of the latest exciting results by world leading researchers.

From cell division to heartbeat, clocklike rhythms pervade the activities of every living organism. The cycles of life are ultimately biochemical in mechanism but many of the principles that dominate their orchestration are essentially mathematical. The Geometry of Biological Time describes periodic processes in living systems and their non-living analogues in the abstract terms of nonlinear dynamics. Enphasis is given in phase singularities, waves, and mutual synchronization in tissues composed of many clocklike units. Also provided are descriptions of the best-studied experimental systems such as chemical oscillators, pacemaker neurons, circadian clocks, and excitable media organized into biochemical and bioelectrical wave patterns in two and three dimensions. No theoretical background is assumed; the required notions are introduced through an extensive collection of pictures and easily understood examples. This extensively updated new edition incorporates the fruits of two decades' further exploration guided by the same principles. Limit cycle theories of circadian clocks are now applied to human jet lag and are understood in terms of the molecular genetics of their recently discovered mechanisms. Supercomputers reveal the unforeseen architecture and dynamics of three-dimensional scroll waves in excitable media. Their role in life-threatening electrical aberrations of the heartbeat is exposed by laboratory experiments and corroborated in the clinic. These developments trace back to three basic mathematical ideas.

This book collects the works presented at the 8th International Conference on Complex Networks (CompleNet) 2017 in Dubrovnik, Croatia, on March 21-24, 2017. CompleNet aims at bringing together researchers and practitioners working in areas related to complex networks. The past two decades has witnessed an exponential increase in the number of publications within this field. From biological systems to computer science, from economic to social systems, complex networks are becoming pervasive in many fields of science. It is this interdisciplinary nature of complex networks that CompleNet aims at addressing. The last decades have seen the emergence of complex networks as the language with which a wide range of complex phenomena in fields as diverse as physics, computer science, and medicine (to name a few) can be properly described and understood. This book provides a view of the state-of-the-art in this dynamic field and covers topics such as network controllability, social structure, online behavior, recommendation systems, and network structure.

This timely book deals with a current topic, i.e. the applications of metaheuristic algorithms, with a primary focus on optimization problems in civil engineering. The first chapter offers a concise overview of different kinds of metaheuristic algorithms, explaining their advantages in solving complex engineering problems that cannot be effectively tackled by traditional methods, and citing the most important works for further reading. The remaining chapters report on advanced studies on the applications of certain metaheuristic algorithms to specific engineering problems. Genetic algorithm, bat algorithm, cuckoo search, harmony search and simulated annealing are just some of the methods presented and discussed step by step in real-application contexts, in which they are often used in combination with each other. Thanks to its synthetic yet meticulous and practice-oriented approach, the book is a perfect guide for graduate students, researchers and professionals willing to applying metaheuristic algorithms in civil engineering and other related engineering fields, such as mechanical, transport and geotechnical engineering. It is also a valuable aid for both lectures and advanced engineering students.

Shafarevich's Basic Algebraic Geometry has been a classic and universally used introduction to the subject since its first appearance over 40 years ago. As the translator writes in a prefatory note, For all advanced undergraduate and beginning graduate] students, and for the many specialists in other branches of math who need a liberal education in algebraic geometry, Shafarevich s book is a must.'' The third edition, in addition to some minor corrections, now offers a new treatment of the Riemann--Roch theorem for curves, including a proof from first principles.
Shafarevich's book is an attractive and accessible introduction to algebraic geometry, suitable for beginning students and nonspecialists, and the new edition is set to remain a popular introduction to the field.
"

This volume reflects the state of the art of numerical simulation of transitional and turbulent flows and provides an active forum for discussion of recent developments in simulation techniques and understanding of flow physics. Following the tradition of earlier DLES workshops, these papers address numerous theoretical and physical aspects of transitional and turbulent flows. At an applied level it contributes to the solution of problems related to energy production, transportation, magneto-hydrodynamics and the environment. A special session is devoted to quality issues of LES. The ninth Workshop on 'Direct and Large-Eddy Simulation' (DLES-9) was held in Dresden, April 3-5, 2013, organized by the Institute of Fluid Mechanics at Technische Universitat Dresden. This book is of interest to scientists and engineers, both at an early level in their career and at more senior levels.

The Palm theory and the Loynes theory of stationary systems are the two pillars of the modern approach to queuing. This book, presenting the mathematical foundations of the theory of stationaryqueuing systems, contains a thorough treatment of both of these.

This approach helps to clarify the picture, in that it separates the task of obtaining the key system formulas from that of proving convergence to a stationary state and computing its law.

The theory is constantly illustrated by classical results and models: Pollaczek-Khintchin and Tacacs formulas, Jackson and Gordon-Newell networks, multiserver queues, blocking queues, loss systems etc., but it also contains recent and significant examples, where the tools developed turn out to be indispensable.

Several other mathematical tools which are useful within this approach are also presented, such as the martingale calculus for point processes, or stochastic ordering for stationary recurrences.

This thoroughly revised second edition contains substantial additions - in particular, exercises and their solutions - rendering this now classic reference suitable for use as a textbook.

The Inverse and Ill-Posed Problems Series is a series of monographs publishing postgraduate level information on inverse and ill-posed problems for an international readership of professional scientists and researchers. The series aims to publish works which involve both theory and applications in, e.g., physics, medicine, geophysics, acoustics, electrodynamics, tomography, and ecology.

The book contains seven refereed research papers on locally compact quantum groups and groupoids by leading experts in the respective fields. These contributions are based on talks presented on the occasion of the meeting between mathematicians and theoretical physicists held in Strasbourg from February 21 to February 23, 2002. Topics covered are: various constructions of locally compact quantum groups and their multiplicative unitaries; duality theory for locally compact quantum groups; combinatorial quantization of flat connections associated with SL(2,c); quantum groupoids, especially coming from Depth 2 Extensions of von Neumann algebras, C*-algebras and Rings. Many mathematical results are motivated by problems in theoretical physics. Historical remarks set the results presented in perspective. Directed at research mathematicians and theoretical physicists as well as graduate students, the volume will give an overview of a field of research in which great progress has been achieved in the last few years, with new ties to many other areas of mathematics and physics.

This second edition is an enlarged, completely updated, and extensively revised version of the authoritative first edition. It is devoted to the detailed study of illuminating specific problems of nonlinear elasticity, directed toward the scientist, engineer, and mathematician who wish to see careful treatments of precisely formulated problems. Special emphasis is placed on role of nonlinear material response. The mathematical tools from nonlinear analysis are given self-contained presentations where they are needed. This book begins with chapters on (geometrically exact theories of) strings, rods, and shells, and on the applications of bifurcation theory and the calculus of variations to problems for these bodies. The book continues with chapters on tensors, three-dimensional continuum mechanics, three-dimensional elasticity, large-strain plasticity, general theories of rods and shells, and dynamical problems. Each chapter contains a wealth of interesting, challenging, and tractable exercises.

This book covers high-transition temperature (Tc) s-wave superconductivity and the neighboring Mott insulating phase in alkali-doped fullerides. The author presents (1) a unified theoretical description of the phase diagram and (2) a nonempirical calculation of Tc. For these purposes, the author employs an extension of the DFT+DMFT (density-functional theory + dynamical mean-field theory). He constructs a realistic electron-phonon-coupled Hamiltonian with a newly formulated downfolding method. The Hamiltonian is analyzed by means of the extended DMFT. A notable aspect of the approach is that it requires only the crystal structure as a priori knowledge. Remarkably, the nonempirical calculation achieves for the first time a quantitative reproduction of the experimental phase diagram including the superconductivity and the Mott phase. The calculated Tc agrees well with the experimental data, with the difference within 10 K. The book provides details of the computational scheme, which can also be applied to other superconductors and other phonon-related topics. The author clearly describes a superconducting mechanism where the Coulomb and electron -phonon interactions show an unusual cooperation in the superconductivity thanks to the Jahn-Teller nature of the phonons.

This volume presentsa selection of survey and research articles based on invited lectures and contributed talks presented at the Workshop on Fluid Dynamics in Porous Media that was held in Coimbra, Portugal, inSeptember 12-14, 2011. The contributions are devoted to mathematical modeling, numerical simulation and their applications, providing the readers a state-of-the-art overview on the latest findings and new challenges on the topic. The book includes research work of worldwide recognized leaders in their respective fields and presents advances in both theory and applications, making it appealing to a vast range of audience, in particular mathematicians, engineers and physicists."

Based on the author's lecture notes and research, this well-illustrated and comprehensive text is one of the first to provide an introduction to image registration with particular emphasis on numerical methods in medical imaging. Ideal for researchers in industry and academia, it is also a suitable study guide for graduate mathematicians, computer scientists, engineers, medical physicists, and radiologists. Image registration is utilised whenever information obtained from different viewpoints needs to be combined or compared and unwanted distortion needs to be eliminated. For example, CCTV images, ultrasound images, brain scan images, fingerprint and retinal scanning. Modersitzki's book provides a systematic introduction to the theoretical, practical, and numerical aspects of image registration, with special emphasis on medical applications. Various techniques are described, discussed and compared using numerous illustrations. The text starts with an introduction to the mathematical principles and the motivating example of the Human Neuroscanning Project whose aim is to build an atlas of the human brain through reconstructing essential information out of deformed images of sections of a prepared brain. The introduction is followed by coverage of parametric image registrations such as landmark based, principal axes based, and optimal affine linear registration. Basic distance measures like sum of squared differences, correlation, and mutual information are also discussed. The next section is devoted to state-of-the-art non-parametric image registrations where general variational based framework for image registration is presented and used to describe and compare well-known and new image registration techniques. Finally, efficient numerical schemes for the underlying partial differential equations are presented and discussed. This text treats the basic mathematical principles, including aspects from approximation theory, image processing, numerics, partial differential equations, and statistics, with a strong focus on numerical methods in image processing. Providing a systematic and general framework for image registration, the book not only presents state-of-the-art concepts but also summarises and classifies the numerous techniques to be found in the literature.