In the eighties, a group of theoretical physicists introduced several models for certain disordered systems, called "spin glasses". These models are simple and rather canonical random structures, that physicists studied by non-rigorous methods. They predicted spectacular behaviors, previously unknown in probability theory. They believe these behaviors occur in many models of considerable interest for several branches of science (statistical physics, neural networks and computer science). This book introduces in a rigorous manner this exciting new area to the mathematically minded reader. It requires no knowledge whatsoever of any physics, and contains proofs in complete detail of much of what is rigorously known on spin glasses at the time of writing.

Self-organizing maps (SOM) have proven to be of significant economic value in the areas of finance, economic and marketing applications. As a result, this area is rapidly becoming a non-academic technology. This book looks at near state-of-the-art SOM applications in the above areas, and is a multi-authored volume, edited by Guido Deboeck, a leading exponent in the use of computational methods in financial and economic forecasting, and by the originator of SOM, Teuvo Kohonen. The book contains chapters on applications of unsupervised neural networks using Kohonen's self-organizing map approach.

Quantum systems with many degrees of freedom are inherently difficult to describe and simulate quantitatively. The space of possible states is, in general, exponentially large in the number of degrees of freedom such as the number of particles it contains. Standard digital high-performance computing is generally too weak to capture all the necessary details, such that alternative quantum simulation devices have been proposed as a solution. Artificial neural networks, with their high non-local connectivity between the neuron degrees of freedom, may soon gain importance in simulating static and dynamical behavior of quantum systems. Particularly promising candidates are neuromorphic realizations based on analog electronic circuits which are being developed to capture, e.g., the functioning of biologically relevant networks. In turn, such neuromorphic systems may be used to measure and control real quantum many-body systems online. This thesis lays an important foundation for the realization of quantum simulations by means of neuromorphic hardware, for using quantum physics as an input to classical neural nets and, in turn, for using network results to be fed back to quantum systems. The necessary foundations on both sides, quantum physics and artificial neural networks, are described, providing a valuable reference for researchers from these different communities who need to understand the foundations of both.

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

This book compares existing soil erosion models and determines their suitability for predicting the impacts of global change upon soil erosion. The common datasets used for the evaluation are drawn from both temperate and semi-arid areas; they represent 73 site-years of data from seven sites in three countries. Six field-scale erosion models are evaluated; five of these are continuous-simulation types (GLEAMS, EPIC, CSEP, MEDRUSH and WEPP), the other is event-based (EUROSERM). After an introduction, the results of the model evaluation exercise are presented. Subsequent sections deal with weaknesses or omissions in current modelling approaches, descriptions of specific erosion models, and potential or actual model applications.

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.

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

Thebook comprises the contribution of several authors who are among the mostrenowned scientists working in the field of mathematical modeling and numerical simulation of the human cardiocirculatory system. The contributions cover a wide range of topics, from the pre processing of clinical data, to the set up of mathematical equations, their numerical solution, both in-vivo and in-vitro validation. They address the flow in the systemic arterial tree and the complex electro-fluid-mechanical coupling in the human heart. Many examples of patient-specific simulations are addressed. This book is addressed to all scientists (from PhD level up to professional scientists) interested in the mathematical modeling and numerical simulation of the human cardiocirculatory system."

This volume presents selected contributions by top researchers in the field of operations research, originating from the XVI Congress of APDIO. It provides interesting findings and applications of operations research methods and techniques in a wide variety of problems. The contributions address complex real-world problems, including inventory management with lateral transshipments, sectors and routes in solid-waste collection and production planning for perishable food products. It also discusses the latest techniques, making the volume a valuable tool for researchers, students and practitioners who wish to learn about current trends. Of particular interest are the applications of nonlinear and mixed-integer programming, data envelopment analysis, clustering techniques, hybrid heuristics, supply chain management and lot sizing, as well as job scheduling problems. This biennial conference, organized by APDIO, the Portuguese Association of Operational Research, held in Braganca, Portugal, in June 2013, presented a perfect opportunity to discuss the latest development in this field and to narrow the gap between academic researchers and practitioners.

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 reports on the latest advances in and applications of memristors, memristive devices and systems. It gathers 20 contributed chapters by subject experts, including pioneers in the field such as Leon Chua (UC Berkeley, USA) and R.S. Williams (HP Labs, USA), who are specialized in the various topics addressed in this book, and covers broad areas of memristors and memristive devices such as: memristor emulators, oscillators, chaotic and hyperchaotic memristive systems, control of memristive systems, memristor-based min-max circuits, canonic memristors, memristive-based neuromorphic applications, implementation of memristor-based chaotic oscillators, inverse memristors, linear memristor devices, delayed memristive systems, flux-controlled memristive emulators, etc. Throughout the book, special emphasis is given to papers offering practical solutions and design, modeling, and implementation insights to address current research problems in memristors, memristive devices and systems. As such, it offers a valuable reference book on memristors and memristive devices for graduate students and researchers with a basic knowledge of electrical and control systems engineering.

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

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.

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.

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.

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.

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.

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.

This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; places our current state of knowledge within the context of the contributions made by early civilizations, such as the ancient Babylonians, Egyptians and Greeks; examines the building blocks of mathematics, including sets, relations and functions; presents an introduction to logic, formal methods and software engineering; explains the fundamentals of number theory, and its application in cryptography; describes the basics of coding theory, language theory, and graph theory; discusses the concept of computability and decideability; includes concise coverage of calculus, probability and statistics, matrices, complex numbers and quaternions.

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.

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.

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