Search Results for author: Francisco Hernández-Quiroz

Found 3 papers, 0 papers with code

An Adaptive Computational Intelligence Approach to Personalised Health and Immune Age Characterisation from Common Haematological Markers

no code implementations2 Mar 2023 Hector Zenil, Francisco Hernández-Quiroz, Santiago Hernández-Orozco, Abicumaran Uthamacumaran, Kourosh Saeb-Parsy

Using a learning adaptive algorithm, our model provides a risk assessment score that compares an individual's chronological age from birth to an estimation of a biological immune age derived from the score.

Blood Cell Count CBC TEST +1

Coding-theorem Like Behaviour and Emergence of the Universal Distribution from Resource-bounded Algorithmic Probability

no code implementations6 Nov 2017 Hector Zenil, Liliana Badillo, Santiago Hernández-Orozco, Francisco Hernández-Quiroz

We show that up to 60\% of the simplicity/complexity bias in distributions produced even by the weakest of the computational models can be accounted for by Algorithmic Probability in its approximation to the Universal Distribution.

Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value

no code implementations14 Jun 2015 Santiago Hernández-Orozco, Francisco Hernández-Quiroz, Hector Zenil, Wilfried Sieg

We show that strategies implemented in automatic theorem proving involve an interesting tradeoff between execution speed, proving speedup/computational time and usefulness of information.

Automated Theorem Proving

Cannot find the paper you are looking for? You can Submit a new open access paper.