This textbook has been developed from the lecture notes for a one-semester course on stochastic modelling. It reviews the basics of probability theory and then covers the following topics: Markov chains, Markov decision processes, jump Markov processes, elements of queueing theory, basic renewal theory, elements of time series and simulation. Rigorous proofs are often replaced with sketches of arguments -- with indications as to why a particular result holds, and also how it is connected with other results -- and illustrated by examples. Wherever possible, the book includes references to more specialised texts containing both proofs and more advanced material related to the topics covered.

Hydraulic Servo-systems details the basic concepts of many recent developments of nonlinear identification and nonlinear control and their application to hydraulic servo-systems: developments such as feedback linearisation and fuzzy control. It also reviews the principles, benefits and limitations associated with standard control design approaches such as linear state feedback control, feedforward control and compensation for static nonlinearities, because of their continued practical importance. Featuring: theoretical (physically based) modelling of hydraulic servo-systems; experimental modelling (system identification); control strategies for hydraulic servo-systems; case studies and experimental results. Appendices outline the most important fundamentals of (nonlinear) differential geometry and fuzzy control. The book is very application-oriented and provides the reader with detailed working procedures and hints for implementation routines and software tools. It will interest scientists and qualified engineers involved in the analysis and design of hydraulic control systems, especially in advanced hydraulic industries, the aeronautical and space and automotive industries.

During its 2004 meeting in Warsaw the General Assembly of the International Union of Theoretical and Applied Mechanics (IUTAM) decided to support a proposal of the Georgian National Committee to hold in Tbilisi (Georgia), on April 23-27, 2007, the IUTAM Symposium on the Relation of Shell, Plate, Beam, and 3D Models, dedicated to the Centenary of Ilia Vekua. The sci- ti?c organization was entrusted to an international committee consisting of Philipppe G. Ciarlet (Hong Kong), the late Anatoly Gerasimovich Gorshkov (Russia),JornHansen(Canada),GeorgeV.Jaiani(Georgia,Chairman),Re- hold Kienzler (Germany), Herbert A. Mang (Austria), Paolo Podio-Guidugli (Italy), and Gangan Prathap (India). The main topics to be included in the scienti?c programme were c- sen to be: hierarchical, re?ned mathematical and technical models of shells, plates, and beams; relation of 2D and 1D models to 3D linear, non-linear and physical models; junction problems. The main aim of the symposium was to thoroughly discuss the relations of shell, plate, and beam models to the 3D physicalmodels.Inparticular,peculiaritiesofcuspedshells,plates,andbeams were to be emphasized and special attention paid to junction, multibody and ? uid-elastic shell (plate, beam) interaction problems, and their applications. The expected contributions of the invited participants were anticipated to be theoretical, practical, and numerical in character.

With the use of ecological models, managers and decision makers can make sure that the ecological systems affected by their decisions are accurately represented. Unfortunately, the most relevant ecological science and modeling techniques are often not used because managers are not familiar with them or find them inappropriate for their circumstances. The authors of this volume hope to close the gap between the state of the art in ecological modeling and the state of the practice in the use of models as decision-making tools. It will serve as a readable introduction to modeling for people involved in resource management and will also review specific applications of interest to more experienced modelers. The first chapters detail several successful uses of ecological models in resource management. There are then five pairs of chapters addressing important issues in ecological modeling, including barriers to the use of modeling in decision making, evolving approaches in the field, effective use of data, the toolkit approach to management, and the various scientific and technological investments required for productive modeling. Ecologists and other scientists will learn how best to focus their research for practical, real-world applications, and resource managers and other practitioners will learn the most appropriate methods of understanding dynamic processes and making projections about the implications of their decisions.

Adaptivity and learning have in recent decades become a common concern of scientific disciplines. These issues have arisen in mathematics, physics, biology, informatics, economics, and other fields more or less simultaneously. The aim of this publication is the interdisciplinary discourse on the phenomenon of learning and adaptivity. Different perspectives are presented and compared to find fruitful concepts for the disciplines involved. The authors select problems showing representative traits concerning the frame up, the methods and the achievements rather than to present extended overviews.

The 20th century saw tremendous achievements and progress in science and
technology. Undoubtedly, computers and computer-related technologies acted as
one of vital catalysts for accelerating this progress in the latter half of
the century. The contributions of mathematical sciences have been equally
profound, and the synergy between mathematics and computer science has played a
key role in accelerating the progress of both fields as well as science
and engineering.

Mathematical sciences will undoubtedly continue to play this vital role in this
new century. In particular, mathematical modeling and numerical simulation will
continue to be among the essential methodologies for solving massive and
complex problems that arise in science, engineering and manufacturing. Underpinning this all from a sound, theoretical perspective will be numerical algorithms. In recognition of this observation, this volume focuses on the
following specific topics.

