This book is the first monograph on a new powerful method discovered by the author for the study of nonlinear dynamical systems relying on reduction of nonlinear differential equations to the linear abstract Schroedinger-like equation in Hilbert space. Besides the possibility of unification of many apparently completely different techniques, the "quantal" Hilbert space formalism introduced enables new original methods to be discovered for solving nonlinear problems arising in investigation of ordinary and partial differential equations as well as difference equations. Applications covered in the book include symmetries and first integrals, linearization transformations, Backlund transformations, stroboscopic maps, functional equations involving the case of Feigenbaum-Cvitanovic renormalization equations and chaos.

The Cargese Summer School "Low Dimensional Applications of Quantum Field Theory" was held in July 1995. The School was dedicated to the memory of Claude Itzykson. This session focused on the recent progress in quantum field theory in two dimen sions with a particular emphasis on integrable models and applications of quantum field theory to condensed matter physics. A large fraction of the school was also devoted to a detailed review of the exciting developments in four dimensional super symmetric Yang-Mills theory. The diversity of the topics presented constitute, in our opinion, one of the most attractive features of these proceedings. Some contributions constitute a very thor ough introduction to their subject matter and should be helpful to advanced students in the field while others present entirely new research, not previously published, and should be of considerable interest to the specialist. There were in depth introductory lectures on the application of conformal field theory techniques to disordered systems, on the quantum Hall effect, on quantum in tegrable systems, on the thermodynamic Bethe Ansatz and on the new developments in supersymmetric gauges theories. The computation of the three point function of the Liouville model using conformal bootstrap methods was presented in detail."

For several decades developments in porous media have taken place in almost independent areas. In civilengineering, many papers were publisheddealing with the foundations offlow and transport through porous media. The method used in most cases is called averaging, and the notion ofa representative elementary vol- ume(REV)playsanimportantrole. Inchemicalengineering,papersonconceptual models were written on the theory ofmixtures. Intheoretical physics and stochas- tic analysis, percolation theory has emerged, providing probabilistic models for systems where theconnectedness propertiesofsomecomponentdominatethebe- havior. In mathematics, atheoryhasbeendevelopedcalled homogenizationwhich deals with partial differential equations having rapidly oscillating coefficients. Early work in these and related areas was - among others - done by the fol- lowing scientists: Maxwell [Max81] and Rayleigh [Ray92] studied the effective conductivity of media with small concentrations of randomly and periodically, respectively, arranged inclusions. Einstein [Ein06] investigated the effective vis- cosityofsuspensions with hard spherical particles in compressible viscous fluids. Marchenko and Khrouslov [MK64] looked at the asymptotic nature of homog- enization; they introduced a general approach of averaging based on asymptotic tools which can handle a variety ofdifferent physical problems. Unfortunately, up to now, little efforthas been made to bridge the gap between these different fields of research. Consequently, many results were and are dis- covered independently, and scientists are almost unable to understand each other because the respective languages have been developing in different directions.

The complexity of biological systems has intrigued scientists from many disciplines and has given birth to the highly influential field of systems biology wherein a wide array of mathematical techniques, such as flux balance analysis, and technology platforms, such as next generation sequencing, is used to understand, elucidate, and predict the functions of complex biological systems. More recently, the field of synthetic biology, i.e., de novo engineering of biological systems, has emerged. Scientists from various fields are focusing on how to render this engineering process more predictable, reliable, scalable, affordable, and easy. Systems and control theory is a branch of engineering and applied sciences that rigorously deals with the complexities and uncertainties of interconnected systems with the objective of characterising fundamental systemic properties such as stability, robustness, communication capacity, and other performance metrics. Systems and control theory also strives to offer concepts and methods that facilitate the design of systems with rigorous guarantees on these properties. Over the last 100 years, it has made stellar theoretical and technological contributions in diverse fields such as aerospace, telecommunication, storage, automotive, power systems, and others. Can it have, or evolve to have, a similar impact in biology? The chapters in this book demonstrate that, indeed, systems and control theoretic concepts and techniques can have a significant impact in systems and synthetic biology. Volume I provides a panoramic view that illustrates the potential of such mathematical methods in systems and synthetic biology. Recent advances in systems and synthetic biology have clearly demonstrated the benefits of a rigorous and systematic approach rooted in the principles of systems and control theory - not only does it lead to exciting insights and discoveries but it also reduces the inordinately lengthy trial-and-error process of wet-lab experimentation, thereby facilitating significant savings in human and financial resources. In Volume I, some of the leading researchers in the field of systems and synthetic biology demonstrate how systems and control theoretic concepts and techniques can be useful, or should evolve to be useful, in order to understand how biological systems function. As the eminent computer scientist Donald Knuth put it, "biology easily has 500 years of exciting problems to work on". This edited book presents but a small fraction of those for the benefit of (1) systems and control theorists interested in molecular and cellular biology and (2) biologists interested in rigorous modelling, analysis and control of biological systems.

