1k citations
- University of OxfordGB52 papers
- Centre National de la Recherche ScientifiqueFR50 papers
- University of SussexGB42 papers
- University of California, BerkeleyUS39 papers
- Goddard Space Flight CenterUS38 papers
- The University of Texas at AustinUS32 papers
- University of ManchesterGB32 papers
- Rochester Institute of TechnologyUS31 papers
- Search for Extraterrestrial IntelligenceUS31 papers
- Texas A&M UniversityUS27 papers
- Deleted Institution26 papers
- Mitchell InstituteUS26 papers
62 papers · 1 filter
PSTMonitor: Monitor Synthesis from Probabilistic Session Types
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas +2
We present PSTMonitor, a tool for the run-time verification of quantitative specifications of message-passing applications, based on probabilistic session types. The key element of…
An Investigation of Reconfigurable Magnetomechanical Metamaterials
R. Galea, P. -S. Farrugia, K. K. Dudek +3
In this work, an experimental investigation of an accordion-like system with embedded magnetic inclusion is carried out. It is shown that the way that this structure deforms when s…
A Green Bank Telescope search for narrowband technosignatures between 1.1-1.9 GHz during 12 Kepler planetary transits
Sofia Z. Sheikh, Shubham Kanodia, Emily Lubar +12
A growing avenue for determining the prevalence of life beyond Earth is to search for "technosignatures" from extraterrestrial intelligences/agents. Technosignatures require signif…
Spectral Templates Optimal for Selecting Galaxies at z > 8 with JWST
Rebecca L. Larson, Taylor A. Hutchison, Micaela Bagley +9
The selection of high-redshift galaxies often involves spectral energy distribution (SED) fitting to photometric data, an expectation for contamination levels, and measurement of s…
The Best of Both Worlds: a Framework for Combining Degradation Prediction with High Performance Super-Resolution Networks
Matthew Aquilina, Keith George Ciantar, Christian Galea +3
To date, the best-performing blind super-resolution (SR) techniques follow one of two paradigms: A) generate and train a standard SR network on synthetic low-resolution - high-reso…
CEERS Epoch 1 NIRCam Imaging: Reduction Methods and Simulations Enabling Early JWST Science Results
Micaela B. Bagley, Steven L. Finkelstein, Anton M. Koekemoer +34
We present the data release and data reduction process for the Epoch 1 NIRCam observations for the Cosmic Evolution Early Release Science Survey (CEERS). These data consist of NIRC…