Can formal methods really help : analyzing the security of electronic voting systems

von Weldemariam, Komminist
Veröffentlicht in Threats, countermeasures, and advances in applied information security (2012)

Discriminant Knowledge Extraction from Electrocardiograms for Automated Diagnosis of Myocardial Infarction

von Tadesse, Girmaw Abebe
Veröffentlicht in PKAW (17. : 2020 : Yokohama) Knowledge management and acquisition for intelligent systems (2021)

DATA-DRIVEN SEQUENTIAL UPTAKE PATTERN DISCOVERY FOR FAMILY PLANNING STUDIES

von Cintas, Celia
Veröffentlicht in AMIA Annual Symposium (2021 : San Diego, Calif.; Online) American Medical Informatics Association Annual Symposium (AMIA 2021) ; Volume 1 of 3 (2022)

IDENTIFYING FACTORS ASSOCIATED WITH NEONATAL MORTALITY IN SUBSAHARAN AFRICA USING MACHINE LEARNING

von Ogallo, William
Veröffentlicht in American Medical Informatics Association (2020 : Online) American Medical Informatics Association Annual Symposium (AMIA 2020) ; Volume 2 of 3 (2021)