Skip to main content Skip to main navigation

Publications

Displaying results 1901 to 1910 of 15132.

  1. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    Power-aware Test Scheduling Framework for IEEE 1687 Multi-Power Domain Networks using Formal Techniques

    In: Dr. M. Hashimoto (Hrsg.). Microelectronics Reliability, Pages 01-11, Elsevier, 2022.

  2. Christoph Heinbach; Jan Heinrich Beinke; Friedemann Kammler; Oliver Thomas

    Data-driven forwarding: a typology of digital platforms for road freight transport management

    In: Electronic Markets, Vol. 2022, Pages 1-22, Springer, 4/2022.

  3. Isaak Mitschke; Thomas Wiemann; Felix Igelbrink; Joachim Hertzberg

    Hyperspectral 3D Point Cloud Segmentation using RandLA-Net

    In: Proceedings of 17th INTERNATIONAL CONFERENCE ON INTELLIGENT AUTONOMOUS SYSTEMS (IAS-17). International Conference on Intelligent Autonomous Systems (IAS-2022), June 13-16, Zagreb, Croatia, IAS, 6/2022.

  4. Ibrahim Tijjani

    Finding Optimal Placement of the Almost Spherical Parallel Mechanism in the Recupera-Reha Lower Extremity Exoskeleton for Enhanced Workspace

    In: Andreas Müller; Mathias Brandstötter (Hrsg.). Advances in Service and Industrial Robotics. International Conference on Robotics in Alpe-Adria-Danube Region (RAAD-2022), Advances in Service and Industrial Robotics, June 8-10, Klagenfurt am Wörthersee, Austria, Pages 536-544, Mechanisms and Machine Science, Vol. 120, ISBN 978-3-031-04870-8, Springer International Publishing, 4/2022.

  5. Felix Kosmalla; Florian Daiber; Antonio Krüger

    InfinityWall - Vertical Locomotion in Virtual Reality Using a Rock Climbing Treadmill

    In: CHI Conference on Human Factors in Computing Systems Extended Abstracts. ACM International Conference on Human Factors in Computing Systems (CHI-2022), New York, NY, USA, CHI EA '22, ISBN 9781450391566, Association for Computing Machinery, 2022.

  6. Pascal Pieper; Vladimir Herdt; Rolf Drechsler

    Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype

    In: Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2022), June 6-8, Irvine, USA, 2022.

  7. Niklas Bruns; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing

    In: Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2022), June 6-8, Irvine, USA, 2022.

  8. Christina Plump; Bernhard J. Berger; Rolf Drechsler

    Adapting mutation and recombination operators to range-aware relations in real-world application data

    In: The Genetic and Evolutionary Computation Conference (GECCO Companion). Genetic and Evolutionary Computation Conference (GECCO-2022), July 9-13, Boston, USA, 2022.

  9. Philipp Niemann; Rolf Drechsler

    Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic

    In: 52nd International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2022), May 18-20, Dallas, USA, 2022.

  10. Durgesh Haribhau Salunkhe; Guillaume Michel; Shivesh Kumar; Marcello Sanguineti; Damien Chablat

    An efficient combined local and global search strategy for optimization of parallel kinematic mechanisms with joint limits and collision constraints

    In: Mechanism and Machine Theory, Vol. 173, Pages 1-32, Elsevier, 4/2022.

Year

More options