Clarke, Edmund
- Optimal purification of a spin ensemble by quantum-algorithmic feedback
2021/11/08 by Jackson, Daniel M., Haeusler, Urs, Zaporski, Leon +7 · 9 citations
#FOS: Physical sciences #Mesoscale and Nanoscale Physics (cond-mat.mes-hall) #Quantum Physics (quant-ph)
- Delta-Complete Decision Procedures for Satisfiability over the Reals
2012/04/16 by Sicun Gao, Jeremy Avigad, Gao, Sicun +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Petri Nets in System Modeling #Symbolic Computation (cs.SC)
- Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
2014/04/28 by Gao, Sicun, Kong, Soonho, Chen, Wei +1 · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Proof Generation from Delta-Decisions
2014/09/23 by Sicun Gao, Gao, Sicun, Soonho Kong +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Electro-mechanically tunable, waveguide-coupled photonic-crystal cavities with embedded quantum dots
2025/03/12 by Luke Brunswick, L. Hallacy, Brunswick, Luke A. F. +9 · 2 citations
Physics and Astronomy · #Applied Physics (physics.app-ph) #FOS: Physical sciences #Optics (physics.optics) #Photonic Crystals and Applications #Quantum Physics (quant-ph)
- Waveguide Excitation and Spin Pumping of Chirally Coupled Quantum Dots
2025/01/31 by S. Germanis, Germanis, Savvas, R. Dost +16 · 1 citation
Physics and Astronomy · #Quantum and electron transport phenomena #Quantum optics and atomic interactions #Magnetic properties of thin films