(1) Fundamental numerical algorithms
(2) Applications of numerical algorithms
(3) Emerging technologies.

The articles included in this issue by experts on advanced scientific and
engineering computations from numerous countries elucidate state-of-the-art achievements in these three topics from various angles and suggest the future directions. Although we cannot hope to cover all the aspects in scientific and engineering computations, we hope that the articles will interest, inform and inspire members of the science and engineering community.

This sequel to volume 19 of Handbook on Statistics on Stochastic Processes: Modelling and Simulation is concerned mainly with the theme of reviewing and, in some cases, unifying with new ideas the different lines of research and developments in stochastic processes of applied flavour. This volume consists of 23 chapters addressing various topics in stochastic processes. These include, among others, those on manufacturing systems, random graphs, reliability, epidemic modelling, self-similar processes, empirical processes, time series models, extreme value therapy, applications of Markov chains, modelling with Monte Carlo techniques, and stochastic processes in subjects such as engineering, telecommunications, biology, astronomy and chemistry. particular with modelling, simulation techniques and numerical methods concerned with stochastic processes. The scope of the project involving this volume as well as volume 19 is already clarified in the preface of volume 19. The present volume completes the aim of the project and should serve as an aid to students, teachers, researchers and practitioners interested in applied stochastic processes.

This book discusses recent developments and contemporary research in mathematics, statistics and their applications in computing. All contributing authors are eminent academicians, scientists, researchers and scholars in their respective fields, hailing from around the world. The conference has emerged as a powerful forum, offering researchers a venue to discuss, interact and collaborate and stimulating the advancement of mathematics and its applications in computer science. The book will allow aspiring researchers to update their knowledge of cryptography, algebra, frame theory, optimizations, stochastic processes, compressive sensing, functional analysis, complex variables, etc. Educating future consumers, users, producers, developers and researchers in mathematics and computing is a challenging task and essential to the development of modern society. Hence, mathematics and its applications in computer science are of vital importance to a broad range of communities, including mathematicians and computing professionals across different educational levels and disciplines.

This is a new edited volume on shape analysis presenting results in shape modeling and computational geometry from the 2013 Association for Women in Mathematics (AWM) symposium held at UCLA's Institute for Pure and Applied Mathematics (IPAM). In-depth discussion of shape modeling techniques is supplemented by full-color illustrations demonstrating the results of workshop-developed shape modeling algorithms. It will be the first volume in Springer's AWM series.

This book provides a sound theoretical basis for the the different gravity field recovery methods and the numerics of satellite-to-satellite tracking data. It represents lectures given at the 'Wilhelm and Else Heraeus Autumn School' in Bad Honnef, Germany, October 4-9, 2015. The emphasis of the school was on providing a sound theoretical basis for the different gravity field recovery methods and the numerics of data analysis. The approaches covered here are the variational equations (classical approach), the acceleration approach and the energy balance approach, all of which are used for global gravity field recovery on the basis of satellite observations. The theory of parameter estimation in satellite gravimetry and concepts for orbit determination are also included. The book guides readers through a broad range of topics in satellite gravimetry, supplemented by the necessary theoretical background and numerical examples. While it provides a comprehensive overview for those readers who are already familiar with satellite gravity data processing, it also offers an essential reference guide for graduate and undergraduate students interested in this field.

The recent trend in user-customized product design requires the shape of products to be automatically adjusted according to the human body s shape, so that people will feel more comfortable when wearing these products. Geometric approaches can be used to design the freeform shape of products worn by people, which can greatly improve the efficiency of design processes in various industries involving customized products (e.g., garment design, toy design, jewel design, shoe design, and design of medical devices, etc.). These products are usually composed of very complex geometric shapes (represented by free-form surfaces), and are not driven by a parameter table but a digital human model with free-form shapes or part of human bodies (e.g., wrist, foot, and head models).

"Geometric Modeling and Reasoning of Human-Centered Freeform Products "introduces the algorithms of human body reconstruction, freeform product modeling, constraining and reconstructing freeform products, and shape optimization for improving the manufacturability of freeform products. Based on these techniques, the design automation problem for human-centered freeform products can be fundamentally solved.

Researchers and developers working on problems of automatic designing individually customized products can use this book as a reference, and it can also be used in courses in computer-aided product design at the graduate level."

This book gathers selected contributions by top Portuguese and international researchers in the field of Operations Research, presented at the 19th Congress of APDIO (Portuguese Association of Operational Research). The papers address a broad range of complex real-world problems, which are approached using recent theoretical techniques. Of particular interest are the applications of e.g. linear, nonlinear and mixed-integer programming, multiobjective optimization, metaheuristics and hybrid heuristics, multicriteria decision analysis, data envelopment analysis, clustering techniques and decision support systems, in such varied contexts as: supply chain management, scheduling problems, production management, logistics, energy, finance and healthcare. This conference, organized by APDIO and held in Aveiro, Portugal in September 2018, offered an ideal opportunity to discuss the latest developments in this field and to build new bridges between academic researchers and practitioners. Summarizing the outcomes, this book offers a valuable tool for all researchers, students and practitioners who wish to learn about the latest trends in this field.

