Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis, Uffe B. Kj?rulff; Anders L. Madsen
Автор: Uffe B. Kj?rulff; Anders L. Madsen Название: Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis ISBN: 1493900293 ISBN-13(EAN): 9781493900299 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In a Second Edition offering six new sections, new examples, tables, figures and more, this book shows how to understand, construct, and analyze intelligent systems for decision support based on probabilistic networks. Includes more than 140 examples.
Автор: Gelman Название: Bayesian Data Analysis, Third Edition ISBN: 1439840954 ISBN-13(EAN): 9781439840955 Издательство: Taylor&Francis Рейтинг: Цена: 73920.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Winner of the 2016 De Groot Prize from the International Society for Bayesian Analysis Now in its third edition, this classic book is widely considered the leading text on Bayesian methods, lauded for its accessible, practical approach to analyzing data and solving research problems. Bayesian Data Analysis, Third Edition continues to take an applied approach to analysis using up-to-date Bayesian methods. The authors—all leaders in the statistics community—introduce basic concepts from a data-analytic perspective before presenting advanced methods. Throughout the text, numerous worked examples drawn from real applications and research emphasize the use of Bayesian inference in practice. New to the Third Edition Four new chapters on nonparametric modeling Coverage of weakly informative priors and boundary-avoiding priors Updated discussion of cross-validation and predictive information criteria Improved convergence monitoring and effective sample size calculations for iterative simulation Presentations of Hamiltonian Monte Carlo, variational Bayes, and expectation propagation New and revised software code The book can be used in three different ways. For undergraduate students, it introduces Bayesian inference starting from first principles. For graduate students, the text presents effective current approaches to Bayesian modeling and computation in statistics and related fields. For researchers, it provides an assortment of Bayesian methods in applied statistics. Additional materials, including data sets used in the examples, solutions to selected exercises, and software instructions, are available on the book’s web page.
Автор: Erika Abraham; Klaus Havelund Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 364254861X ISBN-13(EAN): 9783642548611 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions.
Автор: Kjarulff, Uffe B. Madsen, Anders L. Название: Bayesian networks and influence diagrams: a guide to construction and analysis ISBN: 1461451035 ISBN-13(EAN): 9781461451037 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In a Second Edition offering six new sections, new examples, tables, figures and more, this book shows how to understand, construct, and analyze intelligent systems for decision support based on probabilistic networks. Includes more than 140 examples.
Автор: Giovanni Peccati; Murad Taqqu Название: Wiener Chaos: Moments, Cumulants and Diagrams ISBN: 8847056047 ISBN-13(EAN): 9788847056046 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The concept of Wiener chaos generalizes to an infinite-dimensional setting the properties of orthogonal polynomials associated with probability distributions on the real line.This book is concerned with combinatorial structures arising from the studyof chaotic random variables related to infinitely divisible random measures.
Автор: Akihito Hora Название: The Limit Shape Problem for Ensembles of Young Diagrams ISBN: 4431564853 ISBN-13(EAN): 9784431564850 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book treats ensembles of Young diagrams originating from group-theoretical contexts and investigates what statistical properties are observed there in a large-scale limit. The focus is mainly on analyzing the interesting phenomenon that specific curves appear in the appropriate scaling limit for the profiles of Young diagrams. This problem is regarded as an important origin of recent vital studies on harmonic analysis of huge symmetry structures. As mathematics, an asymptotic theory of representations is developed of the symmetric groups of degree n as n goes to infinity. The framework of rigorous limit theorems (especially the law of large numbers) in probability theory is employed as well as combinatorial analysis of group characters of symmetric groups and applications of Voiculescu's free probability. The central destination here is a clear description of the asymptotic behavior of rescaled profiles of Young diagrams in the Plancherel ensemble from both static and dynamic points of view.
Автор: Bergman, David Название: Decision Diagrams for Optimization ISBN: 3319428470 ISBN-13(EAN): 9783319428475 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over state-of-the-art technology. The authors present chapters on the use of decision diagrams for combinatorial optimization and constraint programming, with attention to general-purpose solution methods as well as problem-specific techniques.The book will be useful for researchers and practitioners in discrete optimization and constraint programming. 'Decision Diagrams for Optimization is one of the most exciting developments emerging from constraint programming in recent years. This book is a compelling summary of existing results in this space and a must-read for optimizers around the world.' [Pascal Van Hentenryck]
Автор: Thompson John Название: Bayesian Analysis with Stata ISBN: 1597181412 ISBN-13(EAN): 9781597181419 Издательство: Taylor&Francis Рейтинг: Цена: 57150.00 T Наличие на складе: Невозможна поставка. Описание:
Bayesian Analysis with Stata is written for anyone interested in applying Bayesian methods to real data easily. The book shows how modern analyses based on Markov chain Monte Carlo (MCMC) methods are implemented in Stata both directly and by passing Stata datasets to OpenBUGS or WinBUGS for computation, allowing Stata's data management and graphing capability to be used with OpenBUGS/WinBUGS speed and reliability.
The book emphasizes practical data analysis from the Bayesian perspective, and hence covers the selection of realistic priors, computational efficiency and speed, the assessment of convergence, the evaluation of models, and the presentation of the results. Every topic is illustrated in detail using real-life examples, mostly drawn from medical research.
The book takes great care in introducing concepts and coding tools incrementally so that there are no steep patches or discontinuities in the learning curve. The book's content helps the user see exactly what computations are done for simple standard models and shows the user how those computations are implemented. Understanding these concepts is important for users because Bayesian analysis lends itself to custom or very complex models, and users must be able to code these themselves.
Автор: Rita Yi Man Li Название: An Economic Analysis on Automated Construction Safety ISBN: 9811057702 ISBN-13(EAN): 9789811057700 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book addresses information technologies recently applied in the field of construction safety.
Автор: Javier Esparza; Rupak Majumdar Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3642120016 ISBN-13(EAN): 9783642120015 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Автор: Axel Legay; Tiziana Margaria Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3662545799 ISBN-13(EAN): 9783662545799 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The two-book set LNCS 10205 ] 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.
Автор: Axel Legay; Tiziana Margaria Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3662545764 ISBN-13(EAN): 9783662545768 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Invited Talk.- Validation, Synthesis and Optimization for Cyber-Physical Systems.- Verification Techniques.- An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP.- Combining String Abstract Domains for JavaScript Analysis: An Evaluation.-Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.- Bounded Quantifier Instantiation for Checking Inductive Invariants.- Proving Termination through Conditional Termination.-Efficient Certified Resolution Proof Checking.- Precise Widening Operators for Proving Termination by Abstract Interpretation.- Automatic Verification of Finite Precision Implementations of Linear Controllers.- Learning.- Learning Symbolic Automata.- ML for ML: Learning Cost Semantics by Experiment.- A Novel Learning Algorithm for B uchi Automata based on Family of DFAs and Classification Trees.- Synthesis.- Hierarchical Network Formation Games.- Synthesis of Recursive ADT Transformers from Reusable Templates.- Counterexample-Guided Model Synthesis.- Interpolation-Based GR(1) Assumptions Refinement.- Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation.- Scaling Enumerative Program Synthesis via Divide and Conquer.- Towards Parallel Boolean Functional Synthesis.- Encodings of Bounded Synthesis.- Tools.- HQSpre - An Effective Preprocessor for QBF and DQBF.- RPP: Automatic Proof of Relational Properties by Self-Composition.- autoCode4: Structural Controller Synthesis.- Automata.- Lazy Automata Techniques for WS1S.- From LTL and limit-deterministic Bьchi automata to deterministic parity automata.- Index appearance record for transforming Rabin automata into parity automata.- Minimization of Visibly Pushdown Automata Using Partial Max-SAT.- Concurrency and Bisimulation.- CSimpl: a Framework for the Verification of Concurrent Programs using Rely-Guarante.- Fair Termination for Parameterized Probabilistic Concurrent Systems.- Forward Bisimulations for Nondeterministic Symbolic Finite Automata.- Up-To Techniques for Weighted Systems.- Hybrid Systems.- Rigorous Simulation-Based Analysis of Linear Hybrid Systems.- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-Linear Hybrid Automata.- Counterexample-guided Refinement of Template Polyhedra.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
