-
1
-
2
-
3
Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures
Published 2004“…ACM/IEEE…”
Conference item -
4
-
5
Solvability of matrix-exponential equations
Published 2016“…ACM/IEEE Symposium on Logic in Computer Science…”
Conference item -
6
TorchQuantum Case Study for Robust Quantum Circuits
Published 2023“…ACM|IEEE/ACM International Conference on Computer-Aided Design…”
Get full text
Article -
7
A Bit-level Sparsity-aware SAR ADC with Activity-scaling for AIoT Applications
Published 2022“…ACM|ACM/IEEE International Symposium on Low Power Electronics and Design…”
Get full text
Article -
8
Hammer: A Modular and Reusable Physical Design Flow Tool
Published 2022“…ACM|Proceedings of the 59th ACM/IEEE Design Automation Conference…”
Get full text
Article -
9
QOC: Quantum On-Chip Training with Parameter Shift and Gradient Pruning
Published 2022“…ACM|Proceedings of the 59th ACM/IEEE Design Automation Conference…”
Get full text
Article -
10
QuantumNAT: Quantum Noise-Aware Training with Noise Injection, Quantization and Normalization
Published 2022“…ACM|Proceedings of the 59th ACM/IEEE Design Automation Conference…”
Get full text
Article -
11
RobustAnalog: Fast Variation-Aware Analog Circuit Design Via Multi-task RL
Published 2022“…ACM|Proceedings of the 2022 ACM/IEEE Workshop on Machine Learning for CAD…”
Get full text
Article -
12
Computable PAC Learning of Continuous Features
Published 2022“…ACM|37th Annual ACM/IEEE Symposium on Logic in Computer Science…”
Get full text
Article -
13
A Social Robot Reading Partner for Explorative Guidance
Published 2023“…ACM|Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction…”
Get full text
Article -
14
Expanded Situational Awareness Without Vision: A Novel Haptic Interface for Use in Fully Autonomous Vehicles
Published 2023“…ACM|Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction…”
Get full text
Article -
15
A Robotic Companion for Psychological Well-being: A Long-term Investigation of Companionship and Therapeutic Alliance
Published 2023“…ACM|Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction…”
Get full text
Article -
16
Variable Autonomy for human-robot Teaming (VAT)
Published 2023“…ACM|Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction…”
Get full text
Article -
17
Inclusive HRI II: Equity and Diversity in Design, Application, Methods, and Community
Published 2023“…ACM|Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction…”
Get full text
Article -
18
Aligning Robot Behaviors with Human Intents by Exposing Learned Behaviors and Resolving Misspecifications
Published 2023“…ACM|Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction…”
Get full text
Article -
19
Nature-Robot Interaction
Published 2023“…ACM|Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction…”
Get full text
Article -
20
Transparent Value Alignment
Published 2023“…ACM|Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction…”
Get full text
Article