Publications

 
  • GUEST EDITORIAL
    Winskel G
    Information and Computation. vol. 179 (2) 
    01-12-2002
  • Emerging Technologies in Antennas Design for Wireless Networking
    PARINI CG Hao Y
    Wireless Broadband Forum, Cambridge, 27 November 2002. 
    27-11-2002
  • Music Analysis and Recognition
    SANDLER MB
    MPCA Workshop, Leuven, Belgium 15 November 2002. 
    15-11-2002
  • Modelling Conical Horn Antennas Using Local-Distorted Nonoethogonal FDTD Method
    Parini CG HAO Y Douvalis V
    12mes Journes Internationales de Nice sur les Antennes, 12-14 November 2002, Nice, France. 
    12-11-2002
  • SU(N) gauge theories in 2+1 dimensions: Further results
    Lucini B Teper M
    Physical Review D, American Physical Society (Aps) vol. 66 (9) 
    01-11-2002
  • Beyond Recall and Precision: A Full Framework for MIR System Evaluation
    Sandler MB REISS J
    Presented at the 3rd Annual International Symposium on Music Information Retrieval, Paris, France, October 17, 2002. 
    17-10-2002
  • The deconfinement transition in SU(N) gauge theories
    Lucini B Teper M Wenger U
    Physics Letters B, Elsevier vol. 545 (1-2), 197-206.  
    01-10-2002
  • A Hybrid Approach to Musical Note Onset Detection
    Davies ME SANDLER MB Duxbury C
    5th International Workshop on Digital Audio Effects, DAFx 02, Hamburg, September 26-8, 2002. 
    26-09-2002
  • Automatic Polyphonic Piano Note Extraction using Fuzzy Logic in a Blackboard System
    SANDLER MB Monti G
    5th International Workshop on Digital Audio Effects, DAFx 02, Hamburg, September 26-8 2002. 
    26-09-2002
  • Implementation of Digital Audio Effects on Wavelet-Coded Signals
    SANDLER MB Daudet L Darlington D
    5th International Workshop on Digital Audio Effects, DAFx 02, Hamburg, September 26-8, 2002. 
    26-09-2002
  • Linear Filtering in the Wavelet Domain
    SANDLER MB Daudet L Darlington D
    Second International Workshop on Spectral Methods and Multirate Signal Processing (SMMSP) September 7-8, 2002, Toulouse, France. 
    07-09-2002
  • A Low-Cost PC-Based IF Software Radio Demonstrator
    HAO Y Alomainy A Patel R Grigg AE Cheng M
    European Microwave Week 2002, Milan, Italy, September 2002. 
    01-09-2002
  • Automatic music transcription and audio source separation
    Plumbley MD Abdallah SA Bello JP Davies ME Monti G Sandler MB
    CYBERNETICS AND SYSTEMS. vol. 33 (6), 603-627.  
    01-09-2002
  • Reduction of late time instabilities of the finite-difference time-domain method in curvilinear co-ordinates
    Hao Y Douvalis V Parini CG
    IEE PROCEEDINGS-SCIENCE MEASUREMENT AND TECHNOLOGY. vol. 149 (5), 267-271.  
    01-09-2002
  • A fast thinning algorithm based on image compression
    Hayat L Naqvi A Sandler MB
    1991 IEEE International Symposium on Circuits and Systems (ISCAS). 
    06-08-2002
  • Systolic multiple-output multipliers for digital signal processing and computer vision
    da Fontoura Costa L Sandler MB
    1991 IEEE International Symposium on Circuits and Systems (ISCAS). 
    06-08-2002
  • A Novel Embedded UC-PBG Structure for Microstrip Antennas
    Parini CG HAO Y
    URSI General Assembly, Maastricht, August 2002. 
    01-08-2002
  • Benchmarking Music Information Retrieval Systems
    Sandler MB REISS J
    Presented at the JCDL Workshop on the Creation of Standardized Test Collections, Tasks and Metrics for Music Informational Retrieval [MIR] and Music Digital Library [MDL] Evaluation, Portland, Oregon, July 18, 2002. 
    18-07-2002
  • Color confinement and dual superconductivity in full QCD
    Carmona JM D’Elia M Del Debbio L Di Giacomo A Lucini B Paffuti G
    Physical Review D, American Physical Society (Aps) vol. 66 (1) 
    01-07-2002
  • Variations on Algebra: Monadicity and Generalisations of Equational Theories
    ROBINSON EP
    Formal Aspects of Computing vol. 13 (3-5), 308-326.  
    01-07-2002
  • Polyphonic Score Retrieval Using Polyphonic Audio Queries: A Harmonic Modeling Approach
    SANDLER MB Bello JP Monti G Pickens J Crawford T Byrd D Dovey M
    Journal of New Music Research vol. 31 (1), 223-236.  
    01-06-2002
  • Reduction of late time instabilities of the local-distorted nonorthogonal finite difference time domain method
    PARINI CG Hao Y Douvalis V
    IEEE International Symposium on Antennas and Propagation, Texas, USA, June 2002 - Volume 3. 
    01-06-2002
  • Improved Compression of DSD for Super Audio CD
    Sandler MB REISS J Janssen E Reefman D
    Presented at 112th Convention of the Audio Engineering Society, Munich, Germany, May 10-13, 2002. 
    10-05-2002
  • Relative definability of boolean functions via hypergraphs
    Bucciarelli A Malacaria P
    Theor Comput Sci vol. 278 (1-2), 91-110.  
    06-05-2002
  • Formally Linking MDG and HOL based on a verified MDG system
    Xiong H Curzon P Blandford A
    Proc. of the 3rd International Conference on Integrated Formal Methods Turku, Finland. vol. 2335, 205-224.  
    01-05-2002
  • Improved Time-Scaling of Musical Audio Using Phase Locking of Transients
    Davies ME SANDLER MB Duxbury C
    112th Convention of the Audio Engineering Society, Munich, May 2002. 
    01-05-2002
  • Internet Signal Processing a New Paradigm
    SANDLER MB
    IEEE ICASSP, Orlando, USA - May 2002. 
    01-05-2002
  • Pitch Locking Monophonic Music Analysis
    SANDLER MB Monti G
    112th Convention of the Audio Engineering Society, Munich, May 2002. 
    01-05-2002
  • Time-Domain Polyphonic Piano Transcription Using a Self-Generating Database
    SANDLER MB Daudet L Bello-Correa JP
    112th Convention of the Audio Engineering Society, Munich, May 2002. 
    01-05-2002
  • Scalable Audio Compression
    SANDLER MB
    EPSRC Theme Day, Institute of Acoustics Conference, Salford - 26th March 2002. 
    26-03-2002
  • Dual superconductivity and chiral symmetry in full QCD
    Carmona JM D'Elia M Del Debbio L Di Giacomo A Lucini B Paffuti G
    Nuclear and Particle Physics Proceedings, Elsevier vol. 106, 607-609.  
    01-03-2002
  • Topology and confinement in SU(N) gauge theories
    Lucini B Teper M
    Nuclear and Particle Physics Proceedings, Elsevier vol. 106, 685-687.  
    01-03-2002
  • Numerical portrait of a relativistic thin film BCS superfluid
    Hands S Lucini B Morrison S
    Physical Review D, American Physical Society (Aps) vol. 65 (3) 
    10-01-2002
  • Isolation enhancement of anisotropic UC-PBG microstrip diplexer patch antenna.
    Parini CG HAO Y
    Antennas and Wireless Propagation Letters, IEEE. vol. 1, 135-137.  
    01-01-2002
  • Reduction of late time instabilities of the finite difference time domain method in curvilinear coordinates.
    Parini CG Hao Y Douvalis V
    Iee Proceedings-Science, Measurement and Technology. vol. 149 (5), 267-272.  
    01-01-2002
  • A detailed analysis of the nonlinear dynamics of the electric step motor
    Reiss J Alin F Sandler M Robert B
    IEEE ICIT' 02: 2002 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS I AND II, PROCEEDINGS., 1078-1083.  
    01-01-2002
  • Audio representations on overcomplete sets
    Daudet L Sandler M Torresani B Skodras AN Constantinides AG
    DSP 2002: 14TH INTERNATIONAL CONFERENCE ON DIGITAL SIGNAL PROCESSING PROCEEDINGS, VOLS 1 AND 2., 583-586.  
    01-01-2002
  • Composing Strand Spaces
    Crazzolara F Winskel G
    Lecture Notes in Computer Science. vol. 2556, 97-108.  
    01-01-2002
  • DIGITAL AUDIO EFFECTS IN THE WAVELET DOMAIN
    Darlington D Daudet L Sandler M
    Proceedings of the International Conference on Digital Audio Effects Dafx., 7-12.  
    01-01-2002
  • Finding repeating patterns in acoustic musical signals: Applications for audio thumbnailing.
    Aucouturier JJ Sandler M
    VIRTUAL, SYNTHETIC, AND ENTERTAINMENT AUDIO., 412-421.  
    01-01-2002
  • Formally Linking MDG and HOL Based on a Verified MDG System
    Xiong H Curzon P Tahar S
    Lecture Notes in Computer Science. vol. 2335, 205-224.  
    01-01-2002
  • From a formal user model to design rules
    Curzon P Forbrig P Limbourg Q Urban B Vanderdonckt J
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION AND VERIFICATION. vol. 2545, 1-15.  
    01-01-2002
  • HOPLA—A Higher-Order Process Language
    Nygaard M Winskel G
    Lecture Notes in Computer Science. vol. 2421, 434-448.  
    01-01-2002
  • Interaction Design Issues for Car Navigation Systems
    Curzon P Blandford A Butterworth R Sharp H Chalk P LePeuple J Rosbottom J
    Proceedings of the 16th British HCI Conference. vol. 2, 38-41-38-41.  
    01-01-2002
  • Linearity in process languages
    Nygaard M Winskel G
    Proceedings 17th Annual IEEE Symposium on Logic in Computer Science., 433-444.  
    01-01-2002
  • Model checking birth and death
    Distefano D Rensink A BaezaYates R Montanari U Santoro N
    FOUNDATIONS OF INFORMATION TECHNOLOGY IN THE ERA OF NETWORK AND MOBILE COMPUTING. vol. 96, 435-447.  
    01-01-2002
  • On the computational complexity of best L-1-approximation
    Oliva P
    MATHEMATICAL LOGIC QUARTERLY. vol. 48, 66-77.  
    01-01-2002
  • Quantitative Analysis of the Leakage of Confidential Data
    MALACARIA P Clark D Hunt S
    Electronic Notes in Theoretical Computer Science vol. 59 (3) 
    01-01-2002
  • Reduction of Late Time Instabilities of the Finite Difference Time Domain Method in Curcilinear Coordinates
    Parini CG HAO Y Douvalis V
    Fourth International Conference on Computational Electromagnetics, Bournemouth, UK, 2002. 
    01-01-2002
  • Reduction of Late Time Instabilities of the Local-Distorted Nonorthogonal Finite Difference Time Domain Method
    Parini CG HAO Y Douvalis V
    Antennas and Propagation Society International Symposium 2002, IEEE, volume 3, 2002. 
    01-01-2002
  • User interface design as systems design
    Thimbleby H Blandford A Cairns P Curzon P Faulkner X Finlay J Detienne F
    PEOPLE AND COMPUTERS XVI- MEMORABLE YET INVISIBLE, PROCEEDINGS., 281-301.  
    01-01-2002