Publications

 
  • Full abstraction for PCF
    Abramsky S Jagadeesan R Malacaria P
    Inform Comput vol. 163 (2), 409-470.  
    15-12-2000
  • Digital amplification for consumer audio
    Sandler M
    Digest of Technical Papers IEEE International Conference on Consumer Electronics., 402-403.  
    03-12-2000
  • An Intensional Parametric Semantics For Vague Quantifiers
    Lappin S
    Linguistics and Philosophy, Springer Nature vol. 23 (6), 599-620.  
    01-12-2000
  • The Revolution Confused: A Response To Our Critics
    Lappin S Levine RD Johnson DE
    Natural Language & Linguistic Theory, Springer Nature vol. 18 (4), 873-890.  
    01-11-2000
  • New labour and the destruction of social democracy
    Lappin S
    Dissent vol. 47 (4), 15-19.  
    01-09-2000
  • Topic ... Comment
    Lappin S Levine RD Johnson DE
    Natural Language & Linguistic Theory, Springer Nature vol. 18 (3), 665-671.  
    01-08-2000
  • Regularized CDWT optical flow applied to moving-target detection in IR imagery
    Castellano G Boyce J Sandler M
    Machine Vision and Applications, Springer Nature vol. 11 (6), 277-288.  
    01-05-2000
  • Linear time-invariant systems in the wavelet domain
    Sandier M
    IEE Colloquium Digest. (19), 117-122.  
    29-02-2000
  • A Tough Nut for Tree Resolution
    Dantchev S Riis S
    Brics Report Series, Det Kgl. Bibliotek/Royal Danish Library vol. 7 (10) 
    10-01-2000
  • Applications of binaural processing to surround sound reproduction in large spaces
    Landone C Sandler M
    2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353). vol. 3 
    01-01-2000
  • BLACKBOARD SYSTEM AND TOP-DOWN PROCESSING FOR THE TRANSCRIPTION OF SIMPLE POLYPHONIC MUSIC
    Bello JP Sandler M
    Proceedings of the International Conference on Digital Audio Effects Dafx. 
    01-01-2000
  • Digital music in the 21st century
    Sandler M
    Digest of Technical Papers IEEE International Conference on Consumer Electronics., 412-413.  
    01-01-2000
  • Eigenvalue Curves of Asymmetric Tridiagonal Matrices
    Goldsheid I Khoruzhenko B
    Electronic Journal of Probability, Institute of Mathematical Statistics vol. 5 (none) 
    01-01-2000
  • Logical Relations and Data Abstraction
    Power AJ Robinson EP Clote P Schwichtenberg H
    Proceedings of Computer Science Logic 2000. vol. 1862, 497-511-497-511.  
    01-01-2000
  • Logical Relations, Data Abstraction and Structured Fibrations
    Power AJ Robinson EP Gabrielli M Pfenning F
    Proceedings of the Second International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP’00)., 15-23-15-23.  
    01-01-2000
  • MONOPHONIC TRANSCRIPTION WITH AUTOCORRELATION
    Monti G Sandler M
    Proceedings of the International Conference on Digital Audio Effects Dafx. 
    01-01-2000
  • On a Temporal Logic for Object-Based Systems
    Distefano D Katoen J-P
    IFIP Advances in Information and Communication Technology. vol. 49, 305-325.  
    01-01-2000
  • Self-organizing letter code-book for text-to-phoneme neural network model
    Jensen KJ
    6th International Conference on Spoken Language Processing ICSLP 2000. 
    01-01-2000
  • TECHNIQUES FOR AUTOMATIC MUSIC TRANSCRIPTION
    Bello JP Monti G Sandler M
    International Symposium on Music Information Retrieval Ismir 2000. 
    01-01-2000
  • Time Domain Extraction of Vibrato from Monophonic Instruments
    Bendor D Sandler M
    International Symposium on Music Information Retrieval Ismir 2000. 
    01-01-2000
  • Tree resolution proofs of the weak Pigeon-Hole Principle
    Dantchev S Riis S
    16TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS., 69-75.  
    01-01-2000