Zobrazeno 1 - 10
of 938
pro vyhledávání: '"Wu, Xiwei"'
Publikováno v:
EPTCS 400, 2024, pp. 79-95
Sets and relations are very useful concepts for defining denotational semantics. In the Coq proof assistant, curried functions to Prop are used to represent sets and relations, e.g. A -> Prop, A -> B -> Prop, A -> B -> C -> Prop, etc. Further, the me
Externí odkaz:
http://arxiv.org/abs/2404.05459
Program verification is vital for ensuring software reliability, especially in the context of increasingly complex systems. Loop invariants, remaining true before and after each iteration of loops, are crucial for this verification process. Tradition
Externí odkaz:
http://arxiv.org/abs/2311.10483
Autor:
Ge, Minglei, Ouyang, Huizi, Shang, Ye, Biu, Abdulmumin Muhammad, Wu, Xiwei, Li, Caixia, Zuo, Fanjiao, Zhu, Yameng, Xue, Zixiang, Hao, Jia, He, Jun
Publikováno v:
In Journal of Ethnopharmacology 10 August 2024 330
Autor:
Cao, Qinxiang, Wu, Xiwei
Publikováno v:
EPTCS 337, 2021, pp. 55-70
The set of integer number lists with finite length, and the set of binary trees with integer labels are both countably infinite. Many inductively defined types also have countably many elements. In this paper, we formalize the syntax of first order i
Externí odkaz:
http://arxiv.org/abs/2107.07663
Autor:
Wu, Xiwei, Xiao, Bing
Publikováno v:
In Journal of the Franklin Institute February 2024 361(3):1332-1346
Autor:
Xu, Senlin, Wu, Shunquan, Zhang, Mingfeng, Xie, Jun, Lin, Min, Jin, Lihua, Zhang, Jiawei, Wang, Yangmeng, Fan, Mingjie, Fang, Zhipeng, Li, Weini, Ouyang, Ching, Kwon, David, Que, Natalie, Li, Zhirou, Mao, Jinge, Chen, Haonan, Harris, Josephine, Wu, Xiwei, Wu, Jun, Yin, Hongwei, Chan, Wing C., Horne, David, Huang, Wendong
Publikováno v:
In Blood Advances 23 January 2024 8(2):309-323
Autor:
Guo, Linlin, Mohanty, Atish, Singhal, Sharad, Srivastava, Saumya, Nam, Arin, Warden, Charles, Ramisetty, Sravani, Yuan, Yate-Ching, Cho, Hyejin, Wu, Xiwei, Li, Aimin, Vohra, Manik, Saladi, Srinivas Vinod, Wheeler, Deric, Arvanitis, Leonidas, Massarelli, Erminia, Kulkarni, Prakash, Zeng, Yiming, Salgia, Ravi
Publikováno v:
In iScience 18 August 2023 26(8)
Autor:
Huang, Yaxun, Wu, Xiwei, Tang, Shanshan, Wu, Huiqing, Nasri, Ubaydah, Qin, Qi, Song, Qingxiao, Wang, Bixin, Tao, Hansen, Chong, Anita S., Riggs, Arthur D., Zeng, Defu
Publikováno v:
In American Journal of Transplantation August 2023 23(8):1116-1129
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Chinese Journal of Aeronautics February 2023 36(2):256-269