Zobrazeno 1 - 10
of 879
pro vyhledávání: '"Thompson Kyle"'
Autor:
Angulo, Daniela, Thompson, Kyle, Nixon, Vida-Michelle, Jiao, Andy, Wiseman, Howard M., Steinberg, Aephraim M.
When a pulse of light traverses a material, it incurs a time delay referred to as the group delay. Should the group delay experienced by photons be attributed to the time they spend as atomic excitations? However reasonable this connection may seem,
Externí odkaz:
http://arxiv.org/abs/2409.03680
Autor:
Carrott, Pedro, Saavedra, Nuno, Thompson, Kyle, Lerner, Sorin, Ferreira, João F., First, Emily
Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive nature of these proof assistants imposes most of the proof burden on the user, making formal verification a complex,
Externí odkaz:
http://arxiv.org/abs/2405.04282
Publikováno v:
EPTCS 393, 2023, pp. 82-93
Newcomers to ACL2 are sometimes surprised that ACL2 rejects formulas that they believe should be theorems, such as (REVERSE (REVERSE X)) = X. Experienced ACL2 users will recognize that the theorem only holds for intended values of X, and given ACL2's
Externí odkaz:
http://arxiv.org/abs/2311.08857
Autor:
Thompson, Kyle, Li, Kehui, Angulo, Daniela, Nixon, Vida-Michelle, Sinclair, Josiah, Sivakumar, Amal Vijayalekshmi, Wiseman, Howard M., Steinberg, Aephraim M.
When a single photon traverses a cloud of 2-level atoms, the average time it spends as an atomic excitation -- as measured by weakly probing the atoms -- can be shown to be the spontaneous lifetime of the atoms multiplied by the probability of the ph
Externí odkaz:
http://arxiv.org/abs/2310.00432
Autor:
Smith, Jennifer Pearl, Mazin, Benjamin A., Boaventura, Alirio, Thompson, Kyle J., Daal, Miguel
Superconducting arrays often require specialized, high-density cryogenic cabling capable of transporting electrical signals across temperature stages with minimal loss, crosstalk, and thermal conductivity. We report improvements to the design and fab
Externí odkaz:
http://arxiv.org/abs/2306.13574
Autor:
Szypryt, Paul, Nakamura, Nathan, Becker, Daniel T., Bennett, Douglas A., Dagel, Amber L., Doriese, W. Bertrand, Fowler, Joseph W., Gard, Johnathon D., Harris, J. Zachariah, Hilton, Gene C., Imrek, Jozsef, Jimenez, Edward S., Larson, Kurt W., Levine, Zachary H., Mates, John A. B., McArthur, D., Miaja-Avila, Luis, Morgan, Kelsey M., O'Neil, Galen C., Ortiz, Nathan J., Pappas, Christine G., Schmidt, Daniel R., Thompson, Kyle R., Ullom, Joel N., Vale, Leila, Vissers, Michael R., Walker, Christopher, Weber, Joel C., Wessels, Abigail L., Wheeler, Jason W., Swetz, Daniel S.
Publikováno v:
IEEE Transactions on Applied Superconductivity, vol. 33, no. 5, pp. 1-5, Aug. 2023, Art no. 2100705
We report on the 1,000-element transition-edge sensor (TES) x-ray spectrometer implementation of the TOMographic Circuit Analysis Tool (TOMCAT). TOMCAT combines a high spatial resolution scanning electron microscope (SEM) with a highly efficient and
Externí odkaz:
http://arxiv.org/abs/2212.12073
Autor:
Nakamura, Nathan, Szypryt, Paul, Dagel, Amber L., Alpert, Bradley K., Bennett, Douglas A., Doriese, W. Bertrand, Durkin, Malcolm, Fowler, Joseph W., Fox, Dylan T., Gard, Johnathon D., Goodner, Ryan N., Harris, J. Zachariah, Hilton, Gene C., Jimenez, Edward S., Kernen, Burke L., Larson, Kurt W., Levine, Zachary H., McArthur, Daniel, Morgan, Kelsey M., O'Neil, Galen C., Ortiz, Nathan J., Pappas, Christine G., Reintsema, Carl D., Schmidt, Daniel R., Schultz, Peter A., Thompson, Kyle R., Ullom, Joel N., Vale, Leila, Vaughan, Courtenay T., Walker, Christopher, Weber, Joel C., Wheeler, Jason W., Swetz, Daniel S.
X-ray nanotomography is a powerful tool for the characterization of nanoscale materials and structures, but is difficult to implement due to competing requirements on X-ray flux and spot size. Due to this constraint, state-of-the-art nanotomography i
Externí odkaz:
http://arxiv.org/abs/2212.10591
Autor:
Szypryt, Paul, Bennett, Douglas A., Boone, William J., Dagel, Amber L., Dalton, Gabriella, Doriese, W. Bertrand, Fowler, Joseph W., Garboczi, Edward J., Gard, Johnathon D., Hilton, Gene C., Imrek, Jozsef, Jimenez, Edward S., Kotsubo, Vincent Y., Larson, Kurt, Levine, Zachary H., Mates, John A. B., McArthur, Daniel, Morgan, Kelsey M., Nakamura, Nathan, O'Neil, Galen C., Ortiz, Nathan J., Pappas, Christine G., Reintsema, Carl D., Schmidt, Daniel R., Swetz, Daniel S., Thompson, Kyle R., Ullom, Joel N., Walker, Christopher, Weber, Joel C., Wessels, Abigail L., Wheeler, Jason W.
Publikováno v:
in IEEE Transactions on Applied Superconductivity, vol. 31, no. 5, pp. 1-5, Aug. 2021, Art no. 2100405
Feature sizes in integrated circuits have decreased substantially over time, and it has become increasingly difficult to three-dimensionally image these complex circuits after fabrication. This can be important for process development, defect analysi
Externí odkaz:
http://arxiv.org/abs/2212.07460
Publikováno v:
In Science of the Total Environment 20 October 2024 948