In agent-based modeling the focus is very much on agent-based simulation, as simulation is a very important tool for agent-based modeling. We also use agent-based simulation in this book with a stress on the mathematical foundation of agent-based modeling. We introduce two original mathematical frameworks, a theory of SLD (Social Learning Dynamics) and an axiomatic theory of economic exchange (Exchange Algebra) among agents. Exchange algebra gives bottom-up reconstruction of SNA (System of National Accountings). SLD provides the concept of indirect control of socio-economic systems to manage structural change and its stability. We also compare agent-based simulation with gaming simulation and investigate the epistemological foundation of agent-based modeling.

These proceedings of the 20th International Conference on Difference Equations and Applications cover the areas of difference equations, discrete dynamical systems, fractal geometry, difference equations and biomedical models, and discrete models in the natural sciences, social sciences and engineering. The conference was held at the Wuhan Institute of Physics and Mathematics, Chinese Academy of Sciences (Hubei, China), under the auspices of the International Society of Difference Equations (ISDE) in July 2014. Its purpose was to bring together renowned researchers working actively in the respective fields, to discuss the latest developments, and to promote international cooperation on the theory and applications of difference equations. This book will appeal to researchers and scientists working in the fields of difference equations, discrete dynamical systems and their applications.

provide models that could be used by do-it-yourselfers and also can be used toprovideunderstandingofthebackgroundissuessothatonecandoabetter job of working with the (proprietary) algorithms of the software vendors. In this book we strive to provide models that capture many of the - tails faced by ?rms operating in a modern supply chain, but we stop short of proposing models for economic analysis of the entire multi-player chain. In other words, we produce models that are useful for planning within a supply chain rather than models for planning the supply chain. The usefulness of the models is enhanced greatly by the fact that they have been implemented - ing computer modeling languages. Implementations are shown in Chapter 7, which allows solutions to be found using a computer. A reasonable question is: why write the book now? It is a combination of opportunities that have recently become available. The availability of mod- inglanguagesandcomputersthatprovidestheopportunitytomakepractical use of the models that we develop. Meanwhile, software companies are p- viding software for optimized production planning in a supply chain. The opportunity to make use of such software gives rise to a need to understand some of the issues in computational models for optimized planning. This is best done by considering simple models and examples.

The book focuses on the orbital dynamics and mission trajectory (transfer or target trajectory) design of low-energy flight in the context of modern astrodynamics. It investigates various topics that either offer new methods for solving classical problems or address emerging problems that have yet to be studied, including low-thrust transfer trajectory design using the virtual gravity field method; transfer in the three-body system using invariant manifolds; formation flying under space-borne artificial magnetic fields; and the orbital dynamics of highly irregular asteroids. It also features an extensive study of the orbital dynamics in the vicinity of contact binary asteroids, including the 1:1 ground-track resonance, the equilibrium points and their stability, and the third-order analytical solution of orbital motion in the vicinity of the non-collinear equilibrium point. Given its breadth of coverage, the book offers a valuable reference guide for all engineers and researchers interested in the potential applications of low-energy space missions.

In complementarity theory, which is a relatively new domain of applied mathematics, several kinds of mathematical models and problems related to the study of equilibrium are considered from the point of view of physics as well as economics. In this book the authors have combined complementarity theory, equilibrium of economical systems, and efficiency in Pareto's sense. The authors discuss the use of complementarity theory in the study of equilibrium of economic systems and present results they have obtained. In addition the authors present several new results in complementarity theory and several numerical methods for solving complementarity problems associated with the study of economic equilibrium. The most important notions of Pareto efficiency are also presented.
Audience: Researchers and graduate students interested in complementarity theory, in economics, in optimization, and in applied mathematics.

Industrial production is one of the most basic human activities indispensable to the economic activity. Due to its complexity, production is not very well understood and modeled as opposed to traditional fields of inquiry such as physics. This book aims at enhancing rigorous understanding of a particular area of production, that of analysis and optimization of production lines and networks using discrete event models and simulation. To our knowledge, this is the first book treating this subject from the point of view mentioned above. We have arrived at the realization that discrete event models and simulation provide perhaps the best tools to model production lines and networks for a number of reasons. Analysis is precise but demands enormous computational resources, usually unavailable in practical situations. Brute force simulation is also precise but slow when quick decisions are to be made. Approximate analytical models are fast but often unreliable as far as accuracy is concerned. The approach of the book, on the other hand, combines speed and accuracy to an exceptional degree in most practical applications.

