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
Computational Complexity and the Anthropic Principlehttps://www.scottaaronson.com/talks/anthropic.html
Computational Complexity and the Anthropic Principle Scott Aaronson Notes for a talk given at the Stanford Institute for Theoretical Physics, December 15, 2006 When Lenny [Susskin
Nanotechnologyhttps://www.zyvex.com/nano/
nanotechnology from the computational nanotechnology project at NASA Ames. A Minimal Toolset for Positional Diamond Mechanosynthesis . A video introduction to diamond mechanosynth
Nanotechnology is an expected future manufacturing technologythat will make most products lighter, stronger, cleaner,less expensive and more precise.
Pierre-Louis Curienhttps://www.irif.fr/~curien/
Krivine, and Zhang Min) Computational self-assembly (almost final version), Theoretical Computer Science 404 (1-2), 61-75 (2008). Operads, clones, and distributive laws (almost fi
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
Scientific and technical books of yesteryearhttp://library.sciencemadness.org/library/index.html
called semiempirical computational chemistry methods, methods that replace some intensive numerical operations with data derived from experiments. This book covers the early CNDO,
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
Edmund Bertschingerhttps://web.mit.edu/edbert/
and apply analytical, computational, and statistical methods to improve our understanding of the physical universe. Theoretical astrophysics: gravitation, cosmology, chaotic dynam
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
Find more...