Tue, 12 May 2026
14:00 -
15:00
C3
Modification of ion-temperature-gradient turbulence by impurities in stellarator plasmas
Calvo, I
Parra, F
Thienpondt, H
García-Regaña, J
Nuclear Fusion
volume 66
issue 4
046031
(01 Apr 2026)
Experiences from the European ProCoS Projects: Provably Correct Systems
Bowen, J
Fränzle, M
Olderog, E
Bjorner, D
Hansen, M
Langmaack, H
Liu, Z
Martin, U
Formal Aspects of Computing
(23 Mar 2026)
Best-Effort Policies for Robust Markov Decision Processes
Abate, A
Badings, T
De Giacomo, G
Fabiano, F
Proceedings of the AAAI Conference on Artificial Intelligence
volume 40
issue 43
36120-36128
(14 Mar 2026)
Incremental Data-Driven Policy Synthesis via Game Abstractions
Sağlam, I
Nazeri
Abate, A
Soudjani, S
Schmuck, A
Proceedings of the AAAI Conference on Artificial Intelligence
volume 40
issue 43
36360-36368
(14 Mar 2026)
Oscillatory flow and steady streaming of cerebrospinal fluid in cranial subarachnoid space
Dvoriashyna, M
Zwanenburg, J
Goriely, A