ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs
Dauer: 49 Monate, Fördersumme: € 782.100
Engineering Linear Ordering Algorithms for Optimizing Data Visualizations
Dauer: 50 Monate, Fördersumme: € 463.710
Learning to Solve Quantified Boolean Formulas
Dauer: 36 Monate, Fördersumme: € 330.890
Algorithmic Data Science for Computational Drug Discovery
Dauer: 103 Monate, Fördersumme: € 1.466.230
Fast and Quantitative What-if Analysis for Dependable Communication Networks (WHATIF)
Dauer: 48 Monate, Fördersumme: € 665.230
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
Dauer: 48 Monate, Fördersumme: € 566.900