7.2k citations
- California Institute of TechnologyUS270 papers
- Search for Extraterrestrial IntelligenceUS270 papers
- Center for Astrophysics Harvard & SmithsonianUS245 papers
- Centre National de la Recherche ScientifiqueFR235 papers
- Goddard Space Flight CenterUS207 papers
- University of ArizonaUS186 papers
- Space Telescope Science InstituteUS181 papers
- Jet Propulsion LaboratoryUS176 papers
- University of California, Santa CruzUS165 papers
- Princeton UniversityUS160 papers
- Massachusetts Institute of TechnologyUS158 papers
- University of California, BerkeleyUS145 papers
129 papers · 1 filter
Multiwaveband photometry of the irradiated brown dwarf WD0137-349B
S. L. Casewell, K. A. Lawrie, P. F. L. Maxted +7
WD0137-349 is a white dwarf-brown dwarf binary system in a 116 minute orbit. We present radial velocity observations and multiwaveband photometry from V, R and I in the optical, to…
Characterizing K2 Planet Discoveries: A super-Earth transiting the bright K-dwarf HIP 116454
Andrew Vanderburg, Benjamin T. Montet, John Asher Johnson +43
We report the first planet discovery from the two-wheeled Kepler (K2) mission: HIP 116454 b. The host star HIP 116454 is a bright (V = 10.1, K = 8.0) K1-dwarf with high proper moti…
Near-IR Spectroscopic Monitoring of Class I Protostars: Variability of Accretion and Wind Indicators
MIchael Connelley, Thomas Greene
We present the results of a program that monitored the near-IR spectroscopic variability of a sample of 19 embedded protostars. Spectra were taken on time intervals from 2 days to…
Galaxy And Mass Assembly (GAMA): The galaxy luminosity function within the cosmic web
E. Eardley, J. A. Peacock, T. McNaught-Roberts +12
We investigate the dependence of the galaxy luminosity function on geometric environment within the Galaxy And Mass Assembly (GAMA) survey. The tidal tensor prescription, based on…
The orbit and dynamical evolution of the Chelyabinsk object
Vacheslav V. Emel'yanenko, Sergey A. Naroenkov, Peter Jenniskens +1
The orbit of the Chelyabinsk object is calculated, applying the least-squares method directly to astrometric positions. The dynamical evolution of this object in the past is studie…
Synthesizing Modular Invariants for Synchronous Code
Pierre-Loic Garoche, Arie Gurfinkel, Temesghen Kahsai
In this paper, we explore different techniques to synthesize modular invariants for synchronous code encoded as Horn clauses. Modular invariants are a set of formulas that characte…