Ebooks de Dirk Draheim en PDF

3 Livre(s)
Télécharger le livre : Generalized Jeffrey Conditionalization
Ajouter à ma liste d'envies
Generalized Jeffrey Conditionalization
Dirk Draheim
This book provides a frequentist semantics for conditionalization on partially known events, which is given as a straightforward generalization of classical conditional probability via so-called probability testbeds. It analyzes the resulting partial conditionalization,...

Editeur : Springer
Parution : 2017-11-06
Collection : SpringerBriefs in Computer Science
PDF

52,74 €
Télécharger le livre : Semantics of the Probabilistic Typed Lambda Calculus
Ajouter à ma liste d'envies
Semantics of the Probabilistic Typed Lambda Calculus
Dirk Draheim
This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed lambda calculus with recursion plus probabilistic choice.The book...

Editeur : Springer
Parution : 2017-02-28

PDF

116,04 €
Télécharger le livre : Form-Oriented Analysis
Ajouter à ma liste d'envies
Form-Oriented Analysis
Dirk Draheim , Gerald Weber
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic modeling techniques in a novel way to achieve a modeling framework optimized for this broad application domain. They...

Editeur : Springer
Parution : 2005-10-14

PDF

94,94 €