咨询与建议

限定检索结果

文献类型

  • 184 篇 期刊文献
  • 135 篇 会议
  • 4 篇 学位论文
  • 1 篇 资讯

馆藏范围

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

日期分布

学科分类号

  • 267 篇 工学
    • 171 篇 计算机科学与技术...
    • 143 篇 软件工程
    • 23 篇 控制科学与工程
    • 10 篇 电气工程
    • 5 篇 安全科学与工程
    • 4 篇 机械工程
    • 4 篇 石油与天然气工程
    • 4 篇 交通运输工程
    • 4 篇 环境科学与工程(可...
    • 4 篇 生物医学工程(可授...
    • 3 篇 动力工程及工程热...
    • 3 篇 水利工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 电子科学与技术(可...
    • 2 篇 信息与通信工程
    • 2 篇 建筑学
  • 79 篇 理学
    • 59 篇 数学
    • 10 篇 生物学
    • 7 篇 统计学(可授理学、...
    • 6 篇 物理学
    • 2 篇 生态学
  • 43 篇 管理学
    • 34 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 3 篇 公共管理
    • 3 篇 图书情报与档案管...
  • 9 篇 医学
    • 7 篇 基础医学(可授医学...
  • 7 篇 教育学
    • 5 篇 心理学(可授教育学...
    • 3 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
    • 2 篇 理论经济学
  • 3 篇 农学
  • 1 篇 法学
  • 1 篇 艺术学

主题

  • 324 篇 probabilistic pr...
  • 35 篇 bayesian inferen...
  • 23 篇 machine learning
  • 13 篇 static analysis
  • 13 篇 markov chain mon...
  • 12 篇 semantics
  • 9 篇 denotational sem...
  • 9 篇 functional progr...
  • 8 篇 variational infe...
  • 7 篇 uncertainty quan...
  • 7 篇 deep learning
  • 7 篇 operational sema...
  • 7 篇 logic programmin...
  • 7 篇 sequential monte...
  • 7 篇 symbolic executi...
  • 6 篇 reliability
  • 6 篇 bayesian statist...
  • 6 篇 probabilistic in...
  • 5 篇 differentiable p...
  • 5 篇 type systems

机构

  • 11 篇 univ oxford oxfo...
  • 10 篇 mit cambridge ma...
  • 7 篇 univ edinburgh e...
  • 6 篇 uppsala univ upp...
  • 6 篇 microsoft res re...
  • 6 篇 imdea software i...
  • 6 篇 carnegie mellon ...
  • 5 篇 univ edinburgh e...
  • 5 篇 rhein westfal th...
  • 5 篇 stanford univ st...
  • 5 篇 microsoft res ca...
  • 4 篇 katholieke univ ...
  • 4 篇 ucl england
  • 4 篇 swiss fed inst t...
  • 4 篇 imperial coll lo...
  • 4 篇 mit 77 massachus...
  • 4 篇 univ calif berke...
  • 3 篇 katholieke univ ...
  • 3 篇 univ wisconsin m...
  • 3 篇 cornell univ ith...

作者

  • 11 篇 gordon andrew d.
  • 9 篇 mansinghka vikas...
  • 8 篇 borgstrom johann...
  • 7 篇 katoen joost-pie...
  • 7 篇 barthe gilles
  • 6 篇 misailovic sasa
  • 6 篇 de raedt luc
  • 6 篇 staton sam
  • 5 篇 mckinley kathryn...
  • 5 篇 mandel louis
  • 5 篇 baudart guillaum...
  • 5 篇 lew alexander k.
  • 5 篇 hoffmann jan
  • 5 篇 carbin michael
  • 5 篇 russo claudio
  • 5 篇 broman david
  • 5 篇 hsu justin
  • 4 篇 dutta saikat
  • 4 篇 tolpin david
  • 4 篇 gelman andrew

语言

  • 309 篇 英文
  • 14 篇 其他
  • 1 篇 德文
检索条件"主题词=Probabilistic Programming"
324 条 记 录,以下是141-150 订阅
排序:
Automated quantized inference for probabilistic programs with AQUA
收藏 引用
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING 2022年 第3期18卷 369-384页
作者: Huang, Zixin Dutta, Saikat Misailovic, Sasa Univ Illinois Dept Comp Sci 201 North Goodwin Ave Urbana IL 61801 USA
We present AQUA, a new probabilistic inference algorithm that operates on probabilistic programs with continuous posterior distributions. AQUA approximates programs via an efficient quantization of the continuous dist... 详细信息
来源: 评论
3D Environment Modeling for Falsification and Beyond with Scenic 3.0  1
收藏 引用
35th International Conference on Computer-Aided Verification (CAV)
作者: Vin, Eric Kashiwa, Shun Rhea, Matthew Fremont, Daniel J. Kim, Edward Dreossi, Tommaso Ghosh, Shromona Yue, Xiangyu Sangiovanni-Vincentelli, Alberto L. Seshia, Sanjit A. Univ Calif Santa Cruz Santa Cruz CA 95064 USA Univ Calif Berkeley Berkeley CA 94720 USA SentinelOne Mountain View CA USA Insitro San Francisco CA USA Waymo LLC Mountain View CA USA Chinese Univ Hong Kong Hong Kong Peoples R China
We present a major new version of Scenic, a probabilistic programming language for writing formal models of the environments of cyber-physical systems. Scenic has been successfully used for the design and analysis of ... 详细信息
来源: 评论
Compiling Discrete probabilistic Programs for Vectorized Exact Inference  2023
Compiling Discrete Probabilistic Programs for Vectorized Exa...
收藏 引用
32nd ACM SIGPLAN International Conference on Compiler Construction (CC)
作者: Pan, Jingwen Shaikhha, Amir Univ Edinburgh Edinburgh Midlothian Scotland
probabilistic programming languages (PPLs) are essential for reasoning under uncertainty. Even though many real-world probabilistic programs involve discrete distributions, the state-of-the-art PPLs are suboptimal for... 详细信息
来源: 评论
A Higher-Order Language for Markov Kernels and Linear Operators  1
收藏 引用
26th International Conference on Foundations of Software Science and Computational Structures (FOSSACS)
作者: de Amorim, Pedro H. Azevedo Cornell Univ Ithaca NY 14850 USA
Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov ke... 详细信息
来源: 评论
Automatic Local Inverse Calculation for Change of Variables  39
Automatic Local Inverse Calculation for Change of Variables
收藏 引用
39th International Conference on Systems programming Languages and Applications
作者: Collins, Elias Rojas MIT Cambridge MA 02139 USA
Inversion is a fundamental operation that arises frequently in probabilistic inference and computer graphics. For example, inversion is used to decrease variance and to enable differentiation in variational inference ... 详细信息
来源: 评论
Generative Datalog with Stable Negation  23
Generative Datalog with Stable Negation
收藏 引用
42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS)
作者: Alviano, Mario Lanzinger, Matthias Morak, Michael Pieris, Andreas Univ Calabria Commenda Di Rende Italy Univ Oxford Oxford England Univ Klagenfurt Klagenfurt Austria Univ Edinburgh Edinburgh Midlothian Scotland Univ Cyprus Nicosia Cyprus
Extending programming languages with stochastic behaviour such as probabilistic choices or random sampling has a long tradition in computer science. A recent development in this direction is a declarative probabilisti... 详细信息
来源: 评论
The Joy of probabilistic Answer Set programming  11
The Joy of Probabilistic Answer Set Programming
收藏 引用
11th International Symposium on Imprecise Probabilities - Theories and Applications (ISIPTA)
作者: Cozman, Fabio Gagliardi Univ Sao Paulo Escola Politecn Sao Paulo Brazil
probabilistic answer set programming (PASP) combines rules, facts, and independent probabilistic facts. Often one restricts such programs so that every query yields a sharp probability value. The purpose of this paper... 详细信息
来源: 评论
Semantics for Variational Quantum programming
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2022年 第POPL期6卷 1–31页
作者: Jia, Xiaodong Kornell, Andre Lindenhovius, Bert Mislove, Michael Zamdzhiev, Vladimir Hunan Univ Sch Math Changsha 410082 Peoples R China Tulane Univ Dept Comp Sci New Orleans LA 70118 USA Johannes Kepler Univ Linz Inst Math Methods Med & Database Modelling Linz Austria Univ Lorraine INRIA LORIA F-54000 Nancy France
We consider a programming language that can manipulate both classical and quantum information. Our language is type-safe and designed for variational quantum programming, which is a hybrid classical-quantum computatio... 详细信息
来源: 评论
Rule-based Bayesian regression
收藏 引用
STATISTICS AND COMPUTING 2022年 第3期32卷 1-17页
作者: Botsas, Themistoklis Mason, Lachlan R. Pan, Indranil Alan Turing Inst London England Imperial Coll London London England
We introduce a novel rule-based approach for handling regression problems. The new methodology carries elements from two frameworks: (i) it provides information about the uncertainty of the parameters of interest usin... 详细信息
来源: 评论
Modular probabilistic Models via Algebraic Effects
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2022年 第ICFP期6卷 381–410页
作者: Nguyen, Minh Perera, Roly Wang, Meng Wu, Nicolas Univ Bristol Bristol Avon England Alan Turing Inst London England Imperial Coll London London England
probabilistic programming languages (PPLs) allow programmers to construct statistical models and then simulate data or perform inference over them. Many PPLs restrict models to a particular instance of simulation or i... 详细信息
来源: 评论