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

This contributed volume contains the research results of the priority programme (PP) 1480 "Modelling, Simulation and Compensation of Thermal Effects for Complex Machining Processes", funded by the German Research Society (DFG). The topical focus of this programme is the simulation-based prediction and compensation of thermally induced workpiece deviations and subsurface damage effects. The approach to the topic is genuinely interdisciplinary, covering all relevant machining operations such as turning, milling, drilling and grinding. The target audience primarily comprises research experts and practitioners in the field of production engineering, but the book may also be beneficial for graduate students.

This is a monograph on fixed point theory, covering the purely metric aspects of the theory-particularly results that do not depend on any algebraic structure of the underlying space. Traditionally, a large body of metric fixed point theory has been couched in a functional analytic framework. This aspect of the theory has been written about extensively. There are four classical fixed point theorems against which metric extensions are usually checked. These are, respectively, the Banach contraction mapping principal, Nadler's well known set-valued extension of that theorem, the extension of Banach's theorem to nonexpansive mappings, and Caristi's theorem. These comparisons form a significant component of this book. This book is divided into three parts. Part I contains some aspects of the purely metric theory, especially Caristi's theorem and a few of its many extensions. There is also a discussion of nonexpansive mappings, viewed in the context of logical foundations. Part I also contains certain results in hyperconvex metric spaces and ultrametric spaces. Part II treats fixed point theory in classes of spaces which, in addition to having a metric structure, also have geometric structure. These specifically include the geodesic spaces, length spaces and CAT(0) spaces. Part III focuses on distance spaces that are not necessarily metric. These include certain distance spaces which lie strictly between the class of semimetric spaces and the class of metric spaces, in that they satisfy relaxed versions of the triangle inequality, as well as other spaces whose distance properties do not fully satisfy the metric axioms.

"Complex Intelligent Systems and Applications" presents the most up-to-date advances in complex, software intensive and intelligent systems. Each self-contained chapter is the contribution of distinguished experts in areas of research relevant to the study of complex, intelligent, and software intensive systems. These contributions focus on the resolution of complex problems from areas of networking, optimization and artificial intelligence. The book is divided into three parts focusing on complex intelligent network systems, efficient resource management in complex systems, and artificial data mining systems. Through the presentation of these diverse areas of application, the volume provides insights into the multidisciplinary nature of complex problems. Throughout the entire book, special emphasis is placed on optimization and efficiency in resource management, network interaction, and intelligent system design. This book presents the most recent interdisciplinary results in this area of research and can serve as a valuable tool for researchers interested in defining and resolving the types of complex problems that arise in networking, optimization, and artificial intelligence.

This book features articles written by some of the most prominent leading applied mathematicians as well as young and promising ones. The common objective of these articles is to present an important issue which is currently widely discussed in scientific investigation with major human, economic or ecological implications. Each article is as deep as an expert lecture but is also self-contained, so that even isolated scientists with limited resources can profit greatly from it.

More mathematicians have been taking part in the development of digital image processing as a science and the contributions are reflected in the increasingly important role modeling has played solving complex problems. This book is mostly concerned with energy-based models. Through concrete image analysis problems, the author develops consistent modeling, a know-how generally hidden in the proposed solutions. The book is divided into three main parts. The first two parts describe the materials necessary to the models expressed in the third part. These materials include splines (variational approach, regression spline, spline in high dimension), and random fields (Markovian field, parametric estimation, stochastic and deterministic optimization, continuous Gaussian field). Most of these models come from industrial projects in which the author was involved in robot vision and radiography: tracking 3D lines, radiographic image processing, 3D reconstruction and tomography, matching, deformation learning. Numerous graphical illustrations accompany the text showing the performance of the proposed models. This book will be useful to researchers and graduate students in applied mathematics, computer vision, and physics.