Skip to main content Skip to main navigation

Publications

Displaying results 4401 to 4410 of 14456.

  1. Milan Funck; Vladimir Herdt; Rolf Drechsler

    Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2022), April 6-8, Prague, Czech Republic, 2022.

  2. Alireza Mahzoon; Daniel Große; Christoph Scholl; Alexander Konrad; Rolf Drechsler

    Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability

    In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC), July 10-14, San Francisco, USA, 2022.

  3. Rolf Drechsler; Alireza Mahzoon; Mehran Goli

    Towards Polynomial Formal Verification of Complex Arithmetic Circuits

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2022), April 6-8, Prague, Czech Republic, 2022.

  4. Marko Jankovic; Mehmed Yüksel; Mohammad Mohammadzadeh Babr; Francesca Letizia; Vitali Braun

    Space debris ontology for ADR capture methods selection

    In: Acta Astronautica, Vol. n.n. Pages 56-68, Elsevier Ltd. 4/2020.

  5. Thierry Declerck; John McCrae; Matthias Hartung; Jorge Gracia; Christian Chiarcos; Elena Montiel; Philipp Cimiano; Artem Revenko; Roser Sauri; Deirdre Lee; Stefania Racioppa; Jamal Nasir; Matthias Orlikowski; Marta Lanau-Coronas; Christian Fäth; Mariano Rico; Mohammad Fazleh Elahi; Maria Khvalchik; Meritxell Gonzalez; Katharine Cooney

    Recent Developments for the Linguistic Linked Open Data Infrastructure

    In: Nicoletta Calzolari; Frédéric Béchet; Philippe Blache; Christopher Cieri; Khalid Choukri; Thierry Declerck; Sara Goggi; Hitoshi Isahara; Bente Maegaard; Joseph Mariani; Hélène Mazo; Asuncion Moreno; Jan Odijk; Stelios Piperidis (Hrsg.). Proceedings of the Twelfth International Conference on Language Resources and Evaluation (LREC 2020). International Conference on Language Resources and Evaluation (LREC-2020), May 11-16, Marseille, France, Pages 5660-5667, ISBN 979-10-95546-34-4, ELRA, Paris, 5/2020.

  6. Oliver Zielinski

    The history and future of the Secchi disk

    Springer, Palermo, 2020.

  7. Frank Sill Torres; Pedro A. Silva; Geraldo Fontes; Marcel Walter; José Augusto M. Nacif; Ricardo Santos Ferreira; Omar Paranaiba Vilela Neto; Jeferson F. Chaves; Robert Wille; Philipp Niemann; Daniel Große; Rolf Drechsler

    On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata

    In: Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2020.

  8. Muhammad Naseer Bajwa; Gur Amrit Pal Singh; Wolfgang Neumeier; Muhammad Imran Malik; Andreas Dengel; Sheraz Ahmed

    G1020: A Benchmark Retinal Fundus Image Dataset for Computer-Aided Glaucoma Detection

    In: International Joint Conference on Neural Networks. International Joint Conference on Neural Networks (IJCNN-2020), July 19-24, Glasgow, United Kingdom, IEEE, 2020.

  9. Adriano Lucieri; Muhammad Naseer Bajwa; Stephan Alexander Braun; Muhammad Imran Malik; Andreas Dengel; Sheraz Ahmed

    On Interpretability of Deep Learning based SkinLesion Classifiers using Concept Activation Vectors

    In: International Joint Conference on Neural Networks. International Joint Conference on Neural Networks (IJCNN-2020), July 19-24, Glasgow, United Kingdom, IEEE, 2020.

  10. Muhammad Naseer Bajwa; Kaoru Muta; Muhammad Imran Malik; Shoaib Ahmed Siddiqui; Stephan Alexander Braun; Bernhard Homey; Andreas Dengel; Sheraz Ahmed

    Computer-Aided Diagnosis of Skin Diseases using Deep Neural Networks

    In: Applied Sciences, Vol. 10, No. 7, Pages 1-13, MDPI, 4/2020.

Year

More options