المؤلفون: Lee, Dongho, Perrelle, Valentin, Valiron, Benoît, Xu, Zhaowei

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Quantum Physics

URL الوصول: http://arxiv.org/abs/2110.02691

المؤلفون: Chareton, Christophe, Bardin, Sébastien, Lee, Dongho, Valiron, Benoît, Vilmart, Renaud, Xu, Zhaowei

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2109.06493

المؤلفون: Xu, Zhaowei, Ying, Mingsheng, Valiron, Benoît

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2107.11679

المؤلفون: Xu, Zhaowei

المصدر: Defensive Publications Series

وصف الملف: application/pdf

Relation: https://www.tdcommons.org/dpubs_series/6872; https://www.tdcommons.org/context/dpubs_series/article/8007/viewcontent/Lazy_Loading_of_Certificates_During_Client_Validation.pdf

الاتاحة: https://www.tdcommons.org/dpubs_series/6872
https://www.tdcommons.org/context/dpubs_series/article/8007/viewcontent/Lazy_Loading_of_Certificates_During_Client_Validation.pdf

المؤلفون: Xu, Zhaowei, Ying, Mingsheng, Ying, Shenggang

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1812.00349

المؤلفون: Chareton, Christophe, Bardin, Sébastien, Lee, Dong Ho, Valiron, Benoît, Vilmart, Renaud, Xu, Zhaowei

المساهمون: Laboratoire de Sûreté et de sécurité des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Quantum Computation Structures (QuaCS), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), CentraleSupélec, ANR-17-CE25-0009,SoftQPRO,Solutions logicielles pour l'optimisation des programmes et ressources quantiques(2017), ANR-22-PETQ-0007,EPiQ,Etude de la pile quantique : Algorithmes, modèles de calcul et simulation pour l'informatique quantique(2022)

المصدر: Handbook of Formal Analysis and Verification in Cryptography ; https://cea.hal.science/cea-04479879 ; Handbook of Formal Analysis and Verification in Cryptography, 1, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656. ⟨10.1201/9781003090052-7⟩ ; https://www.routledge.com/Handbook-of-Formal-Analysis-and-Verification-in-Cryptography/Akleylek-Dundua/p/book/9780367546656

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

الاتاحة: https://cea.hal.science/cea-04479879
https://cea.hal.science/cea-04479879v1/document
https://cea.hal.science/cea-04479879v1/file/main.pdf
https://doi.org/10.1201/9781003090052-7

المؤلفون: Feng, Chun, Kong, Demin, Tong, Binghua, Liang, Yonghui, Xu, Fuyi, Yang, Yangyang, Wu, Yingying, Chi, Xiaodong, Wei, Pengfei, Yang, Yang, Zhang, Guilong, Tian, Geng, Xu, Zhaowei

المصدر: Cell Death & Disease; 1/17/2025, p1-17, 17p

المؤلفون: Xu, Zhaowei, Zhang, Wenhui, Sui, Yuefei

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1703.00237

المؤلفون: Xu, Zhaowei, Sui, Yuefei, Zhang, Wenhui

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1703.00240

المؤلفون: Yang, Yingxia, Wang, Zhichao, Li, Xiaofeng, Zhao, Dan, Yu, Zhen, Tian, Ke, Lyu, Weihua, Zuo, Jin, Xu, Zhaowei

المصدر: International Journal of Ventilation; Dec2024, Vol. 23 Issue 4, p287-308, 22p

المؤلفون: Lu Linfang, Yu Siqi, Liu Min, Li Yang, Lei Qing, Lin Mingxi, Lai Danyun, Guo Shujuan, Jiang Hewei, Hou Hongyan, Zheng Yunxiao, Wang Xuening, Ma Mingliang, Zhang Bo, Chen Hong, Xue Junbiao, Zhang Hainan, Qi Huan, Sun Ziyong, Wang Feng, Fan Xionglin, Xu Zhaowei

المصدر: Acta Biochimica et Biophysica Sinica, Vol 54, Pp 556-564 (2022)

مصطلحات موضوعية: SARS-CoV-2, protein microarray, age, humoral immunity, IgG and IgM, non-structural/accessory protein, Biochemistry, QD415-436, Genetics, QH426-470

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1672-9145

URL الوصول: https://doaj.org/article/8545ba315cce42e3b2df20ca33176e45

المؤلفون: Xu, Zhaowei, Liu, Shuyan, Feng, Chun, Xu, Fuyi, Kong, Demin, Mi, Jia, Yang, Chunhua, Zhang, Guilong, Wei, Pengfei, Orgil, Buyan-Ochir, Bergquist, Jonas, Tian, Geng

