CSpace

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

已选(0)清除 条数/页:   排序方式:
Evaluating and Constraining Hardware Assertions with Absent Scenarios 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216
作者:  Chao, Hui-Na;  Li, Hua-Wei;  Song, Xiaoyu;  Wang, Tian-Cheng;  Li, Xiao-Wei
收藏  |  浏览/下载:36/0  |  提交时间:2021/12/01
hardware formal verification  assertion generation  data mining  assertion evaluation  assertion coverage  
Database Resources of the National Genomics Data Center in 2020 期刊论文
NUCLEIC ACIDS RESEARCH, 2020, 卷号: 48, 期号: D1, 页码: D24-D33
作者:  Zhang, Zhang;  Zhao, Wenming;  Xiao, Jingfa;  Bao, Yiming;  He, Shunmin;  Zhang, Guoqing;  Li, Yixue;  Zhao, Guoping;  Chen, Runsheng;  Gao, Yang;  Zhang, Chao;  Yuan, Liyun;  Xu, Shuhua;  Ning, Zhilin;  Lu, Yan;  Zeng, Jingyao;  Yuan, Na;  Zhu, Junwei;  Pan, Mengyu;  Zhang, Hao;  Wang, Qi;  Shi, Shuo;  Jiang, Meiye;  Lu, Mingming;  Qian, Qiheng;  Gao, Qianwen;  Shang, Yunfei;  Wang, Jinyue;  Du, Zhenglin;  Tian, Dongmei;  Wang, Pei;  Tang, Bixia;  Li, Cuiping;  Teng, Xufei;  Liu, Xiaonan;  Zou, Dong;  Song, Shuhui;  Xiong, Zhuang;  Li, Mengwei;  Yang, Fei;  Ma, Yingke;  Sang, Jian;  Li, Zhaohua;  Li, Rujiao;  Wang, Zhonghuang;  Zhu, Qianghui;  Li, Xin;  Zhang, Sisi;  Kang, Hailong;  Dong, Lili;  Ying, Cui;  Duan, Guangya;  Li, Menghua;  Zhi, Xiaoyang;  Ling, Yunchao;  Cao, Ruifang;  Jiang, Zhao;  Zhou, Haokui;  Lv, Daqing;  Liu, Wan;  Klenk, Hans-Peter;  Zhang, Yadong;  Zhang, Zhewen;  Chen, Tingting;  Chen, Xu;  Wang, Yanqing;  Wu, Song;  Gong, Zheng;  Chen, Meili;  Fang, Shuangsang;  Zhang, Lili;  Guo, Jincheng;  Niu, Yiwei;  Wu, Yang;  Li, Hui;  Zhao, Lianhe;  Li, Xiyuan;  Teng, Xueyi;  Sun, Xianhui;  Sun, Liang;  Zhao, Yi;  Wang, Jiajia;  Zhang, Peng;  Li, Yanyan;  Zheng, Yu;  Chen, Xiaomin;  Xue, Hua;  Teng, Yiheng;  Kang, Quan;  Hao, Yajing;  Cao, Jiabao;  Liu, Lin;  Li, Zhao;  Li, Qianpeng;  Du, Qiang;  Abbasi, Amir A.;  Shireen, Huma;  Pervaiz, Nashaiman;  Batool, Fatima;  Raza, Rabail Z.;  Ma, Lina;  Niu, Guangyi;  Zhang, Yuansheng;  Zhu, Tongtong;  Hao, Lili;  Wang, Guoliang;  Yan, Jun;  Li, Chen;  Wang, Zhennan;  Wang, Xiangfeng;  Li, Zhonghai;  Zhang, Yang;  Wang, Houling;  Zhang, Yi;  Xia, Xinli;  Guo, Hongwei;  Zhu, Junwen;  Zhou, Qing;  Kang, Hongen;  Lan, Li;  Zhang, Xin;  Xue, Yongbiao;  Sun, Yubin;  Zhai, Shuang;  Yu, Lei;  Sun, Mingyuan;  Chen, Huanxin;  Hu, Hui;  Guo, An-Yuan;  Lin, Shaofeng;  Xue, Yu;  Wang, Chenwei;  Ning, Wanshan;  Zhang, Xinxin;  Xiao, Yun;  Li, Xia;  Tu, Yiran;  Wu, Wanying;  Ji, Peifeng;  Zhao, Fangqing;  Luo, Hao;  Gao, Feng;  Guo, Yaping;  Yuan, Hao;  Zhang, Yong E.;  Zhang, Qiong;  Zhou, Jiaqi;  Huang, Zhou;  Cui, Qinghua;  Miao, Ya-Ru;  Ruan, Chen;  Yuan, Chunhui;  Chen, Ming;  Jin, Jin-Pu;  Tian, Feng;  Gao, Ge;  Shi, Ying;  Yao, Lan;  Li, Xiangshang;  Li, Chuan-Yun;  Tang, Qing;  Peng, Di
收藏  |  浏览/下载:106/0  |  提交时间:2020/12/10
无权访问的条目 期刊论文
作者:  詹剑锋;  王磊;  李晓娜;  施巍松;  翁楚良;  张文耀;  臧秀涛
Adobe PDF(565Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2012/09/29
A Strategy for Precise and Large Scale Identification of Core Fucosylated Glycoproteins 期刊论文
MOLECULAR & CELLULAR PROTEOMICS, 2009, 卷号: 8, 期号: 5, 页码: 913-923
作者:  Jia, Wei;  Lu, Zhuang;  Fu, Yan;  Wang, Hai-Peng;  Wang, Le-Heng;  Chi, Hao;  Yuan, Zuo-Fei;  Zheng, Zhao-Bin;  Song, Li-Na;  Han, Huan-Huan;  Liang, Yi-Min;  Wang, Jing-Lan;  Cai, Yun;  Zhang, Yu-Kui;  Deng, Yu-Lin;  Ying, Wan-Tao;  He, Si-Min;  Qian, Xiao-Hong
收藏  |  浏览/下载:66/0  |  提交时间:2019/12/16