This volume, which brings together research presented at the IUTAM Symposium Intelligent Multibody Systems - Dynamics, Control, Simulation, held at Sozopol, Bulgaria, September 11-15, 2017, focuses on preliminary virtual simulation of the dynamics of motion, and analysis of loading of the devices and of their behaviour caused by the working conditions and natural phenomena. This requires up-to-date methods for dynamics analysis and simulation, novel methods for numerical solution of ODE and DAE, real-time simulation, passive, semi-passive and active control algorithms. Applied examples are mechatronic (intelligent) multibody systems, autonomous vehicles, space structures, structures exposed to external and seismic excitations, large flexible structures and wind generators, robots and bio-robots. The book covers the following subjects: -Novel methods in multibody system dynamics; -Real-time dynamics; -Dynamic models of passive and active mechatronic devices; -Vehicle dynamics and control; -Structural dynamics; -Deflection and vibration suppression; -Numerical integration of ODE and DAE for large scale and stiff multibody systems; -Model reduction of large-scale flexible systems. The book will be of interest for scientists and academicians, PhD students and engineers at universities and scientific institutes.

Statistics is strongly tied to applications in different scientific disciplines, and the most challenging statistical problems arise from problems in the sciences. In fact, the most innovative statistical research flows from the needs of applications in diverse settings. This volume is a testimony to the crucial role that statistics plays in scientific disciplines such as genetics and environmental sciences, among others. The articles in this volume range from human and agricultural genetic DNA research to carcinogens and chemical concentrations in the environment and to space debris and atmospheric chemistry. Also included are some articles on statistical methods which are sufficiently general and flexible to be applied to many practical situations. The papers were refereed by a panel of experts and the editors of the volume. The contributions are based on the talks presented at the Workshop on Statistics and the Sciences, held at the Centro Stefano Franscini in Ascona, Switzerland, during the week of May 23 to 28, 1999. The meeting was jointly organized by the Swiss Federal Institutes of Technology in Lausanne and Zurich, with the financial support of the Minerva Research Foundation. As the presentations at the workshop helped the participants recognize the po tential role that statistics can play in the sciences, we hope that this volume will help the reader to focus on the central role of statistics in the specific areas presented here and to extrapolate the results to further applications."

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

In this second edition, the following recent papers have been added: "Gauss Codes, Quantum Groups and Ribbon Hopf Algebras", "Spin Networks, Topology and Discrete Physics", "Link Polynomials and a Graphical Calculus" and "Knots Tangles and Electrical Networks". An appendix with a discussion on invariants of embedded graphs and Vassiliev invariants has also been included.This book is an introduction to knot and link invariants as generalized amplitudes (vacuum-vacuum amplitudes) for a quasi-physical process. The demands of knot theory, coupled with a quantum statistical framework, create a context that naturally and powerfully includes an extraordinary range of interrelated topics in topology and mathematical physics. The author takes a primarily combinatorial stance toward knot theory and its relations with these subjects. This has the advantage of providing very direct access to the algebra and to the combinatorial topology, as well as the physical ideas. This book is divided into 2 parts: Part I of the book is a systematic course in knots and physics starting from the ground up. Part II is a set of lectures on various topics related to and sometimes based on Part I. Part II also explores some side-topics such as frictional properties of knots, relations with combinatorics and knots in dynamical systems.

