5 papers
Definability of some -ary Relations Over Second Order kinds of Logics
Simone Costa, Marco Dalai, Stefano Della Fiore +1
We consider the exprissibility in monadic second order logic of certain relations of importance in computer science. For integers and , a -tuple of sequences…
Bounds on -hash distances and rates of linear codes
Stefano Della Fiore, Marco Dalai
In this paper, we bound the rate of linear codes in with the property that any codewords are all simultaneously distinct in at least coordinates. F…
End-to-End Semantic Preservation in Text-Aware Image Compression Systems
Stefano Della Fiore, Alessandro Gnutti, Marco Dalai +2
Traditional image compression methods aim to reconstruct images for human perception, prioritizing visual fidelity over task relevance. In contrast, Coding for Machines focuses on…
An Efficient Algorithm for Group Testing with Runlength Constraints
Marco Dalai, Stefano Della Fiore, Adele A. Rescigno +1
In this paper, we provide an efficient algorithm to construct almost optimal -superimposed codes with runlength constraints. A -superimposed code of length is…
A gap in the slice rank of -tensors
Simone Costa, Marco Dalai
The slice-rank method, introduced by Tao as a symmetrized version of the polynomial method of Croot, Lev and Pach and Ellenberg and Gijswijt, has proved to be a useful tool in a va…