ForSmart: Effective Formal Methods for Smart-Contract Certification
Dauer: 48 Monate, Fördersumme: € 799.850
Instant Visualization and Interaction for Large Point Clouds
Dauer: 36 Monate, Fördersumme: € 595.930
Parameterized Graph Drawing
Dauer: 48 Monate, Fördersumme: € 781.860
SCALE2: SeCure, privAte, and interoperabLe layEr 2
Dauer: 48 Monate, Fördersumme: € 879.850
Lipid metabolism in granulomatous diseases
Dauer: 18 Monate, Fördersumme: € 74.930
Training and Guiding AI Agents with Ethical Rules
Dauer: 48 Monate, Fördersumme: € 799.570