mathrix.org
Anima Ex Machina
http://www.mathrix.org/liquid
The blog of Hector Zenil. Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value. June 24th, 2015. Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value. Santiago Hernández-Orozco, Francisco Hernández-Quiroz, Hector Zenil, Wilfried Sieg. The paper is available here. Algorithmicity and programmability in natural computing with the Game of Life as in silico case study. September 4th, 2014. The journ...
labores.eu
Projects | Laboratoire de Recherche Scientifique LABORES Scientific Research Lab
https://labores.eu/projects
For the Natural and Digital Sciences. Laboratoire de Recherche Scientifique LABORES Scientific Research Lab. One of the main objectives of LABORES. Is to spur collaborative networks. A Cabello, J.J. Joosten. Simulating quantum contextuality with deterministic automata. The project investigates the physical resources needed to simulate quantum contextuality in a classical framework using tools of formal languages and automata theory. T Bolognesi and H. Zenil. JJ Joosten, H. Zenil, F. Soler. Investigation ...
complexitycalculator.com
OACC - Online Algorithmic Complexity Calculator
http://www.complexitycalculator.com/team.html
Download Data and Tools. The Online Algorithmic Complexity Calculator. Algorithmic Nature Group - Complexity Calculator Subteam. Université de Paris 1/. Université de Lille 1. Université de Paris 7. Joost J. Joosten. Universidad Central de Venezuela. Content on this site. Is licensed under a. Creative Commons Attribution 3.0 License. Contact info: hectorz at LABORES dot EU.