The theoretical basis of this book is developed ab ovo. This requires dealing with several problems arising in physical chemistry including the concept of entropy as a thermodynamic coordinate and its relation to probability. Thus Maxwell Boltzmann and Gibbs statistical thermodynamics, and quantum statistics are made considerable use of. A statistical mechanical derivation of the law of mass action for gases and solids is presented, and the problems arising in the application of the law of mass action to the liquid state are addressed. Molecular interactions and how to take them into account when deriving the law of mass action is discussed in some detail sketching a way alternativ to the use of activities. Finally, attention is drawn to the statistical mechanical background to Linear Free Energy Relationships (LFER's) and of Isokinetic Relationships (IKR's) and their connections with molecular interactions.

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.

Inverse problems and optimal design have come of age as a consequence of the availability of better, more accurate, and more efficient simulation packages. Many of these simulators, which can run on small workstations, can capture the complicated behavior of the physical systems they are modeling, and have become commonplace tools in engineering and science. There is a great desire to use them as part of a process by which measured field data are analyzed or by which design of a product is automated. A major obstacle in doing precisely this is that one is ultimately confronted with a large-scale optimization problem. This volume contains expository articles on both inverse problems and design problems formulated as optimization. Each paper describes the physical problem in some detail and is meant to be accessible to researchers in optimization as well as those who work in applied areas where optimization is a key tool. What emerges in the presentations is that there are features about the problem that must be taken into account in posing the objective function, and in choosing an optimization strategy. In particular there are certain structures peculiar to the problems that deserve special treatment, and there is ample opportunity for parallel computation. THIS IS BACK COVER TEXT Inverse problems and optimal design have come of age as a consequence of the availability of better, more accurate, and more efficient, simulation packages. The problem of determining the parameters of a physical system from

This volume offers the state-of-the-art research and developments in service science and related research, education and practice areas. It showcases emerging technology and applications in fields including healthcare, information technology, transportation, sports, logistics, and public services. Regardless of size and service, a service organization is a service system. Because of the socio-technical nature of a service system, a systems approach must be adopted to design, develop, and deliver services, aimed at meeting end users' both utilitarian and socio-psychological needs. Effective understanding of service and service systems often requires combining multiple methods to consider how interactions of people, technology, organizations, and information create value under various conditions. The papers in this volume highlight ways to approach such technical challenges in service science and are based on submissions from the 2018 INFORMS International Conference on Service Science.

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

Hysteresis effects occur in science and engineering: plasticity, ferromagnetism, ferroelectricity are well-known examples. Modelling and mathematical analysis of hysteresis phenomena have been addressed by mathematicians only recently, but are now in full development.
This volume provides a self-contained and comprehensive introduction to the analysis of hysteresis models, and illustrates several new results in this field. First the classical models of Prandtl, Ishlinskii, Preisach and Duhem are formulated and studied, using the concept of "hysteresis operator." A new model of discontinuous hysteresis is introduced. Several partial differential equations containing hysteresis operators are studied in the framework of Sobolev spaces.

This book reports on the latest findings concerning nonlinear control theory and applications. It presents novel work on several kinds of commonly encountered nonlinear time-delay systems, including those whose nonlinear terms satisfy high-order polynomial form or general nonlinear form, those with nonlinear input or a triangular structure, and so on. As such, the book will be of interest to university researchers, R&D engineers and graduate students in the fields of control theory and control engineering who wish to learn about the core principles, methods, algorithms, and applications of nonlinear time-delay systems.

This monograph comprehensively describes phenomena of heat flow during phase change as well as the dynamics of liquid solidification, i.e. the development of a solidified layer. The book provides the reader with basic knowledge for practical designs, as well as with equations which describe processes of energy transformation. The target audience primarily comprises researchers and experts in the field of heat flow, but the book may also be beneficial for both practicing engineers and graduate students.

This book has brought 24 groups of experts and active researchers around the world together in image processing and analysis, video processing and analysis, and communications related processing, to present their newest research results, exchange latest experiences and insights, and explore future directions in these important and rapidly evolving areas. It aims at increasing the synergy between academic and industry professionals working in the related field. It focuses on the state-of-the-art research in various essential areas related to emerging technologies, standards and applications on analysis, processing, computing, and communication of multimedia information. The target audience of this book is researchers and engineers as well as graduate students working in various disciplines linked to multimedia analysis, processing and communications, e.g., computer vision, pattern recognition, information technology, image processing, and artificial intelligence. The book is also meant to a broader audience including practicing professionals working in image/video applications such as image processing, video surveillance, multimedia indexing and retrieval, and so on. We hope that the researchers, engineers, students and other professionals who read this book would find it informative, useful and inspirational toward their own work in one way or another.

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

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.

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.

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

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.

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.

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 edited volume offers state-of-the-art research on the dynamics of contemporary fertility by examining the implications of the economic and social forces that are driving the rapid change in fertility behavior, and the changing context, determinants, and measurement of contemporary human reproduction. The volume explores new theoretical avenues that seek to incorporate uncertainty, examine social contagion effects, and explain the rise in childlessness. Reproductive attitudes are re-examined in chapters that deal with models of parenthood and with the persistence of race-ethnic-nativity differences. A new and important subject of multi-partner fertility is also described by examining it in the context of total fertility and from the usually neglected perspective of men. The impact of divorce on fertility, the measurement of childlessness and the postponement of first births, developments in assortative mating and fertility, and current patterns of interracial fertility are also addressed in this volume. By combining up-to-date research spanning the entire field to illuminate contemporary developments, the book is a valuable source for demographers, sociologists, economists, and all those interested in understanding fertility in today's world.

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.

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.

Meshfree approximation methods are a relatively new area of research, and there are only a few books covering it at present. Whereas other works focus almost entirely on theoretical aspects or applications in the engineering field, this book provides the salient theoretical result needed for a basic understanding of meshfree approximation methods. The emphasis here is on a hands-on approach that includes Matlab routines for all basic operations. Meshfree approximation methods, such as radial basis function and moving least squares method, are discussed from a scattered data approximation and partial differential equations point of view. A good balance is supplied between the necessary theory and implementation in terms of many Matlab programs, with examples and applications to illustrate key points. Used as class notes for graduate courses at Northwestern University, Illinois Institute of Technology, and Vanderbilt University, this book will appeal to both mathematics and engineering graduate students.

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.

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.