Geometrical notions and methods play an important role in both classical and quantum field theory, and a connection is a deep structure which apparently underlies the gauge-theoretical models in field theory and mechanics. This book is an encyclopaedia of modern geometric methods in theoretical physics. It collects together the basic mathematical facts about various types of connections, and provides a detailed exposition of relevant physical applications. It discusses the modern issues concerning the gauge theories of fundamental fields. The authors have tried to give all the necessary mathematical background, thus making the book self-contained.This book should be useful to graduate students, physicists and mathematicians who are interested in the issue of deep interrelations between theoretical physics and geometry.

As a new interdisciplinary research area, image-based geometric modeling and mesh generation integrates image processing, geometric modeling and mesh generation with finite element method (FEM) to solve problems in computational biomedicine, materials sciences and engineering. It is well known that FEM is currently well-developed and efficient, but mesh generation for complex geometries (e.g., the human body) still takes about 80% of the total analysis time and is the major obstacle to reduce the total computation time. It is mainly because none of the traditional approaches is sufficient to effectively construct finite element meshes for arbitrarily complicated domains, and generally a great deal of manual interaction is involved in mesh generation.

This contributed volume, the first for such an interdisciplinary topic, collects the latest research by experts in this area. These papers cover a broad range of topics, including medical imaging, image alignment and segmentation, image-to-mesh conversion, quality improvement, mesh warping, heterogeneous materials, biomodelcular modeling and simulation, as well as medical and engineering applications.

This contributed volume, the first for such an interdisciplinary topic, collects the latest research by experts in this area. These papers cover a broad range of topics, including medical imaging, image alignment and segmentation, image-to-mesh conversion, quality improvement, mesh warping, heterogeneous materials, biomodelcular modeling and simulation, as well as medical and engineering applications.

This contributed volume, the first for such an interdisciplinary topic, collects the latest research by experts in this area. These papers cover a broad range of topics, including medical imaging, image alignment and segmentation, image-to-mesh conversion, quality improvement, mesh warping, heterogeneous materials, biomodelcular modeling and simulation, as well as medical and engineering applications.

This contributed volume, the first for such an interdisciplinary topic, collects the latest research by experts in this area. These papers cover a broad range of topics, including medical imaging, image alignment and segmentation, image-to-mesh conversion, quality improvement, mesh warping, heterogeneous materials, biomodelcular modeling and simulation, as well as medical and engineering applications.

In recent years, the issue of linkage in GEAs has garnered greater attention and recognition from researchers. Conventional approaches that rely much on ad hoc tweaking of parameters to control the search by balancing the level of exploitation and exploration are grossly inadequate. As shown in the work reported here, such parameters tweaking based approaches have their limits; they can be easily fooled by cases of triviality or peculiarity of the class of problems that the algorithms are designed to handle. Furthermore, these approaches are usually blind to the interactions between the decision variables, thereby disrupting the partial solutions that are being built up along the way.

Though the game-theoretic approach has been vastly studied and utilized in relation to economics of industrial organizations, it has hardly been used to tackle safety management in multi-plant chemical industrial settings. Using Game Theory for Improving Safety within Chemical Industrial Parks presents an in-depth discussion of game-theoretic modeling which may be applied to improve cross-company prevention and -safety management in a chemical industrial park. By systematically analyzing game-theoretic models and approaches in relation to managing safety in chemical industrial parks, Using Game Theory for Improving Safety within Chemical Industrial Parks explores the ways game theory can predict the outcome of complex strategic investment decision making processes involving several adjacent chemical plants. A number of game-theoretic decision models are discussed to provide strategic tools for decision-making situations. Offering clear and straightforward explanations of methodologies, Using Game Theory for Improving Safety within Chemical Industrial Parks provides managers and management teams with approaches to asses situations and to improve strategic safety- and prevention arrangements.

Interactive Particle Systems is a branch of Probability Theory with close connections to Mathematical Physics and Mathematical Biology. In 1985, the author wrote a book (T. Liggett, Interacting Particle System, ISBN 3-540-96069) that treated the subject as it was at that time. The present book takes three of the most important models in the area, and traces advances in our understanding of them since 1985. In so doing, many of the most useful techniques in the field are explained and developed, so that they can be applied to other models and in other contexts. Extensive Notes and References sections discuss other work on these and related models. Readers are expected to be familiar with analysis and probability at the graduate level, but it is not assumed that they have mastered the material in the 1985 book. This book is intended for graduate students and researchers in Probability Theory, and in related areas of Mathematics, Biology and Physics.

