Institut de Recherche en Informatique de Toulouse

Constructive S4 modal logics with the finite birelational frame property

The logics \(\mathsf {CS4} \) and \(\mathsf {IS4} \) are the two leading intuitionistic variants of the modal logic \(\mathsf {S4} \) . Whether the finite model property holds for each of these logics have been long-standing open problems. In this paper, we resolve the first of t...

Vocal encoding of heritable sociability prevails over emotions in sheep bleats

Vocalizations of animals are good indicators of their emotions. Temperament is known to influence the regulation and expression of emotions. However, how animal temperament affects their vocalizations and particularly their vocal expressions of emotions remains largely unexplored...

NucGen3D: A synthetic framework for large-scale 3D nuclear segmentation with open-source training data and models

A bstract Robust nuclear segmentation in 3D microscopy images is a critical yet unresolved challenge in quantitative cell biology, hindered by the scarcity and variability of annotated volumetric datasets. Because such data are difficult to obtain, most state-of-the-art approache...