Page 5
Page 5
Optimal Stopping and Free-Boundary Problems
The present monograph has the following particular aims: To present basic results (with proofs) of optimal stopping theory in both discrete and continuous time using both martingale and Mar- vian approaches; To select a seriesof concrete problems ofgeneral interest from the t- ory of probability, mathematical statistics, and mathematical ?nance that can be reformulated as problems of optimal stopping of stochastic processes and solved by reduction to free-boundary problems of real analysis (Stefan problems). The table of contents found below gives a clearer idea of the material included in the monograph. Credits and historical comments are given at the end of each chapter or section. The bibliography contains a material for further reading.
Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the description of discrete time steps and continuous processes with a discrete time model with infinitesimal step widths.The underlying mathematical structure of this time model is based on the concepts of non-standard analysis. The discrete modeling, i.e., the description of sequential discrete algorithms at different abstraction levels, is done using the abstract state machines formalism. The presentation is well balanced between theoretical elaboration and critical discussion of the applicability of the theoretical results by means of appropriate case studies. The new temporal semantics proposed helps theoreticians as well as practitioners in gaining a better understanding of time models and in building better ...
Non-Euclidean Geometries : János Bolyai Memorial Volume
Some of the papers present new discoveries about the life and works of János Bolyai and the history of non-Euclidean geometry, others deal with geometrical axiomatics; polyhedra; fractals; hyperbolic, Riemannian and discrete geometry; tilings; visualization; and applications in physics. This book is intended for those who teach, study, and do research in geometry and history of mathematics. Cultural historians, physicists, and computer scientists will also find it an important source of information.
Next Generation Supply Chains : A Roadmap for Research and Innovation
This book explores supply chains strategies to help companies face challenges such as societal emergency, digitalization, climate changes and scarcity of resources. The book identifies industrial scenarios for the next decade based on the analysis of trends at social, economic, environmental technological and political level, and examines how they may impact on supply chain processes and how to design next generation supply chains to answer these challenges.
New Developments in Formal Languages and Applications
The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics and generative linguistics, among others. As a foundational discipline, formal language theory concepts and techniques are present in a variety of theoretical and applied fields of contemporary research which are concerned with symbol manipulation: discrete mathematics, bioinformatics, natural language processing, pattern recognition, text retrieval, learning, cryptography, compression, etc.
Multiscale Biomechanics and Tribology of Inorganic and Organic Systems : In memory of Professor Sergey Psakhie
This book gathers authoritative contributions concerning multiscale problems in biomechanics, geomechanics, materials science and tribology. It is written in memory of Sergey Grigorievich Psakhie to feature various aspects of his multifaceted research interests, ranging from theoretical physics, computer modeling of materials and material characterization at the atomic scale, to applications in space industry, medicine and geotectonics, and including organizational, psychological and philosophical aspects of scientific research and teaching as well
Multiplicative Invariant Theory
Multiplicative invariant theory, as a research area in its own right within the wider spectrum of invariant theory, is of relatively recent vintage. The present text offers a coherent account of the basic results achieved thus far.. Multiplicative invariant theory is intimately tied to integral representations of finite groups. Therefore, the field has a predominantly discrete, algebraic flavor. Geometry, specifically the theory of algebraic groups, enters through Weyl groups and their root lattices as well as via character lattices of algebraic tori.
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such problems can arise in practically every field of science, engineering and business, and the need for efficient and reliable solution methods is increasing. The task is challenging due to the fact that, instead of a single optimal solution, multiobjective optimization results in a number of solutions with different trade-offs among criteria, also known as Pareto optimal or efficient solutions. Hence, a decision maker is needed to provide additional preference information and to identify the most satisfactory solution. Depending on the paradigm used, such information may be introduced before, during, or after the optimization process. Clearly, research and application in multiobjective optimization involve expertise in optimization as well as in decision support.
Multimedia Cartography
The various sections of this book cover the theoretical backgrounds, applications and future developments of Multimedia Cartography. This second edition of Multimedia Cartography includes updated applications areas that are Internet-focussed. Since the release of Edition 1 in 1999 the focus of the delivery of Multimedia Cartography applications now includes the World Wide Web and mobile services, as well as discrete media. New chapters in the book reflect this. As well, the book includes additional chapters on 3D applications and Virtual Reality applications.
Modern Hematology : Biology and Clinical Management
The first chapters of this book contain a self-contained introduction to path integrals in Euclidean quantum mechanics and statistical mechanics. The resulting high-dimensional integrals can be estimated with the help of Monte Carlo simulations based on Markov processes. The most commonly used algorithms are presented in detail so as to prepare the reader for the use of high-performance computers as an “experimental” tool for this burgeoning field of theoretical physics. Several chapters are then devoted to an introduction to simple lattice field theories and a variety of spin systems with discrete and continuous spins, where the ubiquitous Ising model serves as an ideal guide for introducing the fascinating area of phase transitions. As an alternative to the lattice formulation of quantum field theories, variants of the flexible renormalization group methods are discussed in detail. Since, according to our present-day knowledge, all fundamental interactions in nature are described by gauge theories, the remaining chapters of the book deal with gauge theories without and with matter.
Modern cryptography ; Vol.1 : A classical introduction to informational and mathematical principle
This book systematically explores the statistical characteristics of cryptographic systems, the computational complexity theory of cryptographic algorithms and the mathematical principles behind various encryption and decryption algorithms. The theory stems from technology. Based on Shannon's information theory, this book systematically introduces the information theory, statistical characteristics and computational complexity theory of public key cryptography, focusing on the three main algorithms of public key cryptography, RSA, discrete logarithm and elliptic curve cryptosystem.
Modern Aspects of Electrochemistry ; Vol. 39
This volume of Modern Aspects covers a wide spread of topics presented in an authoritative, informative and instructive manner by some internationally renowned specialists. Professors Politzer and Dr. Murray provide a comprehensive description of the various theoretical treatments of solute-solvent interactions, including ion-solvent interactions. Both continuum and discrete molecular models for the solvent molecules are discussed, including Monte Carlo and molecular dynamics simulations. The advantages and drawbacks of the resulting models and computational approaches are discussed and the impressive progress made in predicting the properties of molecular and ionic solutions is surveyed.
Models for Discrete Longitudinal Data
This book provides a comprehensive treatment on modeling approaches for non-Gaussian repeated measures, possibly subject to incompleteness. The authors consider a variety of extensions, such as models for multivariate longitudinal measurements, random-effects models with serial correlation, and mixed models with non-Gaussian random effects. They sketch the general principles for how to deal with the commonly encountered issue of incomplete longitudinal data. The authors critique frequently used methods and propose flexible and broadly valid methods instead, and conclude with key concepts of sensitivity analysis. The book shows how the different approaches can be implemented within the SAS software package. The text is organized so the reader can skip the software-oriented chapters and sections without breaking the logical flow.
Modelling and simulation of discrete-event systems
Allows engineers to study and analyze complex systems. Discrete-event system (DES)-M&S is used in modern management, industrial engineering, computer science, and the military. As computer speeds and memory capacity increase, so DES-M&S tools become more powerful and more widely used in solving real-life problems.
Modelling and Simulation : Exploring Dynamic System Behaviour
Modelling and Simulation: Exploring Dynamic System Behaviour provides the reader with a balanced and integrated presentation of the modelling and simulation activity for both Discrete Event Dynamic Systems (DEDS) and Continuous Time Dynamic Systems (CTDS). This book presents the fundamentals necessary to understand the many important facets of the modeling and simulation methodology.
Modelli Dinamici Discreti = Discrete Dynamic Models
Discrete mathematical modeling is one of the driving factors in modern mathematics research, and has played a role of synthesis between different disciplines, becoming a tool for qualitative and quantitative analysis in applied sciences. This volume provides an introduction to the analysis of discrete dynamic systems, following a modeling approach. An examination of a wide range of examples, models, and motivations drawn from Biology, Demography, Engineering and Economics, is followed by the presentation of the tools for the study of linear and non-linear scalar dynamical systems, with particular attention to stability analysis. The linear difference equations are studied in detail and an elementary introduction to the Z and DFT transforms is provided. One chapter is devoted to the study of bifurcations and chaotic dynamics. One-step vector dynamical systems and the applications of Markov chains are the subject of three chapters.
Modélisation et statistique spatiales = Spatial modeling and statistics
Spatial statistics are undergoing significant development due to their use in many fields: earth sciences, environment and climatology, epidemiology, econometrics, image analysis, etc. This book presents the main spatial models used as well as their statistics for the three types of data: geostatistics (observation on a continuous domain), data on a discrete network, point data. The objective is to present in a concise but mathematically complete way the most classical models (second order and variogram; software model and Gibbs-Markov field; point processes) as well as their simulation by MCMC algorithm. Then comes the presentation of statistical tools useful for their study.
Modeling, Control and Implementation of Smart Structures : A FEM-State Space Approach
This monograph presents an introductory overview of smart structures, their concepts, their active involvement in the vibration control, their applications and the extensive research work done on it so far. The modelling of flexible beams using two types of beam theories, viz., the Euler-Bernoulli theory and the Timoshenko beam theory is presented, including a new concept of finite element modeling of the flexible structures using Timoshenko beam theory with the inclusion of the shear both in the piezo-patches as well as in the host structure. It presents the design of the periodic output feedback control system for smart structure systems, the design of the FOS controllers for active vibration control and the design of Discrete Sliding Mode controllers using multirate output feedback technique.
Modeling and Control of Discrete-event Dynamic Systems : with Petri Nets and Other Tools
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. Modeling and Control of Discrete-event Dynamic Systems begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Among the instruments explained are many forms of Petri net, Grafcet (the sequential function chart), state charts, formal languages and max-plus algebra; all essential for control students to become proficient with DEDs and to make use of them in practical applications.
Metamorphoses of Hamiltonian Systems with Symmetries
Modern notions and important tools of classical mechanics are used in the study of concrete examples that model physically significant molecular and atomic systems. The parametric nature of these examples leads naturally to the study of the major qualitative changes of such systems (metamorphoses) as the parameters are varied. The symmetries of these systems, discrete or continuous, exact or approximate, are used to simplify the problem through a number of mathematical tools and techniques like normalization and reduction. The book moves gradually from finding relative equilibria using symmetry, to the Hamiltonian Hopf bifurcation and its relation to monodromy and, finally, to generalizations of monodromy.
