中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共17条，第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
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
Coarse cluster enhancing collaborative recommendation for social network systems 期刊论文
PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2017, 卷号: 483, 页码: 209-218
作者:  Zhao, Yao-Dong;  Cai, Shi-Min;  Tang, Ming;  Shang, Min-Sheng
Adobe PDF(909Kb)  |  收藏  |  浏览/下载：103/0  |  提交时间：2018/03/05
Recommender system  Social network system  Social tagging system  Tripartite graph  Time complexity  Collaborative user model  
Accurate Determination of Geographical Origin of Tea Based on Terahertz Spectroscopy 期刊论文
APPLIED SCIENCES-BASEL, 2017, 卷号: 7, 期号: 2
作者:  Li, Mingliang;  Dai, Guangbin;  Chang, Tianying;  Shi, Changcheng;  Wei, Dongshan;  Du, Chunlei;  Cui, Hong-Liang
Adobe PDF(3374Kb)  |  收藏  |  浏览/下载：118/0  |  提交时间：2018/03/05
Effects of local and landscape factors on exotic vegetation in the riparian zone of a regulated river: Implications for reservoir conservation 期刊论文
LANDSCAPE AND URBAN PLANNING, 2017, 卷号: 157, 页码: 45-55
作者:  Chen Chundi;  Wu Shengjun;  Douglas, Meurk Colin;  Ma Maohua;  Zhao Juanjuan;  Lv Mingquan;  Tong Xiaoxiao
Adobe PDF(2060Kb)  |  收藏  |  浏览/下载：144/0  |  提交时间：2018/03/15
Biodiversity  Human Impacts  Large Dam  Water Fluctuation  Plant Invasion  Yangtze River