中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共29条，第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
收藏  |  浏览/下载：39/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
收藏  |  浏览/下载：74/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
收藏  |  浏览/下载：83/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)  |  收藏  |  浏览/下载：252/0  |  提交时间：2019/06/11
Danio rerio  N-GQDs  Redox system  Antioxidant enzyme activity  USGO  
Synthesizing Nested Ranking Functions for Loop Programs via SVM 会议论文
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5, 2019 - November 9, 2019
作者:  Li, Yi;  Sun, Xuechao;  Li, Yong;  Turrini, Andrea;  Zhang, Lijun
收藏  |  浏览/下载：278/0  |  提交时间：2020/02/18
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)  |  收藏  |  浏览/下载：142/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)  |  收藏  |  浏览/下载：175/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)  |  收藏  |  浏览/下载：123/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)  |  收藏  |  浏览/下载：149/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)  |  收藏  |  浏览/下载：265/0  |  提交时间：2018/06/04