Výsledky vyhledávání - "Wilson, Ashley A."

Akademický článek

Ground-based near-UV observations of 15 transiting exoplanets: constraints on their atmospheres and no evidence for asymmetrical transits

Autor: Turner, Jake D., Pearson, Kyle A., Biddle, Lauren I., Smart, Brianna M., Zellem, Robert T., Teske, Johanna K., Hardegree-Ullman, Kevin K., Griffith, Caitlin C., Leiter, Robin M., Cates, Ian T., Nieberding, Megan N., Smith, Carter-Thaxton W., Thompson, Robert M., Hofmann, Ryan, Berube, Michael P., Nguyen, Chi H., Small, Lindsay C., Guvenen, Blythe C., Richardson, Logan, McGraw, Allison, Raphael, Brandon, Crawford, Benjamin E., Robertson, Amy N., Tombleson, Ryan, Carleton, Timothy M., Towner, Allison P.M., Walker-LaFollette, Amanda M., Hume, Jeffrey R., Watson, Zachary T., Jones, Christen K., Lichtenberger, Matthew J., Hoglund, Shelby R., Cook, Kendall L., Crossen, Cory A., Jorgensen, Curtis R., Romine, James M., Thompson, Alejandro R., Villegas, Christian F., Wilson, Ashley A., Sanford, Brent, Taylor, Joanna M., Henz, Triana N.

Transits of exoplanets observed in the near-UV have been used to study the scattering properties of their atmospheres and possible star-planet interactions. We observed the primary transits of 15 exoplanets (CoRoT-1b, GJ436b, HAT-P-1b, HAT-P-13b, HAT

Externí odkaz: http://hdl.handle.net/10150/614988
http://arizona.openrepository.com/arizona/handle/10150/614988

Zobrazit plný text záznamu

Report

A Closer Look at Some Recent Proof Compression-Related Claims

Autor: Chavrimootoo, Michael C., Ferland, Ethan, Gibson, Erin, Wilson, Ashley H.

Gordeev and Haeusler [GH19] claim that each tautology $\rho$ of minimal propositional logic can be proved with a natural deduction of size polynomial in $|\rho|$. This builds on work from Hudelmaier [Hud93] that found a similar result for intuitionis

Externí odkaz: http://arxiv.org/abs/2212.12150

Zobrazit plný text záznamu