Ditapis dengan
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic guarded commands and their refinement logic -- to pGCL: Its logic and its model -- Probabilistic loops: Invariants and variants -- Case studies in termination: Choice coordination, the dining philosophers, and the random walk -- Probabilistic data refinement: The steam boiler -- Semantic structures -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387270067
- Deskripsi Fisik
- XX, 388 p. 63 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Probabilistic Symmetries and Invariance Principles
The Basic Symmetries -- Conditioning and Martingales -- Convergence and Approximation -- Predictable Sampling and Mapping -- Decoupling Identities -- Homogeneity and Reflections -- Symmetric Arrays -- Multi-variate Rotations -- Symmetric Measures in the Plane.This is the first comprehensive treatment of the three basic symmetries of probability theory—contractability, exchangeability, and rot…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387288611
- Deskripsi Fisik
- XII, 512 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Nonlinear Fokker-Planck Equations
Fundamentals -- Strongly Nonlinear Fokker-Planck Equations -- Free Energy Fokker-Planck Equations -- Free Energy Fokker-Planck Equations with Boltzmann Statistics -- Entropy Fokker-Planck Equations -- General Nonlinear Fokker-Planck Equations -- Epilogue.Providing an introduction to the theory of nonlinear Fokker-Planck equations, this book discusses fundamental properties of transient and stat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540264774
- Deskripsi Fisik
- XII, 408 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
First Course on Fuzzy Theory and Applications
Fuzzy Sets -- The Operation of Fuzzy Set -- Fuzzy Relation and Composition -- Fuzzy Graph and Relation -- Fuzzy Number -- Fuzzy Function -- Probabilisy and Uncertainty -- Fuzzy Logic -- Fuzzy Inference -- Fuzzy Control and Fuzzy Expert Systems -- Fusion of Fuzzy System and Neural Networks -- Fusion of Fuzzy Systems and Genetic Algorithms.This basic textbook gives an easily accessible introducti…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323662
- Deskripsi Fisik
- X, 335 p. 149 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advanced BDD Optimization
Preface. 1. Introduction. 2. Preliminaries. 2.1. Notation. 2.2. Boolean Functions. 2.3. Decomposition of Boolean Functions. 2.4. Reduced Ordered Binary Decision Diagrams -- 3. Exact node Minimization. 3.1. Branch and Bound Algorithm. 3.2. A*-Based Optimization. 3.3. Summary -- 4. Heuristic node Minimization. 4.1. Efficient Dynamic Minimization. 4.2. Improved Lower Bounds for Dynamic Reordering.…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387254548
- Deskripsi Fisik
- X, 222 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Generalized Bounds for Convex Multistage Stochastic Programs
Basic Theory of Stochastic Optimization -- Convex Stochastic Programs -- Barycentric Approximation Scheme -- Extensions -- Applications in the Power Industry -- Conclusions.This work was completed during my tenure as a scientific assistant and d- toral student at the Institute for Operations Research at the University of St. Gallen. During that time, I was involved in several industry projects …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540269014
- Deskripsi Fisik
- XII, 190 p. 21 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Analysis and Algorithms for Service Parts Supply Chains
Background: Analysis of (s-1, s) and Order-Up-To Policies -- Background Concepts: An Introduction to the (s-1, s) Policy under Poisson and Compound Poisson Demand -- An Exact Model for a Depot-Base Two Echelon Inventory and Repair System -- Tactical Planning Models for Managing Recoverable Items -- A Continuous Time, Multi-Echelon, Multi-Item System with Time-Based Service Level Constraints -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387272887
- Deskripsi Fisik
- XVIII, 278 p. 57 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Classical Methods of Statistics
Elements of Probability Theory -- Elements of Statistical Theory -- Applied Linear Regression -- Profile Analysis -- Discriminant Analysis -- Statistical Software -- Annotated Plasma Physical Datasets.Classical Methods of Statistics is a blend of theory and practical statistical methods written for graduate students and researchers interested in applications to plasma physics and its experiment…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540292883
- Deskripsi Fisik
- XIII, 388 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Exploring Probability in School
Perspectives on Probability and Probability Education -- The Nature of Chance and Probability -- Towards "Probability Literacy" for all Citizens: Building Blocks and Instructional Dilemmas -- An Overview of Research into the Teaching and Learning of Probability -- Teaching and Learning Probability in the Elementary School -- Characteristics of Elementary School Students' Probabilistic Reasoning…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387245300
- Deskripsi Fisik
- XVI, 390 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applied Rasch Measurement: A Book of Exemplars
Measurement and the Rasch model -- Classical Test Theory -- Objective Measurement -- The Rasch Model Explained -- Applications of the Rasch Model — Tests and Competencies -- Monitoring Mathematics Achievement over Time -- Manual and Automatic Estimates of Growth and Gain Across Year Levels: How Close is Close? -- Japanese Language Learning and the Rasch Model -- Chinese Language Learning and …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402030765
- Deskripsi Fisik
- XVIII, 360 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah