Department Informatik

Semantics of OpenMath and MathML3 (2012) Kohlhase M, Rabe F Journal article, Original article The flexiformalist manifesto (2012) Kohlhase M Conference contribution, Original article Reasoning without believing: On the mechanisation of presuppositions and partiality (2012) Kerber M, Kohlhase M Journal article, Original article Biometric and Mobile Gait Analysis for Early Detection and Therapy Monitoring in Parkinson's Disease (2011) Barth J, Klucken J, Kugler P, Kammerer T, Steidl R, Winkler J, Hornegger J, Eskofier B Conference contribution, Conference Contribution VeriTAS - A Versatile Modeling Environment for Test-driven Agile Simulation (2011) Djanatliev A, Dulz W, German R, Schneider V Conference contribution, Original article ProHTA - Prospective Assessment of innovative Health Technology by Simulation (2011) Djanatliev A, German R Conference contribution, Abstract of a poster Color constancy and non-uniform illumination: Can existing algorithms work? (2011) Bleier M, Riess C, Beigpour S, Eibenberger E, Angelopoulou E, Tröger T, Kaup A Conference contribution, Conference Contribution Illuminant color estimation for real-world mixed-illuminant scenes (2011) Riess C, Eibenberger E, Angelopoulou E Conference contribution, Original article Authormagic - An Approach to Author Disambiguation in Large-Scale Digital Libraries (2011) Weiler H, Meyer-Wegener K, Mele S Conference contribution, Original article Face recognition using support vector machines and generalized discriminant analysis (2011) Timotius I, Linasari TC, Setyawan I, Febrianto AA Conference contribution, Original article