Zobrazeno 1 - 10
of 210
pro vyhledávání: '"Cui, Weidong"'
Static analysis, the process of examining code without executing it, is crucial for identifying software issues. Yet, static analysis is hampered by its complexity and the need for customization for different targets. Traditional static analysis tool
Externí odkaz:
http://arxiv.org/abs/2312.08477
Formal verification can provably guarantee the correctness of critical system software, but the high proof burden has long hindered its wide adoption. Recently, Large Language Models (LLMs) have shown success in code analysis and synthesis. In this p
Externí odkaz:
http://arxiv.org/abs/2311.03739
Autor:
Embaye, Tedla Medhane, Ahmed, Muhammed Bilal, Deng, Nan, Cui, Weidong, Bukhsh, Khuda, Zhang, Lan, Zhu, Lihua, Wang, Xuebin
Publikováno v:
In Process Safety and Environmental Protection September 2024 189:1274-1284
Autor:
Shah, Arnik, Batabyal, Dipanwita, Qiu, Dayong, Cui, Weidong, Harrahy, John, Ivanov, Alexander R.
Publikováno v:
In Journal of Pharmaceutical Analysis August 2024 14(8)
Autor:
Ahmad, Muhammad Bilal, Embaye, Tedla Medhane, Meng, Zilan, Wang, Fengqin, Cui, Weidong, Bukhsh, Khuda, Deng, Shuanghui, Bai, Zongqing, Ruan, Renhui, Wang, Xuebin
Publikováno v:
In Journal of the Energy Institute June 2024 114
Autor:
Zhang, Su, Li, Zhan, Sun, Jinyu, Zhang, Yili, Xu, Wei, Cui, Weidong, Zhang, Lan, Wang, Xuebin
Publikováno v:
In Fuel 15 April 2024 362
Publikováno v:
In Talanta 1 January 2024 266 Part 1
Machine learning (ML) models deployed in many safety- and business-critical systems are vulnerable to exploitation through adversarial examples. A large body of academic research has thoroughly explored the causes of these blind spots, developed soph
Externí odkaz:
http://arxiv.org/abs/2007.07205
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.
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.