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

Physiologically‐based pharmacokinetic modeling of remdesivir and its metabolites in pregnant women with COVID‐19

por Liu, Xiaomei I., Dallmann, André, Brooks, Kristina, Best, Brookie M., Clarke, Diana F., Mirochnick, Mark, van den Anker, John N., Capparelli, Edmund V., Momper, Jeremiah D.
Publicado 2022

Serologic Screening for Coronavirus Disease 2019 in Patients With Glomerular Disease

por Turner-Stokes, Tabitha, Jiang, Elina, Johnson, Nathan, Khakhria, Kanay, Kong, Edmund, Cairns, Tom, Clarke, Candice, Greathead, Louise, Griffith, Megan, Guckian, Mary, Kelleher, Peter, McClure, Myra O., Prendecki, Maria, Rosadas, Carolina, Tedder, Richard, Lightstone, Liz, Willicombe, Michelle, McAdoo, Stephen P.
Publicado 2021

Altered White-Matter Microstructure in Conduct Disorder Is Specifically Associated with Elevated Callous-Unemotional Traits

por Puzzo, Ignazio, Seunarine, Kiran, Sully, Kate, Darekar, Angela, Clark, Chris, Sonuga-Barke, Edmund J. S., Fairchild, Graeme
Publicado 2017

Flow impacts of hot/cold zone infection control procedures during the COVID-19 pandemic in the emergency department

por Odorizzi, Scott, Clark, Eric, Nemnom, Marie-Joe, Clow, Jennifer, Kwok, Edmund, Kozar, Joseph, Perry, Jeffrey J.
Publicado 2022

The National Cancer Institute Thyroid fine needle aspiration state of the science conference: a summation

por Baloch, Zubair W, Cibas, Edmund S, Clark, Douglas P, Layfield, Lester J, Ljung, Britt-Marie, Pitman, Martha Bishop, Abati, Andrea
Publicado 2008

Young adults’ preferences for influenza vaccination campaign messages: Implications for COVID-19 vaccine intervention design and development

por Su, Zhaohui, McDonnell, Dean, Wen, Jun, Cheshmehzangi, Ali, Ahmad, Junaid, Goh, Edmund, Li, Xiaoshan, Šegalo, Sabina, Mackert, Michael, Xiang, Yu-Tao, Wang, Peiyu
Publicado 2021

An estimate of the deepest branches of the tree of life from ancient vertically evolving genes

por Moody, Edmund RR, Mahendrarajah, Tara A, Dombrowski, Nina, Clark, James W, Petitjean, Celine, Offre, Pierre, Szöllősi, Gergely J, Spang, Anja, Williams, Tom A
Publicado 2022

Sex differences in risk-based decision making in adolescents with conduct disorder

por Sidlauskaite, Justina, González-Madruga, Karen, Smaragdi, Areti, Riccelli, Roberta, Puzzo, Ignazio, Batchelor, Molly, Cornwell, Harriet, Clark, Luke, Sonuga-Barke, Edmund J. S., Fairchild, Graeme
Publicado 2017

Use of translational modeling and simulation for quantitative comparison of PF-06804103, a new generation HER2 ADC, with Trastuzumab-DM1

por Betts, Alison, Clark, Tracey, Jasper, Paul, Tolsma, John, van der Graaf, Piet H., Graziani, Edmund I., Rosfjord, Edward, Sung, Matthew, Ma, Dangshe, Barletta, Frank
Publicado 2020

3D lattice distortions and defect structures in ion-implanted nano-crystals

por Hofmann, Felix, Tarleton, Edmund, Harder, Ross J., Phillips, Nicholas W., Ma, Pui-Wai, Clark, Jesse N., Robinson, Ian K., Abbey, Brian, Liu, Wenjun, Beck, Christian E.
Publicado 2017

Developing a Low-Cost Passive Method for Long-Term Average Levels of Light-Absorbing Carbon Air Pollution in Polluted Indoor Environments

por Clark, Lara P., Sreekanth, V., Bekbulat, Bujin, Baum, Michael, Yang, Songlin, Baylon, Pao, Gould, Timothy R., Larson, Timothy V., Seto, Edmund Y. W., Space, Chris D., Marshall, Julian D.
Publicado 2020

U.S. Multicenter Pilot Study of Daily Consensus Interferon (CIFN) Plus Ribavirin for “Difficult-to-Treat” HCV Genotype 1 Patients

por Ho, Samuel B., Aqel, Bashar, Dieperink, Eric, Liu, Shanglei, Tetrick, Lori, Falck-Ytter, Yngve, DeComarmond, Charles, Smith, Coleman I., McKee, Daniel P., Boyd, William, Kulig, Clark C., Bini, Edmund J., Pedrosa, Marcos C.
Publicado 2011