Search research articles
Contact Us
Filters
Showing results (1-10 of 4) with videos related to
Page
of 1
Sort By:
Sensors (Basel, Switzerland)
|
May 7, 2015
Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
Jannis Stoppe, Rolf Drechsler
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences
|
January 16, 2025
Automated polynomial formal verification using generalized binary decision diagram patterns
Martha Schnieber, Rolf Drechsler
Studies in Health Technology and Informatics
|
July 3, 2026
Simulation-Based Hardware Exploration for Shapley Value Calculations
Johannes Rust, Serge Autexier, Rolf Drechsler
Frontiers in Neuroimaging
|
August 9, 2023
AI-driven and automated MRI sequence optimization in scanner-independent MRI sequences formulated by a domain-specific language
Daniel Christopher Hoinkiss, Jörn Huber, Christina Plump, et al.
Page
of 1
Search research articles
Search
Showing results (1-10 of 4) with videos related to
Sort By:
Page
of 1
Sensors (Basel, Switzerland)
|
May 7, 2015
Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
Jannis Stoppe, Rolf Drechsler
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences
|
January 16, 2025
Automated polynomial formal verification using generalized binary decision diagram patterns
Martha Schnieber, Rolf Drechsler
Studies in Health Technology and Informatics
|
July 3, 2026
Simulation-Based Hardware Exploration for Shapley Value Calculations
Johannes Rust, Serge Autexier, Rolf Drechsler
Frontiers in Neuroimaging
|
August 9, 2023
AI-driven and automated MRI sequence optimization in scanner-independent MRI sequences formulated by a domain-specific language
Daniel Christopher Hoinkiss, Jörn Huber, Christina Plump, et al.
Page
of 1