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
Meditopia -- Chapter 5https://meditopia.org/chap5.htm
in Velikovsky's theoretical framework, is the victim of untold planetary destruction. Collectively, we subconsciously seek to relive our trauma, while paradoxically seeking to hid
Martin Demaine's Papershttps://martindemaine.org/papers/
, and Takeshi Yamada) Theoretical Computer Science , volume 600, 2015, pages 132–142. A review on curved creases in art, design and mathematics (joint work with Erik Demaine
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
Antoine Amarilli's websitehttp://a3nm.net/
. Research I work in theoretical computer science , i.e., I prove mathematical results about abstract topics inspired by computers. I study questions like how to efficiently evalu
Antoine Amarilli's website
Amorphous Computing Paper Listinghttps://groups.csail.mit.edu/mac/projects/amorphous/paperlisting.html
Results and Theoretical Analysis of a Self-Organizing Global Coordinate System for Ad Hoc Sensor Networks , Telecommunications Systems Journal, Special Issue on Wireless System Ne
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
Spin - Formal Verificationhttp://spinroot.com/spin/old.html
Tool Documentation and Theoretical Background Performance Language Extensions Eclipse Plugin Buchi Store Emacs Mode Support Sample Spin Related Projects (new) Site and Web Search:
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
Find more...