Department Informatik

Akers’s Wavefront Planner - One of the fastest Stencil-based Path Planners on FPGAs (2012) Schmidt M, Fey D Conference contribution Leistungsanalyse Evolutionärer Algorithmen auf GPUs im Vergleich zu Multikern-CPUs (2012) Hofmann J Conference contribution, Conference Contribution Conceptual Modeling for Prospective Health Technology Assessment (2012) Gantner-Bär M, Djanatliev A, Prokosch HU, Sedlmayr M Journal article, Original article The Planetary project: Towards eMath3.0 (2012) Kohlhase M Conference contribution, Original article Semantic alliance: A framework for semantic allies (2012) David C, Jucovschi C, Kohlhase A, Kohlhase M Conference contribution, Original article MathWebSearch 0.5: Scaling an open formula search engine (2012) Kohlhase M, Matican B, Prodescu CC Conference contribution, Original article Extending MKM formats at the statement level (2012) Horozal F, Kohlhase M, Rabe F Conference contribution, Original article A proof theoretic interpretation of model theoretic hiding (2012) Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F Conference contribution, Original article Hierarchical Hybrid Grids for Mantle Convection: A First Study (2012) Gmeiner B, Mohr M, Rüde U Conference contribution Combined analysis of sensor data from hand and gait motor function improves automatic recognition of Parkinson's disease (2012) Barth J, Sünkel M, Bergner K, Schickhuber G, Winkler J, Klucken J, Eskofier B Conference contribution, Conference Contribution