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
NA-Digest index for 2010https://netlib.org/na-digest-html/10/
and Software, Utah Computational Science Ph.D. Studies in San Diego Contents, Communications in Mathematical Sciences, 9(2) Contents, Applied and Computational Mathematics, 9(2) C
The Information Philosopher - dedicated to the new information philosophyhttps://www.informationphilosopher.com/
of Consciousness Computational Models Is Mind a Large Language Model (AI)? The Experience Recorder and Reproducer (ERR) Mirror Neurons Mental Causation Panpsychism Purpose Agency
Information Philosopher is dedicated to the new Information Philosophy, with explanations for Freedom, Values, and Knowledge.
Jaron Lanier's Biohttps://www.jaronlanier.com/general.html
for medicine, and computational approaches to the fundamentals of physics. He collaborates with a wide range of scientists in fields related to these interests. Music: As a musici
Scott Aaronsonhttps://www.scottaaronson.com/
quantum computers, and computational complexity theory more generally. For the 2022-2023 and 2023-2024 academic years, I was on leave to work at OpenAI on the theoretical foundati
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
Find more...