papers
Publications (4)
cs.CR2025
SAT-BO: Verification Rule Learning and Optimization for FraudTransaction Detection
Mao Luo, Zhi Wang, Yiwen Huang +5
cs.OH2012
Iterated tabu search for the circular open dimension problem
Zhanghua Fu, Wenqi Huang, Zhipeng Lv
hep-ex2025
First measurement of reactor neutrino oscillations at JUNO
Angel Abusleme, Thomas Adam, Kai Adamowicz +1131
hep-ex2025
Initial performance results of the JUNO detector
Angel Abusleme, Thomas Adam, Kai Adamowicz +1131