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)