Описание: 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.
Автор: Akihito Hora Название: The Limit Shape Problem for Ensembles of Young Diagrams ISBN: 4431564853 ISBN-13(EAN): 9784431564850 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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]
Автор: Gelman Название: Bayesian Data Analysis, Third Edition ISBN: 1439840954 ISBN-13(EAN): 9781439840955 Издательство: Taylor&Francis Рейтинг: Цена: 11088.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Joost-Pieter Katoen; Perdita Stevens Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3540434194 ISBN-13(EAN): 9783540434191 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held in France in 2002. The 29 full papers cover real-time and probabilistic systems, scheduling, software verification, infinite-state systems and more.
Описание: 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 Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Erika Abraham; Klaus Havelund Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 364254861X ISBN-13(EAN): 9783642548611 Издательство: Springer Рейтинг: Цена: 11180.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Rita Yi Man Li Название: An Economic Analysis on Automated Construction Safety ISBN: 9811057702 ISBN-13(EAN): 9789811057700 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
