Zobrazeno 1 - 10
of 176
pro vyhledávání: '"Wesley, Scott"'
Publikováno v:
EPTCS 406, 2024, pp. 1-43
We give a sound and complete equational theory for 3-qubit quantum circuits over the Toffoli-Hadamard gate set { X, CX, CCX, H }. That is, we introduce a collection of true equations among Toffoli-Hadamard circuits on three qubits that is sufficient
Externí odkaz:
http://arxiv.org/abs/2407.11152
Autor:
Wesley, Scott, Christakis, Maria, Navas, Jorge A., Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie
A growing trend in program analysis is to encode verification conditions within the language of the input program. This simplifies the design of analysis tools by utilizing off-the-shelf verifiers, but makes communication with the underlying solver m
Externí odkaz:
http://arxiv.org/abs/2407.08455
Autor:
Wesley, Scott
As quantum computing evolves, many important questions emerge, such as how best to represent quantum programs, and how to promote interoperability between quantum program analysis tools. These questions arise naturally in the design of quantum transp
Externí odkaz:
http://arxiv.org/abs/2404.08147
Autor:
Cindy De Jonge, Francien Peterse, Klaas G. J. Nierop, Thomas M. Blattmann, Marcelo Alexandre, Salome Ansanay‐Alex, Thomas Austin, Mathieu Babin, Edouard Bard, Thorsten Bauersachs, Jerome Blewett, Brenna Boehman, Isla S. Castañeda, Junhui Chen, Martina L. G. Conti, Sergio Contreras, Julia Cordes, Nina Davtian, Bart vanDongen, Bella Duncan, Felix J. Elling, Valier Galy, Shaopeng Gao, Jens Hefter, Kai‐Uwe Hinrichs, Mitchell R. Helling, Mariska Hoorweg, Ellen Hopmans, Juzhi Hou, Yongsong Huang, Arnaud Huguet, Guodong Jia, Cornelia Karger, Brendan J. Keely, Stephanie Kusch, Hui Li, Jie Liang, Julius S. Lipp, Weiguo Liu, Hongxuan Lu, Kai Mangelsdorf, Hayley Manners, Alfredo Martinez Garcia, Guillemette Menot, Gesine Mollenhauer, B. David A. Naafs, Sebastian Naeher, Lauren K. O'Connor, Ethan M. Pearce, Ann Pearson, Zhiguo Rao, Marta Rodrigo‐Gámiz, Chris Rosendahl, Frauke Rostek, Rui Bao, Prasanta Sanyal, Florence Schubotz, Wesley Scott, Rahul Sen, Appy Sluijs, Rienk Smittenberg, Ioana Stefanescu, Jia Sun, Paul Sutton, Jess Tierney, Eduardo Tejos, Joan Villanueva, Huanye Wang, Josef Werne, Masanobu Yamamoto, Huan Yang, Aifeng Zhou
Publikováno v:
Geochemistry, Geophysics, Geosystems, Vol 25, Iss 7, Pp n/a-n/a (2024)
Abstract Ratios of glycerol dialkyl glycerol tetraethers (GDGT), which are membrane lipids of bacteria and archaea, are at the base of several paleoenvironmental proxies. They are frequently applied to soils as well as lake‐ and marine sediments to
Externí odkaz:
https://doaj.org/article/587be2a71e1b4e3fbbdf758ac4016432
Autor:
Jennifer Marciano, Lisa Crawford, Leenia Mukhopadhyay, Wesley Scott, Anne McElroy, Carrie McDonough
Publikováno v:
ACS Environmental Au, Vol 4, Iss 3, Pp 152-161 (2024)
Externí odkaz:
https://doaj.org/article/bff10e97cae844c38fb0911fcd3758c7
Autor:
Wesley, Scott, Christakis, Maria, Navas, Jorge A., Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie
Solidity smart contracts are programs that manage up to 2^160 users on a blockchain. Verifying a smart contract relative to all users is intractable due to state explosion. Existing solutions either restrict the number of users to under-approximate b
Externí odkaz:
http://arxiv.org/abs/2107.08583
Autor:
Paul Yenerall, Tae Sung, Kiran Palyada, Jessie Qian, Seda Arat, Steven W Kumpf, Shih-Wen Wang, Kathleen Biddle, Carlos Esparza, Stephanie Chang, Wesley Scott, Walter Collette, Taylor-Symon Winrow, Tim Affolter, Norimitsu Shirai, Stephane Thibault, Julia Wang, Ling Liu, Mary Bauchmann, Jessica Frey, Stefanus Steyn, Aida Sacaan, Allison Vitsky, Youngwook Ahn, Tom Paul, Lawrence Lum, Jon Oyer, Amy Yang, Wenyue Hu
Publikováno v:
Toxicological Sciences.
The degradation tag (dTAG) system for target protein degradation can remove proteins from biological systems without the drawbacks of some genetic methods, such as slow kinetics, lack of reversibility, low specificity, and the inability to titrate do
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::724885d0613d756db2cf27d983c065e7
https://doi.org/10.1093/toxsci/kfad049
https://doi.org/10.1093/toxsci/kfad049
Autor:
James Wesley Scott
Publikováno v:
DETUROPE - The Central European Journal of Tourism and Regional Development. 13:13-33
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01d1c61f377ebb4a35f9a5638f3aed9b
https://doi.org/10.32725/det.2021.011
https://doi.org/10.32725/det.2021.011
Autor:
James Wesley Scott
Publikováno v:
Eurasian Geography and Economics. 63:704-725
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a8dabbbb86310bd6468ab81e4aa887b6
https://doi.org/10.1080/15387216.2021.1972023
https://doi.org/10.1080/15387216.2021.1972023