One scientist with this surname has a namesake type of Turing machine along with Stephen Smale and another man.
One scientist with this last name co-wrote a paper with Tom Mitchell that augments a learning algorithm by combining unlabeled data with labeled data using co-training. A female computer scientist with this last name showed that, even if Turing machines could compute over the real numbers in constant time, there would still exist a set of NP-hard problems for those Turing machines. A set of axioms named after another scientist with this last name are used to derive a result stating that for any Boolean-valued computable function, there always exists one of smaller complexity; that result is known as his speedup theorem. One scientist with this surname has a namesake type of Turing machine along with Stephen Smale and another man. An algorithm developed by two of the aforementioned scientists with this last name uses the Carmichael function to produce the same kind of output as the Mersenne Twister. For 10 points, give the last named of these three Carnegie Mellon computer scientists, two of whom co-name a pseudo-random number generator with Michael Shub.
One scientist with this last name co-wrote a paper with Tom Mitchell that augments a learning algorithm by combining unlabeled data with labeled data using co-training.
Blum [accept Manuel Blum or Lenore Blum or Avrim Blum]