CARAVAN - A GLOBAL COMMUNITY DATASET FOR LARGE-SAMPLE HYDROLOGY

Caravan - A global community dataset for large-sample hydrology

Abstract High-quality datasets are essential to support hydrological science and modeling.Several CAMELS (Catchment SPDT 12V Relay Attributes and Meteorology for Large-sample Studies) datasets exist for specific countries or regions, however these datasets lack standardization, which makes global studies difficult.This paper introduces a dataset ca

read more



The expressive power of modal logic with inclusion atoms

Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams.A team of a Kripke model is just a subset of its domain.In this paper we give a complete characterisation for the expressive power of modal inclusion logic: a class of Kripke models with teams is definable in mo

read more