Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 51 to 60 of 574.
  1. Patrick Lübbecke; Nijat Mehdiyev; Peter Fettke

    Substitution of hazardous chemical substances using Deep Learning and t-SNE

    In: Proceedings der Internationalen Tagung Wirtschaftsinformatik. Internationale Tagung Wirtschaftsinformatik (WI-2019), Human Practice. Digital …

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

    Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction

    In: International Journal on Software Tools for Technology Transfer (STTT), 2019.

  3. Frank Sill Torres; Hussam Amrouch; Jörg Henkel; Rolf Drechsler

    Impact of NBTI on Increasing the Susceptibility of FinFET to Radiation

    In: IEEE International Reliability Physics Symposium (IRPS 2019). IRPS (IEEE International Reliability Physics Symposium) (IRPS-2019), March 31 - …

  4. Mazyar Seraj; Cornelia Große; Serge Autexier; Rolf Drechsler

    Look What I Can Do: Acquisition of Programming Skills in the Context of Living Labs

    In: 41st ACM/IEEE International Conference on Software Engineering (ICSE’19). International Conference on Software Engineering Advances (ICSEA-41), …

  5. Saman Fröhlich; Daniel Große; Rolf Drechsler

    Approximate Hardware Generation Using Formal Techniques

    In: Sherief Reda; Muhammad Shafique. Approximate Circuits: Methodologies and CAD. Pages 155-174, Approximate Circuits: Methodologies and CAD, 2019.

  6. Adrian Bartnik; Bonaventura Del Monte; Tilmann Rabl; Volker Markl

    On-the-fly Reconfiguration of Query Plans for Stateful Stream Processing Engines

    In: Datenbanksysteme für Business, Technologie und Web (BTW 2019). GI-Fachtagungen (BTW), Fachtagung für Datenbanksysteme für Business, Technologie …

  7. Eurosat: A novel dataset and deep learning benchmark for land use and land cover classification

    In: IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, IEEE, 2019.

  8. Bradley Gram-Hansen; Patrick Helber; Indhu Varatharajan; Faiza Azam; Alejandro Coca-Castro; Veronika Kopackova; Piotr Bilinski

    Mapping Informal Settlements in Developing Countries using Machine Learning and Low Resolution Multi-spectral Data

    In: AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society. AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society …

  9. Sebastian Huhn; Stephan Eggersglüß; Rolf Drechsler

    Enhanced Embedded Test Compression Technique For Processing Incompressible Test Patterns

    In: 31.GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2019). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  10. Tim G. J. Rudner; Marc Rußwurm; Jakub Fil; Ramona Pelich; Benjamin Bischke; Veronika Kopackova; Piotr Bilinski

    Multi3-Net: Segmenting Flooded Buildings via Fusion of Multiresolution, Multisensor, and Multitemporal Satellite Imagery

    In: Proceedings of the Thirty-Third AAAI. AAAI Conference on Artificial Intelligence (AAAI-2019), January 27 - February 1, Honolulu, Hawaii, USA, …