Автор: Yuxin Deng Название: Semantics of Probabilistic Processes ISBN: 3662515989 ISBN-13(EAN): 9783662515983 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics.
Автор: Cooper, George R.; McGillem, Clare D. Название: Probabilistic Methods of Signal and System Analysis ISBN: 0195123549 ISBN-13(EAN): 9780195123548 Издательство: Oxford Academ Рейтинг: Цена: 36430.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Originally published in 1971, this text is intended for signals and systems courses which emphasize probability. It provides an introduction to probability theory, statistics, random processes and the analysis of systems with random inputs. This edition has been updated and uses Matlab.
Автор: Draheim, Dirk Название: Semantics of the probabilistic typed lambda calculus ISBN: 3642551971 ISBN-13(EAN): 9783642551970 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Part I: The Probabilistic Lambda-Calculus and its Semantics.- Introduction.- Syntax and Operational Semantics.- The Working Probabilistic Lambda Calculus.- Properties of the Markov Chain Semantics.- Denotational Semantics.- Semantical Correspondences.- Categorical Treatment.- Probabilism and Non-Determinism.- Part II: Natural Probabilistic Reasoning.- On Natural Two-Tier Semantics for Propositional Logics.- Natural Semantics of Propositions.- Finite Discrete Stochastics Reconsidered.- Lambda-Calculus Definitions.- Markov Chains.- Basic Logic Language and Semantics Definitions.- References.- Index.
Автор: Alla Detinko; Dane Flannery; Eamonn O`Brien Название: Probabilistic Group Theory, Combinatorics, and Computing ISBN: 1447148134 ISBN-13(EAN): 9781447148135 Издательство: Springer Рейтинг: Цена: 4884.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Probabilistic Group Theory, Combinatorics and Computing is based on lecture courses held at the Fifth de Brun Workshop in Galway, Ireland in April 2011.
Автор: Alexander Dudin; Valentina Klimenok; Gennadiy Tsar Название: Modern Probabilistic Methods for Analysis of Telecommunication Networks ISBN: 3642359795 ISBN-13(EAN): 9783642359798 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the International Conference on Modern Probabilistic Methods for Analysis of Telecommunication Networks, Belarusian Winter Workshop in Queueing Theory, BWWQT 2013, held in Minsk, Belarus, in January 2013.
Описание: Cryptography is one of the most active areas in current mathematics research and applications. This book focuses on cryptography along with two related areas: the study of probabilistic proof systems, and the theory of computational pseudorandomness.
Автор: Annabelle McIver; Charles Carroll Morgan Название: Abstraction, Refinement and Proof for Probabilistic Systems ISBN: 1441923128 ISBN-13(EAN): 9781441923127 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Presents results of a large and integrated body of research in the area of `quantitative` program logics.
Автор: Weiru Liu Название: Propositional, Probabilistic and Evidential Reasoning ISBN: 3790824933 ISBN-13(EAN): 9783790824933 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This facilitates purely symbolic reasoning using the possible worlds and numeric reasoning via the probabilities of those possible worlds. The consequence is a unified mechanism which includes both symbolic and numeric mechanisms as special cases.
Описание: This text focuses on three related areas in the theory of computation. The areas are modern cryptography, the study of probabilistic proof systems, and the theory of computational pseudorandomness. The common theme is the interplay between randomness and computation.
Описание: This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions.
Автор: Pierre-Yves Louis; Francesca R. Nardi Название: Probabilistic Cellular Automata ISBN: 3319655566 ISBN-13(EAN): 9783319655567 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores Probabilistic Cellular Automata (PCA) from the perspectives of statistical mechanics, probability theory, computational biology and computer science. PCA are extensions of the well-known Cellular Automata models of complex systems, characterized by random updating rules. Thanks to their probabilistic component, PCA offer flexible computing tools for complex numerical constructions, and realistic simulation tools for phenomena driven by interactions among a large number of neighboring structures. PCA are currently being used in various fields, ranging from pure probability to the social sciences and including a wealth of scientific and technological applications. This situation has produced a highly diversified pool of theoreticians, developers and practitioners whose interaction is highly desirable but can be hampered by differences in jargon and focus. This book – just as the workshop on which it is based – is an attempt to overcome these difference and foster interest among newcomers and interaction between practitioners from different fields. It is not intended as a treatise, but rather as a gentle introduction to the role and relevance of PCA technology, illustrated with a number of applications in probability, statistical mechanics, computer science, the natural sciences and dynamical systems. As such, it will be of interest to students and non-specialists looking to enter the field and to explore its challenges and open issues.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
