咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 321 篇 probabilistic pr...
  • 34 篇 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

语言

  • 307 篇 英文
  • 13 篇 其他
  • 1 篇 德文
检索条件"主题词=PROBABILISTIC PROGRAMMING"
321 条 记 录,以下是301-310 订阅
排序:
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... 详细信息
来源: 评论
Solution to the practical problem of moments using non-classical orthogonal polynomials, with applications for probabilistic analysis
收藏 引用
probabilistic ENGINEERING MECHANICS 2000年 第4期15卷 371-379页
作者: Kennedy, CA Lennox, WC Univ Toronto Dept Civil Engn Toronto ON M5S 1A4 Canada Univ Waterloo Dept Civil Engn Waterloo ON N2L 3G1 Canada
A method is presented for solving the "practical" problem of moments to produce probability density functions (PDFs) using non-classical orthogonal polynomials. PDFs are determined from given sets of moments... 详细信息
来源: 评论
Use of technological constraints as enumeration criteria for the solution of a travelling salesman problem applicable to production machinery
收藏 引用
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART B-JOURNAL OF ENGINEERING MANUFACTURE 2000年 第1期214卷 61-77页
作者: Khan, WA Khan, MA Hayhurst, DR GIK Inst Engn Sci & Technol Fac Mech Engn Topi 23460 District Swabi Pakistan GIK Inst Engn Sci & Technol Fac Comp Sci & Engn Topi Pakistan Univ Manchester Inst Sci & Technol Dept Mech Engn Manchester M60 1QD Lancs England
The routing of tools, dies, torches, electric area, ray beams and jets to produce features on a workpiece is a travelling salesman problem (TSP) of variable size and unpredictable node distribution. The orientation of... 详细信息
来源: 评论
Determination of optimal path under approach and exit constraints
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 1999年 第2期117卷 310-325页
作者: Khan, WA Hayhurst, DR Cannings, C GIK Inst Engn Sci & Technol NWFP Fac Mech Engn Topi 23460 Pakistan Univ Manchester Inst Sci & Technol Dept Mech Engn Manchester M60 1QD Lancs England Univ Sheffield Sch Math & Stat Probabil & Stat Sect Sheffield S10 2UN S Yorkshire England
To economize machining process used in component manufacturing number of procedures an used. Typical parameters which are optimized are feed rate, spindle speed, depth of cut, machining time etc. Almost no considerati... 详细信息
来源: 评论
A heuristic to minimax absolute regret for linear programs with interval objective function coefficients
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 1999年 第1期117卷 157-174页
作者: Mausser, HE Laguna, M Univ Colorado Grad Sch Business Adm Boulder CO 80309 USA
Decision makers faced with uncertain information often experience regret upon learning that an alternative action would have been preferable to the one actually selected. Models that minimize the maximum regret can be... 详细信息
来源: 评论
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... 详细信息
来源: 评论
The asymptotic value-to-capacity ratio for the multi-class stochastic knapsack problem
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 1997年 第3期103卷 584-594页
作者: Lee, TE Oh, GT UNIV SUWON DEPT IND ENGNKYUNGGI DO 445743SOUTH KOREA
We consider a stochastic knapsack problem that packs multiple classes of random items. The pairs of profit and resource requirement for items of the same class are independent and identically distributed. However, suc... 详细信息
来源: 评论
Cost-effective sulphur emission reduction under uncertainty
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 1996年 第3期90卷 395-412页
作者: Altman, A Amann, M Klaassen, G Ruszczynski, A Schopp, W INT INST APPL SYST ANAL A-2361 LAXENBURG AUSTRIA POLISH ACAD SCI SYST RES INST PL-01447 WARSAW POLAND
The problem of reducing SO2 emissions in Europe is considered. The costs of reduction are assumed to be uncertain and are modeled by a set of possible scenarios. A mean-variance model of the problem is formulated and ... 详细信息
来源: 评论
COAL BLENDING OPTIMIZATION UNDER UNCERTAINTY
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 1995年 第3期83卷 452-465页
作者: SHIH, JS FREY, HC N CAROLINA STATE UNIV DEPT CIVIL ENGNRALEIGHNC 27695
Coal blending is one of several options available for reducing sulfur emissions from coal-fired power plants. However, decisions about coal blending must deal with uncertainty and variability in coal properties, and w... 详细信息
来源: 评论
PRAGMATIC APPROACHES TO OPTIMIZATION WITH RANDOM YIELD COEFFICIENTS
收藏 引用
FOREST SCIENCE 1995年 第3期41卷 501-512页
作者: HOF, J BEVERS, M PICKENS, J MICHIGAN TECHNOL UNIV HOUGHTONMI 49931
This paper discusses practical methods for handling normally distributed random technical (yield) coefficients in linear programs that optimize natural resource allocation and scheduling, These methods are practical i... 详细信息
来源: 评论