Skip to main content Skip to main navigation

Publications

Displaying results 1411 to 1420 of 13726.

  1. Saman Fröhlich; Rolf Drechsler

    Generation of Verified Programs for In-Memory Computing

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2022), August 31 - September 2, Gran Canaria, Spain, 2022.

  2. Martha Schnieber; Saman Fröhlich; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.

  3. Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler

    SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2022), August 31 - September 2, Gran Canaria, Spain, 2022.

  4. Kamalika Datta; Saeideh Shirinzadeh; Phrangboklang Lyngton Thangkhiew; Indranil Sengupta; Rolf Drechsler

    Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.

  5. Katharina Bendig; René Schuster; Didier Stricker

    Self-SuperFlow: Self-supervised Scene Flow Prediction in Stereo Sequences

    In: International Conference on Image Processing. IEEE International Conference on Image Processing (ICIP-2022), October 16-19, Bordeaux, France, IEEE, 2022.

  6. Mohamed Selim; Stephan Krauß; Tewodros Amberbir Habtegebrial; Alain Pagani; Didier Stricker

    Deep Orientation-Guided Gender Recognition from Face Images

    In: Proceedings of the 12th International Conference on Pattern Recognition Systems. International Conference on Pattern Recognition Systems (ICPRS-22), June 7-10, Saint-Étienne, France, IEEE, 2022.

  7. Nareg Minaskan Karabid; Charles-Alban Dormoy; Alain Pagani; Jean-Marc Andre; Didier Stricker

    Human intelligent machine teaming in single pilot operation: A case study

    In: HCI International 2022. Human Computer Interaction International Conferences (HCII-2022), June 26 - July 1, Gothenburg/Virtual, Sweden, Springer, 2022.

  8. Peter Pfeiffer; Heike Sander; Peter Fettke; Wolfgang Reisig

    Towards a Standard Process enabling AI-support for Safety and Conformity of Medical Devices

    In: Proceedings of HEDA-2022. The International Health Data Workshop (HEDA-2022), located at International Conference on Application and Theory of Petri Nets and Concurrency, June 19-24, Bergen, Norway, CEUR, 11/2022.

  9. Muhammad Nabeel Asim; Muhammad Ali Ibrahim; Muhammad Imran Malik; Andreas Dengel; Sheraz Ahmed

    ChrSLoc-Net: Machine Learning-Based Prediction of Channelrhodopsins Proteins within Plasma Membrane

    In: 2021 BHI Conference Proceedings. IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI-2021), July 27-30, Pages 1-4, ISBN 978-1-6654-0358-0, IEEE, 2021.

  10. Muhammad Nabeel Asim; Muhammad Ali Ibrahim; Christoph Zehe; Olivier Cloarec; Rickard Sjogren; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    L2S-MirLoc: A Lightweight Two Stage MiRNA Sub-Cellular Localization Prediction Framework

    In: IJCNN 2021 Conference Proceedings. International Joint Conference on Neural Networks (IJCNN-2021), July 18-22, ISBN 978-0-7381-3366-9, IEEE, 2021.

Year

More options