The author applies methods of nonlinear elasticity to investigate the defects in the crystal structure of solids such as dislocations and disclinations that characterize the plastic and strength properties of many materials. Contrary to the geometrically motivated nonlinear theory of dislocations continuously distributed over the body, nonlinear analysis of isolated dislocations and disclinations is less developed; it is given for the first time in this book, and in a form accessible to both students and researchers. The general theory of Volterra's dislocations in elastic media under large deformations is developed. A number of exact solutions are found. The nonlinear approach to investigating the isolated defects produces results that often differ qualitatively from those of the linear theory.

This book presents theory and latest application work in Bond Graph methodology with a focus on: * Hybrid dynamical system models, * Model-based fault diagnosis, model-based fault tolerant control, fault prognosis * and also addresses * Open thermodynamic systems with compressible fluid flow, * Distributed parameter models of mechanical subsystems. In addition, the book covers various applications of current interest ranging from motorised wheelchairs, in-vivo surgery robots, walking machines to wind-turbines.The up-to-date presentation has been made possible by experts who are active members of the worldwide bond graph modelling community. This book is the completely revised 2nd edition of the 2011 Springer compilation text titled Bond Graph Modelling of Engineering Systems - Theory, Applications and Software Support. It extends the presentation of theory and applications of graph methodology by new developments and latest research results. Like the first edition, this book addresses readers in academia as well as practitioners in industry and invites experts in related fields to consider the potential and the state-of-the-art of bond graph modelling.

Two central problems in the pure theory of economic growth are analysed in this monograph: 1) the dynamic laws governing the economic growth processes, 2) the kinematic and geometric properties of the set of solutions to the dynamic systems. With allegiance to rigor and the emphasis on the theoretical fundamentals of prototype mathematical growth models, the treatise is written in the theorem-proof style. To keep the exposition orderly and as smooth as possible, the economic analysis has been separated from the purely mathematical issues, and hence the monograph is organized in two books. Regarding the scope and content of the two books, an "Introduction and Over view" has been prepared to offer both motivation and a brief account. The introduc tion is especially designed to give a recapitulation of the mathematical theory and results presented in Book II, which are used as the unifying mathematical framework in the analysis and exposition of the different economic growth models in Book I. Economists would probably prefer to go directly to Book I and proceed by consult ing the mathematical theorems of Book II in confirming the economic theorems in Book I. Thereby, both the independence and interdependence of the economic and mathematical argumentations are respected."

Presenting the concept and design and implementation of configurable intelligent optimization algorithms in manufacturing systems, this book provides a new configuration method to optimize manufacturing processes. It provides a comprehensive elaboration of basic intelligent optimization algorithms, and demonstrates how their improvement, hybridization and parallelization can be applied to manufacturing. Furthermore, various applications of these intelligent optimization algorithms are exemplified in detail, chapter by chapter. The intelligent optimization algorithm is not just a single algorithm; instead it is a general advanced optimization mechanism which is highly scalable with robustness and randomness. Therefore, this book demonstrates the flexibility of these algorithms, as well as their robustness and reusability in order to solve mass complicated problems in manufacturing. Since the genetic algorithm was presented decades ago, a large number of intelligent optimization algorithms and their improvements have been developed. However, little work has been done to extend their applications and verify their competence in solving complicated problems in manufacturing. This book will provide an invaluable resource to students, researchers, consultants and industry professionals interested in engineering optimization. It will also be particularly useful to three groups of readers: algorithm beginners, optimization engineers and senior algorithm designers. It offers a detailed description of intelligent optimization algorithms to algorithm beginners; recommends new configurable design methods for optimization engineers, and provides future trends and challenges of the new configuration mechanism to senior algorithm designers.

