The book examines the performance and optimization of systems where queueing and congestion are important constructs. Both finite and infinite queueing systems are examined. Many examples and case studies are utilized to indicate the breadth and depth of the queueing systems and their range of applicability. Blocking of these processes is very important and the book shows how to deal with this problem in an effective way and not only compute the performance measures of throughput, cycle times, and WIP but also to optimize the resources within these systems. The book is aimed at advanced undergraduate, graduate, and professionals and academics interested in network design, queueing performance models and their optimization. It assumes that the audience is fairly sophisticated in their mathematical understanding, although the explanations of the topics within the book are fairly detailed.

... "What do you call work?" "Why ain't that work?" Tom resumed his whitewashing, and answered carelessly: "Well. lI1a), he it is, and maybe it aill't. All I know, is, it suits Tom Sawvc/: " "Oil CO/lll , IIOW, Will do not mean to let 011 that you like it?" The brush continued to move. "Likc it? Well, I do not see wlzy I oughtn't to like it. Does a hoy get a chance to whitewash a fence every day?" That put the thing ill a Ilew light. Ben stopped nibhling the apple .... (From Mark Twain's Adventures of Tom Sawyer, Chapter II.) Mathematics can put quantitative phenomena in a new light; in turn applications may provide a vivid support for mathematical concepts. This volume illustrates some aspects of the mathematical treatment of phase transitions, namely, the classical Stefan problem and its generalizations. The in tended reader is a researcher in application-oriented mathematics. An effort has been made to make a part of the book accessible to beginners, as well as physicists and engineers with a mathematical background. Some room has also been devoted to illustrate analytical tools. This volume deals with research I initiated when I was affiliated with the Istituto di Analisi Numerica del C.N.R. in Pavia, and then continued at the Dipartimento di Matematica dell'Universita di Trento. It was typeset by the author in plain TEX."

The present book fmds its roots in the International Conference on Methods and Applications of Multiple Criteria Decision Making held in Mons in May 1997. A small number of contributions to that conference were selected via a refereeing procedure and retained authors were requested to include in their final version their more recent results. This explains why some papers differ significantly from the original presentation. The introductory paper of Raynaud addresses the long range forecasts in Multiple Criteria Decision Making on the basis of a Delphi process that was run before and during the congress. In a second part, the French author explains how he and some of his partners could find the proof of an important conjecture : the iteration of a strongly monotonic choice function is not a strongly monotonic ranking function. The second part of the book covers methodological aspects of decision theory. The contribution of Bouyssou and Pirlot concerns the reformulation of classical conjoint measurement models that induce a complete and transitive preference binary relation on the set of alternatives which seem to be unrealistic when decision makers are asked to compare objects evaluated on several attributes. The authors propose to consider non transitive, non complete and non additive decomposable conjoint models. They define properties that characterize such models.

The book surveys the state-of-the-art methods that are currently available to model and simulate the presence of rigid particles in a fluid flow. For particles that are very small relative to the characteristic flow scales and move without interaction with other particles, effective equations of motion for particle tracking are formulated and applied (e.g. in gas-solid flows). For larger particles, for particles in liquid-solid flows and for particles that interact with each other or possibly modify the overall flow detailed model are presented. Special attention is given to the description of the approximate force coupling method (FCM) as a more general treatment for small particles, and derivations in the context of low Reynolds numbers for the particle motion as well as application at finite Reynolds numbers are provided. Other topics discussed in the book are the relation to higher resolution immersed boundary methods, possible extensions to non-spherical particles and examples of applications of such methods to dispersed multiphase flows.

This book contains revised and extended research articles written by prominent researchers participating in the international conference on Advances in Engineering Technologies and Physical Science ("London, U.K., 3-5 July, 2013)." Topics covered include mechanical engineering, bioengineering, internet engineering, image engineering, wireless networks, knowledge engineering, manufacturing engineering, and industrial applications. The book offers state of art of tremendous advances in engineering technologies and physical science and applications, and also serves as an excellent reference work for researchers and graduate students working with/on engineering technologies and physical science.

The aim of this book is to present a rigorous phenomenological and mathematical formulation of sedimentation processes and to show how this theory can be applied to the design and control of continuous thickeners. The book is directed to stu dents and researchers in applied mathematics and engineering sciences, especially in metallurgical, chemical, mechanical and civil engineering, and to practicing en gineers in the process industries. Such a vast and diverse audience should read this book differently. For this reason we have organized the chapters in such a way that the book can be read in two ways. Engineers and engineering students will find a rigorous formulation of the mathematical model of sedimentation and the exact and approximate solutions for the most important problems encountered in the laboratory and in industry in Chapters 1 to 3, 7 and 8, and 10 to 12, which form a self-contained subject. They can skip Chapters 4 to 6 and 9, which are most important to applied mathematicians, without losing the main features of sedimentation processes. On the other hand, applied mathematicians will find special interest in Chapters 4 to 6 and 9 which show some known but many recent results in the field of conservation laws of quasilinear hyperbolic and degenerate parabolic equations of great interest today. These two approaches to the theory keep their own styles: the mathematical approach with theorems and proofs, and the phenomenological approach with its deductive technique."

This book addresses key aspects of recent developments in applied mathematical analysis and its use. It also highlights a broad range of applications from science, engineering, technology and social perspectives. Each chapter investigates selected research problems and presents a balanced mix of theory, methods and applications for the chosen topics. Special emphasis is placed on presenting basic developments in applied mathematical analysis, and on highlighting the latest advances in this research area. The book is presented in a self-contained manner as far as possible, and includes sufficient references to allow the interested reader to pursue further research in this still-developing field. The primary audience for this book includes graduate students, researchers and educators; however, it will also be useful for general readers with an interest in recent developments in applied mathematical analysis and applications.

Shape interrogation is the process of extraction of information from a geometric model. It is a fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) systems. The authors focus on shape interrogation of geometric models bounded by free-form surfaces. Free-form surfaces, also called sculptured surfaces, are widely used in the bodies of ships, automobiles and aircraft, which have both functionality and attractive shape requirements. Many electronic devices as well as consumer products are designed with aesthetic shapes, which involve free-form surfaces. This book provides the mathematical fundamentals as well as algorithms for various shape interrogation methods including nonlinear polynomial solvers, intersection problems, differential geometry of intersection curves, distance functions, curve and surface interrogation, umbilics and lines of curvature, geodesics, and offset curves and surfaces. This book will be of interest both to graduate students and professionals.

There are three rudiments to the art of modelling: intuition, a sound theoretical background and experience. Intuition is beyond the reach of any teaching. Experience may to some extent be substituted by studying existing models. Initially, the foundations for the theoretic background needed in modelling must be laid down. This book defines the wide application of the term. The basic concepts are imaging processes and the fine structure of mappings. The main emphasis is on the imaging of dynamic processes which are analysed and subdivided into their atomic constituents by means of systems analysis. The cyclic structure and the stages of models' set-up are explained. The evaluation of a model's quality is regarded as a stochastic process. The aspects of grade used in different fields of sciences are brought into perspective. Thus, a quantitative concept of validity on the basis of conditional degrees of rational belief can be developed.

The European Conferences on Numerical Mathematics and Advanced Applications (ENUMATH) are a series of conferences held every two years to provide a forum for discussion of new trends in numerical mathematics and challenging scientific and industrial applications at the highest level of international expertise. ENUMATH 2011 was hosted by the University of Leicester (UK) from the 5th to 9th September 2011. This proceedings volume contains more than 90 papers by speakers of the conference and gives an overview of recent developments in scientific computing, numerical analysis, and practical use of modern numerical techniques and algorithms in various applications. New results on finite element methods, multiscale methods, numerical linear algebra, and finite difference schemes are presented. A range of applications include computational problems from fluid dynamics, materials, image processing, and molecular dynamics.

This book presents the state of the art technology in Serious Games which is driven extensive by applications and research in simulation. The topics in this book include: (1) Fashion simulation; (2) Chinese calligraphy ink diffusion simulation; (3) Rehabilitation (4) Long vehicle turning simulation; (5) Marine traffic conflict control; (6) CNC simulation; (7) Special needs education. The book also addresses the fundamental issues in Simulation and Serious Games such as rapid collision detection, game engines or game development platforms. The target audience for this book includes scientists, engineers and practitioners involved in the field of Serious Games and Simulation. The major part of this book comprises of papers presented at the 2012 Asia-Europe Workshop on Serious Games and Simulation held in Nanyang Technological University, Singapore (May 9, 2012). All the contributions have been peer reviewed and by scientific committee members with report about quality, content and originality.

These proceedings report on the conference "Math Everywhere," celebrating the 60th birthday of the mathematician Vincenzo Capasso. The conference promoted ideas Capasso has pursued and shared the open atmosphere he is known for. Topic sections include: Deterministic and Stochastic Systems. Mathematical Problems in Biology, Medicine and Ecology. Mathematical Problems in Industry and Economics. The broad spectrum of contributions to this volume demonstrates the truth of its title: Math is Everywhere, indeed.

This book addresses several aspects of the integrable structure of the AdS/CFT correspondence. In particular it presents computations made on both sides of the AdS/CFT correspondence, at weak and at strong coupling. On the string theory side of the correspondence, the book focuses on the evaluation of the energy spectrum of closed string solutions moving in some deformed backgrounds that preserve integrability. On the gauge theory side, it explores various formal problems arising in the computation of two and three-point functions by means of the Algebraic Bethe Ansatz and the Quantum Inverse Scattering method. The book features numerous results on integrability in the context of the AdS/CFT correspondence. Self-contained and pedagogical, it includes general discussions and detailed presentations on the use of integrable systems techniques and their applications.

This book encourages and demonstrates an innovative approach to the design and operation of urban wastewater systems: integrated modelling and control. Consideration of sewer system, wastewater treatment plant and receiving water body as a single system (rather than as three moderately independent units as before) opens up new types of analyses and new control algorithms for urban wastewater systems.After a comprehensive review of the literature of various fields including processes affecting water flow and quality in urban wastewater systems and their description by different types of models, this book also introduces some of the fundamental concepts of the operation of such systems. It discusses conventional as well as innovative control approaches - ranging from control by simple set-points to elaborate hierarchical control concepts taking into account the water flow and the quality of sewer systems, treatment plants and receiving water body. Thus it will enable the researcher as well as the practising engineer to analyse and to implement various types of control for a particular case study site. In order to illustrate the concepts developed, a detailed simulation study, covering the complete urban wastewater system, is presented. The conclusions drawn demonstrate that the application of innovative control concepts can lead to improved performance of wastewater systems.In addition, a comprehensive survey of mathematical optimisation methods is presented. This book can assist the practising engineer and the student to gain knowledge of all aspects of wastewater systems. To the researcher, this book provides a thorough survey of existing simulation and control concepts and inspiration for further work.

Data structures and algorithms are presented at the college level in a highly accessible format that presents material with one-page displays in a way that will appeal to both teachers and students. The thirteen chapters cover: Models of Computation, Lists, Induction and Recursion, Trees, Algorithm Design, Hashing, Heaps, Balanced Trees, Sets Over a Small Universe, Graphs, Strings, Discrete Fourier Transform, Parallel Computation.

Key features:

* Complicated concepts are expressed clearly in a single page with minimal notation and without the "clutter" of the syntax of a particular programming language; algorithms are presented with self-explanatory "pseudo-code."

* Chapters 1-4 focus on elementary concepts, the exposition unfolding at a slower pace. Sample exercises with solutions are provided. Sections that may be skipped for an introductory course are starred. Requires only some basic mathematics background and some computer programming experience.

* Chapters 5-13 progress at a faster pace. The material is suitable for undergraduates or first-year graduates who need only review Chapters 1-4.

* Chapters 1-4. This book may be used for a one-semester introductory course (based on Chapters 1-4 and portions of the chapters on algorithm design, hashing, and graph algorithms) and for a one-semester advanced course that starts at Chapter 5. A yearlong course may be based on the entire book.

* Sorting, often perceived as rather technical, is not treated as a separate chapter, but is used in many examples (including bubble sort, merge sort, tree sort, heap sort, quick sort, and several parallel algorithms). Also, lower bounds on sorting by comparisons are included with thepresentation of heaps in the context of lower bounds for comparison-based structures.

* Chapter 13 on parallel models of computation is something of a mini-book itself, and a good way to end a course. Although it is not clear what parallel architectures will prevail in the future, the idea is to further teach fundamental concepts in the design of algorithms by exploring classic models of parallel computation, including the PRAM, generic PRAM simulation, HC/CCC/Butterfly, the mesh, and parallel hardware area-time tradeoffs (with many examples).

Apart from classroom use, this book serves as a good reference on the subject of data structures and algorithms. Its page-at-a-time format makes it easy to review material that the reader has studied in the past.

One service mathematics has rendered the ~Et moi, ..., si j'avait su comment en revenir, human race. It has put common sense back je riy serais point aile.' Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non- The series is divergent; therefore we may be sense'. able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non- linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. o'; 'One service logic has rendered com- puter science .. o'; 'One service category theory has rendered mathematics ...'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series.

This book, translated from the French, is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic via the study of the models of arithmetic, and the following is a combinatorial tool-box preparing for the chapters on saturated and prime models. The last ten chapters form a rather complete but nevertheless accessible exposition of stability theory, which is the core of the subject.

This volume presents new methodologies and rationalizes existing methods that are used in the design of multi-shell polyhedral clusters. The author describes how the methods used are extended from 2D-operations on maps to 3D (and higher dimensional) Euclidean space. A variety of structures is designed and described in detail and classified giving rise to an atlas of multi-shell nanostructures. The book therefore sheds a new light on the field of crystal and quasicrystal structures, an important part of nanoscience and nanotechnology. The author goes on to show how the recently established methods are used for building complex multi-shell nanostructures and how this completes the existing information in the field. The atlas of such structures is completed with atomic coordinates (included as supplementary material). The content of this book gives a useful insight into structure elucidation and suggests new material synthesis.

This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics. A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges - its effervescence with respect to fields ranging from metaphysics to computer programming - provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem. It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics - and highlighting these features to appeal to researchers in many fields.

This book is the first monograph in the field of uniqueness theory of meromorphic functions dealing with conditions under which there is the unique function satisfying given hypotheses. Developed by R. Nevanlinna, a Finnish mathematician, early in the 1920's, research in the field has developed rapidly over the past three decades with a great deal of fruitful results. This book systematically summarizes the most important results in the field, including many of the authors' own previously unpublished results. In addition, useful skills and simple proofs are introduced. This book is suitable for higher level and graduate students who have a basic grounding in complex analysis, but will also appeal to researchers in mathematics.

Real-time model predictive controller (MPC) implementation in active vibration control (AVC) is often rendered difficult by fast sampling speeds and extensive actuator-deformation asymmetry. If the control of lightly damped mechanical structures is assumed, the region of attraction containing the set of allowable initial conditions requires a large prediction horizon, making the already computationally demanding on-line process even more complex. Model Predictive Vibration Control provides insight into the predictive control of lightly damped vibrating structures by exploring computationally efficient algorithms which are capable of low frequency vibration control with guaranteed stability and constraint feasibility. In addition to a theoretical primer on active vibration damping and model predictive control, Model Predictive Vibration Control provides a guide through the necessary steps in understanding the founding ideas of predictive control applied in AVC such as: * the implementation of computationally efficient algorithms * control strategies in simulation and experiment and * typical hardware requirements for piezoceramics actuated smart structures. The use of a simple laboratory model and inclusion of over 170 illustrations provides readers with clear and methodical explanations, making Model Predictive Vibration Control the ideal support material for graduates, researchers and industrial practitioners with an interest in efficient predictive control to be utilized in active vibration attenuation.

A useful introduction to this topic for both students and researchers, with an emphasis on applications and practicalities rather than on a formal development. It is based on the popular software package for graphical modelling, MIM, freely available for downloading from the Internet. Following a description of some of the basic ideas of graphical modelling, subsequent chapters describe particular families of models, including log-linear models, Gaussian models, and models for mixed discrete and continuous variables. Further chapters cover hypothesis testing and model selection. Chapters 7 and 8 are new to this second edition and describe the use of directed, chain, and other graphs, complete with a summary of recent work on causal inference.

This book focuses on the recent development of methodologies and computation methods in mathematical and statistical modelling, computational science and applied mathematics. It emphasizes the development of theories and applications, and promotes interdisciplinary endeavour among mathematicians, statisticians, scientists, engineers and researchers from other disciplines. The book provides ideas, methods and tools in mathematical and statistical modelling that have been developed for a wide range of research fields, including medical, health sciences, biology, environmental science, engineering, physics and chemistry, finance, economics and social sciences. It presents original results addressing real-world problems. The contributions are products of a highly successful meeting held in August 2017 on the main campus of Wilfrid Laurier University, in Waterloo, Canada, the International Conference on Applied Mathematics, Modeling and Computational Science (AMMCS-2017). They make this book a valuable resource for readers interested not only in a broader overview of the methods, ideas and tools in mathematical and statistical approaches, but also in how they can attain valuable insights into problems arising in other disciplines.

Thisbook introduces the reader the theory of nonlinear inclusions and hemivariational inequalities with emphasison the study of contact mechanics. The work covers both abstract results in thearea of nonlinear inclusions, hemivariational inequalities as well as the study of specific contact problems, including their modelling and their variational analysis. Provided results are based on original research on the existence, uniqueness, regularity and behavior of the solution for various classes of nonlinear stationary and evolutionary inclusions. In carrying out the variational analysis of various contact models, onesystematically uses results of hemivariational inequalities and, in this way, illustrates the applications of nonlinear analysis in contact mechanics. New mathematical methods are introduced and applied in the study of nonlinear problems, which describe the contact between a deformable body and a foundation. Contact problems arise in industry, engineering and geophysics. Their variational analysis presented in this book lies the background for their numerical analysis. This volume will interest mathematicians, applied mathematicians, engineers, and scientists as well as advanced graduate students."

In this volume, I have collected several papers which were presented at the international conference called "Venice-2/Symposium on Applied and In dustrial Mathematics." Such a conference was held in Venice, Italy, between June 11 and 16,1998, and was intended as the follow-up of the very successful similar event (called "Venice-1/Symposium on Applied and Industrial Math ematics"), that was also organized in Venice in October 1989. The Venice-1 conference ended up with a Kluwer volume like this one. I am grateful to Kluwer for having accepted to publish the present volume, the aim of which is to update somehow the state-of-the-art in the field of Ap plied Mathematics as well as in that of the nowadays rather more developed area of Industrial Mathematics. The most of the invited (key-note) speakers contributed to this volume with a paper related to their talk. There are, in addition., a few significant contributed papers, selected on the basis of their quality and relevance to the present-time research activities. The topics considered in the conference range from rather general sub jects in applied and numerical analysis, to more specialized subjects such as polymers and disordered media, granular flow, semiconductor mathematics, superconductors, elasticity, tomography and other inverse problems, financial modeling, photographic sciences, etc. The papers collected in this volume provide a selection of them. It is clear from the previous list that some attention has been paid to relatively new and emerging fields."