Your search
Topic
Results
20 resources-
Borchert, T. (2019). amzn/milan. Amazon. Retrieved from https://github.com/amzn/milan (Original work published 2019)
-
Murfet, D. (2019). dmurfet/2simplicialtransformer. Retrieved from https://github.com/dmurfet/2simplicialtransformer (Original work published 2019)
-
Baudart, G., Mandel, L., Atkinson, E., Sherman, B., Pouzet, M., & Carbin, M. (2019). Reactive Probabilistic Programming. ArXiv:1908.07563 [Cs]. Retrieved from http://arxiv.org/abs/1908.07563
-
Wilkinson, D. (2019, August 7). Write your own general-purpose monadic probabilistic programming language from scratch in 50 lines of (Scala) code. Retrieved November 27, 2019, from https://darrenjw.wordpress.com/2019/08/07/write-your-own-general-purpose-monadic-probabilistic-programming-language-from-scratch-in-50-lines-of-scala-code/
-
Law, J., & Wilkinson, D. (2019). Functional probabilistic programming for scalable Bayesian modelling. ArXiv:1908.02062 [Stat]. Retrieved from http://arxiv.org/abs/1908.02062
-
Jacobs, B., Kissinger, A., & Zanasi, F. (2019). Causal Inference by String Diagram Surgery. ArXiv:1811.08338 [Cs, Math]. Retrieved from http://arxiv.org/abs/1811.08338
-
Winn, J. M. (2019). Model-Based Machine Learning. Taylor & Francis Incorporated.
-
Wilkinson, D. (2019). A compositional approach to scalable Bayesian computation and probabilistic programming.
-
Elliott, C. (2018). The simple essence of automatic differentiation. ArXiv:1804.00746 [Cs]. Retrieved from http://arxiv.org/abs/1804.00746
-
Ścibior, A., Kammar, O., & Ghahramani, Z. (2018). Functional programming for modular Bayesian inference. Proceedings of the ACM on Programming Languages, 2(ICFP), 1–29. https://doi.org/10/gft39x
-
Murfet, D. (2018). dmurfet/deeplinearlogic. Retrieved from https://github.com/dmurfet/deeplinearlogic (Original work published 2016)
-
Boutillier, P., Maasha, M., Li, X., Medina-Abarca, H. F., Krivine, J., Feret, J., … Fontana, W. (2018). The Kappa platform for rule-based modeling. Bioinformatics, 34(13), i583–i592. https://doi.org/10/gdrhw6
-
Murfet, D. (2018). dmurfet/polysemantics. Retrieved from https://github.com/dmurfet/polysemantics (Original work published 2016)
-
Tran, D., Hoffman, M. D., Saurous, R. A., Brevdo, E., Murphy, K., & Blei, D. M. (2017). Deep Probabilistic Programming. ArXiv:1701.03757 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1701.03757
-
Ścibior, A., Ghahramani, Z., & Gordon, A. D. (2015). Practical Probabilistic Programming with Monads. In Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell (pp. 165–176). New York, NY, USA: ACM. https://doi.org/10/gft39z
-
Hur, C.-K., Nori, A. V., & Rajamani, S. K. (2015). A Provably Correct Sampler for Probabilistic Programs, 21.
-
Goodfellow, I. J., Pouget-Abadie, J., Mirza, M., Xu, B., Warde-Farley, D., Ozair, S., … Bengio, Y. (2014). Generative Adversarial Networks. ArXiv:1406.2661 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1406.2661
-
Fages, F., Calzone, L., & Soliman, S. (2006). BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22(14), 1805–1807. https://doi.org/10/dfv
-
Wilkinson, D. J. (2006). Stochastic Modelling for Systems Biology. CRC Press.
-
Boutillier, P., Feret, J., Krivine, J., & Fontana, W. (n.d.). The Kappa Language and Kappa Tools, 52.
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
- Biology (4)
CATEGORICAL LOGIC
- Linear logic (2)
DIFFERENTIAL CALCULUS
- Differentiation (2)
MACHINE LEARNING
- Machine Learning (7)
MODEL CHECKING AND STATE MACHINES
- Rewriting theory (3)
- Symbolic logic (1)
- Transition systems (5)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Implementation (20)
Topic
- Abstract machines (2)
- Adversarial attacks (1)
- Algebra (1)
- Automatic differentiation (2)
- Bayesian inference (10)
- Bayesianism (1)
- Biology (4)
- Categorical ML (2)
- Categorical probability theory (1)
- Classical ML (2)
- Denotational semantics (1)
- Differentiation (2)
- Implementation
- Linear logic (2)
- Machine learning (6)
- Probabilistic programming (10)
- Programming language theory (5)
- Rewriting theory (3)
- Semantics (3)
- Symbolic logic (1)
- Systems biology (4)
- Transition systems (1)
Resource type
- Blog Post (1)
- Book (2)
- Computer Program (4)
- Conference Paper (1)
- Journal Article (11)
- Presentation (1)
Publication year
- Between 2000 and 2022 (19)
- Unknown (1)