Department Informatik

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (2013) Litak TM, Pattinson D, Sano K Conference contribution Nutzenpotenziale maßgetreuer 3D Avatare aus Low-cost Bodyscannern (2013) Zagel C, Süßmuth J Journal article Measurement of Individual Changes in the Performance of Human Stereoscopic Vision for Disparities at the Limits of the Zone of Comfortable Viewing (2013) Schmidt M, Hornegger J, Eskofier B, Barkowsky M, Paulus J Journal article Wie viel Unbekannte hat das größte Gleichungssystem, das man heute lösen kann? (2013) Gmeiner B, Köstler H, Rüde U Journal article Testen in der Cloud - Automatisiertes Testen in virtualisierten Umgebungen (2013) Ditter A, Pruksch M, Limmer S, Fey D Journal article, Report Respiratory Motion Compensation Using Diaphragm Tracking for Cone-Beam C-Arm CT: A Simulation and a Phantom Study (2013) Bögel M, Hofmann H, Hornegger J, Fahrig R, Britzen S, Maier A Journal article, Original article Non-photorealistic rendering for minimally invasive procedures (2013) Raab J, Schäfer H, Brost A, Stamminger M, Pfister M Conference contribution, Conference Contribution Vergleich der subjektiv-auditiven RBH-Beurteilung mit apparativer prosodischer Analyse und Irregularitätsberechnung (2013) Haderlein T, Nöth E, Döllinger M, Schwemmle C, Ptok M Conference contribution, Conference Contribution Measurement of individual changes in the performance of human stereoscopic vision for disparities at the limits of the zone of comfortable viewing (2013) Paulus J, Michelson G, Hornegger J, Eskofier B, Schmidt M Conference contribution Estimation of the Knee Flexion-Extension Angle During Dynamic Sport Motions Using Body-worn Inertial Sensors (2013) Jakob C, Kugler P, Hebenstreit F, Reinfelder S, Jensen U, Schuldhaus D, Lochmann M, Eskofier B Conference contribution, Conference Contribution