QWIRE Practice: Formal Verification of Quantum Circuits in Coq von Rand, Robert, Paykin, Jennifer, Zdancewic, Steve

Volltext

Wind turbines: Vacated/abandoned homes study – Exploring research participants’ descriptions of observed effects on their pets, animals, and well water von Krogh, Carmen, McMurtry, Robert, Johnson, W, Punch, Jerry, Dumbrille, Anne, Alves-Pereira, Mariana, Hughes, Debra, Rogers, Linda, Rand, Robert, Gillis, Lorrie

Volltext

Wind turbines: Vacated/abandoned homes – Exploring participants’ descriptions of their personal views, effects on safety, security, trust, and social justice von Krogh, Carmen, McMurtry, Robert, Johnson, W, Punch, Jerry, Dumbrille, Anne, Alves-Pereira, Mariana, Hughes, Debra, Rogers, Linda, Rand, Robert, Gillis, Lorrie

Volltext

Wind turbines: Vacated/abandoned homes - Exploring research participants' descriptions of adverse health effects and medical diagnoses provided by their physicians and physician sp... von Krogh, Carmen, McMurtry, Robert, Johnson, William, Alves-Pereira, Mariana, Punch, Jerry, Dumbrille, Anne, Hughes, Debra, Rogers, Linda, Rand, Robert, Gillis, Lorrie

Volltext

Letter to the Editor: A critical analysis: Why “firm conclusions are not possible” von Aramini, Jeffery J., Krogh, Carmen M., Rand, Robert W.

Volltext

ReQWIRE: Reasoning about Reversible Quantum Circuits von Rand, Robert, Paykin, Jennifer, Lee, Dong-Ho, Zdancewic, Steve

Volltext

Intratumoral Administration of Recombinant Circularly Permuted Interleukin-4-Pseudomonas Exotoxin in Patients with High-Grade Glioma von RAND, R. W, KREITMAN, R. J, PATRONAS, N, VARRICCHIO, F, PASTAN, I, PURI, R. K

Volltext

A verified optimizer for Quantum circuits von Hietala, Kesha, Rand, Robert, Hung, Shih-Han, Wu, Xiaodi, Hicks, Michael

Volltext

A formally certified end-to-end implementation of Shor's factorization algorithm von Peng, Yuxiang, Hietala, Kesha, Tao, Runzhou, Li, Liyi, Rand, Robert, Hicks, Michael, Wu, Xiaodi

Volltext

A formally certified end-to-end implementation of Shor’s factorization algorithm von Peng, Yuxiang, Hietala, Kesha, Tao, Runzhou, Li, Liyi, Rand, Robert, Hicks, Michael, Wu, Xiaodi

Volltext

A Verified Optimizer for Quantum Circuits von Hietala, Kesha, Rand, Robert, Li, Liyi, Hung, Shih-Han, Wu, Xiaodi, Hicks, Michael

Volltext

Qunity: A Unified Language for Quantum and Classical Computing von Voichick, Finn, Li, Liyi, Rand, Robert, Hicks, Michael

Volltext

Q# as a Quantum Algorithmic Language von Singhal, Kartik, Hietala, Kesha, Marshall, Sarah, Rand, Robert

Volltext

Spatially smooth partitioning of hyperspectral imagery using spectral/spatial measures of disparity von Rand, R.S., Keenan, D.M.

Volltext

A spectral mixture process conditioned by Gibbs-based partitioning von Rand, R.S., Keenan, D.M.

Volltext

Wind turbine acoustic analysis should be performed to minimize the potential for adverse impacts on life-quality for neighbors von Rand, Robert W., Ambrose, Stephen E.

Volltext

Stereotaxy: recollections of Robert W. Rand, M.D., Ph.D von Rand, Robert W

Volltext

An Algebraic Language for Specifying Quantum Networks von Buckley, Anita, Chuprikov, Pavel, Otoni, Rodrigo, Soulé, Robert, Rand, Robert, Eugster, Patrick

Volltext

Preclinical development of a recombinant toxin containing circularly permuted interleukin 4 and truncated Pseudomonas exotoxin for therapy of malignant astrocytoma von PURI, R. K, HOON, D. S, LELAND, P, SNOY, P, RAND, R. W, PASTAN, I, KREITMAN, R. J

Volltext

Why are regulators, communities, neighbors, and acousticians annoyed by wind turbines? von Ambrose, Stephen E., Rand, Robert W.

Volltext