Simple Science

Hochmoderne Wissenschaft einfach erklärt

Hochmoderne Wissenschaft einfach erklärt

Chenxi Fu

Instrumentierung und Detektoren Fortschritte bei 4H-SiC Niedrigverstärkungs-Avalanche-Detektoren

Neue 4H-SiC-Detektoren bieten verbesserte Leistung in hochradiaoaktiven Umgebungen.

2025-10-25T12:50:12+00:00 ― 6 min Lesedauer

Logik in der Informatik Fortschritte bei Isabelle2Cpp: Ein neues Typsystem

Ein neues Typsystem verbessert die C++-Generierung aus Isabelle/HOL-Spezifikationen und steigert die Genauigkeit.

2025-08-15T18:10:00+00:00 ― 6 min Lesedauer