search result

Cover von Analysis of Core-Guided MaxSat Using Cores and Correction Sets

Analysis of Core-Guided MaxSat Using Cores and Correction Sets

Year: 2022
Media group: LIPIcs
Cover von Foundational Response-Time Analysis as Explainable Evidence of Timeliness

Foundational Response-Time Analysis as Explainable Evidence of Timeliness

Year: 2022
Media group: LIPIcs
Cover von Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling

Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling

Year: 2022
Media group: LIPIcs
Cover von Response-Time Analysis for Non-Preemptive Periodic Moldable Gang Tasks

Response-Time Analysis for Non-Preemptive Periodic Moldable Gang Tasks

Year: 2022
Media group: LIPIcs
Cover von A Theoretical and Experimental Analysis of BWT Variants for String Collections

A Theoretical and Experimental Analysis of BWT Variants for String Collections

Year: 2022
Media group: LIPIcs
Cover von A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster)

A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster)

Year: 2022
Media group: OASICS
Cover von Mean Field Analysis of an Incentive Algorithm for a Closed Stochastic Network

Mean Field Analysis of an Incentive Algorithm for a Closed Stochastic Network

Year: 2022
Media group: LIPIcs
Cover von Representation of Molecules and Molecular Systems in Data Analysis and Modeling
Author: Willighagen, Egon Search for this author
Year: 2008
Publisher: Nijmegen, Radboud University Nijmegen
Media group: DISSERTATION
Cover von Biomedical Image Registration, Domain Generalisation and Out-of-Distribution Analysis
MICCAI 2021 Challenges : MIDOG 2021, MOOD 2021, and Learn2Reg 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27 - October 1, 2021, Proceedings
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Challenges; 13166
Media group: MONOGRAPHIE
Cover von Smoothed Analysis of the Condition Number Under Low-Rank Perturbations

Smoothed Analysis of the Condition Number Under Low-Rank Perturbations

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0