1.1 --- a/org/sussman-reading-list.org	Tue Jun 03 12:05:34 2014 -0400
     1.2 +++ b/org/sussman-reading-list.org	Tue Jun 03 12:59:29 2014 -0400
     1.3 @@ -7,6 +7,10 @@
     1.4  #+INCLUDE: ../../aurellem/org/level-0.org
     1.5  #+babel: :mkdirp yes :noweb yes :exports both
     1.6  
     1.7 +If you want to cite any of these papers, [[./sussman-recs.bib][here]] is a bibtex format file
     1.8 +that contains all of these papers in the order they appear on the
     1.9 +page. ([[./sussman-recs.bib]]).
    1.10 +
    1.11  * Recommendations
    1.12    - Computers and Thought, by Edward A. Feigenbaum (Editor), Julian
    1.13      Feldman (Editor). 
    1.14 @@ -25,67 +29,6 @@
    1.15  
    1.16  * TODO Should Add DSPACE links
    1.17  * TODO Also add thesis summaries / abstracts
    1.18 -* Student Theses
    1.19 -  
    1.20 -  - 1977: Scott Elliot Fahlman, A System for Representing and Using
    1.21 -    Real-World Knowledge  
    1.22 -
    1.23 -    - Basically the reason that the Connection Machine was invented
    1.24 -
    1.25 -  - 1981: Danny Hillis, The Connection Machine 
    1.26 -    
    1.27 -    - Doesn't tell you anything you can really do today.
    1.28 -
    1.29 -  - 1984: Andrew Ressler, A Circuit Grammar For Operational Amplifier
    1.30 -    Design
    1.31 -
    1.32 -    - If you're an Electrical Engineering person.'
    1.33 -
    1.34 -  - 1987: David A. McAllester, ONTIC: A Knowledge Representation
    1.35 -    System for Mathematics
    1.36 -
    1.37 -    - very hard, very deep
    1.38 -    - you will need to know a lot of Math
    1.39 -
    1.40 -  - 1989: Kenneth Man-Kam Yip KAM: Automatic Planning and
    1.41 -    Interpretation of Numerical Experiments Using Geometrical Methods
    1.42 -
    1.43 -    - Coolest PhD thesis ever!
    1.44 -    - Solve problems using graphs.
    1.45 -    - So cool!
    1.46 -
    1.47 -  - 1994: Andrew A. Berlin Towards Intelligent Structures: Active
    1.48 -    Control of Buckling
    1.49 -    - Such a good idea
    1.50 -    - cool, short, great idea
    1.51 -    - no one's followed up on it
    1.52 -  
    1.53 -  - Elmer Hung Paramater estimati(on in chaotic Systems (masters) +
    1.54 -    Athanassios Siapas : Global approach to parameter estimation of
    1.55 -    Chaotic Synamical sysstem
    1.56 -    
    1.57 -    - No one put enough effort into seeing if it worked
    1.58 -    - you will win the Nobel Prize if you can get it to work.
    1.59 -
    1.60 -  - 2009: Alexey Andreyevich Radul Propagation Networks: A Flexible
    1.61 -    and Expressive Substrate for Computation on DSPACE.
    1.62 -
    1.63 -  - 1999: Daniel Coore Botanical Computing: A Developmental Approach
    1.64 -    to Generating Interconnect Topologies on an Amorphous Computer
    1.65 -    - interesting to programmers
    1.66 -
    1.67 -  - 2001: Radhika Nagpal Programmable Self-Assembly: Constructing
    1.68 -    Global Shape using Biologically-inspired Local Interactions and
    1.69 -    Origami Mathematics
    1.70 -    - interesting to programmers
    1.71 -
    1.72 -  - 2001: Ron Weiss Cellular Computation and Communications using
    1.73 -    Engineered Genetic Regulatory Networks
    1.74 -    - interesting to programmers
    1.75 -    
    1.76 -  - 2006: Robert Aubrey Hearn Games, Puzzles, and Computation
    1.77 -
    1.78 -  - 2002: Jake Beal master's thesis
    1.79  
    1.80  * Things Micah should read
    1.81    
    1.82 @@ -231,3 +174,98 @@
    1.83      - People unwisely consisdered it to kill off Neural Nets; In fact,
    1.84        it only shows the limitations of certain simple kinds of Neural
    1.85        Nets.
    1.86 +
    1.87 +* Representative Student Theses
    1.88 +  
    1.89 +  These are students where I played a large role in their
    1.90 +  education. Many of them represent compelling research directions
    1.91 +  that desperatly need to be extented by the next generation of
    1.92 +  researchers! As Minsky says, if you want to do something really new,
    1.93 +  go back to points in the past where there was a neat idea that never
    1.94 +  really caught on, and follow the path of that idea to see where it
    1.95 +  leads. A comprehensive list of all my student's works can be found
    1.96 +  at my [[http://groups.csail.mit.edu/mac/users/gjs/gjs.html][homepage]]. If you want to cite any of these papers, you can
    1.97 +  find bibtex citations here: [[./sussman-recs.bib]].
    1.98 +
    1.99 +  In particular, here's two great ideas that seem extremely promising
   1.100 +  and have NOT been properly explored! You could be the first person
   1.101 +  to get them working!
   1.102 +
   1.103 +  - Elmer Hung Paramater estimati(on in chaotic Systems (masters) +
   1.104 +    Athanassios Siapas : Global approach to parameter estimation of
   1.105 +    Chaotic Synamical sysstem
   1.106 +    
   1.107 +    - No one put enough effort into seeing if it worked.
   1.108 +    - Seems to allow for almost unlimited percision in measurement. 
   1.109 +    - Initial results look very promising, with a =13 order of
   1.110 +      magnitude= improvement in measurement precision in a simple
   1.111 +      experiment. 
   1.112 +    - You will win the Nobel Prize if you can get it to work, because
   1.113 +      you will revolutionize the way we do measurements. 
   1.114 +
   1.115 +  - Towards Intelligent Structures: Active Control of Buckling
   1.116 +    - By Andrew A. Berlin, 1994
   1.117 +    - Achieves a 10 fold increase in strength by actively eliminating
   1.118 +      vibrational modes. 
   1.119 +    - Such a good idea; It's cool, short -- great!
   1.120 +    - No one's followed up on it!
   1.121 +  
   1.122 +  In historical order:
   1.123 +
   1.124 +  - [[http://hdl.handle.net/1721.1/6888][A System for Representing and Using Real-World Knowledge]]
   1.125 +    - By [[http://www.cs.cmu.edu/~sef/][Scott Elliot Fahlman]], 1977
   1.126 +    - Basically the reason that the Connection Machine was later
   1.127 +      invented.
   1.128 +
   1.129 +  - The Connection Machine 
   1.130 +    - By Danny Hillis, 1981
   1.131 +    - Beautiful thesis, but it doesn't tell you anything you can
   1.132 +      really /do/ today.
   1.133 +
   1.134 +  - A Circuit Grammar For Operational Amplifier Design
   1.135 +    - By Andrew Ressler, 1984
   1.136 +    - If you're an Electrical Engineering person.
   1.137 +
   1.138 +  - ONTIC: A Knowledge Representation System for Mathematics
   1.139 +    - By David A. McAllester, 1987
   1.140 +    - Very hard, very deep.
   1.141 +    - You will need to know a lot of Math.
   1.142 +
   1.143 +  - KAM: Automatic Planning and Interpretation of Numerical
   1.144 +    Experiments Using Geometrical Methods
   1.145 +    - By Kenneth Man-Kam Yip, 1989
   1.146 +    - Coolest PhD thesis ever!
   1.147 +    - Solve problems using graphs.
   1.148 +    - So cool!
   1.149 +
   1.150 +  - Botanical Computing: A Developmental Approach to Generating
   1.151 +    Interconnect Topologies on an Amorphous Computer
   1.152 +    - By Daniel Coore, 1999
   1.153 +    - Interesting to programmers especially.
   1.154 +
   1.155 +  - Programmable Self-Assembly: Constructing Global Shape using
   1.156 +    Biologically-inspired Local Interactions and Origami Mathematics
   1.157 +    By Radhika Nagpal, 2001
   1.158 +    - Also Interesting to programmers.
   1.159 +
   1.160 +  - Cellular Computation and Communications using Engineered Genetic
   1.161 +    Regulatory Networks
   1.162 +    - By Ron Weiss, 2001
   1.163 +    - Third in a line of bio-papers which should be highly interesting
   1.164 +      to programmers.
   1.165 +
   1.166 +  - [[http://hdl.handle.net/1721.1/6082][An Algorithm for Bootstrapping Communications]] 
   1.167 +    - By Jake Beal, 2001
   1.168 +    - Seems like it could be "the right thing" for how modules in the
   1.169 +      brain learn to talk to each other.
   1.170 +    - Someone should expand on this work!
   1.171 +    - Also a PhD thesis from Beal on this: [[http://hdl.handle.net/1721.1/38483][Learning by Learning to
   1.172 +      Communicate]], 2007
   1.173 +
   1.174 +  - Games, Puzzles, and Computation
   1.175 +    - By Robert Aubrey Hearn, 2006.
   1.176 +      
   1.177 +  - Propagation Networks: A Flexible and Expressive Substrate for
   1.178 +    Computation.
   1.179 +    - By Alexey Andreyevich Radul, 2009
   1.180 +