|
281 |
Incremental Reachability Index
Bulteau, Laurent. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
282 |
Instance-Optimal Imprecise Convex Hull
de Berg, Sarita. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
283 |
Integrating curvature into the cost landscape of variational quantum algorithms
Mürwald, Alina. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2025
|
|
|
|
284 |
Intelligent Computers, Algorithms, and Applications
Singapore : Springer Nature Singapore, Imprint: Springer, 2025, 1st ed. 2025
|
|
|
|
285 |
Investigating Degenerate Preconditioners for Proximal Point Algorithms
Naldi, Emanuele. - Braunschweig : Technische Universität Braunschweig, 2025
|
|
|
|
286 |
Investigating safety-related behavior of e-scooter riders using computer vision algorithms
Siebert, Felix Wilhelm. - Dresden : Technische Universität Dresden, 2025
|
|
|
|
287 |
Just Verification of Mutual Exclusion Algorithms
van Glabbeek, Rob. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
288 |
Kinetic Monte Carlo Simulation of Electrochemical Systems
Gößwein, Manuel Otto Walter. - München : Universitätsbibliothek der TU München, 2025
|
|
|
|
289 |
Learning-Augmented Streaming Algorithms for Approximating MAX-CUT
Dong, Yinhao. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
290 |
Learning from the Data to Predict the Process
Pfeiffer, Peter. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2025
|
|
Administration