In this book, practicing physicians and experts in anticipation present arguments for a new understanding of medicine. Their contributions make it clear that medicine is the decisive test for anticipation. The reader is presented with a provocative hypothesis: If medicine will align itself with the anticipatory condition of life, it can prompt the most important revolution in our time. To this end, all stakeholders-medical practitioners, patients, scientists, and technology developers-will have to engage in the conversation. The book makes the case for the transition from expensive, and only marginally effective, reactive treatment through "spare parts" (joint replacements, organ transplants) and reliance on pharmaceuticals (antibiotics, opiates) to anticipation-informed healthcare. Readers will understand why the current premise of treating various behavioral conditions (attention deficit disorder, hyperactivity, schizophrenia) through drugs has to be re-evaluated from the perspective of anticipation. In the manner practiced today, medicine generates dependence and long-lasting damage to those it is paid to help. As we better understand the nature of the living, the proactive view of healthcare, within which the science and art of healing fuse, becomes a social and political mandate.

All over the world sport plays a prominent role in society: as a leisure activity for many, as an ingredient of culture, as a business and as a matter of national prestige in such major events as the World Cup in soccer or the Olympic Games. Hence, it is not surprising that science has entered the realm of sports, and, in particular, that computer simulation has become highly relevant in recent years. This is explored in this book by choosing five different sports as examples, demonstrating that computational science and engineering (CSE) can make essential contributions to research on sports topics on both the fundamental level and, eventually, by supporting athletes performance."

This volume presents the work of leading scientists from Russia, Georgia, Estonia, Lithuania, Israel and the USA, revealing major insights long unknown to the scientific community. Without any doubt their work will provide a springboard for further research in anticipation. Until recently, Robert Rosen (Anticipatory Systems) and Mihai Nadin (MIND - Anticipation and Chaos) were deemed forerunners in this still new knowledge domain. The distinguished neurobiologist, Steven Rose, pointed to the fact that Soviet neuropsychological theories have not on the whole been well received by Western science. These earlier insights as presented in this volume make an important contribution to the foundation of the science of anticipation. It is shown that the daring hypotheses and rich experimental evidence produced by Bernstein, Beritashvili, Ukhtomsky, Anokhin and Uznadze, among others-extend foundational work to aspects of neuroscience, physiology, motorics, education.

This book describes thermoelastic and inelastic deformation processes in crystalline solids undergoing loading by shock compression. Constitutive models with a basis in geometrically nonlinear continuum mechanics supply these descriptions. Large deformations such as finite strains and rotations, are addressed. The book covers dominant mechanisms of nonlinear thermoelasticity, dislocation plasticity, deformation twinning, fracture, flow, and other structure changes. Rigorous derivations of theoretical results are provided, with approximately 1300 numbered equations and an extensive bibliography of over 500 historical and modern references spanning from the 1920s to the present day. Case studies contain property data, as well as analytical, and numerical solutions to shock compression problems for different materials. Such materials are metals, ceramics, and minerals, single crystalline and polycrystalline. The intended audience of this book is practicing scientists (physicists, engineers, materials scientists, and applied mathematicians) involved in advanced research on shock compression of solid materials.

Stochastic discrete-event systems (SDES) capture the randomness in choices due to activity delays and the probabilities of decisions.

This book delivers a comprehensive overview on modeling with a quantitative evaluation of SDES. It presents an abstract model class for SDES as a pivotal unifying result and details important model classes. The book also includes nontrivial examples to explain real-world applications of SDES.

This book covers the latest advances in playful user interfaces - interfaces that invite social and physical interaction. These new developments include the use of audio, visual, tactile and physiological sensors to monitor, provide feedback and anticipate the behavior of human users. The decreasing cost of sensor and actuator technology makes it possible to integrate physical behavior information in human-computer interactions. This leads to many new entertainment and game applications that allow or require social and physical interaction in sensor- and actuator-equipped smart environments. The topics discussed include: human-nature interaction, human-animal interaction and the interaction with tangibles that are naturally integrated in our smart environments. Digitally supported remote audience participation in artistic or sport events is also discussed. One important theme that emerges throughout the book is the involvement of users in the digital-entertainment design process or even design and implementation of interactive entertainment by users themselves, including children doing so in educational settings.

The subject of pattern analysis and recognition pervades many aspects of our daily lives, including user authentication in banking, object retrieval from databases in the consumer sector, and the omnipresent surveillance and security measures around sensitive areas. Shape analysis, a fundamental building block in many approaches to these applications, is also used in statistics, biomedical applications (Magnetic Resonance Imaging), and many other related disciplines.

With contributions from some of the leading experts and pioneers in the field, this self-contained, unified volume is the first comprehensive treatment of theory, methods, and algorithms available in a single resource. Developments are discussed from a rapidly increasing number of research papers in diverse fields, including the mathematical and physical sciences, engineering, and medicine.