Pointers

12345267485
33221100-1
bartselman
CS helpdesk.
CS helpdesk.
Password protected pages.
book cdrom
principle component analysis tutorial
physics finder
1-D random walk
1-D random walk java applet
Newton, Hooft, Veltman
internet free encyclopedia
econ archive
instability of k-means
opensource clustering software
clustering software
k-means software
k-means
clustering software
clustering software
sampling
Monte Carlo methods, importance sampling
Ising model, Ising exact, percolation, applets
Ising model
Ising model
Random Walk on 3-SAT, Wolfgang Barthel, Alexander Hartmann, and Martin Weight.
Random Walk on 3-SAT, Mikhail Alekhnovich and Eli Ben-Sasson
Crawford et al. parity formulas
Moore-Newman model
Blackbox on Sokoban problems
SAT benchmarks / solvers
NK landscape cycle demo
interesting book reviews
SOC, powerlaws
inductive theorem prover
science books
e-commerce papers
English auction
20 questions
Combining background theories and SAT.
Statistics lectures.
Chess challenges problems.
AI Challenges.
Puzzle applets.
Chess problem challenges.
Chess problem challenges.
Chess problem challenges.
asymptotics
linear algebra
kartoo. cool meta-search engine.
slideshow tool flash
interesting photo slide show applet
computational complexity resources
easy chess jonathan
planning website
Common errors in English.
satplan talk
theorem proving, propositional logic, challenge problems
email mining knowledge management tools
krakeelhof
clustering prabhakar
EM algorithm demo applet
EM algorithm demo applet
markov chains, latin squares, jerrum
writing for jonathan
java for jonathan
gif
wolfram review page
wolfram review
popper
ml software
clustering tutorial
clique software
page on cliques
random walk / population dynamics
random walk applet
chess jonathan
kylie
mp3's
jordan sat page
lcd displays
teaching ai survey
java sokoban planning applet
java planning applet (modified version of Nilsson's applet)
game theory, economics
sokoban java source (clean look)
sokoban java source (clean look)
sokoban java source
population dynamics course
row and column vectors etc. in mathematica
lecture notes, vectors, matrices etc.
graph layout packages
professional editing
citeseer graph browser
web counter
Timer software.
Kalman filtering.
Harry Potter
Arrow piece.
Hyperdictionary.
Selman schaken
beamer video phone
statistics & econ refs.
stochastic resonance
hegel
planning demo
small world or perhaps six is a pretty big number after all!
kleinberg, networks.
heavy-tails, zipf law.
vvtp. natuurkundige vereninging deflt.
Kemeny lectures etc.
Tax info.
Journal of math. ineq.
Math inequalities etc.
Intro to Mathematica.
Gates on AI.
Handbook of statistics (NIST).
On-line library.
Academic editing service.
Statistics, clustering module.
Examples of many different scales.
Which games will survive?
statistical physics lectures
educational / interactive math site
canadian math site
SAT / constraint archive
Edwards research page
SAT paper by Edwards
SAT paper by Edwards
The Unreasonable Effectiveness of Mathematics in the Natural Sciences
reinforcement learning page
java remote
hadware academic prices
lecture notes
eng. graduate student page
backgammon page
TSP applet
math page
math page
jdk testing
msdn
bookmarks holland etc.
dictionaries
counters
planning news
anywho / telephone
spam cop
learning / optimization / paul viola
learning / planning/ eric baum
sokaban
Java decompiler
java
IBM deep computing
ip / lp deep computing
java page
java
sat page
sat page sat review
sat review
ghostview howto
ghostview
tetris game
tetris
tetris game
tetris
.ps
postscript
discrete math & theory journal
on-line journal
latex symbols
latex
distributions
statistics
probability dist.
with applets
logistics.d solution
BlackBox
Nitpick System
Daniel Jackson
Application of GSAT/Walksat to pecification checking.
Daniel Jackson
Satisfiability Library.
SATLIB
Learning evaluation functions
Justin Boyan
Plan compilation page.
CMU
Social networks.
Graph drawing applets.
Linear Programming
FAQs
Nonlinear Programming
FAQs
Integer Programming
FAQs
Science FAQs
FAQs
bits and pieces logic / cs / math
General
Chance web page.
Lectures
Library photocopies.
Cornell library
Test.
Cornell library
Applets
Example applets / dynamic.
Notes
Previous course notes.
Papers by Edward Hirsch on GSAT etc.
GSAT analysis.
Useful LaTeX link.
LaTeX.
Books online.
Books.
Darpa etc. sites.
Darpa etc.
  • bookmarks
  • Course on propositional reasoning and search.
    Nayak.
    Learning and Combinatorial Search.
    Boyan et al.
    unix info more unix info
    unix
    sat threshold
    Ehud Friedgut
    applets
    java examples / ising / monte carlo
    maple another intro
    introduction to maple