QQ客服 官方微博 反馈留言

浏览/检索结果: 共23条，第1-10条 帮助 限定条件 发表日期：2016    内容类型：其他     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Concurrent Algorithms in SPIN Model Checker 其他 2016-01-01 Nawaz, M. Saqib; Ali, Hussam; Lali, M. IkramUllah 收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03 Bakery algorithm  Dekker algorithm  SPIN  LTL  PROMELA  Liveness  Safety   More powerful tests for sparse high-dimensional covariances matrices 其他 2016-01-01 Peng, Liuhua; Chen, Song Xi; Zhou, Wen 收藏  |  浏览/下载：5/0  |  提交时间：2017/12/04 Banding estimation  High-dimensional inference  Hypothesis testing  Sparse covariance matrix  FEWER OBSERVATIONS  SAMPLE-SIZE  LEUKEMIA  DISTRIBUTIONS  SPHERICITY  INFERENCE  SELECTION   Testing super-diagonal structure in high dimensional covariance matrices 其他 2016-01-01 He, Jing; Chen, Song Xi 收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03 Bandable covariance  High dimensionality  Sparse covariance matrix  Multiple testing  LATENT FACTORS  FACTOR MODELS  TIME-SERIES  REGRESSION  REGULARIZATION  NUMBER   Generalized T (3)-plot for testing high-dimensional normality 其他 2016-01-01 Ai, Mingyao; Liang, Jiajuan; Tang, Man-Lai 收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03 Dimension reduction  graphical method  high-dimensional data  multivariate normality  spherical distribution  DETECT NON-MULTINORMALITY  MULTIVARIATE  EFFICIENCY  PORTFOLIO  PLOTS   Towards Concolic Testing for Hybrid Systems 其他 2016-01-01 Kong, Pingfan; Li, Yi; Chen, Xiaohong; Sun, Jun; Sun, Meng; Wang, Jingyi 收藏  |  浏览/下载：9/0  |  提交时间：2017/12/03 MODEL-CHECKING  AUTOMATA  SOLVER   PETER HALL'S CONTRIBUTIONS TO THE BOOTSTRAP 其他 2016-01-01 Chen, Song Xi 收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03 Block bootstrap  confidence intervals  Edgeworth expansion  hypothesis testing  iterated bootstrap  percentile method  percentile-t method  CONFIDENCE-INTERVALS  EDGEWORTH EXPANSION  STATIONARY OBSERVATIONS  EMPIRICAL LIKELIHOOD  STATISTICS  JACKKNIFE  DENSITY  SIMULATIONS  REGRESSION  ACCURACY   Challenges from Variation across Regions in Cost Effectiveness Analysis in Multi-Regional Clinical Trials 其他 2016-01-01 Chu, Yunbo; Dai, Luyan; Qi, Sheng; Smith, Matthew Lee; Huang, Hui; Li, Yang; Shen, Ye 收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03 cost-effectiveness analysis  multi-regional clinical trials  ethnic factors  sensitivity analysis  clinical evidence  RE-LY TRIAL  TASK-FORCE REPORT  ATRIAL-FIBRILLATION  ECONOMIC EVALUATIONS  DABIGATRAN  WARFARIN  TRANSFERABILITY  EVENTS  DESIGN   Tests for high dimensional generalized linear models 其他 2016-01-01 Guo, Bin; Chen, Song Xi 收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03 Generalized linear model  Gene sets  High dimensional covariate  Nuisance parameter  U-statistics  EMPIRICAL LIKELIHOOD  LASSO  REGRESSION   An Empirical Comparison of Compiler Testing Techniques 其他 2016-01-01 Chen, Junjie; Hu, Wenxiang; Hao, Dan; Xiong, Yingfei; Zhang, Hongyu; Zhang, Lu; Xie, Bing 收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03 GENERATION   How Does Regression Test Prioritization Perform in Real-World Software Evolution? 其他 2016-01-01 Lu, Yafeng; Lou, Yiling; Cheng, Shiyang; Zhang, Lingming; Hao, Dan; Zhou, Yangfan; Zhang, Lu 收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03 TEST-SUITE REDUCTION  COVERAGE