中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

北京大学 [26]

内容类型

期刊论文 [15]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共26条，第1-10条

帮助

限定条件	专题：北京大学第一署名单位第一作者单位通讯作者单位

已选(0)清除条数/页：排序方式：
	Phenotypic equilibrium as probabilistic convergence in multi-phenotype cell population dynamics 其他 2017-01-01 Jiang, Da-Quan; Wang, Yue; Zhou, Da 收藏 \| 浏览/下载：1/0 \| 提交时间：2017/12/03 CANCER STEM-CELLS BRANCHING-PROCESSES LIMIT-THEOREMS MODEL DIFFERENTIATION DISTRIBUTIONS GROWTH TUMOR
	Joint Modeling of User Check-in Behaviors for Real-time Point-of-Interest Recommendation 期刊论文 ACM TRANSACTIONS ON INFORMATION SYSTEMS, 2016 Yin, Hongzhi; Cui, Bin; Zhou, Xiaofang; Wang, Weiqing; Huang, Zi; Sadiq, Shazia 收藏 \| 浏览/下载：6/0 \| 提交时间：2017/12/03 POI real-time recommendation location-based service online learning efficient retrieval algorithm MATRIX FACTORIZATION SYSTEMS
	The time of deducting fees for variable annuities under the state-dependent fee structure 其他 2015-01-01 Zhou, Jiang; Wu, Lan 收藏 \| 浏览/下载：5/0 \| 提交时间：2017/12/03 Variable annuities State-dependent fee Hyper-exponential jump diffusion process Laplace transform Refracted Levy process REFRACTED LEVY PROCESSES LINKED DEATH BENEFITS OCCUPATION TIMES OPTIONS MODELS
	Lattice-valued simulations for quantitative transition systems 期刊论文 international journal of approximate reasoning, 2015 Pan, Haiyu; Li, Yongming; Cao, Yongzhi 收藏 \| 浏览/下载：3/0 \| 提交时间：2015/11/11 Simulation Fuzzy automata Hennessy-Milner logic Residuated lattices Heyting algebra RESIDUATED LATTICE FUZZY AUTOMATA PROBABILISTIC PROCESSES INFERENCE METHOD LOGIC BISIMULATIONS ROBUSTNESS DISTANCE METRICS
	IscasMc: A web-based probabilistic model checker 其他 2014-01-01 Hahn, Ernst Moritz; Li, Yi; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 收藏 \| 浏览/下载：4/0 \| 提交时间：2015/11/13
	Systematic assessment of the uncertainty in integrated surface water-groundwater modeling based on the probabilistic collocation method 期刊论文 water resources research, 2014 Wu, Bin; Zheng, Yi; Tian, Yong; Wu, Xin; Yao, Yingying; Han, Feng; Liu, Jie; Zheng, Chunmiao 收藏 \| 浏览/下载：3/0 \| 提交时间：2015/11/10 HEIHE RIVER-BASIN EVALUATING PARAMETER IDENTIFIABILITY DISTRIBUTED RUNOFF MODEL NORTHWESTERN CHINA ERROR REDUCTION 2 STATISTICS HYDROLOGICAL MODELS MOUNTAINOUS REGION CLIMATE-CHANGE FLOW SYSTEM
	A scenario-based modeling approach for emergency evacuation management and risk analysis under multiple uncertainties 期刊论文 journal of hazardous materials, 2013 Lv, Y.; Huang, G. H.; Guo, L.; Li, Y. P.; Dai, C.; Wang, X. W.; Sun, W. 收藏 \| 浏览/下载：5/0 \| 提交时间：2015/11/11 Emergency evacuation Nuclear Uncertainty Risk analysis Decision making WATER-RESOURCES MANAGEMENT POWER-PLANT ACCIDENT NUCLEAR-POWER OPTIMIZATION APPROACH QUALITY MANAGEMENT DECISION-MAKING FUKUSHIMA SUPPORT DESIGN
	A Behavioral Distance for Fuzzy-Transition Systems 期刊论文 ieee transactions on fuzzy systems, 2013 Cao, Yongzhi; Sun, Sherry X.; Wang, Huaiqing; Chen, Guoqing 收藏 \| 浏览/下载：3/0 \| 提交时间：2015/11/10 Behavioral distance bisimulation fuzzy automaton fuzzy-transition system (FTS) nonexpansiveness pseudo-ultrametric DISCRETE-EVENT SYSTEMS PROBABILISTIC PROCESSES DECENTRALIZED CONTROL BISIMULATION AUTOMATA WORDS HOMOMORPHISMS METRICS MODEL
	Behavioural equivalences of a probabilistic pi-calculus 期刊论文 science china information sciences, 2012 Chen WeiEn; Cao YongZhi; Wang HanPin 收藏 \| 浏览/下载：4/0 \| 提交时间：2015/11/10 probabilistic pi-calculus behavioural equivalence probabilistic bisimulation probabilistic barbed bisimulation NOISY CHANNELS COMMUNICATING PROCESSES ALGEBRA
	Reliability of Mobile Processes with Noisy Channels 期刊论文 ieee transactions on computers, 2012 Cao, Yongzhi 收藏 \| 浏览/下载：3/0 \| 提交时间：2015/11/10 Approximate bisimulation asynchronous pi-calculus bisimilarity noisy channel reliability PROBABILISTIC TRANSITION-SYSTEMS PI-CALCULUS UNRELIABLE CHANNELS INFORMATION LEAKAGE BISIMULATION VERIFICATION PROGRAMS COMMUNICATION METRICS MODELS

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace