咨询与建议

限定检索结果

文献类型

  • 8 篇 会议
  • 7 篇 期刊文献

馆藏范围

  • 15 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 12 篇 工学
    • 8 篇 计算机科学与技术...
    • 5 篇 软件工程
    • 2 篇 电气工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 信息与通信工程
  • 4 篇 理学
    • 4 篇 数学

主题

  • 15 篇 probabilistic pr...
  • 3 篇 computable proba...
  • 2 篇 denotational sem...
  • 2 篇 mutation
  • 2 篇 planning
  • 2 篇 error detection
  • 2 篇 exchangeability
  • 2 篇 sequential monte...
  • 2 篇 software testing
  • 2 篇 slam
  • 2 篇 calibration
  • 2 篇 robotics
  • 1 篇 uncertainty quan...
  • 1 篇 variational infe...
  • 1 篇 genetic programm...
  • 1 篇 compilers
  • 1 篇 linear logic
  • 1 篇 probabilistic mo...
  • 1 篇 randomized domai...
  • 1 篇 ppl gene

机构

  • 3 篇 mit comp sci & a...
  • 2 篇 univ illinois il...
  • 2 篇 mit dept math ca...
  • 1 篇 idsia ch-6900 lu...
  • 1 篇 kth royal inst t...
  • 1 篇 harvard univ dep...
  • 1 篇 univ buffalo dep...
  • 1 篇 google deepmind ...
  • 1 篇 mit-ibm watson a...
  • 1 篇 swedish museum n...
  • 1 篇 pumas-ai inc. us...
  • 1 篇 ai sweden stockh...
  • 1 篇 katholieke univ ...
  • 1 篇 research and adv...
  • 1 篇 university of ca...
  • 1 篇 univ hawaii mano...
  • 1 篇 the alan turing ...
  • 1 篇 university of tü...
  • 1 篇 it univ copenhag...
  • 1 篇 bi norwegian bus...

作者

  • 3 篇 roy daniel m.
  • 2 篇 dutta saikat
  • 2 篇 misailovic sasa
  • 2 篇 huang zixin
  • 2 篇 freer cameron e.
  • 1 篇 penelope yong
  • 1 篇 martin trapp
  • 1 篇 kudlicka jan
  • 1 篇 seth d. axen
  • 1 篇 ronquist fredrik
  • 1 篇 senderov viktor
  • 1 篇 zhang wenxian
  • 1 篇 tor erlend fjeld...
  • 1 篇 xianda sun
  • 1 篇 de raedt luc
  • 1 篇 will tebbutt
  • 1 篇 napp nils
  • 1 篇 gaboardi marco
  • 1 篇 stassen philipp
  • 1 篇 gian pietro fari...

语言

  • 15 篇 英文
检索条件"主题词=Probabilistic Programming Languages"
15 条 记 录,以下是11-20 订阅
排序:
Testing probabilistic programming Systems  2018
Testing Probabilistic Programming Systems
收藏 引用
26th ACM Joint Meeting on European Software Engineering Conference (ESEC) / Symposium on the Foundations of Software Engineering (FSE)
作者: Dutta, Saikat Legunsen, Owolabi Huang, Zixin Misailovic, Sasa Univ Illinois Chicago IL 60680 USA
probabilistic programming systems (PP systems) allow developers to model stochastic phenomena and perform efficient inference on the models. The number and adoption of probabilistic programming systems is growing sign... 详细信息
来源: 评论
Cones as a model of intuitionistic linear logic  20
Cones as a model of intuitionistic linear logic
收藏 引用
35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
作者: Ehrhard, Thomas Univ Paris CNRS IRIF F-75013 Paris France
For overcoming the limitations of probabilistic coherence spaces which do not seem to provide natural interpretations of continuous data types such as the real line, we introduced with Pagani and Tasson a model of pro... 详细信息
来源: 评论
Storm: Program Reduction for Testing and Debugging probabilistic programming Systems  2019
Storm: Program Reduction for Testing and Debugging Probabili...
收藏 引用
27th ACM Joint Meeting on European Software Engineering Conference (ESEC) / Symposium on the Foundations of Software Engineering (FSE)
作者: Dutta, Saikat Zhang, Wenxian Huang, Zixin Misailovic, Sasa Univ Illinois Chicago IL 60680 USA
probabilistic programming languages offer an intuitive way to model uncertainty by representing complex probability models as simple probabilistic programs. probabilistic programming systems (PP systems) hide the comp... 详细信息
来源: 评论
Noncomputable conditional distributions
Noncomputable conditional distributions
收藏 引用
26th Annual IEEE Symposium on Logic in Computer Science (LICS)
作者: Ackerman, Nathanael L. Freer, Cameron E. Roy, Daniel M. Harvard Univ Dept Math One Oxford St Cambridge MA 02138 USA Univ Hawaii Manoa Dept Math Honolulu HI 96815 USA MIT Comp Sci & Artificial Intelligence Lab Cambridge MA 02139 USA
We study the computability of conditional probability, a fundamental notion in probability theory and Bayesian statistics. In the elementary discrete setting, a ratio of probabilities defines conditional probability. ... 详细信息
来源: 评论
***: a general-purpose probabilistic programming language
收藏 引用
ACM Transactions on probabilistic Machine Learning 1000年
作者: Tor Erlend Fjelde Kai Xu David Widmann Mohamed Tarek Cameron Pfiffer Martin Trapp Seth D. Axen Xianda Sun Markus Hauru Penelope Yong Will Tebbutt Zoubin Ghahramani Hong Ge University of Cambridge United Kingdom MIT-IBM Watson AI Lab USA Pumas-AI Inc. USA Pumas-AI Inc. USA and Business School University of Sydney Australia Stanford University USA Aalto University Finland University of Tübingen Germany The Alan Turing Institute United Kingdom Google DeepMind and University of Cambridge United Kingdom
probabilistic programming languages (PPLs) are becoming increasingly important in many scientific disciplines, such as economics, epidemiology, and biology, to extract meaning from sources of data while accounting for... 详细信息
来源: 评论