CSpace

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

已选(0)清除 条数/页:   排序方式:
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  
Facile synthesis of surface-functionalized magnetic nanocomposites for effectively selective adsorption of cationic dyes 期刊论文
Nanoscale Research Letters, 2018, 卷号: 13, 期号: 1
作者:  Hua,Yani;  Xiao,Juan;  Zhang,Qinqin;  Cui,Chang;  Wang,Chuan
Adobe PDF(1479Kb)  |  收藏  |  浏览/下载:130/0  |  提交时间:2018/04/24
Adsorption  Polycatechol  Fe3o4  Magnetic Adsorbent  Selectivity  
A scaling law for distinct electrocaloric cooling performance in low-dimensional organic, relaxor and anti-ferroelectrics 期刊论文
SCIENTIFIC REPORTS, 2017, 卷号: 7, 页码: 9
作者:  Shi, Yuping;  Huang, Limin;  Soh, Ai Kah;  Weng, George J.;  Liu, Shuangyi;  Redfern, Simon A. T.
Adobe PDF(3201Kb)  |  收藏  |  浏览/下载:175/0  |  提交时间:2018/03/05
A survey on load balancing algorithms for virtual machines placement in cloud computing 期刊论文
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 卷号: 29, 期号: 12, 页码: 16
作者:  Xu, Minxian;  Tian, Wenhong;  Buyya, Rajkumar
Adobe PDF(1022Kb)  |  收藏  |  浏览/下载:358/0  |  提交时间:2018/03/05
cloud computing  data centers  load balancing  placement algorithms  virtual machine  
Witness to non-termination of linear programs 期刊论文
THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 75-100
作者:  Li, Yi
收藏  |  浏览/下载:114/0  |  提交时间:2018/03/05
Linear loops  Program termination  Semi-algebraic sets  Witness to non-termination  
A multiomics approach to study the microbiome response to phytoplankton blooms 期刊论文
APPLIED MICROBIOLOGY AND BIOTECHNOLOGY, 2017, 卷号: 101, 期号: 12, 页码: 4863-4870
作者:  Song, Liyan
Adobe PDF(638Kb)  |  收藏  |  浏览/下载:103/0  |  提交时间:2018/03/05
Phytoplankton blooms  Bacterial and archaeal communities  Interaction  A multiomics integration approach  
Formation of nickel-doped magnetite hollow nanospheres with high specific surface area and superior removal capability for organic molecules 期刊论文
NANOTECHNOLOGY, 2016, 卷号: 27, 期号: 48, 页码: 11
作者:  Li, Zhenhu;  Ma, Yurong;  Qi, Limin
Adobe PDF(4509Kb)  |  收藏  |  浏览/下载:102/0  |  提交时间:2018/03/15
hollow nanospheres  NixFe3-xO4  adsorption capacity  solvothermal method  
PAPMSC: Power-Aware Performance Management Approach for Virtualized Web Servers via Stochastic Control 期刊论文
JOURNAL OF GRID COMPUTING, 2016, 卷号: 14, 期号: 1, 页码: 171-191
作者:  Shi, Xiaoyu;  Dong, Jin;  Djouadi, Seddik M.;  Feng, Yong;  Ma, Xiao;  Wang, Yefu
Adobe PDF(1140Kb)  |  收藏  |  浏览/下载:114/0  |  提交时间:2018/03/15
Virtualization  Power efficiency  Resource management  Stochastic control  Web application  
有界闭连通域上的非线性循环终止性分析 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 517-526
作者:  李轶;  冯勇
Adobe PDF(378Kb)  |  收藏  |  浏览/下载:81/0  |  提交时间:2018/03/16