works on
astronomy instrumentation 1exoplanet biosignatures 1habitable worlds observatory 1high-contrast imaging 1ultraviolet spectroscopy 1

From the 1 of 29 papers with an AI index.

most citedModeling spectra of MN112

8 citations

collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

On Modal Logics of Connectedness in Metric Spaces

John Harding, Ilya Shapirovsky

For a positive number a, each metric space carries the relation D_a consisting of those pairs that are of distance less than a apart. A space X is said to be a-connected, if the gr…