search result

Cover von A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear Systems

A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear Systems

Year: 2023
Media group: LIPIcs
Cover von A Lattice-Theoretical View of Strategy Iteration

A Lattice-Theoretical View of Strategy Iteration

Year: 2023
Media group: LIPIcs
Cover von The Role of Interactive Visualization in Explaining (Large) NLP Models
from Data to Inference
Search for this author
Year: 2023
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Multiscale Multimodal Medical Imaging
Third International Workshop, MMMI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13594
Media group: MONOGRAPHIE
Cover von The Logic of Software
A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 13360
Media group: MONOGRAPHIE
Cover von Approaches and Applications of Inductive Programming ; 4
pp. 20-33
Search for this author
Year: 2021
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 4
Media group: DAGSTUHL REPORT
Cover von Fast and Robust Quantum State Tomography from Few Basis Measurements

Fast and Robust Quantum State Tomography from Few Basis Measurements

Year: 2021
Media group: LIPIcs
Cover von Web Engineering
21st International Conference, ICWE 2021, Biarritz, France, May 18 - 21, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 12706
Media group: MONOGRAPHIE
Cover von Circuit Depth Reductions

Circuit Depth Reductions

Year: 2021
Media group: LIPIcs
Cover von Volume XLVII.; Special Issue on Digital Ecosystems and Social Networks
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Volume: Volume XLVII.
Series: Lecture notes in computer science : Journal Subline; 12630
Media group: MONOGRAPHIE
OPEN V 11.1.0.0