咨询与建议

限定检索结果

文献类型

  • 180 篇 期刊文献
  • 133 篇 会议
  • 6 篇 学位论文
  • 1 篇 资讯

馆藏范围

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

日期分布

学科分类号

  • 261 篇 工学
    • 166 篇 计算机科学与技术...
    • 137 篇 软件工程
    • 19 篇 控制科学与工程
    • 10 篇 电气工程
    • 4 篇 机械工程
    • 4 篇 石油与天然气工程
    • 4 篇 环境科学与工程(可...
    • 4 篇 生物医学工程(可授...
    • 3 篇 动力工程及工程热...
    • 3 篇 水利工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 电子科学与技术(可...
    • 2 篇 建筑学
    • 2 篇 化学工程与技术
    • 2 篇 安全科学与工程
  • 79 篇 理学
    • 59 篇 数学
    • 10 篇 生物学
    • 7 篇 统计学(可授理学、...
    • 6 篇 物理学
    • 2 篇 生态学
  • 39 篇 管理学
    • 31 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 3 篇 公共管理
  • 9 篇 医学
    • 7 篇 基础医学(可授医学...
    • 2 篇 临床医学
    • 2 篇 公共卫生与预防医...
  • 7 篇 教育学
    • 5 篇 心理学(可授教育学...
    • 3 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
    • 2 篇 理论经济学
  • 3 篇 农学
  • 1 篇 法学
  • 1 篇 艺术学

主题

  • 320 篇 probabilistic pr...
  • 33 篇 bayesian inferen...
  • 22 篇 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 篇 type systems
  • 5 篇 program analysis

机构

  • 11 篇 univ oxford oxfo...
  • 9 篇 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

语言

  • 306 篇 英文
  • 13 篇 其他
  • 1 篇 德文
检索条件"主题词=Probabilistic Programming"
320 条 记 录,以下是121-130 订阅
排序:
A nested layered network model for parallel solutions of discrete SPPs
收藏 引用
COMPUTERS & MATHEMATICS WITH APPLICATIONS 1997年 第5期33卷 111-123页
作者: Joshi, RR Satyanarayana, DK INDIAN INST TECHNOL SCH BIOMED ENGNBOMBAY 400076MAHARASHTRAINDIA
A nested layered network mapping and algorithm is presented for parallel computational solutions of discrete stochastic programming problems with random coefficients. The algorithm is general purpose and efficiently i... 详细信息
来源: 评论
Modelling contextuality by probabilistic programs with hypergraph semantics
收藏 引用
THEORETICAL COMPUTER SCIENCE 2018年 752卷 56-70页
作者: Bruza, Peter D. Queensland Univ Technol Sch Informat Syst GPO Box 2434 Brisbane Qld 4001 Australia
Models of a phenomenon are often developed by examining it under different experimental conditions, or measurement contexts. The resultant probabilistic models assume that the underlying random variables, which define... 详细信息
来源: 评论
A branch and bound method for stochastic integer problems under probabilistic constraints
收藏 引用
OPTIMIZATION METHODS & SOFTWARE 2002年 第3期17卷 359-382页
作者: Beraldi, P Ruszczynski, A Rutgers State Univ Dept Management Sci & Informat Syst Piscataway NJ 08854 USA Rutgers State Univ RUTCOR Piscataway NJ 08854 USA Univ Calabria Dipartimento Elettron Informat & Sistemist I-87036 Arcavacata Di Rende Italy
Stochastic integer programming problems under probabilistic constraints are considered. Deterministic equivalent formulations of the original problem are obtained by using p -efficient points of the distribution funct... 详细信息
来源: 评论
Planning in hybrid relational MDPs
收藏 引用
MACHINE LEARNING 2017年 第12期106卷 1905-1932页
作者: Nitti, Davide Belle, Vaishak De Laet, Tinne De Raedt, Luc Katholieke Univ Leuven Dept Comp Sci B-3001 Leuven Belgium Univ Edinburgh Sch Informat Edinburgh EH8 9AB Midlothian Scotland Katholieke Univ Leuven Fac Engn Sci B-3001 Leuven Belgium
We study planning in relational Markov decision processes involving discrete and continuous states and actions, and an unknown number of objects. This combination of hybrid relational domains has so far not received a... 详细信息
来源: 评论
CUQIpy: I. Computational uncertainty quantification for inverse problems in Python
收藏 引用
INVERSE PROBLEMS 2024年 第4期40卷 045009-045009页
作者: Riis, Nicolai A. B. Alghamdi, Amal M. A. Uribe, Felipe Christensen, Silja L. Afkham, Babak M. Hansen, Per Christian Jorgensen, Jakob S. Tech Univ Denmark Dept Appl Math & Comp Sci Richard Petersens PladsBldg 324 DK-2800 Lyngby Denmark Lappeenranta Lahti Univ Technol LUT Sch Engn Sci Yliopistonkatu 34 Lappeenranta 53850 Finland Univ Manchester Dept Math Oxford Rd Alan Turing Bldg Manchester M13 9PL England Copenhagen Imaging ApS Herlev Denmark
This paper introduces CUQIpy, a versatile open-source Python package for computational uncertainty quantification (UQ) in inverse problems, presented as Part I of a two-part series. CUQIpy employs a Bayesian framework... 详细信息
来源: 评论
Mastering uncertainty in performance estimations of configurable software systems
收藏 引用
EMPIRICAL SOFTWARE ENGINEERING 2023年 第2期28卷 1-40页
作者: Dorn, Johannes Apel, Sven Siegmund, Norbert Univ Leipzig D-04109 Leipzig Germany Saarland Univ D-60041 Saarbrucken Germany Saarland Informat Campus D-60041 Saarbrucken Germany
Understanding the influence of configuration options on the performance of a software system is key for finding optimal system configurations, system understanding, and performance debugging. In the literature, a numb... 详细信息
来源: 评论
A GRADIENT ALGORITHM FOR CHANCE CONSTRAINED NONLINEAR GOAL programming
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 1985年 第3期22卷 359-369页
作者: LEE, SM OLSON, DL TEXAS A&M UNIV DEPT BUSINESS ANALCOLLEGE STNTX 77843
Decision environments involve high degrees of uncertainty as well as multiple, conflicting objectives. Often sampling information is available as a means of describing uncertainty. This description can be utilized in ... 详细信息
来源: 评论
Healthcare pathway discovery and probabilistic machine learning
收藏 引用
INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS 2020年 137卷 104087-000页
作者: Kempa-Liehr, Andreas W. Lin, Christina Yin-Chieh Britten, Randall Armstrong, Delwyn Wallace, Jonathan Mordaunt, Dylan O'Sullivan, Michael Univ Auckland Dept Engn Sci 70 Symonds St Auckland New Zealand Auckland Dist Hlth Board 2 Pk Rd Auckland New Zealand Orion Hlth 181 Grafton Rd Auckland New Zealand Waitemata Dist Hlth Board 124 Shakespeare Rd Auckland New Zealand Univ Adelaide Adelaide SA Australia Flinders Univ S Australia Adelaide SA Australia
Background and purpose: Healthcare pathways define the execution sequence of clinical activities as patients move through a treatment process, and they are critical for maintaining quality of care. The aim of this stu... 详细信息
来源: 评论
Bayesian Convolutional Neural Networks in Medical Imaging Classification: A Promising Solution for Deep Learning Limits in Data Scarcity Scenarios
收藏 引用
JOURNAL OF DIGITAL IMAGING 2023年 第6期36卷 2567-2577页
作者: Bargagna, Filippo De Santi, Lisa Anita Martini, Nicola Genovesi, Dario Favilli, Brunella Vergaro, Giuseppe Emdin, Michele Giorgetti, Assuero Positano, Vincenzo Santarelli, Maria Filomena Univ Pisa Pisa Italy Fdn G Monasterio CNR Reg Toscana Pisa Italy Scuola Univ Super S Anna Pisa Italy CNR Inst Clin Physiol Pisa Italy
Deep neural networks (DNNs) have already impacted the field of medicine in data analysis, classification, and image processing. Unfortunately, their performance is drastically reduced when datasets are scarce in natur... 详细信息
来源: 评论
Computation of a multi-objective production planning model with probabilistic constraints
收藏 引用
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS 2009年 第1期86卷 185-198页
作者: Sahoo, N. P. Biswal, M. P. Indian Inst Technol Dept Math Kharagpur 721302 W Bengal India
In this paper, a multi-objective production planning model has been presented for a captive plant. The model includes multi-products, multi-plants, and multi-objective with some probabilistic constraints. The probabil... 详细信息
来源: 评论