CSpace

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

已选(0)清除 条数/页:   排序方式:
A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow 期刊论文
INTEGRATION-THE VLSI JOURNAL, 2025, 卷号: 100, 页码: 11
作者:  Chao, Zhiteng;  Zhang, Xindi;  Huang, Junying;  Liu, Zizhen;  Zhao, Yixuan;  Ye, Jing;  Cai, Shaowei;  Li, Huawei;  Li, Xiaowei
收藏  |  浏览/下载:3/0  |  提交时间:2024/12/06
Static test compaction  Pure MaxSAT  DFT  ATPG  
Database Resources of the National Genomics Data Center, China National Center for Bioinformation in 2021 期刊论文
NUCLEIC ACIDS RESEARCH, 2021, 卷号: 49, 期号: D1, 页码: D18-D28
作者:  Xue, Yongbiao;  Bao, Yiming;  Zhang, Zhang;  Zhao, Wenming;  Xiao, Jingfa;  He, Shunmin;  Zhang, Guoqing;  Li, Yixue;  Zhao, Guoping;  Chen, Runsheng;  Song, Shuhui;  Ma, Lina;  Zou, Dong;  Tian, Dongmei;  Li, Cuiping;  Zhu, Junwei;  Gong, Zheng;  Chen, Meili;  Wang, Anke;  Ma, Yingke;  Li, Mengwei;  Teng, Xufei;  Cui, Ying;  Duan, Guangya;  Zhang, Mochen;  Jin, Tong;  Shi, Chengmin;  Du, Zhenglin;  Zhang, Yadong;  Liu, Chuandong;  Li, Rujiao;  Zeng, Jingyao;  Hao, Lili;  Jiang, Shuai;  Chen, Hua;  Han, Dali;  Yongbiao, Xue;  Zhang, Tao;  Kang, Wang;  Qu, Jing;  Zhang, Weiqi;  Liu, Guang-Hui;  Liu, Lin;  Zhang, Yang;  Niu, Guangyi;  Zhu, Tongtong;  Feng, Changrui;  Liu, Xiaonan;  Zhang, Yuansheng;  Li, Zhao;  Chen, Ruru;  Li, Qianpeng;  Hua, Zhongyi;  Jiang, Chao;  Chen, Ziyuan;  He, Fangshu;  Zhao, Yuyang;  Jin, Yan;  Huang, Luqi;  Yuan, Yuan;  Zhou, Chenfen;  Xu, Qingwei;  He, Sheng;  Ye, Wei;  Cao, Ruifang;  Wang, Pengyu;  Ling, Yunchao;  Yan, Xing;  Wang, Qingzhong;  Du, Qiang;  Zong, Wenting;  Kang, Hongen;  Xiong, Zhuang;  Huan, Wendi;  Zhang, Sirui;  Xia, Qiguang;  Fan, Xiaojuan;  Wang, Zefeng;  Chen, Xu;  Chen, Tingting;  Zhang, Sisi;  Tang, Bixia;  Dong, Lili;  Zhang, Zhewen;  Wang, Zhonghuang;  Kang, Hailong;  Wang, Yanqing;  Wu, Song;  Wang, Honggen;  Chen, Ming;  Liu, Chang;  Xiong, Yujia;  Shao, Xueying;  Li, Yanyan;  Zhou, Honghong;  Chen, Xiaomin;  Zheng, Yu;  Kang, Quan;  Hao, Di;  Zhang, Lili;  Luo, Huaxia;  Hao, Yajing;  Zhang, Peng;  Nie, Zhi;  Yu, Shuhuan;  Yang, Fei;  Sang, Jian;  Li, Zhaohua;  Zhang, Xiangquan;  Zhou, Qing;  Zhai, Shuang;  Zhang, Yaping;  Wang, Guodong;  Zhu, Qianghui;  Li, Xin;  Li, Menghua;  Yan, Jun;  Li, Chen;  Wang, Zhennan;  Wang, Xiangfeng;  Liu, Yuanming;  Luo, Hong;  Wu, Xiaoyuan;  Jing, HaiChun;  Song, Tinrui;  Zhao, Yi;  Mehmood, Furrukh;  Ali, Shahid;  Ali, Amjad;  Saleem, Shoaib;  Hussain, Irfan;  Abbasi, Amir A.;  Zuo, Zhixiang;  Ren, Jian;  Zhang, Xinxin;  Xiao, Yun;  Li, Xia;  Tu, Yiran;  Xue, Yu;  Wu, Wanying;  Ji, Peifeng;  Zhao, Fangqing;  Meng, Xianwen;  Peng, Di;  Luo, Hao;  Gao, Feng;  Ning, Wanshan;  Lin, Shaofeng;  Liu, Teng;  Guo, An-Yuan;  Yuan, Hao;  Zhang, Yong E.;  Tan, Xiaodan;  Zhang, Weizhi;  Xie, Yubin;  Wang, Chenwei;  Liu, Chun-Jie;  Yang, De-Chang;  Tian, Feng;  Gao, Ge;  Tang, Dachao;  Yao, Lan;  Cui, Qinghua;  An, Ni A.;  Li, Chuan-Yun;  Luo, XiaoTong
收藏  |  浏览/下载:97/0  |  提交时间:2021/12/01
A simpler GMRES and its adaptive variant for shifted linear systems (vol 24, e2076, 2017) 期刊论文
NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS, 2020, 页码: 1
作者:  Jing, Y-F;  Yuan, P.;  Huang, T-Z
收藏  |  浏览/下载:26/0  |  提交时间:2021/12/01
Dynamic Packet Forwarding Verification in SDN 期刊论文
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 卷号: 16, 期号: 6, 页码: 915-929
作者:  Li, Qi;  Zou, Xiaoyue;  Huang, Qun;  Zheng, Jing;  Lee, Patrick P. C.
收藏  |  浏览/下载:53/0  |  提交时间:2020/12/10
Control systems  Cryptography  Protocols  IP networks  Software  Prototypes  Delays  Software-defined networking  attacks  forwarding verification  
Learning to Predict Bus Arrival Time From Heterogeneous Measurements via Recurrent Neural Network 期刊论文
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2019, 卷号: 20, 期号: 9, 页码: 3283-3293
作者:  Pang, Junbiao;  Huang, Jing;  Du, Yong;  Yu, Haitao;  Huang, Qingming;  Yin, Baocai
收藏  |  浏览/下载:85/0  |  提交时间:2019/12/10
Bus arriving time prediction  recurrent neural network  heterogenous measurement  long-range dependencies  multi-step-ahead prediction  
A Convenient Non-harm Cervical Spondylosis Intelligent Identity method based on Machine Learning 期刊论文
SCIENTIFIC REPORTS, 2018, 卷号: 8, 页码: 12
作者:  Wang, Nana;  Huang, Xi;  Rao, Yi;  Xiao, Jing;  Lu, Jiahui;  Wang, Nian;  Cui, Li
收藏  |  浏览/下载:173/0  |  提交时间:2019/04/03
Discovering Fine-Grained Spatial Pattern From Taxi Trips: Where Point Process Meets Matrix Decomposition and Factorization 期刊论文
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2018, 卷号: 19, 期号: 10, 页码: 3208-3219
作者:  Pang, Junbiao;  Huang, Jing;  Yang, Xue;  Wang, Zuyun;  Yu, Haitao;  Huang, Qingming;  Yin, Baocai
收藏  |  浏览/下载:73/0  |  提交时间:2019/12/10
Spatio-temporal pattern  fine-grained pattern  low-rank regularity  matrix factorization  taxis trip  point process  
时空数据语义理解:技术与应用 期刊论文
软件学报, 2018, 卷号: 29.0, 期号: 007, 页码: 2018
作者:  姚迪;  张超;  黄建辉;  陈越新;  毕经平
收藏  |  浏览/下载:15/0  |  提交时间:2023/12/04
时空数据挖掘  语义理解  语义偏好  用户画像  机器学习  
Justify role of Similarity Diffusion Process in cross-media topic ranking: an empirical evaluation 期刊论文
MULTIMEDIA TOOLS AND APPLICATIONS, 2017, 卷号: 76, 期号: 23, 页码: 25145-25157
作者:  Pang, Junbiao;  Huang, Jing;  Zhang, Weigang;  Huang, Qingming;  Yin, Baocai
收藏  |  浏览/下载:50/0  |  提交时间:2019/12/10
Unsupervised ranking  Poisson noise  Gaussian noise  Similarity Diffusion Process  Deconvolution  
Survey on Algorithms for Tandem Mass Spectrometry Oligosaccharide Identification 期刊论文
PROGRESS IN BIOCHEMISTRY AND BIOPHYSICS, 2017, 卷号: 44, 期号: 10, 页码: 830-847
作者:  Wang Yao-Jun;  Huang Chun-Cui;  Gao Feng;  Zhang Jing-Wei;  Li Yan;  Bu Dong-Bo;  Sun Shi-Wei
收藏  |  浏览/下载:74/0  |  提交时间:2019/12/12
mass spectrometry  oligosaccharide  algorithm  oligosaccharide identification