Publication
-
December 2025 -
Rascal Software
December 2025
-
Scalable reinforcement learning for large-scale coordination of electric vehicles using graph neural networks Article
Communications Engineering, 4(1)December 2025
-
Bayesian uncertainty quantification and regularized reconstruction for CT-based dimensional metrology Article
Journal of Nondestructive Evaluation, 44(4), 136:1-136:19.December 2025 -
Phasebook: a survey of selected open problems in phase retrieval Article
Sampling Theory, Signal Processing, and Data Analysis, 23(2), 23:1-23:40.December 2025
-
First-order hybrid separation logic Article
Journal of Automated Reasoning, 69(4), 26:1-26:13.December 2025
-
Total completion time scheduling under scenarios Article
Theory of Computing Systems, 69(4), 33:1-33:41.December 2025
-
December 2025