الصفحة 1
الصفحة 1
Open Quantum Systems II : The Markovian Approach
These books present in a self-contained way the mathematical theories involved in the modeling of such phenomena. They describe physically relevant models, develop their mathematical analysis and derive their physical implications. Volume II is dedicated to the Markovian formalism of classical and quantum open systems. A complete exposition of noise theory, Markov processes and stochastic differential equations, both in the classical and the quantum context, is provided. These mathematical tools are put into perspective with physical motivations and applications.
Open Quantum Systems I : The Hamiltonian Approach
These books present in a self-contained way the mathematical theories involved in the modeling of such phenomena. They describe physically relevant models, develop their mathematical analysis and derive their physical implications. This Volume, I the Hamiltonian description of quantum open systems is discussed. This includes an introduction to quantum statistical mechanics and its operator algebraic formulation, modular theory, spectral analysis and their applications to quantum dynamical systems.
Online Storage Systems and Transportation Problems with Applications : Optimization Models and Mathematical Solutions
This books covers the analysis and development of online algorithms involving exact optimization and heuristic techniques, and their application to solve two real life problems. The first problem is concerned with a complex technical system: a special carousel based high-speed storage system - Rotastore. It is shown that this logistic problem leads to an NP-hard Batch PreSorting problem which is not easy to solve optimally in offline situations. The second problem originates in the health sector and leads to a vehicle routing problem. Reasonable solutions for the offline case covering a whole day with a few hundred orders are constructed with a heuristic approach, as well as by simulated annealing. Optimal solutions for typical online instances are computed by an efficient column enumeration approach leading to a set partitioning problem and a set of routing-scheduling subproblems. The latter are solved exactly with a branch-and-bound method which prunes nodes if they are value-dominated by previous found solutions or if they are infeasible with respect to the capacity or temporal constraints.
Old and New Perspectives on Mortality Forecasting
This book describes methods of mortality forecasting and discusses possible improvements. It contains a selection of previously unpublished and published papers, which together provide a state-of-the-art overview of statistical approaches as well as behavioural and biological perspectives. The different parts of the book provide discussions of current practice, probabilistic forecasting, the linearity in the increase of life expectancy, causes of death, and the role of cohort factors.
Ocean-atmosphere interactions of gases and particles
The oceans and atmosphere interact through various processes, including the transfer of momentum, heat, gases and particles. In this book leading international experts come together to provide a state-of-the-art account of these exchanges and their role in the Earth-system, with particular focus on gases and particles. Chapters in the book cover: i) the ocean-atmosphere exchange of short-lived trace gases; ii) mechanisms and models of interfacial exchange (including transfer velocity parameterisations); iii) ocean-atmosphere exchange of the greenhouse gases carbon dioxide, methane and nitrous oxide; iv) ocean atmosphere exchange of particles and v) current and future data collection and synthesis efforts.
Obstructions in Security-Aware Business Processes : Analysis, Detection, and Handling
This book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of business processes. Such security-related obstructions can particularly occur when an access control-based implementation of regulations blocks the execution of business processes. By handling obstructions, security in business processes is supposed to be improved. For this, the book presents a framework that allows the comprehensive analysis, detection, and handling of obstructions in a security-sensitive way. Thereby, methods based on common organizational security policies, process models, and logs are proposed. The Petri net-based modeling and related semantic and language-based research, as well as the analysis of event data and machine learning methods finally lead to the development of algorithms and experiments that can detect and resolve obstructions and are reproducible with the provided software.
Objects, Components, Models and Patterns ; 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008.TOOLS played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original topics of object technology and component-based development to encompass all modern, practical approaches to software development.
Objective information theory
Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, develop, and evaluate the information, OIT interprets the information from essential nature, measures the information from mathematical properties, and models the information from concept, logic, and physic. As the exemplified applications, Air Traffic Control System (ATCS) and Smart Court SoSs (System of Systems) are introduced for practical OITs.
Object detection with deep learning models : Principles and applications
Discusses recent advances in object detection and recognition using deep learning methods, which have achieved great success in the field of computer vision and image processing. It provides a systematic and methodical overview of the latest developments in deep learning theory and its applications to computer vision, illustrating them using key topics, including object detection, face analysis, 3D object recognition, and image retrieval / A structured overview of deep learning in object detection / A diversified collection of applications of object detection using deep neural networks / Emphasize agriculture and remote sensing domains / Exclusive discussion on moving object detection
Obesity and Cancer
This book highlights the concordance between signaling pathways that are involved in obesity and cancer cross-talks. It describes the role of cytokines, chemokines, growth factors, insulin, and adipokines in the development of obesity-associated cancers. The book reviews the role of inflammatory signaling pathways such as estrogen-mediated signaling, mTOR and AMP-activated protein kinase pathway and the involvement of adaptive and innate immunity, oxidative stress, gene polymorphism, dietary phytochemicals, and miRNAs in obesity and cancer. In addition, it covers the latest research on the drugs and natural therapeutic agents that target obesity-induced cancers and discusses various in vivo models for studying obesity and obesity-associated cancer. Lastly, it analyses the role of genetic polymorphisms in the obesity-related genes that influence cancer development.
Nutrient Cycling in Terrestrial Ecosystems
The first part of the book presents the fundamentals of nutrient cycling. Topics included are cycling of carbon, nitrogen, phosphorus, sulphur and micronutrients. The second part discusses nutrient cycling at an ecosystem scale, covering cropping systems, pastures, natural grasslands, arid lands, tundras and forests. The final chapter reviews current models of nutrient cycling.
Nutrient Acquisition by Plants : An Ecological Perspective
Adaptation and evolution of terrestrial plants depend, to a large extent, on their ability to acquire nutrients. This is a modern and integrative treatment of the mechanisms controlling plant nutrient uptake and how plants respond to changes in the environment. The following key topics are covered: soil nutrient bioavailability; root responses to variations in nutrient supply; nitrogen fixation; regulation of nutrient uptake by internal plant demand; root characteristics; kinetics of nutrient uptake; root architecture; life span; mycorrhizae; responses to climate change. This integrated view helps us to understand the mechanisms that govern present-day plant communities and is indispensable in models designed to predict the response of plants to a changing climate.
Numerical Techniques for Chemical and Biological Engineers Using MATLAB® : A Simple Bifurcation Approach
This book addresses the bifurcation characteristics of chemical and biological processes as the general case and treats systems with a unique steady state as special cases. It uses a system approach which is the most efficient for knowledge organization and transfer. The book develops mathematical models for many commercial processes utilizing the mass-, momentum-, and heat-balance equations coupled to the rates of the processes that take place within the boundaries of the system. The models are solved numerically through MATLAB codes with emphasis on the design and optimization of the chemical and biological industrial equipment and plants.
Numerical solution of Variational Inequalities by Adaptive Finite Elements
Franz-Theo Suttmeier describes a general approach to a posteriori error estimation and adaptive mesh design for finite element models where the solution is subjected to inequality constraints. This is an extension to variational inequalities of the so-called Dual-Weighted-Residual method (DWR method) which is based on a variational formulation of the problem and uses global duality arguments for deriving weighted a posteriori error estimates with respect to arbitrary functionals of the error. In these estimates local residuals of the computed solution are multiplied by sensitivity factors which are obtained from a numerically computed dual solution. The resulting local error indicators are used in a feed-back process for generating economical meshes which are tailored according to the particular goal of the computation.
Numerical Solution of Partial Differential Equations on Parallel Computers
The scientific fields of Ma- ematics and Physics provide a powerful vehicle for such descriptions in terms of Partial Differential Equations (PDEs). Formulated as such equations, physical laws can become subject to computational and analytical studies. In the computational setting, the equations can be discreti ed for ef?cient solution on a computer, leading to valuable tools for simulation of natural and man-made processes. Numerical so- tion of PDE-based mathematical models has been an important research topic over centuries, and will remain so for centuries to come. In the context of computer-based simulations, the quality of the computed results is directly connected to the model’s complexity and the number of data points used for the computations. Therefore, computational scientists tend to ?ll even the largest and most powerful computers they can get access to, either by increasing the si e of the data sets, or by introducing new model terms that make the simulations more realistic, or a combination of both. Today, many important simulation problems can not be solved by one single computer, but calls for parallel computing.
Numerical Simulation in Molecular Dynamics : Numerics, Algorithms, Parallelization, Applications
Particle models play an important role in many applications in physics, chemistry and biology. They can be studied on the computer with the help of molecular dynamics simulations. This book presents in detail both the necessary numerical methods and techniques (linked-cell method, SPME-method, tree codes, multipole technique) and the theoretical background and foundations. It illustrates the aspects modelling, discretization, algorithms and their parallel implementation with MPI on computer systems with distributed memory. Furthermore, detailed explanations are given to the different steps of numerical simulation, and code examples are provided.
Numerical Methods in Finance
The use of mathematical models and numerical techniques in finance is a growing practice, and an increasing number of applied mathematicians are working on applications in finance and business. This book presents some exciting developments arising from the combination of mathematics, numerical analysis, and finance. It covers a wide range of topics, from portfolio management and asset pricing, to performance, risk, debt and real option evaluation. It also presents applications of a variety of cutting edge approaches and techniques, including robust control, min-max optimisation, Bessel processes, stochastic viability, variational inequalities, and Monte-Carlo test techniques. The book also presents surveys of models and approaches in specific areas in finance, such as corporate debt valuation and portfolio selection
Numerical Methods for Nonsmooth Dynamical Systems : Applications in Mechanics and Electronics
This book concerns the numerical simulation of dynamical systems whose trajectories may not be differentiable everywhere. They are named nonsmooth dynamical systems. They make an important class of systems, firstly because of the many applications in which nonsmooth models are useful, secondly because they give rise to new problems in various fields of science. Usually nonsmooth dynamical systems are represented as differential inclusions, complementarity systems, evolution variational inequalities, each of these classes being itself split into several subclasses.
Numerical computation, data analysis and software in mathematics and engineering
Include the aspects of the meshless method, numerical simulation, mathematical models, deep learning and data analysis. Meshless methods, such as the improved element-free Galerkin method, the dimension-splitting, interpolating, moving, least-squares method, the dimension-splitting, generalized, interpolating, element-free Galerkin method and the improved interpolating, complex variable, element-free Galerkin method, are presented. Some complicated problems, such as tge cold roll-forming process, ceramsite compound insulation block, crack propagation and heavy-haul railway tunnel with defects, are numerically analyzed.
Numerical and Practical Exercises in Thermoluminescence
Thermoluminescence (TL) is a well-established technique widely used in dosimetric and dating applications. Although several excellent reference books exist which document both the theoretical and experimental aspects of TL, there is a general lack of books that deal with specific numerical and practical aspects of analyzing TL data. Many times the practical details of analyzing numerical TL glow curves and of applying theoretical models are difficult to find in the published literature. Numerical and Practical Exercises in Thermoluminescence provides a practical guide for both established researchers and for new graduate students entering the field of TL, and is intended to be used in conjunction with and as a practical supplement to standard textbooks in the field.
