Nuacht

Quantum Circuits Integrates With NVIDIA CUDA-Q to Advance Creation And Testing of First Quantum Applications Based on Dual-Rail Qubits

Quantum Circuits, Inc., announced work with NVIDIA technology integrating NVIDIA CUDA-Q programming capabilities into its ...
科学技術振興機構4y

[Kohei Suenaga] Formal methods for hybrid systems based on the theory ...

This project aims at a verification framework for hybrid systems (i.e., systems whose behavior is characterized by both continuous and discrete quantities). Concretely, we aim at (1) methods for ...