|
431 |
Semantic composition of robotic solver algorithms on graph structures
Schneider, Sven. - Sankt Augustin : Hochschule Bonn-Rhein-Sieg, 2025
|
|
|
|
432 |
Semi-Streaming Algorithms for Hypergraph Matching
Reinstädtler, Henrik. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
433 |
Separating Two Points with Obstacles in the Plane: Improved Upper and Lower Bounds
Spalding-Jamieson, Jack. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
434 |
Sequence Similarity Estimation by Random Subsequence Sketching
Chen, Ke. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
435 |
Shared Randomness in Locally Checkable Problems: The Role of Computational Assumptions
Hadad, Adar. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
436 |
Sharp Thresholds for the Overlap Gap Property: Ising p-Spin Glass and Random k-SAT
Kızıldağ, Eren C.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
437 |
SimdMinimizers: Computing Random Minimizers, fast
Groot Koerkamp, Ragnar. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
438 |
Simpler Universally Optimal Dijkstra
van der Hoog, Ivor. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
439 |
Simplifying Armoni’s PRG
Chen, Ben. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
440 |
Simulated Full-Waveform Laser Scanning of Outcrops for Development of Point Cloud Analysis Algorithms and Survey Planning: An Application of the HELIOS Lidar Simulation Framework
Bechtold, Sebastian. - Heidelberg : Universitätsbibliothek Heidelberg, 2025
|
|
Administration
