Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
In this thesis we study the properties of quantum walks with time dependent Hamiltonians, focusing in particular on the application to the quantum search problem on graphs. We study the search, localization and give a measure of robustness.
A toolkit for experimenting with novel heuristic algorithms to minor embed QUBO graphs for quantum annealing
Simulate Adiabatic Process in Qiskit and similarly use QAOA
Block Encodings & Quantum Discrete Adiabatic Linear-systems Solver implemented in QPanda (C++)
Simulation of Adiabatic Quantum Optimisation
Designed an 8-bit low-power ALU in Cadence Virtuoso (GPDK 180 nm) for quantum-inspired computing. Performed transistor-level design, schematic simulation, and PVT, power, delay, and PSD analysis to evaluate performance under low-temperature conditions.
Floquet quantum optimal control for adiabatic quantum computing.
To associate your repository with the adiabatic-quantum-computing topic, visit your repo's landing page and select "manage topics."