CORC

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

已选(0)清除 条数/页:   排序方式:
Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 12, 页码: 2151-2160
作者:  Cong Liu
收藏  |  浏览/下载:0/0  |  提交时间:2022/12/02
Intercomparison of NO2, O-4, O-3 and HCHO slant column measurements by MAX-DOAS and zenith-sky UV-visible spectrometers during CINDI-2 期刊论文
ATMOSPHERIC MEASUREMENT TECHNIQUES, 2020, 卷号: 13
作者:  Kreher, Karin;  Van Roozendael, Michel;  Hendrick, Francois;  Apituley, Arnoud;  Dimitropoulou, Ermioni
收藏  |  浏览/下载:25/0  |  提交时间:2020/11/26
A Survey of Formal Techniques for Hardware/Software Co-verification 会议论文
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08
作者:  Liu, Kun;  Kong, Weiqiang;  Hou, Gang;  Fukuda, Akira
收藏  |  浏览/下载:14/0  |  提交时间:2019/12/02
Synthesizing Nested Ranking Functions for Loop Programs via SVM 会议论文
Shenzhen, China, November 5, 2019 - November 9, 2019
作者:  Li, Yi;  Sun, Xuechao;  Li, Yong;  Turrini, Andrea;  Zhang, Lijun
收藏  |  浏览/下载:11/0  |  提交时间:2020/02/18
"Super-deblended" Dust Emission in Galaxies. I. The GOODS-North Catalog and the Cosmic Star Formation Rate Density out to Redshift 6 期刊论文
ASTROPHYSICAL JOURNAL, 2018, 卷号: 853, 期号: 2, 页码: 55
作者:  Liu, Daizhong;  Daddi, Emanuele;  Dickinson, Mark;  Owen, Frazer;  Pannella, Maurilio
收藏  |  浏览/下载:43/0  |  提交时间:2019/04/08
A Survey of Formal Techniques for Hardware/Software Co-Verification 会议论文
the 7th International Congress on Advanced Applied Informatics (IIAI-AAI 2018)
作者:  Liu K(刘琨);  Kong WQ(孔维强);  Hou G(侯刚);  Akira Fukuda
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/02
The onset of Late Paleolithic in North China: An integrative review of the Shuidonggou site complex, China 期刊论文
ANTHROPOLOGIE, 2018, 卷号: 122, 期号: 1, 页码: 74-86
作者:  Peng, Fei;  Guo, Jialong;  Lin, Sam;  Wang, Huimin;  Gao, Xing
收藏  |  浏览/下载:13/0  |  提交时间:2018/12/13
Farmers' perceptions of and adaptations to drought in Herat Province, Afghanistan 期刊论文
JOURNAL OF MOUNTAIN SCIENCE, 2018, 卷号: 15, 期号: 8, 页码: 1741-1756
作者:  Iqbal, Mohammad Wasim;  Donjadee, Somchai;  Kwanyuen, Bancha;  Liu Shi-yin
收藏  |  浏览/下载:2/0  |  提交时间:2020/10/15
Star Scheduling Mode-A New Observing Strategy for Monitoring Weak Southern Radio Sources with the AuScope VLBI Array 期刊论文
PUBLICATIONS OF THE ASTRONOMICAL SOCIETY OF AUSTRALIA, 2017, 卷号: 34
作者:  McCallum, Lucia;  Mayer, David;  Le Bail, Karine;  Schartner, Matthias;  McCallum, Jamie
收藏  |  浏览/下载:16/0  |  提交时间:2019/05/23
Investigating the Tool Marks on Oracle Bones Inscriptions from the Yinxu Site (ca., 1319-1046 BC), Henan Province, China 期刊论文
MICROSCOPY RESEARCH AND TECHNIQUE, 2016, 卷号: 79, 期号: 9, 页码: 827-832
作者:  Zhao, Xiaolong;  Tang, Jigen;  Gu, Zhou;  Shi, Jilong;  Yang, Yimin
收藏  |  浏览/下载:20/0  |  提交时间:2016/12/06


©版权所有 ©2017 CSpace - Powered by CSpace