LASIGE - Extreme Computing

Funder

Organizational Unit

Publications

Errors of identifiers in anonymous databases: impact on data quality

Publication . Pombinho, Paulo; Cavique, Luís; Correia, Luís

Data quality is essential for a correct understanding of the concepts they represent. Data mining is especially relevant when data with inferior quality is used in algorithms that depend on correct data to create accurate models and predictions. In this work, we introduce the issue of errors of identifiers in an anonymous database. The work proposes a quality evaluation approach that considers individual attributes and a contextual analysis that allows additional quality evaluations. The proposed quality analysis model is a robust means of minimizing anonymization costs.

2023Conference object

Open access

Typability and type inference in atomic polymorphism

Publication . Protin, M. Clarence; Ferreira, Gilda

It is well-known that typability, type inhabitation and type inference are undecidable in the Girard-Reynolds polymorphic system F. It has recently been proven that type inhabitation remains undecidable even in the predicative fragment of system F in which all universal instantiations have an atomic witness (system Fat). In this paper we analyze typability and type inference in Curry style variants of system Fat and show that typability is decidable and that there is an algorithm for type inference which is capable of dealing with non-redundancy constraints.

2022Journal article

Open access