Zobrazeno 1 - 10
of 455
pro vyhledávání: '"gan, Ting"'
Interpolation-based techniques become popular in recent years, as they can improve the scalability of existing verification techniques due to their inherent modularity and local reasoning capabilities. Synthesizing Craig interpolants is the cornersto
Externí odkaz:
http://arxiv.org/abs/2407.00625
Barrier certificates, serving as differential invariants that witness system safety, play a crucial role in the verification of cyber-physical systems (CPS). Prevailing computational methods for synthesizing barrier certificates are based on semidefi
Externí odkaz:
http://arxiv.org/abs/2312.15416
To infer a diffusion network based on observations from historical diffusion processes, existing approaches assume that observation data contain exact occurrence time of each node infection, or at least the eventual infection statuses of nodes in eac
Externí odkaz:
http://arxiv.org/abs/2312.07942
Autor:
Gan, Ting, Liu, Wenhu, Wang, Yan, Huang, Dan, Hu, Jing, Wang, Ya, Xiong, Jingjie, Wang, Xuehua, Xu, Qian, Xiong, Ni, Lu, Shuai, Wang, Zhaohui
Publikováno v:
In International Journal of Biological Macromolecules October 2024 278 Part 1
Autor:
Liu, Wenhu, Hu, Jing, Wang, Ya, Gan, Ting, Ding, Yan, Wang, Xuehua, Xu, Qian, Xiong, Jingjie, Xiong, Ni, Lu, Shuai, Wang, Yan, Wang, Zhaohui
Publikováno v:
In Phytomedicine January 2025 136
Publikováno v:
In International Journal of Nursing Studies August 2024 156
Publikováno v:
Shipin yu jixie, Vol 40, Iss 4, Pp 179-186,209 (2024)
Objective: In order to predict and control the hot air drying process of Mango. Methods: Using fresh Mangifera indica Linn as experimental material, the effects were studied in different hot air temperatures (60, 65, 70 ℃) and different thickness o
Externí odkaz:
https://doaj.org/article/e82dbf3c351747fc8cf3887f81bd957b
Autor:
Shu, Gang, gan, Ting, Lin, Ziqin, Liu, Ying, Chen, Jingyi, Wang, Chengdong, Deng, Linhua, Li, Caiwu, Chang, Li-Jen, Zhang, Wei, Li, Haohuan, Xu, Funeng, Fu, Hualing, Lin, Juchun
Publikováno v:
In Ecotoxicology and Environmental Safety 15 June 2024 278
Autor:
Gan, Ting, Qu, Lu-xi, Qu, Shu, Qi, Yuan-yuan, Zhang, Yue-miao, Wang, Yan-na, Li, Yang, Liu, Li-jun, Shi, Su-fang, Lv, Ji-cheng, Zhang, Hong, Peng, Yi-jie, Zhou, Xu-jie
Publikováno v:
In International Immunopharmacology 10 May 2024 132
Autor:
Qu, Shu, Gan, Ting, Wang, Yan-na, Qi, Yuan-yuan, Zhang, Yue-miao, Berthier, Celine C., Liu, Li-jun, Shi, Su-fang, Lv, Ji-cheng, Zhang, Hong, Zhou, Xu-jie
Publikováno v:
In International Immunopharmacology 20 April 2024 131