Linking Theories in Probabilistic Programming

Linking Theories in Probabilistic Programming

Detaylı Bibliyografya
Asıl Yazarlar:	He, J, Hoare, C
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	1999

Benzer Materyaller

Linking Theories of Concurrency
Yazar:: He, J, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Unifying theories of programming
Yazar:: He, J, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Linking Theories in Computing Science
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

Unifying Theories for Parallel Programming
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (1997)

Unified Theories of Programming
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

A domain theory for statistical probabilistic programming
Yazar:: Vákár, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Towards a Theory of Parallel Programming
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1972)

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1978)

Assertions in Programming: From Scientific Theory to Engineering Practice
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2002)

Assertions in Programming: From Scientific Theory to Engineering Practice
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2002)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1999)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1999)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1999)

Probabilistic data analysis with probabilistic programming
Yazar:: Saad, Feras Ahmad Khaled
Baskı/Yayın Bilgisi: (2018)

Probabilistic programming /
Yazar:: 314398 Vadja, Stefan
Baskı/Yayın Bilgisi: (1972)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (1974)

Probabilistic number theory /
Yazar:: 414076 Elliott, P. D. T. A.
Baskı/Yayın Bilgisi: (1979)

Categorical Probabilistic Theories
Yazar:: Stefano Gogioso, ve diğerleri
Baskı/Yayın Bilgisi: (2018-02-01)

Probabilistic Searching in Sorted Linked Lists
Yazar:: Leighton, Frank Thomson, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Probabilistic theories and reconstructions of quantum theory
Yazar:: Markus P. Müller
Baskı/Yayın Bilgisi: (2021-03-01)

On automated verification of probabilistic programs
Yazar:: Legay, A, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Reactive probabilistic programming
Yazar:: Atkinson, Eric Hamilton, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Applications of probabilistic programming
Yazar:: Perov, Y
Baskı/Yayın Bilgisi: (2015)

Probabilistic Logic Programming
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (1998)

Nesting probabilistic programs
Yazar:: Rainforth, T
Baskı/Yayın Bilgisi: (2018)

Probabilistically Accurate Program Transformations
Yazar:: Misailovic, Sasa, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Linking theory and practice in ELT program
Yazar:: Ufuk Ataş, ve diğerleri
Baskı/Yayın Bilgisi: (2021-09-01)

Probabilistic Programming with Stochastic Probabilities
Yazar:: Lew, Alexander K., ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Linking Z and CSP
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

Bayesian Optimization for Probabilistic Programs
Yazar:: Rainforth, T, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Unifying theories of healthiness condition
Yazar:: He, J, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Entanglement and thermodynamics in general probabilistic theories
Yazar:: Chiribella, G, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Categorical Semantics for Programming Languages
Yazar:: He, J, ve diğerleri
Baskı/Yayın Bilgisi: (1989)

Topics in probabilistic number theory
Yazar:: Kovaleva, V
Baskı/Yayın Bilgisi: (2022)

Probabilistic theory of ship dynamics/
Yazar:: 310724 Price, W. G., ve diğerleri
Baskı/Yayın Bilgisi: (1974)

Probabilistic treatment of gauge theories /
Yazar:: 290446 Quznetsov, G.
Baskı/Yayın Bilgisi: (2007)

A probabilistic theory of causality/
Yazar:: 464043 Suppes, Patrick
Baskı/Yayın Bilgisi: (1970)

Probabilistic theory of structural dynamics /
Yazar:: 245515 Lin, Yu-Kweng Michael
Baskı/Yayın Bilgisi: (1967)

Probabilistic methods in the theory of structures
Yazar:: 245055 Elishakoff, Isaac
Baskı/Yayın Bilgisi: (1983)