Buscar
Mostrando ítems 1-10 de 218
Proofs of the undecidability of stegananalysis techniques
(SpringerCH, 2020)
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, ...
Some fragments of second-order logic over the reals for which satisfiability and equivalence are (un)decidable
(Jagiellonian University, 2014-05)
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 ...
INTEGRABILITY OF DIFFERENTIAL EQUATIONS AND ALGORITHM UNDECIDABILITY
(NOVA SCIENCE PUBLISHERS, 2009)
Remarks on undecidability, incompleteness and the integrability problem
(SPRINGER/PLENUM PUBLISHERS, 2010)
Satisfiability for relation-changing logics
(Oxford University Press, 2018-10)
Relation-changing modal logics (RC for short) are extensions of the basic modal logic with dynamic operators that modify the accessibility relation of a model during the evaluation of a formula. These languages are equipped ...
Classes of timed automata and the undecidability of universality
(Ios PressAmsterdamHolanda, 2008)
The undecided have the key: Interaction driven opinion dynamics in a three state model
(Public Library of Science, 2015-10)
The effects of interpersonal interactions on individual?s agreements result in a social aggregation process which is reflected in the formation of collective states, as for instance, groups of individuals with a similar ...
Lethology a theory of learning and knowing vis à vis undeterminables, undecidables, unknowables
(Universidad EAFIT, 1997)