Machine learning for quantifier selection in cvc5; International Journal of Approximate Reasoning (2026)Results
Prediction driven control of a gas turbine–battery hybrid power plant providing an ancillary service; Applied Energy (2026)Results
A bilevel approach to integrated surgeon scheduling and surgery planning solved via branch-and-price; Omega (2026)Results
Experimental validation of deep Koopman MPC for real-time pasteurization unit control; Control Engineering Practice (2026)Results
Nanoscale Strain Evolution and Grain Boundary-Mediated Defect Sink Behavior in Irradiated SiC: Insights from N-PED and DFT; Acta Materialia (2026)Results
Introducing Timepix2-Lite: A Miniaturized Readout Interface Enabling Nanosecond-Scale Half-Life Measurement; IEEE Transactions on Nuclear Science (2026)Results
