Stephen Wolfram, A New Kind of Sciencehttp://bactra.org/reviews/wolfram/
who got his Ph.D. in theoretical physics at a tender age, and then, in the early and mid-1980s, was part of a wave of renewed interest in the subject of cellular automata . The co
SIGPLAN Research Highlights Papershttps://www.sigplan.org/Highlights/Papers/
POPL paper provides a theoretical foundation for dynamic deadlock avoidance in concurrent programs that employ conventional mutual exclusion and synchronization primitives. Beginn
Talkshttps://www.scottaaronson.com/talks/default.html
2025 AI Alignment and Theoretical Computer Science: UK AI Safety Institute Alignment Workshop (via Zoom), October 29, 2025 Computational Complexity and Explanations in Physics : P
Web Surfinghttp://web.cs.wpi.edu/~jshutt/surfing.html
09-Nov-20) Theory Theoretical Computer Science - Stack Exchange (22-Oct-15; 10-Feb-21) AMAST - Algebraic Methodology and Software Technology AMAST (DBLP computer science bibliogra
Sammlung Interessanter Webseitenhttps://wwwcip.informatik.uni-erlangen.de/~oj14ozun/links.html
Building Blocks for Theoretical Computer Science Theoretical Computer Science Cheat Sheet Float Exposed An Introduction to Computer Networks Visualisierungen diverser Themen The A
Research Papers and Surveyshttps://www.scottaaronson.com/papers/
, in Innovations in Theoretical Computer Science (ITCS) 2024, arXiv:2211.00747 . Entanglement is a quantum resource, in some ways analogous to randomness in classical computation.
Regular Expression Matching Can Be Simple And Fasthttps://swtch.com/~rsc/regexp/regexp1.html
dogcat . As far as the theoretical term is concerned, regular expressions with backreferences are not regular expressions. The power that backreferences add comes at great cost: i
Psychozoan: The Definition of Lifehttps://baharna.com/philos/life.htm
long effort to use computers to model and possibly someday to embody intelligence. So far, their efforts have mainly taught us that the task is more difficult than anyone had imag
An attempt to formulate a theoretical definition of life, using concepts of physics, biology, and mathematics
Home Page For Umesh Vaziranihttp://people.eecs.berkeley.edu/~vazirani/
Fourier Transforms & Theoretical Computer Science, Spring 1999 Quantum Computing, Fall 2004 Qubits, Quantum Mechanics and Computers, Spring 2005 CS70: Discrete Mathematics for Com
Find more...