[[[ how to put line breaks into geetxt profiles is ummm for brand new gmail user. anyone who knows how please send me email ]]] (gre scores 800M 800V 780A, and proud of them) The first sublinear string matching algorithm, for the average case, was invented by me as far as I know. Commercially available in 1985, GMACS, GCLISP, from Gold Hill Computers. Finally published at CPM98, with two frenchmen. China uses it to filter emails. Some americans maybe can use it to connect the dots... Also may be good basis for hunting virusses in networks faster than they may be able to spread. I also designed some pentium register sets and cache memory circuits for hardware emulation, at Quickturn Design Systems, in the early nineties. Intel was our main customer. I wrote an NlogN vison system for Cardiff Software, in the mid nineties. The "PLUS" vision system partitions images into four parts, then does vision on each of the four parts, and links up results in linear time. The key was a vector that grew with a fibonacci ratio. I wrote Stanford Qlisp (parallel lisp) in the late eighties. The key parts for load balancing were the log high local task stacks, and the idle cycle that used one word of memory to begin at successor location of last. Locally LIFO globally FIFO. Good for many types of real resource allocation, including gasoline and number supplies at banks, with very low overhead. The Cardinal Equivalence Theorem and followups are the area that I have worked on for the last decade.
1 The shortest path in first passage percolation Jan 28 '10
-1 cardinal equivalence: for each boolean formula, |quantifications| = |assignments|. [closed] Jan 21 '10
-4 Formalizing “no junk, no confusion” Feb 23 '10
-5 Cryptomorphisms Feb 18 '10