الصفحة 6
الصفحة 6
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing events. Stochastic discrete-event systems (SDES) capture the randomness in choices and over time due to activity delays and the probabilities of decisions. The starting point for the evaluation of quantitative issues like performance and dependability is a formal description of the system of interest in a model. An abstract model class for SDES is presented as a pivotal unifying result. Several important model classes, including queuing networks, Petri nets and automata, are detailed together with their formal translation into this abstract model class. Standard and recently developed algorithms for the performance evaluation, optimization and control of SDES are presented in the context of the abstract model class. The necessary software tool support is also covered. The book is completed with nontrivial examples from areas like manufacturing control, performance of communication systems, and supply-chain management, highlighting the application of the techniques presented.
Stochastic Control in Insurance
Stochastic control is one of the methods being used to find optimal decision-making strategies in fields such as operations research and mathematical finance. In recent years, stochastic control techniques have been applied to non-life insurance problems, and in life insurance the theory has been further developed. This book provides a systematic treatment of optimal control methods applied to problems from insurance and investment, complete with detailed proofs. The theory is discussed and illustrated by way of examples, using concrete simple optimisation problems that occur in the actuarial sciences. The problems come from non-life insurance as well as life and pension insurance and also cover the famous Merton problem from mathematical finance. Wherever possible, the proofs are probabilistic but in some cases well-established analytical methods are used.
Stochastic Calculus of Variations in Mathematical Finance
This book starts with an exposition from scratch of this theory. Greeks (price sensitivities) are reinterpreted in terms of Malliavin calculus. Integration by parts formulae provide stable Monte Carlo schemes for numerical valuation of digital options. Finite-dimensional projections of infinite-dimensional Sobolev spaces lead to Monte Carlo computations of conditional expectations useful for computing American options.
Stem Cells in Reproduction and in the Brain
Recently, expectations of the potential of regenerative medicine have risen because of the exciting results obtained in various areas of research. This book contains contributions from leading researchers in the field who describe their successes and the problems that remain in converting the hopes into concrete therapies. The focus of the book is on the role of stem cells in two main areas -- reproduction and the brain -- described from molecular, cellular, in vivo and clinical perspectives.
Steel-Reinforced Concrete Structures : Assessment and Repair of Corrosion
Examines the corrosion of reinforced concrete from a practical point of view, highlights protective design and repair procedures, and presents ongoing maintenance protocols. Updated throughout, this new edition adds additional information on concrete repair and reviews new examples of the effects of corrosion on both prestressed and reinforced concrete structures. It also examines economic analysis procedures and the probability of structural failures to define structural risk assessment and covers precautions and recommendations for protecting reinforced concrete structures from corrosion based on the latest codes and specifications.
Steel–concrete composite bridges
Steel Concrete Composite Bridges outlines the various forms that modern steel-concrete composite bridges take, from simple beam bridges through to arches and trusses and modern cable stay forms. It brings together a wide variety of steel-concrete composite bridge types, many of which have not been covered in any existing book or design guide. It outlines design rules for composite action and provides examples of their use in a wide variety of practical applications.
Static Analysis ; 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
Stainless steel wires-engineered multifunctional ultra-high performance concrete
Delivers both fundamentals and applications about multifunctional concrete, covering basic principles, properties, mechanisms, engineering application cases, and future development challenges and strategies.
STACS 2005 ; 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings
Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, in February 2005. This book addresses a broad variety of topics from theoretical computer science, in particular complexity theory, algorithmics, computational discrete mathematics, automata theory, and others.
Stability of Dynamical Systems : Continuous, Discontinuous, and Discrete Systems
In the analysis and synthesis of contemporary systems, engineers and scientists are frequently confronted with increasingly complex models that may simultaneously include components whose states evolve along continuous time and discrete instants; components whose descriptions may exhibit nonlinearities, time lags, transportation delays, hysteresis effects, and uncertainties in parameters; and components that cannot be described by various classical equations, as in the case of discrete-event systems, logic commands, and Petri nets. The qualitative analysis of such systems requires results for finite-dimensional and infinite-dimensional systems; continuous-time and discrete-time systems; continuous continuous-time and discontinuous continuous-time systems; and hybrid systems involving a mixture of continuous and discrete dynamics.
Stability and Optimization of Structures : Generalized Sensitivity Analysis
Stability and Optimization of Structures: Generalized Sensitivity Analysis is the first book to address issues of structural optimization against nonlinear buckling. Through the investigation of imperfection sensitivity, worst imperfection and random imperfection based on concrete theoretical framework, it is shown that optimization against buckling does not necessarily produce an imperfection-sensitive structure. This book offers the reader greater insight into optimization-based and computer-assisted stability design of finite-dimensional structures. Using the unified approach to parameter sensitivity analysis, it connects studies of elastic stability, computational mechanics and applied mathematics.
Spontaneous preterm labour and birth
Remains the leading cause of neonatal death, and the second leading cause of mortality worldwide in children below five years of age. The causes of preterm birth are multifactorial, likely contributing to why significant progress in reducing the incidence has been slow. This Element contains the most up-to-date evidence regarding the aetiology, epidemiology, and management of pregnancies at risk of, or complicated by, spontaneous preterm birth and preterm pre-labour rupture of membranes. It concentrates largely on those aspects potentially amenable to preventative intervention (i.e. cervical dysfunction and premature uterine contractility), as well as strategies to improve outcomes for infants born prematurely.
Soil Stress-Strain Behavior : Measurement, Modeling and Analysis : A Collection of Papers of the Geotechnical Symposium in Rome, March 16–17, 2006
The material in this work is focused on recent developments in research into the stress-strain behavior of geomaterials, with an emphasis on laboratory measurements, soil constitutive modeling and behavior of soil structures (such as reinforced soils, piles and slopes).
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence. The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The book is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing.
Software Engineering for Multi-Agent Systems IV ; Research Issues and Practical Applications
With the integration of computing and communication into the very fabric of our social, economic, and personal existence, the manner in which we think about and build software has become the subject of intense intellectual, scienti?c, and engineering reexamination. New computing paradigms have been proposed and new software architectures are being examined. The study of multi-agent s- tems (MAS) is one important movement energized by a growing awareness that application development may need to follow radically new paths. Fundamentally, MAS denotes a new software speci?cation and design paradigm. Moreover, when viewed in the context of large-scale deployment, it emerges as the embodiment of the quintessential concerns facing the software engineering community today. As computing and communication permeates the essential aspects of the societal infrastructure, software must become more nimble, slimmer, more natural, and more discrete. Software must integrate itself in an organic way into the activities it serves and the resources it exploits.
Software Engineering 2 : Specification of Systems and Languages
volume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.
Software Engineering 1 : Abstraction and Modelling
Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references.
Software Composition ; 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
The goal of the International Symposia on Software Composition is to advance the state of the research in component-based software development.
Software Architecture ; 2nd European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, and evolving software systems. Topics include architecture modeling, architecture description languages, architectural aspects, architecture analysis, transformation and synthesis, architecture evolution, quality attributes, model-driven engineering, built-in testing and architecture-based support for component-based and service-oriented systems.
Software and Data Technologies ; 1st International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, information systems and data management, as well as knowledge engineering.
