中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
深圳先进技术研究院 [3]
软件研究所 [2]
采集方式
OAI收割 [5]
内容类型
会议论文 [5]
发表日期
2017 [1]
2015 [1]
2014 [1]
2007 [1]
2006 [1]
学科主题
筛选
浏览/检索结果:
共5条,第1-5条
帮助
限定条件
存缴方式:oaiharvest
内容类型:会议论文
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
发表日期升序
发表日期降序
A Comparative study among Three Hypertensive Populations taking Different Antiplatelet Agent Together With Antacid based on Medical Big Data
会议论文
OAI收割
Shenzhen, 2017
作者:
Yunpeng Cai
;
Yingying Wang
;
Qi Li
;
Dongyuan Wu
;
Jianfeng Liu
  |  
收藏
  |  
浏览/下载:37/0
  |  
提交时间:2018/02/02
The Early Genetic Events in Cervical Cancers of Chinese Women and their Implications in Cancer Immunotherapy
会议论文
OAI收割
New horizons in cancer research, 中国上海
作者:
Xia Li
;
Hailiang Huang
;
Chen-Yi He
;
Ming Qi
;
Zhi-Ying Chen
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/01/27
LiveRender: A Cloud Gaming System Based on Compressed Graphics Streaming
会议论文
OAI收割
2014 ACM Conference on Multimedia, MM 2014, Orlando / USA
作者:
Lin, Li
;
Liao, Xiaofei
;
Tan, Guang
;
Jin, Hai
;
Yang, Xiaobin
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2015/09/02
symbolic test generation using a temporal logic with constrained events
会议论文
OAI收割
Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25,
Liu Daguang
;
Wu Peng
;
Lin Huimin
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/06/29
Algorithms
Data acquisition
Logic programming
Parameter estimation
model-based testing of concurrent programs with predicate sequencing constraints
会议论文
OAI收割
5th International Conference on Quality Software (QSIC 2005), Melbourne, AUSTRALIA, SEP 19-20,
Wu Peng
;
Lin Huimin
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2011/07/28
中国帕米尔
禾本科
区系model-based testing
symbolic test generation
predicate sequencing constraints