中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共46条，第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  
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  
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)  |  收藏  |  浏览/下载：293/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)  |  收藏  |  浏览/下载：277/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)  |  收藏  |  浏览/下载：193/0  |  提交时间：2019/03/25
Cd availability  Cd uptake  Soil pollution  Soil amendments  Purple soil  
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
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)  |  收藏  |  浏览/下载：140/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)  |  收藏  |  浏览/下载：137/0  |  提交时间：2019/06/26
An Adaptive Reconfiguration Mechanism for Periodic Software Rejuvenation based on Transient Reliability Analysis 会议论文
2nd International Conference on Electronic Information Technology and Computer Engineering, EITCE 2018, Shanghai, China, October 12, 2018 - October 14, 2018
作者:  He, Pan;  Liu, Gang;  Yuan, Yue
收藏  |  浏览/下载：108/0  |  提交时间：2019/06/25
Technological updating decision–making model for eco–factory through dynamic programming 会议论文
1st International Conference on Intelligent Manufacturing and Internet of Things, IMIOT 2018 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2018, Chogqing, China, September 21, 2018 - September 23, 2018
作者:  Chen, Erheng;  Cao, Huajun;  Wang, Kun;  Jafar, Salman;  He, Qinyi
Adobe PDF(513Kb)  |  收藏  |  浏览/下载：75/0  |  提交时间：2019/06/25