中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共28条，第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  
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  
Characterization of lead-containing atmospheric particles in a typical basin city of China: Seasonal variations, potential source areas, and responses to fireworks 期刊论文
SCIENCE OF THE TOTAL ENVIRONMENT, 2019, 卷号: 661, 页码: 354-363
作者:  Zhang, Junke;  Huang, Xiaojuan;  Chen, Yang;  Luo, Bin;  Luo, Jinqi;  Zhang, Wei;  Rao, Zhihan;  Yang, Fumo
Adobe PDF(2682Kb)  |  收藏  |  浏览/下载：296/0  |  提交时间：2019/03/25
Pb-containing particles  Seasonal variations  Weighted potential source contribution function  Fireworks  Single particle aerosol mass spectrometer  
Recycling of orange waste for single cell protein production and the synergistic and antagonistic effects on production quality 期刊论文
JOURNAL OF CLEANER PRODUCTION, 2019, 卷号: 213, 页码: 384-392
作者:  Zhou, Yue-Ming;  Chen, You-Peng;  Guo, Jin-Song;  Shen, Yu;  Yan, Peng;  Yang, Ji-Xiang
Adobe PDF(2702Kb)  |  收藏  |  浏览/下载：279/0  |  提交时间：2019/04/18
Orange waste recycling  Single cell protein  Synergistic  Antagonistic  Large-scale fermentation  Economic analysis  
Effects of soil amendments applied on cadmium availability, soil enzyme activity, and plant uptake in contaminated purple soil 期刊论文
SCIENCE OF THE TOTAL ENVIRONMENT, 2019, 卷号: 654, 页码: 1364-1371
作者:  He, Dongyi;  Cui, Jian;  Gao, Min;  Wang, Wenqiang;  Zhou, Jing;  Yang, John;  Wang, Jingjing;  Li, Yong;  Jiang, Changsheng;  Peng, Yi
Adobe PDF(908Kb)  |  收藏  |  浏览/下载：195/0  |  提交时间：2019/03/25
Cd availability  Cd uptake  Soil pollution  Soil amendments  Purple soil  
Riverine CO2 supersaturation and outgassing in a subtropical monsoonal mountainous area (Three Gorges Reservoir Region) of China 期刊论文
JOURNAL OF HYDROLOGY, 2018, 卷号: 558, 页码: 460-469
作者:  Li, Siyue;  Ni, Maofei;  Mao, Rong;  Bush, Richard T.
Adobe PDF(887Kb)  |  收藏  |  浏览/下载：143/0  |  提交时间：2018/06/04
Riverine carbon flux  CO2 degassing  Partial pressure of CO2  Dissolved inorganic carbon  Mountainous streams and rivers  Three Gorges Reservoir catchment  
On minimizing total energy consumption in the scheduling of virtual machine reservations 期刊论文
Journal of Network and Computer Applications, 2018, 卷号: 113, 页码: 64-74
作者:  Tian, Wenhong;  He, Majun;  Guo, Wenxia;  Huang, Wenqiang;  Shi, Xiaoyu;  Shang, Mingsheng;  Toosi, Adel Nadjaran;  Buyya, Rajkumar
Adobe PDF(4775Kb)  |  收藏  |  浏览/下载：139/0  |  提交时间：2019/06/26
On dynamic performance estimation of fault-prone Infrastructure-as-a-Service clouds 期刊论文
INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2017, 卷号: 13, 期号: 7, 页码: 11
作者:  Zheng, Wanbo;  Wang, Yuandou;  Xia, Yunni;  Wu, Quanwang;  Wu, Lei;  Guo, Kunyin;  Li, Weiling;  Luo, Xin;  Zhu, Qingsheng
Adobe PDF(1186Kb)  |  收藏  |  浏览/下载：93/0  |  提交时间：2018/03/05
Infrastructure-as-a-service Cloud  Performance Prediction  Pareto Distribution  
粗糙集在优化油田开发效果综合评价指标中的应用 期刊论文
黑龙江八一农垦大学学报, 2017, 期号: 3, 页码: 96-100
作者:  张漫;  严胡勇;  翟兴然
Adobe PDF(310Kb)  |  收藏  |  浏览/下载：91/0  |  提交时间：2018/03/16
粗糙集  油田  知识约简  综合评价  
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