Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Claudio V. Russo"'
Transposing G to C♯: Expressivity of generalized algebraic data types in an object-oriented language
Autor:
Claudio V. Russo, Andrew Kennedy
Publikováno v:
Theoretical Computer Science. 741:3-18
Generalized algebraic datatypes (GADTs) are a hot topic in the functional programming community. Previously we showed that object-oriented languages such as C ♯ and Java can express GADT declarations using Generics, but only some GADT programs. The
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642367410
TACAS
Bhat, S, Borgström, J, Gordon, A & Russo, C 2017, ' Deriving Probability Density Functions from Probabilistic Functional Programs ', Logical Methods in Computer Science, vol. 13, no. 2, 6, pp. 1-32 . https://doi.org/10.23638/LMCS-13(2:16)2017
TACAS
Bhat, S, Borgström, J, Gordon, A & Russo, C 2017, ' Deriving Probability Density Functions from Probabilistic Functional Programs ', Logical Methods in Computer Science, vol. 13, no. 2, 6, pp. 1-32 . https://doi.org/10.23638/LMCS-13(2:16)2017
The probability density function of a probability distribution is a fundamental concept in probability theory and a key ingredient in various widely used machine learning methods. However, the necessary framework for compiling probabilistic functiona
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0f59b6c85c5c41d2cd60c9b0f32473b
https://doi.org/10.23638/lmcs-13(2:16)2017
https://doi.org/10.23638/lmcs-13(2:16)2017
Autor:
Maurizio Sajeva, Valentina Vaglica, Dylan Hutchison, Hn Mcgough, Wolfgang Stuppy, Av Ramarosandratana, Mj Smith, Andrew D. Gordon, Claudio V. Russo
Publikováno v:
Endangered Species Research, Vol 32, Pp 223-235 (2017)
Vaglica, V, Sajeva, M, Mcgough, H, Hutchison, D, Russo, C, Gordon, A, Ramarosandratana, A, Stuppy, W & Smith, M 2017, ' Monitoring internet trade to inform species conservation actions ', Endangered Species Research, vol. 32, pp. 223-235 . https://doi.org/10.3354/esr00803
Vaglica, V, Sajeva, M, Mcgough, H, Hutchison, D, Russo, C, Gordon, A, Ramarosandratana, A, Stuppy, W & Smith, M 2017, ' Monitoring internet trade to inform species conservation actions ', Endangered Species Research, vol. 32, pp. 223-235 . https://doi.org/10.3354/esr00803
Specimens, parts and products of threatened species are now commonly traded on the internet. This could threaten the survival of some wild populations if inadequately regulated. We outline two methods to monitor internet sales of threatened species i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0ce3847e90ded6f9cf2b983df7cb418
http://hdl.handle.net/10447/223224
http://hdl.handle.net/10447/223224
Autor:
Claudio V. Russo
Publikováno v:
ICFP
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by Standard ML's Core language. "Programming in the large" is captured by Standard ML'
Autor:
Aaron J. Turon, Claudio V. Russo
Publikováno v:
ACM SIGPLAN Notices. 46:575-594
Coordination can destroy scalability in parallel programming. A comprehensive library of scalable synchronization primitives is therefore an essential tool for exploiting parallelism. Unfortunately, such primitives do not easily combine to yield solu
Autor:
Marcin Szymczak, Nicolas Rolland, Daniel Tarlow, Andrew D. Gordon, Thore Graepel, Claudio V. Russo, Johannes Borgström
Publikováno v:
Programming Languages and Systems ISBN: 9783662466681
ESOP
Gordon, A D, Russo, C V, Szymczak, M, Borgström, J, Rolland, N, Graepel, T & Tarlow, D 2015, Probabilistic Programs as Spreadsheet Queries . in Programming Languages and Systems : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings . vol. 9032, Springer Berlin Heidelberg, pp. 1-25 . https://doi.org/10.1007/978-3-662-46669-8_1
ESOP
Gordon, A D, Russo, C V, Szymczak, M, Borgström, J, Rolland, N, Graepel, T & Tarlow, D 2015, Probabilistic Programs as Spreadsheet Queries . in Programming Languages and Systems : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings . vol. 9032, Springer Berlin Heidelberg, pp. 1-25 . https://doi.org/10.1007/978-3-662-46669-8_1
We describe the design, semantics, and implementation of a probabilistic programming language where programs are spreadsheet queries. Given an input database consisting of tables held in a spreadsheet, a query constructs a probabilistic model conditi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c888a42e2d6cd32c10ce6dc87a6b782
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-252447
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-252447
Autor:
Claudio V. Russo, Andrew Kennedy
Publikováno v:
OOPSLA
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatypes (PADTs) of ML and Haskell by permitting value constructors to return
Autor:
John Guiver, Johannes Borgström, Claudio V. Russo, Nicolas Rolland, Andrew D. Gordon, Thore Graepel
Publikováno v:
Gordon, A D, Graepel, T, Rolland, N, Russo, C, Borgstrom, J & Guiver, J 2014, Tabular: A Schema-driven Probabilistic Programming Language . in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages . ACM SIGPLAN Notices, no. 1, vol. 49, New York, NY, USA, pp. 321-334, 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, United States, 22/01/14 . https://doi.org/10.1145/2535838.2535850
POPL
POPL
We propose a new kind of probabilistic programming language for machine learning. We write programs simply by annotating existing relational schemas with probabilistic model expressions. We describe a detailed design of our language, Tabular, complet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c4dc5174c6ca0f115462bef1db20492
https://hdl.handle.net/20.500.11820/87e1abf3-80e1-417c-8d1b-d2cb4e4d2b1c
https://hdl.handle.net/20.500.11820/87e1abf3-80e1-417c-8d1b-d2cb4e4d2b1c
Autor:
Aditya V. Nori, Mihhail Aizatulin, Guillaume Claret, Claudio V. Russo, Sriram K. Rajamani, Andrew D. Gordon, Thore Graepel, Johannes Borgström
Publikováno v:
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
A Bayesian model is based on a pair of probability distributions, known as the prior and sampling distributions. A wide range of fundamental machine learning tasks, including regression, classification, clustering, and many others, can all be seen as