An up-to-date and unified treatment of bifurcation theory for variational inequalities in reflexive spaces and the use of the theory in a variety of applications, such as: obstacle problems from elasticity theory, unilateral problems; torsion problems; equations from fluid mechanics and quasilinear elliptic partial differential equations. The tools employed are those of modern nonlinear analysis. Accessible to graduate students and researchers who work in nonlinear analysis, nonlinear partial differential equations, and additional research disciplines that use nonlinear mathematics.

Multigrid Methods for Finite Elements combines two rapidly developing fields: finite element methods, and multigrid algorithms. At the theoretical level, Shaidurov justifies the rate of convergence of various multigrid algorithms for self-adjoint and non-self-adjoint problems, positive definite and indefinite problems, and singular and spectral problems. At the practical level these statements are carried over to detailed, concrete problems, including economical constructions of triangulations and effective work with curvilinear boundaries, quasilinear equations and systems. Great attention is given to mixed formulations of finite element methods, which allow the simplification of the approximation of the biharmonic equation, the steady-state Stokes, and Navier--Stokes problems.

This book, intended for researchers and graduate students in physics, applied mathematics and engineering, presents a detailed comparison of the important methods of solution for linear differential and difference equations - variation of constants, reduction of order, Laplace transforms and generating functions - bringing out the similarities as well as the significant differences in the respective analyses. Equations of arbitrary order are studied, followed by a detailed analysis for equations of first and second order. Equations with polynomial coefficients are considered and explicit solutions for equations with linear coefficients are given, showing significant differences in the functional form of solutions of differential equations from those of difference equations. An alternative method of solution involving transformation of both the dependent and independent variables is given for both differential and difference equations. A comprehensive, detailed treatment of Green's functions and the associated initial and boundary conditions is presented for differential and difference equations of both arbitrary and second order. A dictionary of difference equations with polynomial coefficients provides a unique compilation of second order difference equations obeyed by the special functions of mathematical physics. Appendices augmenting the text include, in particular, a proof of Cramer's rule, a detailed consideration of the role of the superposition principal in the Green's function, and a derivation of the inverse of Laplace transforms and generating functions of particular use in the solution of second order linear differential and difference equations with linear coefficients.

This textbook deals with optimization of dynamic systems. The motivation for undertaking this task is as follows: There is an ever increasing need to produce more efficient, accurate, and lightweight mechanical and electromechanical de vices. Thus, the typical graduating B.S. and M.S. candidate is required to have some familiarity with techniques for improving the performance of dynamic systems. Unfortunately, existing texts dealing with system improvement via optimization remain inaccessible to many of these students and practicing en gineers. It is our goal to alleviate this difficulty by presenting to seniors and beginning graduate students practical efficient techniques for solving engineer ing system optimization problems. The text has been used in optimal control and dynamic system optimization courses at the University of Deleware, the University of Washington and Ohio University over the past four years. The text covers the following material in a straightforward detailed manner: * Static Optimization: The problem of optimizing a function that depends on static variables (i.e., parameters) is considered. Problems with equality and inequality constraints are addressed. * Numerical Methods: Static Optimization: Numerical algorithms for the solution of static optimization problems are presented here. The methods presented can accommodate both the unconstrained and constrained static optimization problems. * Calculus of Variation: The necessary and sufficient conditions for the ex tremum of functionals are presented. Both the fixed final time and free final time problems are considered.

This book presents new methods of numerical modelling of tube heat exchangers, which can be used to perform design and operation calculations of exchangers characterized by a complex flow system. It also proposes new heat transfer correlations for laminar, transition and turbulent flows. A large part of the book is devoted to experimental testing of heat exchangers, and methods for assessing the indirect measurement uncertainty are presented. Further, it describes a new method for parallel determination of the Nusselt number correlations on both sides of the tube walls based on the nonlinear least squares method and presents the application of computational fluid dynamic (CFD) modeling to determine the air-side Nusselt number correlations. Lastly, it develops a control system based on the mathematical model of the car radiator and compares this with the digital proportional-integral-derivative (PID) controller. The book is intended for students, academics and researchers, as well as for designers and manufacturers of heat exchangers.

