Zobrazeno 1 - 10
of 67
pro vyhledávání: '"Atkinson, Eric A."'
Advanced probabilistic programming languages (PPLs) use hybrid inference systems to combine symbolic exact inference and Monte Carlo methods to improve inference performance. These systems use heuristics to partition random variables within the progr
Externí odkaz:
http://arxiv.org/abs/2408.11283
In this extended abstract, we discuss the opportunity to formally verify that inference systems for probabilistic programming guarantee good performance. In particular, we focus on hybrid inference systems that combine exact and approximate inference
Externí odkaz:
http://arxiv.org/abs/2307.07355
Efficient inference is often possible in a streaming context using Rao-Blackwellized particle filters (RBPFs), which exactly solve inference problems when possible and fall back on sampling approximations when necessary. While RBPFs can be implemente
Externí odkaz:
http://arxiv.org/abs/2209.07490
Publikováno v:
Proc. ACM Program. Lang. 5, OOPSLA, Article 115 (October 2021)
Probabilistic programming languages aid developers performing Bayesian inference. These languages provide programming constructs and tools for probabilistic modeling and automated inference. Prior work introduced a probabilistic programming language,
Externí odkaz:
http://arxiv.org/abs/2109.12473
Autor:
Atkinson, Eric, Carbin, Michael
Publikováno v:
Proc. ACM Program. Lang. 4, OOPSLA, Article 200 (November 2020), 28 pages
Computer programs are increasingly being deployed in partially-observable environments. A partially observable environment is an environment whose state is not completely visible to the program, but from which the program receives partial observation
Externí odkaz:
http://arxiv.org/abs/2101.04742
Publikováno v:
Proc. ACM Program. Lang. 5, POPL, Article 20 (2021)
A Reduction -- an accumulation over a set of values, using an associative and commutative operator -- is a common computation in many numerical computations, including scientific computations, machine learning, computer vision, and financial analytic
Externí odkaz:
http://arxiv.org/abs/2007.11203
Autor:
Baudart, Guillaume, Mandel, Louis, Atkinson, Eric, Sherman, Benjamin, Pouzet, Marc, Carbin, Michael
Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or Scade used routinely for implementing safety critical control software, e.g., fly-by-wire and engine control in planes. However, to date these languages have had l
Externí odkaz:
http://arxiv.org/abs/1908.07563
Researchers have recently proposed several systems that ease the process of performing Bayesian probabilistic inference. These include systems for automatic inference algorithm synthesis as well as stronger abstractions for manual algorithm developme
Externí odkaz:
http://arxiv.org/abs/1805.01863
Autor:
Kasper, Mary, Ellenbogen, Bret, Hardy, Ryan, Cydis, Madison, Mojica-Santiago, Jorge, Afridi, Abdullah, Spearman, Benjamin S., Singh, Ishita, Kuliasha, Cary A., Atkinson, Eric, Otto, Kevin J., Judy, Jack W., Rinaldi-Ramos, Carlos, Schmidt, Christine E.
Publikováno v:
In Biomaterials December 2021 279
Autor:
Atkinson, Eric Hamilton
Computer systems are increasingly deployed in partially-observable environments, in which the system cannot directly determine the environment’s state but receives partial information from observations. When such a computer system executes, it risk