×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [35]
软件研究所 [34]
北京大学 [25]
厦门大学 [6]
兰州大学 [5]
自动化研究所 [4]
更多...
内容类型
期刊论文 [79]
会议论文 [31]
其他 [19]
学位论文 [11]
发表日期
2020 [1]
2019 [2]
2018 [4]
2017 [1]
2016 [6]
2015 [5]
更多...
学科主题
Computer S... [4]
Artificial... [3]
Computer S... [2]
计算机科学技术基础学... [2]
Engineerin... [1]
Mathematic... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共140条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
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
Cloud resource management process
multi-instance Petri nets (MPNs)
multi-instance sub-processes
process discovery
quality evaluation
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
Automotive industry
Embedded systems
Model checking
Surveys, Co-designs
Co-verification
Formal techniques
Hardware/software
Integration of hardware and softwares
Low level softwares
Property Specification
Simulation and testing, Formal verification
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
galaxies: ISM
galaxies: photometry
galaxies: star formation
infrared: galaxies
techniques: photometric
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
Late Paleolithic: China
Blade Technology
Levallois
Core-and-flake Technology
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
Adaptation strategies
Perception
Agriculture
Drought impacts
Water conflict
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
Astrometry
Techniques: Interferometric
Telescopes
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
Extended Depth Of Focus (Edf)
Oracle Bone Inscriptions
Tool Marks
Yinxu Site (Ca
1319-1046 Bc)
©版权所有 ©2017 CSpace - Powered by
CSpace