Skip to main content Skip to main navigation

Publications

Displaying results 3661 to 3670 of 14456.

  1. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    Optimization-based Test Scheduling for IEEE 1687 Multi-Power Domain Networks Using Boolean Satisfiability

    In: 16th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS-2021), June 28-30, Apulia/Virtual, Italy, 2021.

  2. Denise Kahl; Marc Ruble; Antonio Krüger

    Identification of Everyday Proxies for Tangible Augmented Reality

    Everyday Proxy Objects for Virtual Reality Workshop @ CHI'21, CHI'21, 5/2021.

  3. Rhea Rinaldo; Timo F. Horeis; Tobias Kain

    Hybrid Modeling for the Assessment of Complex Autonomous Systems - A Safety and Security Case Study

    In: Bruno Castanier; Marko Cepin; David Bigaud; Christophe Berenguer (Hrsg.). Proceedings of the 31th European Safety and Reliability Conference. European Safety and Reliability Conference (ESREL-2021), September 19-23, Angers, France, ESREL 2021, Vol. 31, ISBN 978-981-18-2016-8, Research Publishing, Singapore, 2021.

  4. Michael Schulze; Markus Schröder; Christian Jilek; Torsten Albers; Heiko Maus; Andreas Dengel

    P2P-O: A Purchase-To-Pay Ontology for Enabling Semantic Invoices

    In: Ruben Verborgh; Katja Hose; Heiko Paulheim; Pierre-Antoine Champin; Maria Maleshkova; Oscar Corcho; Petar Ristoski; Mehwish Alam (Hrsg.). The Semantic Web - 18th International Conference. Extended Semantic Web Conference (ESWC-2021), June 6-10, Hersonissos/Virtual, Greece, Pages 647-663, Lecture Notes in Computer Science, Vol. 12731, Springer, 2021.

  5. Henrik Kortum-Landwehr; Jonas Rebstadt; Laura Gravemeier; Oliver Thomas

    Data-based Customer-Retention-as-a-Service: Induktive Entwicklung eines datenbasierten Geschäftsmodells auf Basis einer Fallstudie der Automobilbranche

    In: HMD - Praxis der Wirtschaftsinformatik (HMD), Vol. 58, Pages 1-15, Springer, 2021.

  6. Alireza Mahzoon; Daniel Große; Rolf Drechsler

    RevSCA-2.0: SCA-based Formal Verification of Non-trivial Multipliers using Reverse Engineering and Local Vanishing Removal

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2021.

  7. Philipp Niemann; Rolf Drechsler

    Synthesis of Asymptotically Optimal Adders for Multiple-Valued Logic

    In: 51st International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2021), May 25-27, Nursultan/Virtual, Kazakhstan, 2021.

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

    Depth Optimized Synthesis of Symmetric Boolean Functions

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2021), July 7-9, Tampa/Virtual, Florida, USA, 2021.

  9. Hristina Uzunova; Jan Ehrhardt; Heinz Handels

    Memory-efficient GAN-based domain translation of high resolution 3D medical images

    In: Computerized Medical Imaging and Graphics, Vol. 86, Pages 101801-101801, Elsevier, 2020.

  10. Marja Fleitmann; Hristina Uzunova; Andreas Martin Stroth; Jan Gerlach; Alexander Fürschke; Jörg Barkhausen; Arpad Bischof; Heinz Handels

    Deep-Learning-Based Feature Encoding of Clinical Parameters for Patient Specific CTA Dose Optimization

    In: Juan Ye; Michael J. O'Grady; Gabriele Civitarese; Kristina Yordanova (Hrsg.). Proceedings of the 10th EAI International Conference on Wireless Mobile Communication and Healthcare. International Conference on Wireless Mobile Communication and Healthcare (MobiHealth-2021), November 13-14, Chongqing/Virtual, China, Pages 315-322, ISBN 978-3-030-70569-5, Springer International Publishing, 2021.

Year

More options