We consider the Σ1 0-fragment of second-order logic over the vocabulary h+, ×, 0, 1, <, S1, ..., Ski, interpreted over the reals, where the predicate symbols Si are interpreted as semi-algebraic sets. We show that, in this ...

Steganalysis comprises a set of techniques that strive to find concealed information within diverse types of digital media. On the contrary, Steganography involves a group of methods that, by manipulation of a cover object, ...

It is normal that the students of the universities do not notice the different levels that they are achieving in each of the professional competences or abilities of their career; one of these competences is the skill or ...

Presentamos un algoritmo de unificación general módulo Presburger Arithmetic para una clase restringida de teorías especificadas modularmente donde los símbolos de función de la teoría objetivo tienen clases de codominio ...

The present work deals with the presentation of a notebook of activities that aims at the integration between the History of Mathematics (HM) and the Digital Technologies of Information and Communication (TDIC) through ...