المصدر: Cell Death Discovery. 8(1)

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-492224
https://doi.org/10.1038/s41420-022-01269-x
https://uu.diva-portal.org/smash/get/diva2:1723787/FULLTEXT01.pdf

المؤلفون: Xu, Xiaotong, Li, Huimin, Tong, Binghua, Zhang, Weijie, Wang, Xiaofei, Wang, Yue, Tian, Geng, Xu, Zhaowei, Zhang, Guilong

المصدر: Advanced Healthcare Materials; 11/11/2024, Vol. 13 Issue 28, p1-13, 13p

المؤلفون: Zhang, Caiyun, Leng, Zhiguo, Wang, Yinfeng, Ran, Lang, Qin, Xia, Xin, Huan, Xu, Xiaotong, Zhang, Guilong, Xu, Zhaowei

المساهمون: National Natural Science Foundation of China, Taishan Scholars Construction Engineering, Special Project of Central Government for Local Science and Technology Development of Shandong Province

المصدر: Journal of Nanobiotechnology ; volume 20, issue 1 ; ISSN 1477-3155

الاتاحة: http://dx.doi.org/10.1186/s12951-022-01482-x
https://link.springer.com/content/pdf/10.1186/s12951-022-01482-x.pdf
https://link.springer.com/article/10.1186/s12951-022-01482-x/fulltext.html

المؤلفون: Xu, Zhaowei, Li, Hao, Xu, Wei, Shao, Shuangquan, Wang, Zhichao, Gou, Xiaoxi, Zhao, Mingyang, Li, Jiandong

المصدر: International Journal of Refrigeration ; volume 133, page 99-110 ; ISSN 0140-7007

الاتاحة: http://dx.doi.org/10.1016/j.ijrefrig.2021.10.002
https://api.elsevier.com/content/article/PII:S0140700721003960?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0140700721003960?httpAccept=text/plain

المؤلفون: Xu, Zhaowei

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1311.4617

المؤلفون: Wang, Wei¹ (AUTHOR) wangwei7@nbu.edu.cn, Xu, Zhaowei² (AUTHOR), Wang, Yiping² (AUTHOR), Xu, Xiangyun³ (AUTHOR) plaxxy@163.com, Huo, Qing² (AUTHOR), Song, Xiaodong² (AUTHOR), Yang, Guangrui² (AUTHOR)

المصدر: Journal of Structural Engineering. Jun2024, Vol. 150 Issue 6, p1-18. 18p.

مصطلحات موضوعية: *BLAST effect, *IRON & steel plates, *MILITARY engineering, *SHOCK waves, *STEEL fracture, *FAILURE mode & effects analysis, *BLASTING

المؤلفون: Zhang, Long, Wu, Longping, Zhan, Binfei, Xu, Zhaowei, Zhang, Xuan, Wang, Zhichao, Song, Mengjie

المصدر: International Communications in Heat and Mass Transfer ; volume 159, page 108060 ; ISSN 0735-1933

الاتاحة: https://doi.org/10.1016/j.icheatmasstransfer.2024.108060
https://api.elsevier.com/content/article/PII:S0735193324008224?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0735193324008224?httpAccept=text/plain

المؤلفون: Wu, Yingying, Zhang, Chao, Duan, Shaofei, Li, Yushan, Lu, Lu, Bajpai, Akhilesh, Yang, Chunhua, Mi, Jia, Tian, Geng, Xu, Fuyi, Qi, Donglai, Xu, Zhaowei, Chi, Xiao Dong

المساهمون: Key Technology Research and Development Program of Shandong Province, National Natural Science Foundation of China

المصدر: Diabetes, Obesity and Metabolism ; volume 26, issue 5, page 1775-1788 ; ISSN 1462-8902 1463-1326

الاتاحة: http://dx.doi.org/10.1111/dom.15491

المؤلفون: Li, Hao, Xu, Zhaowei, Yang, Qiang, Wang, Zhichao, Shao, Shuangquan, Xu, Ce, Yang, Yingxia, Li, Jiandong

المساهمون: Science and Technology Department of Tibet

المصدر: Journal of Building Engineering ; volume 87, page 109018 ; ISSN 2352-7102

الاتاحة: http://dx.doi.org/10.1016/j.jobe.2024.109018
https://api.elsevier.com/content/article/PII:S2352710224005862?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352710224005862?httpAccept=text/plain