4 papers
A new method to index and store spatio-temporal data
Guillermo de Bernardo, Ramón Casares, Adrián Gómez-Brandón +1
We propose a data structure that stores, in a compressed way, object trajectories, which at the same time, allow to efficiently response queries without the need to decompress the…
Syntax Evolution: Problems and Recursion
Ramón Casares
To investigate the evolution of syntax, we need to ascertain the evolutionary rôle of syntax and, before that, the very nature of syntax. Here, we will assume that syntax is comput…
Problem Theory
Ramón Casares
The Turing machine, as it was presented by Turing himself, models the calculations done by a person. This means that we can compute whatever any Turing machine can compute, and the…
Proof of Church's Thesis
Ramón Casares
We prove that if our calculating capability is that of a universal Turing machine with a finite tape, then Church's thesis is true. This way we accomplish Post (1936) program.