International Conference on Foundations of Software Science and Computation Structureshttps://etaps.org/about/fossacs/
Logical aspects of computational complexity. Models of software security. Logical foundations of data-bases. Steering Committee Parosh Abdulla (Uppsala, SE) Patricia Bouyer-Decitr
ETAPS – Joint Conference on theory and practice of software
The Metaphysics Research Labhttps://mally.stanford.edu/
F ( xF ≡ yF )) Computational Metaphysics Web Pages (by Branden Fitelson, Paul E. Oppenheimer, and Edward N. Zalta) Streaming Video Lecture: Towards Leibniz's Goal of a Compu
Juergen Schmidhuber's home page -Universal Artificial Intelligence - AI - Deep Learning - Recurrent Neural Networks -Computer Vision - Objecthttps://people.idsia.ch/~juergen/
and solves any given computational problem in an optimal fashion inspired by Kurt Gödel's celebrated self-referential formulas (1931). It starts with an axiomatic description
PHYS771 Lecture 10: Quantum Computinghttps://www.scottaaronson.com/democritus/lec10.html
theory of computational complexity. Clearly, with two theories this beautiful, you can't just let them stay single -- you have to set them up, see if they hit it off, etc. And tha
Acceleration-Relevant Conferenceshttps://www.accelerationwatch.com/conferences.html
(and a subfield, computational astrobiology) is quickly becoming the most important new academic community uncovering and confronting evidence of universal multi-local acceleratin
NA-Digest index for 1995https://netlib.org/na-digest-html/95/
Conference Congress on Computational and Applied Mathematics Supercomputing on IBM Systems Conference in Russia on Simulation of Devices Meeting in Portugal on Vector and Parallel
Reasoning about the Manned Space Programhttps://www.billdietrich.me/ReasonMannedSpaceProgram.html
so of (pretty wasteful) computational matrix stuck in 70kg of meat that needs >10,000kg of life support in order to have any hope of functioning off of this planet. When consid
My reasoning about the Manned Space Program and space exploration
Peter Neumann's Home Pagehttps://www.csl.sri.com/users/neumann/
Oettinger's seminars on computational linguistics, in which Al and I used Fred and Bill's Markov analysis of 37 common-meter hymn tunes on the Harvard Mark IV to compose generate
Vitalism and Psychologyhttps://arcaneknowledge.org/science/vitapsych3.htm
adder, that the same computational process can be given diverse interpretations or meanings. The only thing an electronic or chemical component knows is what is in its immediate v
WHAT'S INTERESTING? ACTIVE EXPLORATION - CURIOSITY-DRIVEN REINFORCEMENT LEARNING - ARTIFICIAL CURIOSITY - INTRINSIC REWARD - INTRINSIC MOTIVAhttps://people.idsia.ch/~juergen/interest.html
take into account the computational cost of learning new skills in systems that learn when to learn and what to learn [refs 8, 11, 12]. More recent papers (2006-) focus on mathema
Speed Priorhttps://people.idsia.ch/~juergen/speedprior.html
Annual Conference on Computational Learning Theory (COLT 2002), Sydney, Australia, Lecture Notes in Artificial Intelligence, pages 216--228. Springer, 2002. PS . PDF . HTML. Or in
Neo-Darwinism: The Current Paradigm. by Brig Klycehttps://www.panspermia.org/neodarw.htm
fitness landscape. Computational Complexity as an Ultimate Constraint on Evolution by Artem Kaznatcheev, doi:10.1534/genetics.119.302000, Genetics , 01 May 2019. Just how ubiquito
Find more...