CSpace

浏览/检索结果: 共22条,第1-10条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
Synthesizing ranking functions for loop programs via SVM 期刊论文
THEORETICAL COMPUTER SCIENCE, 2022, 卷号: 935, 页码: 1-20
作者:  Li, Yi;  Li, Xie;  Li, Yong;  Sun, Xuechao;  Turrini, Andrea;  Zhang, Lijun
收藏  |  浏览/下载:41/0  |  提交时间:2022/12/26
Program analysis  Termination  Nested ranking function  Multi -phase ranking function  Support vector machine  
Synthesis of ranking functions via DNN 期刊论文
NEURAL COMPUTING & APPLICATIONS, 2021, 页码: 21
作者:  Tan, Wang;  Li, Yi
收藏  |  浏览/下载:75/0  |  提交时间:2021/04/06
Ranking function  DNN  Termination  Loop programs  
On ranking functions for single-path linear-constraint loops 期刊论文
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 页码: 12
作者:  Li, Yi;  Wu, Wenyuan;  Feng, Yong
收藏  |  浏览/下载:85/0  |  提交时间:2020/08/24
Software reliability  Program termination  Linear ranking functions  Farkas' lemma  
Nitrogen-doped graphene quantum dots (N-GQDs) perturb redox-sensitive system via the selective inhibition of antioxidant enzyme activities in zebrafish 期刊论文
BIOMATERIALS, 2019, 卷号: 206, 页码: 61-72
作者:  Deng, Shun;  Fu, Ailing;  Junaid, Muhammad;  Wang, Yan;  Yin, Qian;  Fu, Chen;  Liu, Li;  Su, Dong-Sheng;  Bian, Wan-Ping;  Pei, De-Sheng
Adobe PDF(10382Kb)  |  收藏  |  浏览/下载:253/0  |  提交时间:2019/06/11
Danio rerio  N-GQDs  Redox system  Antioxidant enzyme activity  USGO  
DCCR: Deep Collaborative Conjunctive Recommender for Rating Prediction 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 60186-60198
作者:  Wang, Qingxian;  Peng, Binbin;  Shi, Xiaoyu;  Shang, Tianqi;  Shang, Mingsheng
Adobe PDF(4751Kb)  |  收藏  |  浏览/下载:144/0  |  提交时间:2019/06/24
Recommender systems  collaborative filtering  rating prediction  denoising autoencoders  multi layered perceptron  
Prioritizing predictive biomarkers for gene essentiality in cancer cells with mRNA expression data and DNA copy number profile 期刊论文
BIOINFORMATICS, 2018, 卷号: 34, 期号: 23, 页码: 3975-3982
作者:  Guan, Yuanfang;  Li, Tingyang;  Zhang, Hongjiu;  Zhu, Fan;  Omenn, Gilbert S.
Adobe PDF(559Kb)  |  收藏  |  浏览/下载:177/0  |  提交时间:2019/01/17
Identifying the influential nodes via eigen-centrality from the differences and similarities of structure 期刊论文
PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2018, 卷号: 510, 页码: 77-82
作者:  Zhong, Lin-Feng;  Shang, Ming-Sheng;  Chen, Xiao-Long;  Cai, Shi-Ming
Adobe PDF(433Kb)  |  收藏  |  浏览/下载:125/0  |  提交时间:2018/11/01
Complex Network  Influential Node  Eigen-centrality  Sir  Kendall  
Complex effects of landscape, habitat and reservoir operation on riparian vegetation across multiple scales in a human-dominated landscape 期刊论文
ECOLOGICAL INDICATORS, 2018, 卷号: 94, 页码: 482-490
作者:  Chen, Chundi;  Ma, Maohua;  Wu, Shengjun;  Jia, Junsong;  Wang, Yuncai
Adobe PDF(1140Kb)  |  收藏  |  浏览/下载:150/0  |  提交时间:2019/01/17
Biodiversity  Landscape gradient model  Large dam  Manipulated flooding  Surface metrology  Yangtze River  
Popularity and Novelty Dynamics in Evolving Networks 期刊论文
SCIENTIFIC REPORTS, 2018, 卷号: 8, 页码: 10
作者:  Abbas, Khushnood;  Shang, Mingsheng;  Abbasi, Alireza;  Luo, Xin;  Xu, Jian Jun;  Zhang, Yu-Xia
Adobe PDF(2105Kb)  |  收藏  |  浏览/下载:266/0  |  提交时间:2018/06/04
Multi-perspective comparisons and mitigation implications of SO2 and NOx discharges from the industrial sector of China: a decomposition analysis 期刊论文
ENVIRONMENTAL SCIENCE AND POLLUTION RESEARCH, 2018, 卷号: 25, 期号: 10, 页码: 9600-9614
作者:  Jia, Junsong;  Gong, Zhihai;  Gu, Zhongyu;  Chen, Chundi;  Xie, Dongming
Adobe PDF(1679Kb)  |  收藏  |  浏览/下载:195/0  |  提交时间:2018/06/04
Multi-perspective  Decomposition analysis  Industrial SO2 and NOx discharges  LMDI  China