Marco Dalai

activity

20192026

collaborators

Showing 2025Show all

3 papers · 1 filter

math.LO2025

Definability of some $k$ -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 $n \geq 1$ and $k \leq b$ , a $k$ -tuple of sequences…

cs.IT2025

Bounds on $k$ -hash distances and rates of linear codes

Stefano Della Fiore, Marco Dalai

In this paper, we bound the rate of linear codes in $F_{q}^{n}$ with the property that any $k \leq q$ codewords are all simultaneously distinct in at least $d_{k}$ coordinates. F…

eess.IV2025

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…

Definability of some k-ary Relations Over Second Order kinds of Logics

Bounds on k-hash distances and rates of linear codes

End-to-End Semantic Preservation in Text-Aware Image Compression Systems

Definability of some $k$ -ary Relations Over Second Order kinds of Logics

Bounds on $k$ -hash distances and rates of linear codes