Publication Logical Properties of Name Restriction Luca Cardelli, Andy Gordon 5th International Conference, TLCA Kraków, Poland, May 2-5, 2001 | April 2001 ISBN: 978-3-540-41960-0 (Print) 978-3-540-45413-7 (Online)
Publication On-Line Unsupervised Adaptation in Speaker Verification: Confidence-Based Updates and Improved Parameter Estimation Larry Heck, Nikki Mirghafori ISCA Tutorial and Research Workshop (ITRW) on Adaptation Methods for Speech Recognition | January 2001
Publication Region Analysis and a Ï”-Calculus with Groups Silvano Dal Zilio, Andy Gordon Journal of Functional Programming | May 2002, pp. 229-292
Publication Derivations of the Balafoutis & Patel Recursive Dynamics Formulation Brian Guenter, Charles F. III Rose MSR-TR-2000-80 | July 2000
Publication On optimal frame expansions for multiple description quantization Philip A. Chou, Sanjeev Mehrotra, Philip A. Chou Int’l Symp. on Information Theory | June 2000 Int'l Symp. on Information Theory
Publication Screening Effect Due to Heavy Lower Tails on One-dimensional Parabolic Anderson Model Marek Biskup, Wolfgang Koenig MSR-TR-2000-76 | June 2000
Publication Spatial Congruence for the Ambients is Decidable Silvano Dal Zilio MSR-TR-2000-41 | May 2000
Publication Long-Time Tails in the Parabolic Anderson Model with Bounded Potential Marek Biskup, Wolfgang Konig MSR-TR-2000-36 | April 2000
