Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Ji, Zekun"'
We introduce Mars 2.0 for modeling, analysis, verification and code generation of Cyber-Physical Systems. Mars 2.0 integrates Mars 1.0 with several important extensions and improvements, allowing the design of cyber-physical systems using the combina
Externí odkaz:
http://arxiv.org/abs/2403.03035
Hybrid Communicating Sequential Processes (HCSP) is a formal model for hybrid systems, including primitives for evolution along an ordinary differential equation (ODE), communication, and parallel composition. Code generation is needed to convert HCS
Externí odkaz:
http://arxiv.org/abs/2402.15674
Message passing is a fundamental element in software development, ranging from concurrent and mobile computing to distributed services, but it suffers from communication errors such as deadlocks. Session types are a typing discipline for enforcing sa
Externí odkaz:
http://arxiv.org/abs/2310.12187
More powerful dysregulation of Helicobacter pylori East Asian-type CagA on intracellular signalings.
Autor:
Ji, Xiaofei1 (AUTHOR), Sun, Zekun1 (AUTHOR), Wu, Hao1,2 (AUTHOR), Zhang, Jianhui1 (AUTHOR), Liu, Shuzhen1 (AUTHOR), Cao, Xinying1 (AUTHOR), Wang, Bin1 (AUTHOR), Wang, Feifan1 (AUTHOR), Zhang, Ying1 (AUTHOR), Li, Boqing1 (AUTHOR), Feng, Jiankai1 (AUTHOR), Zhao, Huilin1 (AUTHOR) zhaohuilin1984@163.com
Publikováno v:
BMC Microbiology. 11/11/2024, Vol. 24 Issue 1, p1-15. 15p.
Autor:
Cao, Jiangjun1,2,3 (AUTHOR) erhuzhao@126.com, Zhao, Erhu2 (AUTHOR) zqz26113929@outlook.com, Zhu, Qingzong2 (AUTHOR) juanli0410@126.com, Ji, Juanli2 (AUTHOR) weizekun00@163.com, Wei, Zekun2 (AUTHOR), Xu, Bo3 (AUTHOR) suyy@mail.tnmu.com.cn, Cui, Hongjuan2 (AUTHOR) suyy@mail.tnmu.com.cn
Publikováno v:
Cells (2073-4409). Sep2024, Vol. 13 Issue 18, p1577. 3p.
Autor:
Chen, He, Liu, Hao, Ji, Yanran, Sha, Zekun, An, Li, Li, Meng, Zhang, Di, Wu, Xujin, Hua, Xiude
Publikováno v:
Biosensors (2079-6374); May2023, Vol. 13 Issue 5, p545, 13p
Autor:
Cao, Jiangjun1,2,3 (AUTHOR), Zhao, Erhu2 (AUTHOR), Zhu, Qingzong2 (AUTHOR), Ji, Juanli2 (AUTHOR), Wei, Zekun2 (AUTHOR), Xu, Bo3 (AUTHOR) suyy@mail.tnmu.com.cn, Cui, Hongjuan2 (AUTHOR) suyy@mail.tnmu.com.cn
Publikováno v:
Cells (2073-4409). Aug2019, Vol. 8 Issue 8, p774-774. 1p.
Publikováno v:
Health & Medicine Week; 6/16/2023, p4421-4421, 1p
Autor:
Ana Cavalcanti, James Baxter
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career
This is an open access book. The conference will focus on educational management and social studies, discussing key challenges and research directions for the development of the field, promoting the development and application of theories and method