This book is based on the idea that Boltzmann-like modelling methods can be developed to design, with special attention to applied sciences, kinetic-type models which are called generalized kinetic models. In particular, these models appear in evolution equations for the statistical distribution over the physical state of each individual of a large population. The evolution is determined both by interactions among individuals and by external actions.

Considering that generalized kinetic models can play an important role in dealing with several interesting systems in applied sciences, the book provides a unified presentation of this topic with direct reference to modelling, mathematical statement of problems, qualitative and computational analysis, and applications. Models reported and proposed in the book refer to several fields of natural, applied and technological sciences. In particular, the following classes of models are discussed: population dynamics and socio-economic behaviours, models of aggregation and fragmentation phenomena, models of biology and immunology, traffic flow models, models of mixtures and particles undergoing classic and dissipative interactions.

This volume is dedicated to the memory of Professor Ashley Morris who passed away some two years ago. Ashley was a close friend of all of us, the editors of this volume, and was also a Ph.D. student of one of us. We all had a chance to not only fully appreciate, and be inspired by his contributions, which have had a considerable impact on the entire research community. Due to our personal relations with Ashley, we also had an opportunity to get familiar with his deep thinking about the areas of his expertise and interests. Ashley has been involved since the very beginning of his professional career in database research and practice. Notably, he introduced first some novel solution in database management systems that could handle imprecise and uncertain data, and flexible queries based on imprecisely specified user interests. He proposed to use for that purpose fuzzy logic as an effective and efficient tool. Later the interests of Ashley moved to ways of how to represent and manipulate more complicated databases involving spatial or temporal objects. In this research he discovered and pursued the power of Geographic Information Systems (GISs).

These two main lines of Ashley 's research interests and contributions are reflected in the composition of this volume. Basically, we collected some significant papers by well known researchers and scholars on the above mentioned topics. The particular contributions will now be briefly summarized to help the reader get a view of the topics covered and the contents of the particular contributions.

This monograph gives a comprehensive description of the relationship and connections between kinetic theory and fluid dynamics, mainly for a time-independent problem in a general domain. Ambiguities in this relationship are clarified, and the incompleteness of classical fluid dynamics in describing the behavior of a gas in the continuum limita "recently reported as the ghost effecta "is also discussed. The approach used in this work engages an audience of theoretical physicists, applied mathematicians, and engineers.

By a systematic asymptotic analysis, fluid-dynamic-type equations and their associated boundary conditions that take into account the weak effect of gas rarefaction are derived from the Boltzmann system. Comprehensive information on the Knudsen-layer correction is also obtained. Equations and their boundary conditions are carefully classified depending on the physical context of problems. Applications are presented to various physically interesting phenomena, including flows induced by temperature fields, evaporation and condensation problems, examples of the ghost effect, and bifurcation of flows.

Key features:

* many applications and physical models of practical interest

* experimental works such as the Knudsen compressor are examined to supplement theory

* engineers will not be overwhelmed by sophisticated mathematical techniques

* mathematicians will benefit from clarity of definitions and precise physical descriptions given in mathematical terms

* appendices collect key derivations and formulas, important to the practitioner, but not easily found in the literature

Kinetic Theory and Fluid Dynamics serves as a bridge for those working indifferent communities where kinetic theory or fluid dynamics is important: graduate students, researchers and practitioners in theoretical physics, applied mathematics, and various branches of engineering. The work can be used in graduate-level courses in fluid dynamics, gas dynamics, and kinetic theory; some parts of the text can be used in advanced undergraduate courses.

Several well-established geometric and topological methods are used in this work in an application to a beautiful physical phenomenon known as the geometric phase. This book examines the geometric phase, bringing together different physical phenomena under a unified mathematical scheme. The material is presented so that graduate students and researchers in applied mathematics and physics with an understanding of classical and quantum mechanics can handle the text.

