Linking Theories in Probabilistic Programming

Linking Theories in Probabilistic Programming

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	He, J, Hoare, C
Ձևաչափ:	Journal article
Հրապարակվել է:	1999

Նմանատիպ նյութեր

Linking Theories of Concurrency
‌: He, J, և այլն
Հրապարակվել է: (2005)

Unifying theories of programming
‌: He, J, և այլն
Հրապարակվել է: (1998)

Linking Theories in Computing Science
‌: Hoare, C
Հրապարակվել է: (2015)

Unifying Theories for Parallel Programming
‌: Hoare, C, և այլն
Հրապարակվել է: (1997)

Unified Theories of Programming
‌: Hoare, C
Հրապարակվել է: (2015)

A domain theory for statistical probabilistic programming
‌: Vákár, M, և այլն
Հրապարակվել է: (2019)

Towards a Theory of Parallel Programming
‌: Hoare, C
Հրապարակվել է: (1972)

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs
‌: Hoare, C
Հրապարակվել է: (1978)

Assertions in Programming: From Scientific Theory to Engineering Practice
‌: Hoare, C
Հրապարակվել է: (2002)

Assertions in Programming: From Scientific Theory to Engineering Practice
‌: Hoare, C
Հրապարակվել է: (2002)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
‌: Hoare, C
Հրապարակվել է: (2015)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
‌: Hoare, C
Հրապարակվել է: (1999)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
‌: Hoare, C
Հրապարակվել է: (1999)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
‌: Hoare, C
Հրապարակվել է: (1999)

Probabilistic data analysis with probabilistic programming
‌: Saad, Feras Ahmad Khaled
Հրապարակվել է: (2018)

Probabilistic programming /
‌: 314398 Vadja, Stefan
Հրապարակվել է: (1972)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
‌: Hoare, C, և այլն
Հրապարակվել է: (1974)

Probabilistic number theory /
‌: 414076 Elliott, P. D. T. A.
Հրապարակվել է: (1979)

Categorical Probabilistic Theories
‌: Stefano Gogioso, և այլն
Հրապարակվել է: (2018-02-01)

Probabilistic Searching in Sorted Linked Lists
‌: Leighton, Frank Thomson, և այլն
Հրապարակվել է: (2023)

Probabilistic theories and reconstructions of quantum theory
‌: Markus P. Müller
Հրապարակվել է: (2021-03-01)

On automated verification of probabilistic programs
‌: Legay, A, և այլն
Հրապարակվել է: (2008)

Reactive probabilistic programming
‌: Atkinson, Eric Hamilton, և այլն
Հրապարակվել է: (2021)

Applications of probabilistic programming
‌: Perov, Y
Հրապարակվել է: (2015)

Probabilistic Logic Programming
‌: Lukasiewicz, T
Հրապարակվել է: (1998)

Nesting probabilistic programs
‌: Rainforth, T
Հրապարակվել է: (2018)

Probabilistically Accurate Program Transformations
‌: Misailovic, Sasa, և այլն
Հրապարակվել է: (2012)

Linking theory and practice in ELT program
‌: Ufuk Ataş, և այլն
Հրապարակվել է: (2021-09-01)

Probabilistic Programming with Stochastic Probabilities
‌: Lew, Alexander K., և այլն
Հրապարակվել է: (2023)

Linking Z and CSP
‌: Hoare, C
Հրապարակվել է: (2015)

Bayesian Optimization for Probabilistic Programs
‌: Rainforth, T, և այլն
Հրապարակվել է: (2016)

Unifying theories of healthiness condition
‌: He, J, և այլն
Հրապարակվել է: (2000)

Entanglement and thermodynamics in general probabilistic theories
‌: Chiribella, G, և այլն
Հրապարակվել է: (2015)

Categorical Semantics for Programming Languages
‌: He, J, և այլն
Հրապարակվել է: (1989)

Topics in probabilistic number theory
‌: Kovaleva, V
Հրապարակվել է: (2022)

Probabilistic theory of ship dynamics/
‌: 310724 Price, W. G., և այլն
Հրապարակվել է: (1974)

Probabilistic treatment of gauge theories /
‌: 290446 Quznetsov, G.
Հրապարակվել է: (2007)

A probabilistic theory of causality/
‌: 464043 Suppes, Patrick
Հրապարակվել է: (1970)

Probabilistic theory of structural dynamics /
‌: 245515 Lin, Yu-Kweng Michael
Հրապարակվել է: (1967)

Probabilistic methods in the theory of structures
‌: 245055 Elishakoff, Isaac
Հրապարակվել է: (1983)