机构

• 地理科学与资源研究所 [2]
• 科技战略咨询研究院 [2]
• 数学与系统科学研究院 [2]
• 软件研究所 [2]
• 自动化研究所 [1]
• 武汉岩土力学研究所 [1]
• 更多

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [9]
• SCI/SSCI论文 [1]
• 会议论文 [1]

发表日期

• 2024 [1]
• 2020 [1]
• 2017 [1]
• 2016 [2]
• 2013 [3]
• 2005 [2]
• 更多

学科主题

• Applied [2]
• Mathematic... [2]

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择作者升序作者降序发表日期升序发表日期降序题名升序题名降序提交时间升序提交时间降序 Uncertainty quantification of inverse analysis for geomaterials using probabilistic programming 期刊论文  OAI收割 JOURNAL OF ROCK MECHANICS AND GEOTECHNICAL ENGINEERING, 2024, 卷号: 16, 期号: 3, 页码: 895-908 作者:  Zhao, Hongbo;  Li, Shaojun;  Zang, Xiaoyu;  Liu, Xinyi;  Zhang, Lin   |  收藏  |  浏览/下载：29/0  |  提交时间：2025/06/27 Geological engineering  Geotechnical engineering  Inverse analysis  Uncertainty quanti fication  Probabilistic programming   Solving Trajectory Optimization Problems in the Presence of Probabilistic Constraints 期刊论文  OAI收割 IEEE TRANSACTIONS ON CYBERNETICS, 2020, 卷号: 50, 期号: 10, 页码: 4332-4345 作者:  Chai, Runqi;  Savvaris, Al;  Tsourdos, Antonios;  Chai, Senchun;  Xia, Yuanqing   |  收藏  |  浏览/下载：64/0  |  提交时间：2021/01/07 Planning  Probabilistic logic  Trajectory optimization  Optimal control  Prediction algorithms  Approximation function  chance-constrained  nonlinear programming  probabilistic constraints  trajectory optimization   NetGen: a novel network-based probabilistic generative model for gene set functional enrichment analysis 期刊论文  OAI收割 BMC SYSTEMS BIOLOGY, 2017, 卷号: 11, 页码: 14 作者:  Sun, Duanchen;  Liu, Yinliang;  Zhang, Xiang-Sun;  Wu, Ling-Yun   |  收藏  |  浏览/下载：59/0  |  提交时间：2018/07/30 Gene ontology  Enrichment analysis  Network-based probabilistic generative model  Integer programming  Complex diseases   Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文  OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639 作者:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S.   |  收藏  |  浏览/下载：45/0  |  提交时间：2018/07/30 Asymptotic perturbation bound  discrete-time Markov chain  numerical iteration  optimization  parametric Markov chain  perturbation analysis  probabilistic model checking  quadratic programming   Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文  OAI收割 FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143 Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A   |  收藏  |  浏览/下载：51/0  |  提交时间：2016/12/09 Complexity  Compositional analysis  Concurrency  Efficiency  Linear programming  Probabilistic automata  Satisfiability modulo theories  Weak bisimulation   Transductive Face Sketch-Photo Synthesis 期刊论文  OAI收割 ieee transactions on neural networks and learning systems, 2013, 卷号: 24, 期号: 9, 页码: 1364-1376 作者:  Wang, Nannan;  Tao, Dacheng;  Gao, Xinbo;  Li, Xuelong;  Li, Jie 收藏  |  浏览/下载：44/0  |  提交时间：2015/05/29 Probabilistic graph model  quadratic programming  sketch-photo synthesis  transductive learning   Agricultural Production Structure Optimization: A Case Study of Major Grain Producing Areas, China 期刊论文  OAI收割 JOURNAL OF INTEGRATIVE AGRICULTURE, 2013, 卷号: 12, 期号: 1, 页码: 184-197 Lu, ShaSha(鲁莎莎); Liu, YS; Long, HL; Guan, XL 收藏  |  浏览/下载：31/0  |  提交时间：2013/03/29 major grain producing areas  agricultural production structure optimization  interval-probabilistic programming  food security  farmers' income increase  China   Agricultural Production Structure Optimization: A Case Study of Major Grain Producing Areas, China SCI/SSCI论文  OAI收割 2013 Lu S. S.; Liu Y. S.; Long H. L.; Guan X. L. 收藏  |  浏览/下载：41/0  |  提交时间：2014/12/24 major grain producing areas  agricultural production structure  optimization  interval-probabilistic programming  food security  farmers' income increase  China  model  uncertainty  management  inequality   Expected number of iterations of interior-point algorithms for linear programming 期刊论文  OAI收割 JOURNAL OF COMPUTATIONAL MATHEMATICS, 2005, 卷号: 23, 期号: 1, 页码: 8,93-100 作者:  Huang, SM   |  收藏  |  浏览/下载：25/0  |  提交时间：2012/11/12 Linear Programming  Lnterior Point Algorithms  Probabilistic Lp Models  Expected Number Of Iterations   deriving a stationary dynamic bayesian network from a logic program with recursive loops 会议论文  OAI收割 15th International Conference on Inductive Logic Programming (ILP 2005), Bonn, GERMANY, AUG 10-13, Shen YD; Yang Q   |  收藏  |  浏览/下载：33/0  |  提交时间：2011/07/28 probabilistic logic programming (PLP)  the well-founded semantics  SLG-resolution  stationary dynamic Bayesian networks