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.

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.

This handbook is volume II in a series collecting mathematical state-of-the-art surveys in the field of dynamical systems. Much of this field has developed from
interactions with other areas of science, and this volume shows how concepts of dynamical systems further the understanding of mathematical issues that arise in applications. Although modeling issues are addressed, the central theme is the mathematically rigorous investigation of the resulting differential equations and their dynamic behavior. However, the authors and editors have made an effort to ensure readability on a non-technical level for mathematicians from other fields and for other scientists and engineers.

The eighteen surveys collected here do not aspire to encyclopedic completeness, but present selected paradigms. The surveys are grouped into those emphasizing finite-dimensional methods, numerics, topological methods, and partial differential equations. Application areas include the dynamics of neural networks, fluid flows, nonlinear optics, and many others.

While the survey articles can be read independently, they deeply share recurrent themes from dynamical systems. Attractors, bifurcations, center manifolds, dimension reduction, ergodicity, homoclinicity, hyperbolicity, invariant and inertial manifolds, normal forms, recurrence, shift dynamics, stability, to name
just a few, are ubiquitous dynamical concepts throughout the articles.

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.

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.

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.

This concise, fast-paced text introduces the concepts and applications behind plane networks. It presents fundamental material from linear algebra and differential equations, and offers several different applications of the continuous theory. Practical problems, supported by MATLAB files, underscore the theory; additional material can be downloaded from the author's website.

Methods of global analysis and stochastic analysis are most often applied in mathematical physics as separate entities, thus forming important directions in the field. However, while combination of the two subject areas is rare, it is fundamental for the consideration of a broader class of problems.

This book develops methods of Global Analysis and Stochastic Analysis such that their combination allows one to have a more or less common treatment for areas of mathematical physics that traditionally are considered as divergent and requiring different methods of investigation.

Global and Stochastic Analysis with Applications to Mathematical Physics covers branches of mathematics that are currently absent in monograph form. Through the demonstration of new topics of investigation and results, both in traditional and more recent problems, this book offers a fresh perspective on ordinary and stochastic differential equations and inclusions (in particular, given in terms of Nelson's mean derivatives) on linear spaces and manifolds. Topics covered include classical mechanics on non-linear configuration spaces, problems of statistical and quantum physics, and hydrodynamics.

A self-contained book that provides a large amount of preliminary material and recent results which will serve to be a useful introduction to the subject and a valuable resource for further research. It will appeal to researchers, graduate and PhD students working in global analysis, stochastic analysis and mathematical physics.

This volume explores the emerging and current, cutting-edge theories and methods of modeling, optimization, dynamics and bio economy. It provides an overview of the main issues, results and open questions in these fields as well as covers applications to biology, economy, energy, industry, physics, psychology and finance.

The majority of the contributed papers for this volume come from the participants of the International Conference on Modeling, Optimization and Dynamics (ICMOD 2010), a satellite conference of EURO XXIV Lisbon 2010, which took place at Faculty of Sciences of University of Porto, Portugal and from the Berkeley Bio economy Conference 2012, at the University of California, Berkeley, USA.

The book focuses classical oligopoly theory as developed in 1840-1940. By the end of this period oligopoly came under the spell of game theory in its probabilistic equilibrium format. Work by Cournot, von Stackelberg, Palander, and Hotelling, causal and dynamic in essence, but ignored, is reconsidered in the light of modern dynamics using topology and numerics. As particular features, von Stackelberg leadership is included in the dynamic Cournot model, the Hotelling problem is solved with elastic demand, thus skipping the absurd idea of quadratic transportation costs. Further, it is shown that the celebrated destabilisation of Cournot equilibrium under increased competition is due to mistakenly assuming constant returns, and that the whole idea of rational expectations is untenable in dynamic oligopoly. Early original ideas in oligopoly theory, such as coexistence and multiplicity of attractors are focused again after many undeserved decades of oblivion.

Resonances are ubiquitous in dynamical systems with many degrees of freedom. They have the basic effect of introducing slow-fast behavior in an evolutionary system which, coupled with instabilities, can result in highly irregular behavior. This book gives a unified treatment of resonant problems with special emphasis on the recently discovered phenomenon of homoclinic jumping. After a survey of the necessary background, a general finite dimensional theory of homoclinic jumping is developed and illustrated with examples. The main mechanism of chaos near resonances is discussed in both the dissipative and the Hamiltonian context. Previously unpublished new results on universal homoclinic bifurcations near resonances, as well as on multi-pulse Silnikov manifolds are described. The results are applied to a variety of different problems, which include applications from beam oscillations, surface wave dynamics, nonlinear optics, atmospheric science and fluid mechanics. The theory is further used to study resonances in Hamiltonian systems with applications to molecular dynamics and rigid body motion. The final chapter contains an infinite dimensional extension of the finite dimensional theory, with application to the perturbed nonlinear Schrodinger equation and coupled NLS equations."

The concepts and techniques presented in this volume originated from the fields of dynamics, statistics, control theory, computer science and informatics, and are applied to novel and innovative real-world applications. Over the past few decades, the use of dynamic systems, control theory, computing, data mining, machine learning and simulation has gained the attention of numerous researchers from all over the world. Admirable scientific projects using both model-free and model-based methods coevolved at today's research centers and are introduced in conferences around the world, yielding new scientific advances and helping to solve important real-world problems. One important area of progress is the bioeconomy, where advances in the life sciences are used to produce new products in a sustainable and clean manner. In this book, scientists from all over the world share their latest insights and important findings in the field. The majority of the contributed papers for this volume were written by participants of the 3rd International Conference on Dynamics, Games and Science, DGSIII, held at the University of Porto in February 2014, and at the Berkeley Bioeconomy Conference at the University of California at Berkeley in March 2014. The aim of the project of this book "Modeling, Dynamics, Optimization and Bioeconomics II" follows the same aim as its companion piece, "Modeling, Dynamics, Optimization and Bioeconomics I," namely, the exploration of emerging and cutting-edge theories and methods for modeling, optimization, dynamics and bioeconomy.

This book describes a novel methodology for studying algorithmic skills, intended as cognitive activities related to rule-based symbolic transformation, and argues that some human computational abilities may be interpreted and analyzed as genuine examples of extended cognition. It shows that the performance of these abilities relies not only on innate neurocognitive systems or language-related skills, but also on external tools and general agent-environment interactions. Further, it asserts that a low-level analysis, based on a set of core neurocognitive systems linking numbers and language, is not sufficient to explain some specific forms of high-level numerical skills, like those involved in algorithm execution. To this end, it reports on the design of a cognitive architecture for modeling all the relevant features involved in the execution of algorithmic strategies, including external tools, such as paper and pencils. The first part of the book discusses the philosophical premises for endorsing and justifying a position in philosophy of mind that links a modified form of computationalism with some recent theoretical and scientific developments, like those introduced by the so-called dynamical approach to cognition. The second part is dedicated to the description of a Turing-machine-inspired cognitive architecture, expressly designed to formalize all kinds of algorithmic strategies.