Department Informatik

Proteinschäume in der Lebensmittelproduktion: Mechanismenaufklärung, Modellierung und Simulation May 1, 2011 - April 30, 2014 Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL) April 1, 2011 - April 1, 2014 Technische Schulden (NYT 2013) (Technische Schulden (NYT 2013)) Oct. 14, 2013 - Feb. 7, 2014 Inter-Thread Testing (InThreaT) Jan. 1, 2012 - Dec. 31, 2013 Echtzeitkritische Software Jan. 1, 2013 - Dec. 31, 2013 Echtzeitkritische Systeme Jan. 1, 2013 - Dec. 31, 2013 Power Eval - Leistungsevaluierung und -optimierung zukünftiger mobiler Funkplattformen (Power Eval) July 1, 2010 - Dec. 31, 2013 Data quality and innovative capability of medical products (H-04) Spitzencluster Medical Valley, Verbund Horizontale Innovationen zur Produkt- und Prozessoptimierung Nov. 1, 2011 - Dec. 31, 2013 FastEBM - High Productivity Electron Beam Melting Additive Manufacturing Development for the Part Production Systems Market (FastEBM) Jan. 1, 2012 - Nov. 30, 2013 Wireless Localization May 1, 2008 - Nov. 14, 2013