Publications

Talks

• Bayesian Inference with Probabilistic Programs (2009:04)
• Meaning in Mathematics --or-- Belief as Irrefutability (2008:10)
• Models of randomness in programming languages (2008:04)
• Mapping the space of Programs, Searching the space of Languages (2007:07)
• Definable (types-as-)closures in concurrent combinatory algebra (2007:03)

Ph.D. Thesis

• "Automated Equational Reasoning in Nondeterministic lambda-Calculi Modulo Theories H^*" , Abstract, Thesis, Defense.

Conference Papers

• "Short-term Ambiguity Assessment to Augment Tracking Data Association Information", S. Gadaleta, S. Herman, M. Levedahl, S. Miller, F. Obermeyer, B.J.Slocumb, and A.B.Poore, Fusion 2005
• "A Bayesian Network Tracking Database", Fritz Obermeyer and Aubrey Poore, Proceedings of SPIE Signal and Data Processing of Small Targets 2004
• "Batch maximum likelihood (ML) and maximum a posteriori (MAP) estimation with process noise for tracking applications", A.B.Poore, B.J.Slocumb, B.J.Suchomel, F.H.Obermeyer, S.M.Herman, S.M.Gadaleta, Proceedings of SPIE Signal and Data Processing of Small Targets 2003

Patents

• "Multi-axis joystick and transducer means therefore", H. Obermeyer, F. Obermeyer (2003)
• "Method, system, program, and data structures for halftoning with line screens having different lines per inch (LPI)", D. Dittrich, J. Mitchell, F. Obermeyer., G. Thompson, C. Wu (2000)