The theory of blood circulation is one of the oldest in science, and remains a vigorous field of study with many features that have been described in physical and mathematical terms. In Biomechanics: Circulation, Fung presents a treatment of the fundamental biomechanics of the cardiovascular and pulmonary systems, using a mathematical approach to illuminate problems in experiemental design, data collection, modeling, observations, and theory. This second edition includes extensive changes incorporating major advances in hemodynamics that have occurred during the past decade. There are new chapters on coronary blood flow and skeletal muscle microcirculation. As in the first edition, Biomechanics: Circulation emphasizes the coupling of fluids and solids in the cardiovascular pulmonary systems, and consistently brings both morphology and rheology to bear on the analysis of blood flow. Numerous exercises are proposed to encourage the reader to formulate and solve problems. Together with his other two treatises on biomechanics (Biomechanics: Mechanical Properties of Living Tissue and Biomechanics: Motion, Flow, Stress and Growth), this book confirms that "although it is clear that Fung has made substantial contributions as a researcher...it can equally well be said that he is an exceptional teacher" (Quart. Rev. Biol.). Y.C. Fung is professor emeritus in the Department of Bioengineering at the University of California at San Diego.

This book is adapted and revised from the author's seminal PhD thesis, in which two forms of asymptotically universal structure were presented and explained for area-preserving maps. Area-preserving maps are the discrete-time analogue of two degree-of-freedom Hamiltonian systems. How they work and much of their dynamics are described in this book. The asymptotically universal structure is found on small scales in phase-space and long time-scales. The key to understanding it is renormalisation, that is, looking at a system on successively smaller phase-space and longer time scales. Having presented this idea, the author briefly surveys the use of the idea of renormalisation in physics. The renormalisation picture is then presented as the key to understanding the transition from regular to chaotic motion in area-preserving maps. Although written ten years ago, the subject matter continues to interest many today. This updated version will be useful to both researchers and students.

The aim of this book is to discuss the fundamental ideas which lie behind the statistical theory of learning and generalization. It considers learning as a general problem of function estimation based on empirical data. Omitting proofs and technical details, the author concentrates on discussing the main results of learning theory and their connections to fundamental problems in statistics. These include: * the setting of learning problems based on the model of minimizing the risk functional from empirical data * a comprehensive analysis of the empirical risk minimization principle including necessary and sufficient conditions for its consistency * non-asymptotic bounds for the risk achieved using the empirical risk minimization principle * principles for controlling the generalization ability of learning machines using small sample sizes based on these bounds * the Support Vector methods that control the generalization ability when estimating function using small sample size. The second edition of the book contains three new chapters devoted to further development of the learning theory and SVM techniques. These include: * the theory of direct method of learning based on solving multidimensional integral equations for density, conditional probability, and conditional density estimation * a new inductive principle of learning. Written in a readable and concise style, the book is intended for statisticians, mathematicians, physicists, and computer scientists. Vladimir N. Vapnik is Technology Leader AT&T Labs-Research and Professor of London University. He is one of the founders of statistical learning theory, and the author of seven books published in English, Russian, German, and Chinese.

Production engineering and management involve a series of planning and control activities in a production system. A production system can be as small as a shop with only one machine or as big as a global operation including many manufacturing plants, distribution centers, and retail locations in multiple continents. The product of a production system can also vary in complexity based on the material used, technology employed, etc. Every product, whether a pencil or an airplane, is produced in a system which depends on good management to be successful. Production management has been at the center of industrial engineering and management science disciplines since the industrial revolution. The tools and techniques of production management have been so successful that they have been adopted to various service industries, as well. The book is intended to be a valuable resource to undergraduate and graduate students interested in the applications of production management under fuzziness. The chapters represent all areas of production management and are organized to reflect the natural order of production management tasks. In all chapters, special attention is given to applicability and wherever possible, numerical examples are presented. While the reader is expected to have a fairly good understanding of the fuzzy logic, the book provides the necessary notation and preliminary knowledge needed in each chapter.

