Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Jiacheng Gui"'
Autor:
Chang Liu, Chuan Fu, Tingzhen Li, Panyue Zhang, Yaping Xia, Yan Wu, Qiaojuan Lan, Yurong Li, Yuexin Zhang, Jiacheng Gui
Publikováno v:
Separation and Purification Technology. 314:123624
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4710fafdfc0ad67ac7e2c93a4d1bd70
https://doi.org/10.1016/j.seppur.2023.123624
https://doi.org/10.1016/j.seppur.2023.123624
Autor:
Ren Wang, Jiacheng Gui, Saipeng Huang, Lu Han, Yangping Liu, Xiaojie Zhang, Hongying Jia, Libo Du
Publikováno v:
Talanta. 197:239-248
Monitoring superoxide anion radical (O2•-) in live cells and in vivo is of great significance since O2•- is the precursor of other reactive oxygen species and has been closely associated with various physiological and pathological processes. Here
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab9f6c41463343483ad3eac2a0f17d99
https://doi.org/10.1016/j.talanta.2018.12.080
https://doi.org/10.1016/j.talanta.2018.12.080
Autor:
Chang Liu, Yan Wu, Guoxin Lan, Xiaopeng Ji, Yaping Xia, Chuan Fu, Jia Shen, Jiacheng Gui, Yuting Liu, Yuanying Qu, Hanyu Peng
Publikováno v:
Journal of Environmental Chemical Engineering. 10:108318
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23eb988fedd19f5701b88ee317fe82c3
https://doi.org/10.1016/j.jece.2022.108318
https://doi.org/10.1016/j.jece.2022.108318
Publikováno v:
Journal of Computer Languages. 71:101135
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2299dd7b3f3d795c58ca95c015a46d87
https://doi.org/10.1016/j.cola.2022.101135
https://doi.org/10.1016/j.cola.2022.101135
Publikováno v:
QRS
It is challenging to generate loop invariants for programs automatically in the field of software analysis and verification. Loop invariants are the weakened forms of the postconditions for loops. Therefore, we propose PBLInv, a postcondition-based a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6592717d9fb60a33cd9c6578acf42b3d
https://doi.org/10.1109/qrs51102.2020.00013
https://doi.org/10.1109/qrs51102.2020.00013
Publikováno v:
TASE
Inspired by the procedure that experts construct loop invariants, we propose a novel data-driven approach to generate verified loop invariants automatically. The approach consists of the prediction phase and the evaluation phase. The prediction phase
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::45029e47bfd37960f68a92de979a523e
https://doi.org/10.1109/tase49443.2020.00011
https://doi.org/10.1109/tase49443.2020.00011