Zobrazeno 1 - 10
of 36 675
pro vyhledávání: '"Redmond A"'
Autor:
Pernsteiner, Stuart, Diatchki, Iavor S., Dockins, Robert, Dodds, Mike, Hendrix, Joe, Ravich, Tristan, Redmond, Patrick, Scott, Ryan, Tomb, Aaron
We present Crux, a cross-language verification tool for Rust and C/LLVM. Crux targets bounded, intricate pieces of code that are difficult for humans to get right: for example, cryptographic modules and serializer / deserializer pairs. Crux builds on
Externí odkaz:
http://arxiv.org/abs/2410.18280
Autor:
Soummer, Rémi, Por, Emiel H., Pourcelot, Raphaël, Redmond, Susan, Laginja, Iva, Will, Scott D., Perrin, Marshall D., Pueyo, Laurent, Sahoo, Ananya, Petrone, Peter, Brooks, Keira J., Fox, Rachel, Klein, Alex, Nickson, Bryony, Comeau, Thomas, Ferrari, Marc, Gontrum, Rob, Hagopian, John, Leboulleux, Lucie, Leongomez, Dan, Lugten, Joe, Mugnier, Laurent M., N'Diaye, Mamadou, Nguyen, Meiji, Noss, James, Sauvage, Jean-François, Scott, Nathan, Sivaramakrishnan, Anand, Subedi, Hari B., Weinstock, Sam
We present recent laboratory results demonstrating high-contrast coronagraphy for the future space-based large IR/Optical/Ultraviolet telescope recommended by the Decadal Survey. The High-contrast Imager for Complex Aperture Telescopes (HiCAT) testbe
Externí odkaz:
http://arxiv.org/abs/2409.13026
Autor:
Soummer, Rémi, Pourcelot, Raphaël, Por, Emiel H., Steiger, Sarah, Laginja, Iva, Buralli, Benjamin, Redmond, Susan, Pueyo, Laurent, Perrin, Marshall D., Ferrari, Marc, Fowler, Jules, Hagopian, John, N'Diaye, Mamadou, Nguyen, Meiji, Nickson, Bryony, Petrone, Peter, Sahoo, Ananya, Sivaramakrishnan, Anand, Will, Scott D.
We present the final results of the Apodized Pupil Lyot Coronagraph (APLC) on the High-contrast imager for Complex Aperture Telescopes (HiCAT) testbed, under NASA's Strategic Astrophysics Technology program. The HiCAT testbed was developed over the p
Externí odkaz:
http://arxiv.org/abs/2409.12931
Autor:
Buralli, B., N'Diaye, M., Pourcelot, R., Carbillet, M., Por, E. H., Laginja, I., Canas, L., Steiger, S., Petrone, P., Nguyen, M. M., Nickson, B., Redmond, S. F., Sahoo, A., Pueyo, L., Perrin, M. D., Soummer, R.
We study a mid-order wavefront sensor (MOWFS) to address fine cophasing errors in exoplanet imaging with future large segmented aperture space telescopes. Observing Earth analogs around Sun-like stars requires contrasts down to $10^{-10}$ in visible
Externí odkaz:
http://arxiv.org/abs/2409.03411
Autor:
Shaw, Elle C., Ade, P. A. R., Akers, S., Amiri, M., Austermann, J., Beall, J., Becker, D. T., Benton, S. J., Bergman, A. S., Bock, J. J., Bond, J. R., Bryan, S. A., Chiang, H. C., Contaldi, C. R., Domagalski, R. S., Doré, O., Duff, S. M., Duivenvoorden, A. J., Eriksen, H. K., Farhang, M., Filippini, J. P., Fissel, L. M., Fraisse, A. A., Freese, K., Galloway, M., Gambrel, A. E., Gandilo, N. N., Ganga, K., Gibbs, S. M., Gourapura, S., Grigorian, A., Gualtieri, R., Gudmundsson, J. E., Halpern, M., Hartley, J., Hasselfield, M., Hilton, G., Holmes, W., Hristov, V. V., Huang, Z., Hubmayr, J., Irwin, K. D., Jones, W. C., Kahn, A., Kermish, Z. D., King, C., Kuo, C. L., Lennox, A. R., Leung, J. S. -Y., Li, S., Luu, T. V., Mason, P. V., May, J., Megerian, K., Moncelsi, L., Morford, T. A., Nagy, J. M., Nie, R., Netterfield, C. B., Nolta, M., Osherson, B., Padilla, I. L., Rahlin, A. S., Redmond, S., Reintsema, C., Romualdez, L. J., Ruhl, J. E., Runyan, M. C., Shariff, J. A., Shiu, C., Soler, J. D., Song, X., Tartakovsky, S., Thommesen, H., Trangsrud, A., Tucker, C., Tucker, R. S., Turner, A. D., Ullom, J., van der List, J. F., Van Lanen, J., Vissers, M. R., Weber, A. C., Wehus, I. K., Wen, S., Wiebe, D. V., Young, E. Y.
SPIDER is a balloon-borne instrument designed to map the cosmic microwave background at degree-angular scales in the presence of Galactic foregrounds. SPIDER has mapped a large sky area in the Southern Hemisphere using more than 2000 transition-edge
Externí odkaz:
http://arxiv.org/abs/2408.10444
A significant challenge of adopting battery electric buses into fleets lies in scheduling the charging, which in turn is complicated by considerations such as timing constraints imposed by routes, long charging times, limited numbers of chargers, and
Externí odkaz:
http://arxiv.org/abs/2408.04087
Autor:
Gill, Ajay S., Benton, Steven J., Damaren, Christopher J., Everett, Spencer W., Fraisse, Aurelien A., Hartley, John W., Harvey, David, Holder, Bradley, Huff, Eric M., Jauzac, Mathilde, Jones, William C., Lagattuta, David, Leung, Jason S. -Y., Li, Lun, Luu, Thuy Vy T., Massey, Richard, McCleary, Jacqueline E., Nagy, Johanna M., Netterfield, C. Barth, Paracha, Emaad, Redmond, Susan F., Rhodes, Jason D., Robertson, Andrew, Romualdez, L. Javier, Schmoll, Jürgen, Shaaban, Mohamed M., Sirks, Ellen L., Vassilakis, Georgios N., Vitorelliand, André Z.
Publikováno v:
Volume 168, Number 2, Pages 85, 2024, Astronomical Journal
SuperBIT was a 0.5-meter near-ultraviolet to near-infrared wide-field telescope that launched on a NASA superpressure balloon into the stratosphere from New Zealand for a 45-night flight. SuperBIT acquired multi-band images of galaxy clusters to stud
Externí odkaz:
http://arxiv.org/abs/2408.01847
Autor:
Voyer, Philippe, Benton, Steven J., Damaren, Christopher J., Everett, Spencer W., Fraisse, Aurelien A., Gill, Ajay S., Hartley, John W., Harvey, David, Henderson, Michael, Holder, Bradley, Huff, Eric M., Jauzac, Mathilde, Jones, William C., Lagattuta, David, Leung, Jason S. -Y., Li, Lun, Luu, Thuy Vy T., Massey, Richard, McCleary, Jacqueline E., Nagy, Johanna M., Netterfield, C. Barth, Paracha, Emaad, Redmond, Susan F., Rhodes, Jason D., Robertson, Andrew, Romualdez, L. Javier, Schmoll, Jürgen, Shaaban, Mohamed M., Sirks, Ellen L., Vassilakis, Georgios N., Vitorelli, André Z.
The Super-pressure Balloon-borne Imaging Telescope (SuperBIT) is a near-diffraction-limited 0.5m telescope that launched via NASA's super-pressure balloon technology on April 16, 2023. SuperBIT achieved precise pointing control through the use of thr
Externí odkaz:
http://arxiv.org/abs/2407.10103
Autor:
Whang PG, Darr E, Meyer SC, Kovalsky D, Frank C, Lockstadt H, Limoni R, Redmond AJ, Ploska P, Oh M, Chowdhary A, Cher D, Hillen T
Publikováno v:
Medical Devices: Evidence and Research, Vol Volume 12, Pp 411-422 (2019)
Peter G Whang,1 Emily Darr,2 S Craig Meyer,3 Don Kovalsky,4 Clay Frank,5 Harry Lockstadt,6 Robert Limoni,7 Andy J Redmond,8 Philip Ploska,9 Michael Oh,10 Abhineet Chowdhary,11 Daniel Cher,12 Travis Hillen13 1Department of Orthopedics and Rehabilitati
Externí odkaz:
https://doaj.org/article/20187a6db3124779bc97d4a90e1534f9
Autor:
Mennesson, Bertrand, Belikov, Ruslan, Por, Emiel, Serabyn, Eugene, Ruane, Garreth, Riggs, A. J. Eldorado, Sirbu, Dan, Pueyo, Laurent, Soummer, Remi, Kasdin, Jeremy, Shaklan, Stuart, Seo, Byoung-Joon, Stark, Christopher, Cady, Eric, Chen, Pin, Crill, Brendan, Fogarty, Kevin, Greenbaum, Alexandra, Guyon, Olivier, Juanola-Parramon, Roser, Kern, Brian, Krist, John, Macintosh, Bruce, Marx, David, Mawet, Dimitri, Prada, Camilo Mejia, Morgan, Rhonda, Nemati, Bijan, Pogorelyuk, Leonid, Redmond, Susan, Seager, Sara, Siegler, Nicholas, Stapelfeldt, Karl, Steiger, Sarah, Trauger, John, Ygouf, a James K. Wallace Marie, Zimmerman, Neil
We summarize the current best polychromatic (10 to 20 % bandwidth) contrast performance demonstrated in the laboratory by different starlight suppression approaches and systems designed to directly characterize exoplanets around nearby stars. We pres
Externí odkaz:
http://arxiv.org/abs/2404.18036