For more than 250 years partial di?erential equations have been clearly the most important tool available to mankind in order to understand a large variety of phenomena, natural at ?rst and then those originating from - man activity and technological development. Mechanics, physics and their engineering applications were the ?rst to bene't from the impact of partial di?erential equations on modeling and design, but a little less than a century ago the Schr] odinger equation was the key opening the door to the application of partial di?erential equations to quantum chemistry, for small atomic and molecular systems at ?rst, but then for systems of fast growing complexity. The place of partial di?erential equations in mathematics is a very particular one: initially, the partial di?erential equations modeling natural phenomena were derived by combining calculus with physical reasoning in order to - press conservation laws and principles in partial di?erential equation form, leading to the wave equation, the heat equation, the equations of elasticity, the Euler and Navier-Stokes equations for ?uids, the Maxwell equations of electro-magnetics, etc. It is in order to solve 'constructively' the heat equation that Fourier developed the series bearing his name in the early 19th century; Fourier series (and later integrals) have played (and still play) a fundamental roleinbothpureandappliedmathematics, includingmanyareasquiteremote from partial di?erential equations. On the other hand, several areas of mathematics such as di?erential ge- etry have bene?ted from their interactions with partial di?erential equations."

This book is a collection of papers presented at a symposium held in honor of Sidney Leibovich. According all papers deal with mathematical or computational aspects of fluid dynamics applied mostly to atmospheric or oceanographic problems. All contributions are research papers having not only the specialist but also graduate students in mind.

Vsevolod Alekseevich Solonnikov is known as one of the outstanding mathema- ciansfromtheSt.PetersburgMathematicalSchool.Hisremarkableresultsonexact estimates of solutions to boundary and initial-boundary value problems for linear elliptic, parabolic, and Stokes systems, his methods and contributions to the - vestigation of free boundary problems, in particular in ?uid mechanics, are well known to specialists all over the world. The International Conference on "Trends in Partial Di?erential Equations of th ' Mathematical Physics" was held on the occasion of his 70 birthday in Obidos (Portugal), from June 7 to 10, 2003. It was an organization of the "Centro de Matem' atica e Aplica, c" oes Fundamentais da Universidade Lisboa", in collaboration with the "Centro de Matem' atica da Universidade de Coimbra", the "Centro de Matem' atica Aplicada do IST/Universidade T' ecnica de Lisboa", the "Centro de Matem' atica da Universidade da Beira Interior",from Portugal,and with the L- oratory of Mathematical Physics of the St.Petersburg Department of the Steklov Institute of Mathematics from Russia. The conference consisted of thirty eight invited and contributed lectures and ' gathered,inthecharminganduniquemedievaltownofObidos,aboutsixtypart- ipants from ?fteen countries, namely USA, Switzerland, Spain, Russia, Portugal, Poland, Lithuania, Korea, Japan, Italy, Germany, France, Canada, Australia and Argentina.Severalcolleaguesgaveusahelpinghandintheorganizationofthec- ference. We are thankful to all of them, and in particular to Stanislav Antontsev, Anvarbek Meirmanov and Ad' elia Sequeira, that integrated also the Organizing Committee. A special acknowledgement is due to Elena Frolova that helped us in compiling the short and necessarily incomplete bio-bibliographical notes below.

This book takes a unique approach to information retrieval by laying down the foundations for a modern algebra of information retrieval based on lattice theory. All major retrieval methods developed so far are described in detail a" Boolean, Vector Space and probabilistic methods, but also Web retrieval algorithms like PageRank, HITS, and SALSA a" and the author shows that they all can be treated elegantly in a unified formal way, using lattice theory as the one basic concept. Further, he also demonstrates that the lattice-based approach to information retrieval allows us to formulate new retrieval methods.

SAndor Dominicha (TM)s presentation is characterized by an engineering-like approach, describing all methods and technologies with as much mathematics as needed for clarity and exactness. His readers in both computer science and mathematics will learn how one single concept can be used to understand the most important retrieval methods, to propose new ones, and also to gain new insights into retrieval modeling in general. Thus, his book is appropriate for researchers and graduate students, who will additionally benefit from the many exercises at the end of each chapter.