[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Assertion-based Verification of Behavioral Descriptions with Non-linear Solver
- 作者Ugarte, I.; Sanchez, P.
- 文件大小8145.99KB
- 发表时间2006
- DOI10.1109/hldvt.2006.319965
- 页码61-68
[IEEE 2006 IEEE International Conference on Evolutionary Computation - Vancouver, BC, Canada (16-21 July 2006)] 2006 IEEE International Conference on Evolutionary Computation - On Clustering in Evolutionary ComputationJie Yao, ; Kharma, N.; Yu Qing Zhu, · 2006
[IEEE 2006 IEEE International Conference on Evolutionary Computation - Vancouver, BC, Canada (16-21 July 2006)] 2006 IEEE International Conference on Evolutionary Computation - DNA Secret SharingAdhikari, A. · 2006
[IEEE 2006 IEEE International Conference on Evolutionary Computation - Vancouver, BC, Canada (16-21 July 2006)] 2006 IEEE International Conference on Evolutionary Computation - Evacuation Planning via Evolutionary ComputationGarrett, A.; Carnahan, B.; Muhdi, R.; Davis, J.; Dozier, G.; SanSoucie, M.P.; Hull, P.V.; Tinker, M.L. · 2006
[IEEE 2006 IEEE International Conference on Evolutionary Computation - Vancouver, BC, Canada ()] 2006 IEEE International Conference on Evolutionary Computation - Table of contents2006
[IEEE 2006 IEEE International Conference on Evolutionary Computation - Vancouver, BC, Canada (16-21 July 2006)] 2006 IEEE International Conference on Evolutionary Computation - Binary Differential EvolutionPampara, G.; Engelbrecht, A.P.; Franken, N. · 2006
[IEEE 2006 IEEE International Conference on Evolutionary Computation - Vancouver, BC, Canada (16-21 July 2006)] 2006 IEEE International Conference on Evolutionary Computation - Alternative Splicing in Evolutionary Computation: Adaptation in Dynamic EnvironmentsRohlfshagen, P.; Bullinaria, J.A. · 2006
[IEEE 2006 IEEE International Conference on Evolutionary Computation - Vancouver, BC, Canada (16-21 July 2006)] 2006 IEEE International Conference on Evolutionary Computation - Evolving NNTrees More EfficientlyHayashi, H.; Qiangfu Zhao, · 2006
[IEEE 2006 IEEE International Conference on Evolutionary Computation - Vancouver, BC, Canada (16-21 July 2006)] 2006 IEEE International Conference on Evolutionary Computation - The polar evolution strategySierra, A.; Echeverria, A. · 2006
Molecular Typing of Treponema pallidumTian, Hongqing; Li, Zhen; Li, Zhongwei; Hou, Jianling; Zheng, Rongtao; Li, Furong; Liu, Ruyuan; Liu, Bing; Wang, Chuan; Zhang, Furen · Sexually Transmitted Diseases · 2014
Selection of implantation sites for transplantation of encapsulated pancreatic isletsZhu, Haitao; Li, Wenjing; Liu, Zhongwei; Li, Wenliang; Chen, Niuniu; Lu, Linlin; Zhang, Wei; Wang, Zhen; Wang, Bo; Pan, Kaili; Zhang, Xiaoge; Chen, Guoqiang · Tissue Engineering Part B: Reviews · 2017
Gold crescent nanodisk array for nanoantenna-enhanced sensing in subwavelength areasZhang, Zhen; Zhou, Bingpu; Huang, Yingzhou; Liao, Zhongwei; Li, Zhipeng; Li, Shunbo; Wang, Shuxia; Wen, Weijia · Applied Optics · 2014
Three-dimensionally ordered macro-microporous metal organic frameworks with strong sulfur immobilization and catalyzation for high-performance lithium-sulfur batteriesCui, Guoliang; Li, Gaoran; Luo, Dan; Zhang, Yongguang; Zhao, Yan; Wang, Daorui; Wang, Jiayi; Zhang, Zhen; Wang, Xin; Chen, Zhongwei · Nano Energy · 2020
Efficiency of CD19 chimeric antigen receptor-modified T cells for treatment of B cell malignancies in phase I clinical trials: a meta-analysisZhang, Tengfei; Cao, Ling; Xie, Jing; Shi, Ni; Zhang, Zhen; Luo, Zhenzhen; Yue, Dongli; Zhang, Zimeng; Wang, Liping; Han, Weidong; Xu, Zhongwei; Chen, Hu; Zhang, Yi · Oncotarget · 2015
Corticosteroid Treatment Ameliorates Acute Lung Injury Induced by 2009 Swine Origin Influenza A (H1N1) Virus in MiceLi, Chenggang; Yang, Penghui; Zhang, Yanli; Sun, Yang; Wang, Wei; Zou, Zhen; Xing, Li; Chen, Zhongwei; Tang, Chong; Guo, Feng; Deng, Jiejie; Zhao, Yan; Yan, Yiwu; Tang, Jun; Wang, Xiliang; Jiang, Chengyu; Alonso, Sylvie · PLoS ONE · 2012
First Proteomic Exploration of Protein-Encoding Genes on Chromosome 1 in Human Liver, Stomach, and ColonWu, Songfeng; Li, Ning; Ma, Jie; Shen, Huali; Jiang, Dahai; Chang, Cheng; Zhang, Chengpu; Li, Liwei; Zhang, Hongxing; Jiang, Jing; Xu, Zhongwei; Ping, Lingyan; Chen, Tao; Zhang, Wei; Zhang, Tao; Xing, Xiaohua; Yi, Tailong; Li, Yanchang; Fan, Fengxu; Li, Xiaoqian; Zhong, Fan; Wang, Quanhui; Zhang, Yang; Wen, Bo; Yan, Guoquan; Lin, Liang; Yao, Jun; Lin, Zhilong; Wu, Feifei; Xie, Liqi; Yu, Hongxiu; Liu, Mingqi; Lu, Haojie; Mu, Hong; Li, Dong; Zhu, Weimin; Zhen, Bei; Qian, Xiaohong; Qin, Jun; Liu, Siqi; Yang, Pengyuan; Zhu, Yunping; Xu, Ping; He, Fuchu · Journal of Proteome Research · 2013
Template-guided synthesis of Co nanoparticles embedded in hollow nitrogen doped carbon tubes as a highly efficient catalyst for rechargeable Zn-air batteriesZhou, Qingyan; Zhang, Zhen; Cai, Jiajun; Liu, Bing; Zhang, Yunlong; Gong, Xiaofei; Sui, Xulei; Yu, Aiping; Zhao, Lei; Wang, Zhenbo; Chen, Zhongwei · Nano Energy · 2020