Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2016
Alle Filter entfernen
Zeige Ergebnisse 61 bis 70 von 541

  1. Amr Sayed Ahmed; Daniel Große; Mathias Soeken; Rolf Drechsler

    Equivalence Checking Using Gröbner Bases

    In: Formal Methods in Computer-Aided Design. Formal Methods in Computer-Aided Design (FMCAD-2016), October 3-6, Mountain View, USA, 2016.

  2. Fabian Hillock; Danilo Schmidt; Oliver Staeck; horsten Schaaf; Thomas Tolxdorff; Alexander Löser; Feiyu Xu; Hans Uszkoreit; Philipp Legge; Kai Sachs; Sonja Oechsler; Klemens Budde

    Integrierte Versorgung nierentransplantierter Patienten, Entwicklung einer E-Health-Plattform (Integrated care of renal transplant patients – Development of an electronic health care service platform)

    In: Dialyse aktuell, Vol. 20, No. 06, Pages 285-290, Georg Thieme Verlag , Stuttgart, New York, 7/2016.

  3. Viktor Eisenstadt; Ada Mikyas; Klaus-Dieter Althoff; Syed Saqib Bukhari; Andreas Dengel

    Ontology-based Communication Architecture Within a Distributed Case-Based Retrieval System for Architectural Designs

    In: Emmanuel Müller; Ralf Krestel; Davide Mottin (Hrsg.). LWDA 2016 - Lernen, Wissen, Daten, Analysen - Workshop Proceedings. GI-Workshop-Tage …

  4. Viktor Eisenstadt; Christoph Langenhan; Johannes Roth; Syed Saqib Bukhari; Klaus-Dieter Althoff; Frank Petzold; Andreas Dengel

    Comparative Evaluation of Rule-Based and Case-Based Retrieval Coordination for Search of Architectural Building Designs

    In: Ashok Goel; Thomas Roth-Berghofer; Belen Diaz-Agudo (Hrsg.). Case-based Reasoning in Research and Development. International Conference on …

  5. Aljoscha Burchardt; Arle Lommel; Lindsay Bywood; Kimberley Harris; M Popovic

    Machine translation quality in an audiovisual context

    In: Yves Gambier; Sara Ramos Pinto (Hrsg.). Target, Vol. 28, No. 2, Pages 206-221, John Benjamins, 2016.

  6. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

    Compiled Symbolic Simulation for SystemC

    In: 35th International Conference On Computer Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-35), November 7-10, …

  7. Florian Cordes; Ajish Babu

    SherpaTT: A Versatile Hybrid Wheeled-Leg Rover

    In: Proceedings of the 13th International Symposium on Artificial Intelligence, Robotics and Automation In Space. International Symposium on …

  8. Robert Wille; Oliver Keszöcze; Lars Othmer; Michael Kirkedal Thomsen; Rolf Drechsler

    Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs

    In: 8th International Conference on Reversible Computation. International Conference on Reversible Computation (RC), 2016.

  9. Oliver Keszöcze; Robert Wille

    Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision

    In: Frank Oppenheimer; Julio Luis Medina Pasaje. Languages, Design Methods, and Tools for Electronic System Design. Pages 101-112, Springer, 2016.

  10. Mathias Soeken; Nabila Abdessaied; Rolf Drechsler

    A framework for reversible circuit complexity

    In: Bernd Steinbach. Problems and New Solutions in the Boolean Domain. Pages 327-341, Cambridge Scholars Publishing, 2016.

Jahr