Inverse and crack identification problems are of paramount importance for health monitoring and quality control purposes arising in critical applications in civil, aeronautical, nuclear, and general mechanical engineering. Mathematical modeling and the numerical study of these problems require high competence in computational mechanics and applied optimization. This is the first monograph which provides the reader with all the necessary information. Delicate computational mechanics modeling, including nonsmooth unilateral contact effects, is done using boundary element techniques, which have a certain advantage for the construction of parametrized mechanical models. Both elastostatic and harmonic or transient dynamic problems are considered. The inverse problems are formulated as output error minimization problems and they are theoretically studied as a bilevel optimization problem, also known as a mathematical problem with equilibrium constraints. Beyond classical numerical optimization, soft computing tools (neural networks and genetic algorithms) and filter algorithms are used for the numerical solution. The book provides all the required material for the mathematical and numerical modeling of crack identification testing procedures in statics and dynamics and includes several thoroughly discussed applications, for example, the impact-echo nondestructive evaluation technique. Audience: The book will be of interest to structural and mechanical engineers involved in nondestructive testing and quality control projects as well as to research engineers and applied mathematicians who study and solve related inverse problems. People working on applied optimization and soft computing will find interesting problems to apply to their methods and all necessary material to continue research in this field.

T his book presents a t.hooretical framewerk and control methodology for a class of complcx dyna.mical systenis characterized by high state space dimension, multiple inpu t.s anrl out puts. significant nonlinearity, parametric uncertainty and unmodellod dyuarni cs. The book start.s wit.h an inl.rod uct.orv Chapter 1 where the peculiari- ties of control problcrns Ior complex systems are discussed and motivating examples from different fiolds of seience and technology are given. Chapter 2 prcscnts SO Il I(' rcsults of nonlinear control theory which assist in reading subsequent chaptors. The main notions and concepts of stability theory are int roduced. and problems of nonlinear transformation of sys- tem coordinates an' discussod. On this basis, we consider different design techniques and approaches t 0 linearization. stabilization and passification of nonlinear dynamical SySt('IIIS. Chapter 3 gives an cx posit.ion of the Speed-Gradient method and its ap- plications to nonlinear aud adaptive control. Convergence and robustness properties are exam iued. I~ roblcms of rcgulat ion, tracking, partial stabiliza- tion and control of 11amiItonia.n systerns are considered .

This book focuses on various aspects of dynamic game theory, presenting state-of-the-art research and serving as a testament to the vitality and growth of the field of dynamic games and their applications. Its contributions, written by experts in their respective disciplines, are outgrowths of presentations originally given at the 14th International Symposium of Dynamic Games and Applications held in Banff.

"Advances in Dynamic Games" covers a variety of topics, ranging from evolutionary games, theoretical developments in game theory and algorithmic methods to applications, examples, and analysis in fields as varied as mathematical biology, environmental management, finance and economics, engineering, guidance and control, and social interaction. Featured throughout are valuable tools and resources for researchers, practitioners, and graduate students interested in dynamic games and their applications to mathematics, engineering, economics, and management science. "

This volume constitutes the proceedings of a workshop whose main purpose was to exchange information on current topics in complex analysis, differential geometry, mathematical physics and applications, and to group aspects of new mathematics.

Survival analysis arises in many fields of study including medicine, biology, engineering, public health, epidemiology, and economics. This book provides a comprehensive treatment of Bayesian survival analysis. Several topics are addressed, including parametric models, semiparametric models based on prior processes, proportional and non-proportional hazards models, frailty models, cure rate models, model selection and comparison, joint models for longitudinal and survival data, models with time varying covariates, missing covariate data, design and monitoring of clinical trials, accelerated failure time models, models for multivariate survival data, and special types of hierarchical survival models. Also various censoring schemes are examined including right and interval censored data. Several additional topics are discussed, including noninformative and informative prior specificiations, computing posterior qualities of interest, Bayesian hypothesis testing, variable selection, model selection with nonnested models, model checking techniques using Bayesian diagnostic methods, and Markov chain Monte Carlo (MCMC) algorithms for sampling from the posteiror and predictive distributions. The book presents a balance between theory and applications, and for each class of models discussed, detailed examples and analyses from case studies are presented whenever possible. The applications are all essentially from the health sciences, including cancer, AIDS, and the environment. The book is intended as a graduate textbook or a reference book for a one semester course at the advanced masters or Ph.D. level. This book would be most suitable for second or third year graduate students in statistics or biostatistics. It would also serve as a useful reference book for applied or theoretical researchers as well as practitioners. Joseph G. Ibrahim is Associate Professor of Biostatistics at the Harvard School of Public Health and Dana-Farber Cancer Institute; Ming-Hui Chen is Associate Professor of Mathematical Science at Worcester Polytechnic Institute; Debajyoti Sinha is Associate Professor of Biostatistics at the Medical University of South Carolina.

Automatic Graph Drawing is concerned with the layout of relational structures as they occur in Computer Science (Data Base Design, Data Mining, Web Mining), Bioinformatics (Metabolic Networks), Businessinformatics (Organization Diagrams, Event Driven Process Chains), or the Social Sciences (Social Networks). In mathematical terms, such relational structures are modeled as graphs or more general objects such as hypergraphs, clustered graphs, or compound graphs. A variety of layout algorithms that are based on graph theoretical foundations have been developed in the last two decades and implemented in software systems. After an introduction to the subject area and a concise treatment of the technical foundations for the subsequent chapters, this book features 14 chapters on state-of-the-art graph drawing software systems, ranging from general "tool boxes'' to customized software for various applications. These chapters are written by leading experts, they follow a uniform scheme and can be read independently from each other.

This book connects the different topics and professions involved in information technology approaches to architectural design, ranging from computer-aided design, building information modeling and programming to simulation, digital representation, augmented and virtual reality, digital fabrication and physical computation. The contributions include experts' academic and practical experiences and findings in research and advanced applications, covering the fields of architecture, engineering, design and mathematics. What are the conditions, constraints and opportunities of this digital revolution for architecture? How do processes change and influence the result? What does it mean for the collaboration and roles of the partners involved. And last but not least: how does academia reflect and shape this development and what does the future hold? Following the sequence of architectural production - from design to fabrication and construction up to the operation of buildings - the book discusses the impact of computational methods and technologies and its consequences for the education of future architects and designers. It offers detailed insights into the processes involved and considers them in the context of our technical, historical, social and cultural environment. Intended mainly for academic researchers, the book is also of interest to master's level students.

This book presents recent research in the field of interaction between computational intelligence and mathematics. In the current technological age, we face the challenges of tackling very complex problems - in the usual sense, but also in the mathematical and theoretical computer science sense. However, even the most up-to-date results in mathematics, are unable to provide exact solutions of such problems, and no further technical advances will ever make it possible to find general and exact solutions. Constantly developing technologies (including social technologies) necessitate handling very complex problems. This has led to a search for acceptably "good" or precise solutions, which can be achieved by the combination of traditional mathematical techniques and computational intelligence tools, in order to solve the various problems emerging in many different areas to a satisfactory degree. Important funding programs, such as the European Commission's current framework programme for research and innovation - Horizon 2020 - are devoted to the development of new instruments to deal with the current challenges. Without doubt, research topics associated with the interactions between computational intelligence and traditional mathematics play a key role. Presenting contributions from engineers, scientists and mathematicians, this book offers a series of novel solutions for meaningful and real-world problems that connect those research areas.

New Approaches to Circle Packing into the Square is devoted to the most recent results on the densest packing of equal circles in a square. In the last few decades, many articles have considered this question, which has been an object of interest since it is a hard challenge both in discrete geometry and in mathematical programming. The authors have studied this geometrical optimization problem for a long time, and they developed several new algorithms to solve it. The book completely covers the investigations on this topic.

Structural Optimization is intended to supplement the engineer s box of analysis and design tools making optimization as commonplace as the finite element method in the engineering workplace. It begins with an introduction to structural optimization and the methods of nonlinear programming such as Lagrange multipliers, Kuhn-Tucker conditions, and calculus of variations. It then discusses solution methods for optimization problems such as the classic method of linear programming which leads to the method of sequential linear programming. It then proposes using sequential linear programming together with the incremental equations of structures as a general method for structural optimization. It is furthermore intended to give the engineer an overview of the field of structural optimization."

Analysis, Control and Optimization of Complex Dynamic Systems gathers in a single volume a spectrum of complex dynamic systems related papers written by experts in their fields, and strongly representative of current research trends. Complex systems present important challenges, in great part due to their sheer size which makes it difficult to grasp their dynamic behavior, optimize their operations, or study their reliability. Yet, we live in a world where, due to increasing inter-dependencies and networking of systems, complexity has become the norm. With this in mind, the volume comprises two parts. The first part is dedicated to a spectrum of complex problems of decision and control encountered in the area of production and inventory systems. The second part is dedicated to large scale or multi-agent system problems occurring in other areas of engineering such as telecommunication and electric power networks, as well as more generic context.

This present book provides an alternative approach to study the pre-kernel solution of transferable utility games based on a generalized conjugation theory from convex analysis. Although the pre-kernel solution possesses an appealing axiomatic foundation that lets one consider this solution concept as a standard of fairness, the pre-kernel and its related solutions are regarded as obscure and too technically complex to be treated as a real alternative to the Shapley value. Comprehensible and efficient computability is widely regarded as a desirable feature to qualify a solution concept apart from its axiomatic foundation as a standard of fairness. We review and then improve an approach to compute the pre-kernel of a cooperative game by the indirect function. The indirect function is known as the Fenchel-Moreau conjugation of the characteristic function. Extending the approach with the indirect function, we are able to characterize the pre-kernel of the grand coalition simply by the solution sets of a family of quadratic objective functions.

The emphasis of this textbook is on industrial applications of Statistical Measurement Theory. It deals with the principal issues of measurement theory, is concise and intelligibly written, and to a wide extent self-contained. Difficult theoretical issues are separated from the mainstream presentation. Each topic starts with an informal introduction followed by an example, the rigorous problem formulation, solution method, and a detailed numerical solution. Each chapter concludes with a set of exercises of increasing difficulty, mostly with solutions. The book is meant as a text for graduate students and a reference for researchers and industrial experts specializing in measurement and measurement data analysis for quality control, quality engineering and industrial process improvement using statistical methods. Knowledge of calculus and fundamental probability and statistics is required for the understanding of its contents.

The 1996 NATO Advanced Study Institute (ASI) followed the international tradi tion of the schools held in Cargese in 1976, 1979, 1983, 1987 and 1991. Impressive progress in quantum field theory had been made since the last school in 1991. Much of it is connected with the interplay of quantum theory and the structure of space time, including canonical gravity, black holes, string theory, application of noncommutative differential geometry, and quantum symmetries. In addition there had recently been important advances in quantum field theory which exploited the electromagnetic duality in certain supersymmetric gauge theories. The school reviewed these developments. Lectures were included to explain how the "monopole equations" of Seiberg and Witten can be exploited. They were presented by E. Rabinovici, and supplemented by an extra 2 hours of lectures by A. Bilal. Both the N = 1 and N = 2 supersymmetric Yang Mills theory and resulting equivalences between field theories with different gauge group were discussed in detail. There are several roads to quantum space time and a unification of quantum theory and gravity. There is increasing evidence that canonical gravity might be a consistent theory after all when treated in. a nonperturbative fashion. H. Nicolai presented a series of introductory lectures. He dealt in detail with an integrable model which is obtained by dimensional reduction in the presence of a symmetry."

The book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifically the future of high performance systems and heterogeneous architectures. The application contributions cover computational fluid dynamics, material science, medical applications and climate research. Innovative fields like coupled multi-physics or multi-scale simulations are presented. All papers were chosen from presentations given at the 14th Teraflop Workshop held in December 2011 at HLRS, University of Stuttgart, Germany and the Workshop on Sustained Simulation Performance at Tohoku University in March 2012.

The text of the Persian poet Rum - - ?, written some eight centuries ago, and reproduced at the beginning of this book is still relevant to many of our pursuits of knowledge, not least of turbulence. The text illustrates the inability people have in seeing the whole thing, the 'big picture'. Everybody looks into the problem from his/her vi- point, and that leads to disagreement and controversy. If we could see the whole thing, our understanding would become complete and there would be no cont- versy. The turbulent motion of the atmosphere and oceans, at the heart of the observed general circulation, is undoubtedly very complex and dif?cult to understand in its entirety. Even 'bare' turbulence, without rotation and strati?cation whose effects are paramount in the atmosphere and oceans, still poses great fundamental ch- lenges for understanding after a century of research. Rotating strati?ed turbulence is a relatively new research topic. It is also far richer, exhibiting a host of distinct wave types interacting in a complicated and often subtle way with long-lived - herent structures such as jets or currents and vortices. All of this is tied together by basic ?uid-dynamical nonlinearity, and this gives rise to a multitude of phen- ena: spontaneous wave emission, wave-induced transport, both direct and inverse energy scale cascades, lateral and vertical anisotropy, fronts and transport barriers, anomalous transport in coherent vortices, and a very wide range of dynamical and thermodynamical instabilities.