Zobrazeno 1 - 10
of 117
pro vyhledávání: '"Keith, J C"'
In top-down enumeration for program synthesis, abstraction-based pruning uses an abstract domain to approximate the set of possible values that a partial program, when completed, can output on a given input. If the set does not contain the desired ou
Externí odkaz:
http://arxiv.org/abs/2408.15822
Autor:
Liu, Jiangyi, Murphy, Charlie, Grover, Anvay, Johnson, Keith J. C., Reps, Thomas, D'Antoni, Loris
Program verification and synthesis frameworks that allow one to customize the language in which one is interested typically require the user to provide a formally defined semantics for the language. Because writing a formal semantics can be a dauntin
Externí odkaz:
http://arxiv.org/abs/2408.14668
Semantics-Guided Synthesis (SemGuS) is a programmable framework for defining synthesis problems in a domain- and solver-agnostic way. This paper presents the standardized SemGuS format, together with an open-source toolkit that provides a parser, a v
Externí odkaz:
http://arxiv.org/abs/2406.01792
This paper describes a way to improve the scalability of program synthesis by exploiting modularity: larger programs are synthesized from smaller programs. The key issue is to make each "larger-created-from-smaller" synthesis sub-problem be of a simi
Externí odkaz:
http://arxiv.org/abs/2308.06956
Autor:
Gardner, Tyler, Monnier, John D., Fekel, Francis C., Bouquin, Jean-Baptiste Le, Scovera, Adam, Schaefer, Gail, Kraus, Stefan, Adams, Fred C., Anugu, Narsireddy, Berger, Jean-Philippe, Brummelaar, Theo Ten, Davies, Claire L., Ennis, Jacob, Gies, Douglas R., Johnson, Keith J. C., Kervella, Pierre, Kratter, Kaitlin M., Labdon, Aaron, Lanthermann, Cyprien, Sahlmann, Johannes, Setterholm, Benjamin R.
We started a survey with CHARA/MIRC-X and VLTI/GRAVITY to search for low mass companions orbiting individual components of intermediate mass binary systems. With the incredible precision of these instruments, we can detect astrometric "wobbles" from
Externí odkaz:
http://arxiv.org/abs/2209.00669
Autor:
Gardner, Tyler, Monnier, John D., Fekel, Francis C., Schaefer, Gail, Johnson, Keith J. C., Bouquin, Jean-Baptiste Le, Kraus, Stefan, Anugu, Narsireddy, Setterholm, Benjamin R., Labdon, Aaron, Davies, Claire L., Lanthermann, Cyprien, Ennis, Jacob, Ireland, Michael, Kratter, Kaitlin M., Brummelaar, Theo Ten, Sturmann, Judit, Sturmann, Laszlo, Farrington, Chris, Gies, Douglas R., Klement, Robert, Adams, Fred C.
Ground-based optical long-baseline interferometry has the power to measure the orbits of close binary systems at ~10 micro-arcsecond precision. This precision makes it possible to detect "wobbles" in the binary motion due to the gravitational pull fr
Externí odkaz:
http://arxiv.org/abs/2012.00778
Autor:
Anugu, Narsireddy, Bouquin, Jean-Baptiste Le, Monnier, John D., Kraus, Stefan, Setterholm, Benjamin R., Labdon, Aaron, Davies, Claire L, Lanthermann, Cyprien, Gardner, Tyler, Ennis, Jacob, Johnson, Keith J. C., Brummelaar, Theo ten, Schaefer, Gail, Sturmann, Judit
MIRC-X (Michigan InfraRed Combiner-eXeter) is a new highly-sensitive six-telescope interferometric imager installed at the CHARA Array that provides an angular resolution equivalent of up to a 330 m diameter baseline telescope in J and H band wavelen
Externí odkaz:
http://arxiv.org/abs/2007.12320
Autor:
Narsireddy Anugu, Benjamin R. Setterholm, Keith J. C. Johnson, T. ten Brummelaar, Jacob Ennis, Jean-Baptiste Le Bouquin, Aaron Labdon, John D. Monnier, Stefan Kraus
Publikováno v:
Optical and Infrared Interferometry and Imaging VII.
We present a new polarimetric mode for the MIRC-X 6-telescope beam combiner at CHARA. Utilizing the extensive u − v coverage afforded by CHARA this mode will be able to resolve and constrain scattered light in environs at milliarcsecond separations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a862220ebfb29e721e1e950a0213279f
https://doi.org/10.1117/12.2562407
https://doi.org/10.1117/12.2562407
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Mérand, Antoine, Sallum, Stephanie, Sanchez-Bermudez, Joel, Gardner, Tyler, Monnier, John D., Fekel, Francis C., Le Bouquin, Jean-Baptiste, Scovera, Adam, Schaefer, Gail, Kraus, Stefan, Adams, Fred C., Anugu, Narsireddy, Beltz, Hayley, Berger, Jean-Philippe, ten Brummelaar, Theo, Davies, Claire L., Ennis, Jacob, Gies, Douglas R., Johnson, Keith J. C., Kervella, Pierre, Kratter, Kaitlin M., Labdon, Aaron, Lanthermann, Cyprien, Malsky, Isaac, Rauscher, Emily, Sahlmann, Johannes, Setterholm, Benjamin R.
Publikováno v:
Proceedings of SPIE; August 2022, Vol. 12183 Issue: 1 p121830Z-121830Z-18, 12061189p