Publications

 
  • Separation of Transient Information in Musical Audio Using Multiresolution Analysis Techniques
    Davies ME SANDLER MB Duxbury C
    DAFx 2001, Limerick - 6-8 December 2001. 
    06-12-2001
  • Introduction to the Special Issue on Computational Anaphora Resolution
    Mitkov R Boguraev B Lappin S
    Computational Linguistics, MIT Press vol. 27 (4), 473-477.  
    01-12-2001
  • Color confinement and dual superconductivity of the vacuum. III
    Carmona JM D’Elia M Di Giacomo A Lucini B Paffuti G
    Physical Review D, American Physical Society (Aps) vol. 64 (11) 
    09-11-2001
  • Events in security protocols
    Crazzolara F Winskel G
    Proceedings of the 8th ACM conference on Computer and Communications Security., 96-105.  
    05-11-2001
  • Efficient Compression of Oversampled 1-Bit Audio Signals
    Sandler MB REISS J
    Presented at 111th Convention of the Audio Engineering Society, New York, NY, USA, 2001. 
    01-11-2001
  • The Revolution Maximally Confused
    Lappin S Levine RD Johnson DE
    Natural Language & Linguistic Theory, Springer Nature vol. 19 (4), 901-919.  
    01-11-2001
  • Confining strings in SU(N) gauge theories
    Lucini B Teper M
    Physical Review D, American Physical Society (Aps) vol. 64 (10) 
    23-10-2001
  • Efficient Multidimensional Searching Routines for Music Information Retrieval
    Sandler MB REISS J Aucouturier J-J
    Presented at 2nd Annual International Symposium on Music Information Retrieval, Bloomington, Indiana, USA, 2001. 
    01-10-2001
  • Using Long-Term Structure to Retrieve Music: Representation and Matching
    SANDLER MB Aucouturier JJ
    2nd International Conference on Music Information Retrieval ISMIR 2001, Indiana, October 2001. 
    01-10-2001
  • Special issue: Musical applications of digital signal processing - Introduction
    Sandler M
    J New Music Res vol. 30 (3), 201-202.  
    01-09-2001
  • PUMA Footprints: linking theory and craftskill in usability evaluation
    Blandford AE Butterworth R Curzon P
    Proceedings of Interact., 577-584-577-584.  
    01-07-2001
  • ICA and Related Models Applied to Audio Analysis and Separation
    Davies ME PLUMBLEY MD Sandler MB Bello JP Abdallah SA Monti G Klingseisen J
    Proceedings of the Fourth International ICSC Symposium on Soft Computing and Intelligent Systems for Industry, Paisley, Scotland, June 26-29, 2001. 
    26-06-2001
  • Uniformly generated submodules of permutation modules - Over fields of characteristic 0
    Riis S
    J Pure Appl Algebra vol. 160 (2-3), 285-318.  
    25-06-2001
  • Multibit Chaotic Sigma Delta Modulation
    Sandler MB REISS J
    Presented at Nonlinear Dynamics of Electronic Systems, Delft, The Netherlands, 2001. 
    21-06-2001
  • SU(N) gauge theories in four dimensions: exploring the approach to N = ∞
    Lucini B Teper M
    Journal of High Energy Physics, Springer Nature vol. 2001 (06) 
    21-06-2001
  • The benefits of multibit chaotic sigma delta modulation.
    Reiss JD Sandler MB
    Chaos vol. 11 (2), 377-383.  
    01-06-2001
  • Segmentation of Musical Signals using Hidden Markov Models
    SANDLER MB Aucouturier J
    110th Convention of AES, Amsterdam, 12-15 May 2001. 
    12-05-2001
  • Surround Sound Impact over Large Areas
    SANDLER MB Landone C
    110th Convention of AES, Amsterdam 12-15 May 2001. 
    12-05-2001
  • The complexity of scheduling TV commercials
    Hägele K Dúnlaing CÓ
    Electronic Notes in Theoretical Computer Science, Elsevier vol. 40, 162-185.  
    01-03-2001
  • The k=2 string tension in four-dimensional SU(N) gauge theories
    Lucini B Teper M
    Physics Letters B, Elsevier vol. 501 (1-2), 128-133.  
    01-03-2001
  • Vortices versus monopoles in color confinement
    Del Debbio L Di Giacomo A Lucini B
    Nuclear and Particle Physics Proceedings, Elsevier vol. 94 (1-3), 502-505.  
    01-03-2001
  • Cavity-controlled Active Patch Antenna
    HAO Y Chen Q Zheng M Hall PS Fusco V Gardner P
    Iee Proceedings, Part H. 
    01-02-2001
  • Monopoles, vortices and confinement in SU(3) gauge theory
    Del Debbio L Di Giacomo A Lucini B
    Physics Letters B, Elsevier vol. 500 (3-4), 326-329.  
    01-02-2001
  • Critical Behavior in the Dense Planar Nambu–Jona-Lasinio Model
    Hands S Lucini B Morrison S
    Physical Review Letters, American Physical Society (Aps) vol. 86 (5), 753-756.  
    29-01-2001
  • Cavity control of active integrated antenna oscillators. Microwaves, Antennas and Propagation.
    HAO Y Fusco VF Zheng M Chen Q Gardener P Hall PS
    Iee Proceedings. vol. 148, 15-20.  
    01-01-2001
  • Planar tautologies hard for Resolution
    Dantchev S Riis S
    42ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS., 220-229.  
    01-01-2001
  • A 30GHz Dual Linear Polarised Microstrip Antenna Array and its Charateristics on PBG Substrate
    Parini CG HAO Y
    31st European Microwave Conference, London, 2001. 
    01-01-2001
  • A complexity gap for tree resolution
    Riis S
    Comput Complex vol. 10 (3), 179-209.  
    01-01-2001
  • A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations
    Fox C Lappin S
    Lecture Notes in Computer Science. vol. 2099, 175-192.  
    01-01-2001
  • A Higher-Order Calculus for Categories
    Cáccamo M Winskel G
    Lecture Notes in Computer Science. vol. 2152, 136-153.  
    01-01-2001
  • A user model for avoiding design induced errors in soft-key interactive systems
    Curzon P Bolton RJ Jackson PB
    TPHOLS 2001 Supplementary Proceedings., 33-48-33-48.  
    01-01-2001
  • An abstract look at realizability
    ROBINSON EP Rosolini G
    Computer Science Logic. vol. 2142, 173-187.  
    01-01-2001
  • Automating the Verification of Parameterized Hardware using a Hybrid Tool
    Curzon P
    Proceedings of the IEEE 13th International Conference on Microelectronics (ICM’01)., 257-260-257-260.  
    01-01-2001
  • Automating the verification of parameterized hardware using a hybrid tool
    Curzon P Tahar S
    ICM 2001: 13TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS, PROCEEDINGS., 257-260.  
    01-01-2001
  • Cavity control of active integrated antenna oscillators
    Zheng M Gardener P Hall PS Hao Y Chen Q Fusco VF
    Iet Microwaves Antennas & Propagation, Institution of Engineering and Technology (Iet) vol. 148 (1) 
    01-01-2001
  • Computation of Generalized Mutual Information from Multichannel Audio Data
    Sandler MB REISS J Mitianoudis N
    Presented at 110th Convention of the Audio Engineering Society, Amsterdam, The Netherlands, 2001. 
    01-01-2001
  • Detecting multiple classes of user errors
    Curzon P Little MR Nigay L
    ENGINEERING FOR HUMAN-COMPUTER INTERACTION. vol. 2254, 57-71.  
    01-01-2001
  • Exploiting Chaos in Multibit Sigma Delta Modulation
    Sandler MB REISS J
    Presented at European Conference on Circuit Theory and Design, Espoo, Finland, 2001. 
    01-01-2001
  • Generating full paraphrases of fragments in a dialogue interpretation system
    Ebert C Lappin S Gregory H Nicolov N
    Proceedings of the Second SIGdial Workshop on Discourse and Dialogue -. vol. 16, 1-10.  
    01-01-2001
  • Hierarchical Formal Verification using an MDGHOL Hybrid Tool
    CURZON P Tahar S
    Correct Hardware Design and Verification methods, Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference. 
    01-01-2001
  • Isolation enhancement of PBG microstrip diplexer patch antenna
    Hao Y Parini CG
    ELEVENTH INTERNATIONAL CONFERENCE ON ANTENNAS AND PROPAGATION, VOLS 1 AND 2. (480), 86-89.  
    01-01-2001
  • Lab Overview: Interaction Design Centre, Middlesex University
    Butterworth R Blandford A Vanderdonckt J Blandford A Derycke A
    Interaction without frontiers, IHM-HCI 2001., 299-300-299-300.  
    01-01-2001
  • Packet loss resilient, scalable audio compression and streaming for IP networks
    Leslie B Sandler M
    SECOND INTERNATIONAL CONFERENCE ON 3G MOBILE COMMUNICATION TECHNOLOGIES., 119-123.  
    01-01-2001
  • Petri nets in cryptographic protocols
    Crazzolara F Winskel G
    Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001., 1507-1515.  
    01-01-2001
  • Proving Existential Theorems when Importing Results from MDG to HOL
    Xiong H Curzon P Tahar S Bolton RJ Jackson PB
    TPHOLS 2001 Supplementary Proceedings., 384-399-384-399.  
    01-01-2001
  • PUMA Footprints: linking theory and craft skill in usability evaluation
    Blandford A Butterworth R Hirose M
    HUMAN-COMPUTER INTERACTION - INTERACT'01., 577-584.  
    01-01-2001
  • Vortices, monopoles and confinement
    Debbio LD Giacomo AD Lucini B
    Nuclear Physics B, Elsevier vol. 594 (1-2), 287-300.  
    01-01-2001