no code implementations • WS 2019 • Fern, Tim o, David Woods, Carl Vogel
Tests added to Kleene algebra (by Kozen and others) are considered within Monadic Second Order logic over strings, where they are likened to statives in natural language.
1 code implementation • 27 Nov 2009 • Rachel Mandelbaum, Chris Blake, Sarah Bridle, Filipe B. Abdalla, Sarah Brough, Matthew Colless, Warrick Couch, Scott Croom, Tamara Davis, Michael J. Drinkwater, Karl Forster, Karl Glazebrook, Ben Jelliffe, Russell J. Jurek, I-hui Li, Barry Madore, Chris Martin, Kevin Pimbblet, Gregory B. Poole, Michael Pracy, Rob Sharp, Emily Wisnioski, David Woods, Ted Wyder
Our null detection allows us to place upper limits on the contamination of weak lensing measurements by blue galaxy intrinsic alignments that, for the first time, do not require significant model-dependent extrapolation from the z~0. 1 SDSS observations.
Cosmology and Nongalactic Astrophysics