ARTIFICIAL INTELLIGENCE - AI - AI HISTORY - NEW AI - UNIVERSAL AI THEORY - MATHEMATICAL AI - AI becoming a real formal sciencehttps://people.idsia.ch/~juergen/ai.html
sound, combining theoretical computer science and probability theory to derive optimal behavior for robots and other embedded agents. And deep learning is driving modern AI applic
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
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
PHYS771 Lecture 7: Randomnesshttps://www.scottaaronson.com/democritus/lec7.html
that. But in theoretical computer science, we've already got our hands full with 2 n choices. We need 2 choices like we need a hole in the head. Alright, so given some "event" A -
Cyborgs, transhumans and neuroelectronicshttps://www.wireheading.com/brainstim/cyborgs.html
because of the slow theoretical progress in their field. Here’s one way to think about the great challenge facing these researchers: Imagine that your next-door neighbor is having
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
The WWW VL: Educational Technology - Educational VR (MUD) sub-page (05-Jan-2000)https://tecfa.unige.ch/edu-comp/WWW-VL/eduVR-page.html
centers around theoretical tectonic shifts that realign the continents, thus shaking up the status quo of Earth. An online translation system advances the sense of internationalis
Some publicationshttps://members.loria.fr/PZimmermann/papers/
and Mateer have found a theoretical speedup in Cantor multiplication, see http://cr.yp.to/f2mult.html . Note (added 29 Nov 2011): Su and Fan analyze the use of PCLMULQDQ in http:/
The Coronavirus and the 'Fear Factor'... - El Coronavirus y el 'Factor Miedo'...https://www.bibliotecapleyades.net/ciencia3/ciencia_coronavirus.htm
is an 'Imaginary and Theoretical Virus' Español - Terapeuta del Sistema Respiratorio expone la 'Falsa Pandemia de Virus ' - The 2020-21 Worldwide Corona Cr
https://www.netlib.org/performance/papers/linpack/https://www.netlib.org/performance/papers/linpack/
The third number is the theoretical peak performance of the machine. LINPACK programs can be characterized as having a high percentage of floating-point arith- metic operations. T
Tunes is a Useful, Not Expedient, Systemhttp://www.madore.org/~david/computers/tunes.html
would use) notions from theoretical computer science to correct some of the failures and shortcomings of present-day operating systems. What is wrong with present-day operating sy
A description of the (hypothetical) Tunes Operating System lang=en
poindexter, WHO?http://tilde.club/~poindexter/
and let them do the theoretical work, the dreaming. He required students to spend a little more and get programmable calculators. We spent the semester getting to know our calcula
Find more...