- Astronomical Institute of the Slovak Academy of SciencesSK1 paper
- Canadian Institute for Theoretical AstrophysicsCA1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Chinese Academy of Science South America Center for AstronomyCL1 paper
- Deerfield (United States)US1 paper
- George Washington UniversityUS1 paper
- Millennium Science InitiativeCL1 paper
- Sorbonne UniversitéFR1 paper
- Université Paris Sciences et LettresFR1 paper
- University of GroningenNL1 paper
- University of IndonesiaID1 paper
- University of TorontoCA1 paper
3 papers
astro-ph.GA2025
Black Hole merger rates in the first billion years in light of JWST data
P. F. V. Cáceres-Burgos, P. Dayal, P. Lira +3
Context. Recent James Webb Space Telescope (JWST) discoveries have unveiled an abundance of faint and massive Active Galactic Nuclei (AGNs) at high redshifts (z=4-9), that surpass…
cs.LG2020
Grammar Filtering For Syntax-Guided Synthesis
Kairo Morton, William Hallahan, Elven Shum +2
Programming-by-example (PBE) is a synthesis paradigm that allows users to generate functions by simply providing input-output examples. While a promising interaction paradigm, synt…
cs.LO2013
Belief Semantics of Authorization Logic
Andrew K. Hirsch, Michael R. Clarkson
Authorization logics have been used in the theory of computer security to reason about access control decisions. In this work, a formal belief semantics for authorization logics is…