Workshop on Logics of Programs

por Clarke, Edmund, Kozen, Dexter
Publicado 1984

Harnessing many-body spin environment for long coherence storage and high-fidelity single-shot qubit readout

por Gillard, George, Clarke, Edmund, Chekhovich, Evgeny A.
Publicado 2022

Pathway-gene identification for pancreatic cancer survival via doubly regularized Cox regression

por Gong, Haijun, Wu, Tong Tong, Clarke, Edmund M
Publicado 2014

Full counting statistics of quantum dot resonance fluorescence

por Matthiesen, Clemens, Stanley, Megan J., Hugues, Maxime, Clarke, Edmund, Atatüre, Mete
Publicado 2014

Analysis and verification of the HMGB1 signaling pathway

por Gong, Haijun, Zuliani, Paolo, Komuravelli, Anvesh, Faeder, James R, Clarke, Edmund M
Publicado 2010

From non-preemptive to preemptive scheduling using synchronization synthesis

por Černý, Pavol, Clarke, Edmund M., Henzinger, Thomas A., Radhakrishna, Arjun, Ryzhyk, Leonid, Samanta, Roopsha, Tarrach, Thorsten
Publicado 2016

Broadband THz absorption spectrometer based on excitonic nonlinear optical effects

por Majeed, Avan, Ivanov, Pavlo, Stevens, Benjamin, Clarke, Edmund, Butler, Iain, Childs, David, Kojima, Osamu, Hogg, Richard
Publicado 2019

GaAs-Based Superluminescent Light-Emitting Diodes with 290-nm Emission Bandwidth by Using Hybrid Quantum Well/Quantum Dot Structures

por Chen, Siming, Li, Wei, Zhang, Ziyang, Childs, David, Zhou, Kejia, Orchard, Jonathan, Kennedy, Ken, Hugues, Maxime, Clarke, Edmund, Ross, Ian, Wada, Osamu, Hogg, Richard
Publicado 2015