Samuel E. Moelius III

Graduate Student, Computer and Information Science, University of Delaware

My research interests include: computability theory, program self-reference, and computational learning theory.

My advisor is Dr. John Case.

Publications

• S. Lange, S. Moelius, and S. Zilles. Learning with temporary memory. Submitted.
  • Expanded version: tem_tr.pdf. May 19, 2008. (Contains complete proofs of all theorems.)
    
    
• J. Case and S. Moelius. Optimal Language Learning. Submitted.
  • Expanded version: opt_lang_tr.pdf. June 1, 2008. (Contains complete proofs of all theorems.)
    
    
• J. Case and S. Moelius. U-shaped, iterative, and iterative-with-counter learning. Machine Learning, 2008. doi: 10.1007/s10994-008-5047-9. To appear.
  • Appeared originally In Proceedings of the 20th Annual Conference on Learning Theory (COLT'07), volume 4539 of Lecture Notes in Artificial Intelligence, pages 172-186, 2007.
  • Expanded version: iteqnuit_mlj_preprint.pdf. August 31, 2007. (This is a preprint of the journal version. Contains complete proofs of all theorems.)
    
    
• J. Case and S. Moelius. Parallelism Increases Iterative Learning Power. In Proceedings of 18th International Conference on Algorithmic Learning Theory (ALT'07), volume 4754 of Lecture Notes in Artificial Intelligence, pages 49-63, 2007.
  
  
• J. Case and S. Moelius. Properties complementary to program self-reference. In Proceedings of 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS'07), volume 4708 of Lecture Notes in Computer Science, pages 253-263, 2007.
  • Expanded version: epit_mfcs_preprint.pdf. April 7, 2007. (This is a preprint of the conference version. Contains complete proofs of all theorems.)
    
    
• J. Case and S. Moelius. Cautious virus detection in the extreme. In Proceedings of 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS'07), pages 47-51, 2007.
  
  
• J. Case and S. Moelius. Characterizing programming systems allowing program self-reference. In Proceedings of Computation and Logic in the Real World - Third Conference of Computability in Europe (CiE'07), volume 4497 of Lecture Notes in Computer Science, pages 125-134, 2007.

Fun & Games

Other