Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jia, Fuqi
34  Ergebnisse:
Personensuche X
?
1

NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimi..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Liu, Minghao ; Lv, Kunhang ; Huang, Pei... - p. 2046-2049 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Improving Bit-Blasting for Nonlinear Integer Constraints:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,
Jia, Fuqi ; Han, Rui ; Huang, Pei... - p. 14-25 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

PSMT: Satisfiability Modulo Theories Meets Probability Dist..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Jia, Fuqi ; Han, Rui ; Ma, Xutong... - p. 1756-1760 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Investigating the Existence of Holey Latin Squares via Sati..:

, In: PRICAI 2023: Trends in Artificial Intelligence; Lecture Notes in Computer Science,
Liu, Minghao ; Han, Rui ; Jia, Fuqi... - p. 410-422 , 2023
Link: https://doi.org/10.1007/..
 
?
5

𝜀-weakened robustness of deep neural networks:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Huang, Pei ; Yang, Yuting ; Liu, Minghao... - p. 126-138 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

{\epsilon}-weakened Robustness of Deep Neural Networks:

Huang, Pei ; Yang, Yuting ; Liu, Minghao...
http://arxiv.org/abs/2110.15764.  , 2021
Link: http://arxiv.org/abs/211..
 
?
7

Can Graph Neural Networks Learn to Solve MaxSAT Problem?:

Liu, Minghao ; Jia, Fuqi ; Huang, Pei...
http://arxiv.org/abs/2111.07568.  , 2021
Link: http://arxiv.org/abs/211..
 
?
8

Improving Bit-Blasting for Nonlinear Integer Constraints:

Fuqi Jia ; Rui Han ; Pei Huang...
doi:10.5281/zenodo.7977433.  , 2023
Link: https://zenodo.org/recor..
 
?
9

Targeting neutrophils: Mechanism and advances in cancer the..:

Yang, Shuaixi ; Jia, Jiachi ; Wang, Fuqi...
Clinical and Translational Medicine.  14 (2024)  3 - p. , 2024
Link: https://doi.org/10.1002/..
 
?
10

An effective risk identification method for power fence ope..:

Ma, Fuqi ; Wang, Bo ; Zhou, Jin...
Energy Reports.  7 (2021)  - p. 6995-7003 , 2021
Link: https://doi.org/10.1016/..
 
?
11

Image Dehazing Method of Transmission Line for Unmanned Aer..:

Liu, Jun ; Jia, Rong ; Li, Wei..
Wireless Communications and Mobile Computing.  2020 (2020)  - p. 1-9 , 2020
Link: https://doi.org/10.1155/..
 
?
12

High precision detection algorithm based on improved Retina..:

Liu, Jun ; Jia, Rong ; Li, Wei...
Energy Reports.  6 (2020)  - p. 2430-2440 , 2020
Link: https://doi.org/10.1016/..
 
?
13

Research on Multidomain Fault Diagnosis of Large Wind Turbi..:

Jia, Rong ; Ma, Fuqi ; Dang, Jian..
Complexity.  2018 (2018)  - p. 1-13 , 2018
Link: https://doi.org/10.1155/..
 
?
14

Stereotactic body radiation therapy plus induction or adjuv..:

Zhu, Xiaofei ; Li, Fuqi ; Liu, Wenyu...
Cancer Management and Research.  10 (2018)  - p. 1295-1304 , 2018
Link: https://doi.org/10.2147/..
 
?
15

Coupling Fault Feature Extraction Method Based on Bivariate..:

Jia, Rong ; Ma, Fuqi ; Wu, Hua..
Mathematical Problems in Engineering.  2018 (2018)  - p. 1-10 , 2018
Link: https://doi.org/10.1155/..
 
1-15