2 papers
cs.AI2025
Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting
Menghua Jiang, Haokai Gao, Shuhao Chen +1
Partial Maximum Satisfiability (PMS) and Weighted Partial Maximum Satisfiability (WPMS) generalize Maximum Satisfiability (MaxSAT), with broad real-world applications. Recent advan…
cs.CV2025
Automated segmentation of pediatric neuroblastoma on multi-modal MRI: Results of the SPPIN challenge at MICCAI 2023
M. A. D. Buser, D. C. Simons, M. Fitski +27
Surgery plays an important role within the treatment for neuroblastoma, a common pediatric cancer. This requires careful planning, often via magnetic resonance imaging (MRI)-based…