Boris Düdder
Lektor
ORCID: 0000-0002-0241-7729
1 - 1 ud af 1Pr. side: 10
- 2018
Mixin Composition Synthesis based on Intersection Types
Bessai, J., Chen, T., Dudenhefner, A., Duedder, Boris, de'Liguoro, U. & Rehof, J., 2018, I: Logical Methods in Computer Science. 14, 1, 18.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
ID: 172785813
Flest downloads
-
196
downloads
On assessing trustworthy AI in healthcare: Best practice for machine learning as a supportive tool to recognize cardiac arrest in emergency calls
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
123
downloads
Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
84
downloads
Co-design of a trustworthy AI system in healthcare: Deep learning based skin lesion classifier
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet