Department Informatik

Automatic Modelling of Depressed Speech: Relevant Features and Relevance of Gender (2014) Hönig FT, Batliner A, Nöth E, Schnieder S, Krajewski J Conference contribution ruleDQ: Ein Regelsystem zur Datenqualitätsverbesserung medizinischer Informationssysteme (2014) Gorupec M, Endler G Conference contribution, Original article Redundancies in X-ray images due to the epipolar geometry for transmission imaging (2014) Aichert A, Maass N, Deuerling-Zheng Y, Berger M, Manhart M, Hornegger J, Maier A, Dörfler A Conference contribution, Original article Body Scanning für Jedermann? Evaluation eines Low-cost Sytems (2014) Zagel C, Süßmuth J Conference contribution, Conference Contribution Target-Specific Adaptations of Coupling-Based Software Reliability Testing (2014) Meitner M, Saglietti F Conference contribution, Conference Contribution Scalable BFT for Multi-Cores: Actor-based Decomposition and Consensus-oriented Parallelization (2014) Behl J, Distler T, Kapitza R Conference contribution Realms: A structure for consolidating knowledge about mathematical theories (2014) Carette J, Farmer W, Kohlhase M Conference contribution, Original article Flexary operators for formalized mathematics (2014) Horozal F, Rabe F, Kohlhase M Conference contribution, Original article Extension proposal: Records in pragmatic open math (2014) Kohlhase M Conference contribution, Conference Contribution Discourse-level parallel markup and meaning adoption in flexiformal theory graphs (2014) Kohlhase M, Iancu M Conference contribution, Original article