search result

Cover von Comprehensive Analysis and Computing of Real-World Medical Images
First MICCAI Challenge, CARE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Challenges; 15548
Media group: MONOGRAPHIE
Cover von Part I.; Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
27th Iberoamerican Congress, CIARP 2024, Talca, Chile, November 26-29, 2024, Proceedings, Part I
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 15368
Media group: MONOGRAPHIE
Cover von Part II.; Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
27th Iberoamerican Congress, CIARP 2024, Talca, Chile, November 26-29, 2024, Proceedings, Part II
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 15369
Media group: MONOGRAPHIE
Cover von Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications

Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications

An Experience Report
Year: 2024
Media group: LIPIcs
Cover von A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows

A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows

Year: 2024
Media group: LIPIcs
Cover von On Fourier Analysis of Sparse Boolean Functions over Certain Abelian Groups

On Fourier Analysis of Sparse Boolean Functions over Certain Abelian Groups

Year: 2024
Media group: LIPIcs
Cover von Fine-Grained Complexity of Program Analysis (Invited Talk)

Fine-Grained Complexity of Program Analysis (Invited Talk)

Year: 2024
Media group: LIPIcs
Cover von Smoothed Analysis of Deterministic Discounted and Mean-Payoff Games

Smoothed Analysis of Deterministic Discounted and Mean-Payoff Games

Year: 2024
Media group: LIPIcs
Cover von The Platin Multi-Target Worst-Case Analysis Tool

The Platin Multi-Target Worst-Case Analysis Tool

Author: Maroun, Emad Jacob; Dengler, Eva; Dietrich, Christian
Year: 2024
Media group: OASICS
Cover von Response Time Analysis for Fixed-Priority Preemptive Uniform Multiprocessor Systems

Response Time Analysis for Fixed-Priority Preemptive Uniform Multiprocessor Systems

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0