Zobrazeno 1 - 10
of 450
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
Publikováno v:
In International Journal of Nursing Studies August 2024 156
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
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:
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
Delays are ubiquitous in modern hybrid systems, which exhibit both continuous and discrete dynamical behaviors. Induced by signal transmission, conversion, the nature of plants, and so on, delays may appear either in the continuous evolution of a hyb
Externí odkaz:
http://arxiv.org/abs/2103.11565