Publications
- Design of Broadband Non-Foster Circuits Based on Resonant Tunneling Diodes
Nagarkoti DS Hao Y Steenson DP Li L Linfield EH Rajab KZ
IEEE Antennas and Wireless Propagation Letters vol. 15, 1398-1401.
22-12-2015 - Persistent Homology and Nested Dissection
Kerber M Sheehy DR Skraba P
Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms., 1234-1245.
21-12-2015 - Wireless Energy Behaviour monitoring (Wi-be) for office buildings
Shao L Foster R Coleman M Irvine K Lemon M Hao Y
International Journal of Low-Carbon Technologies, Oxford University Press (OUP) vol. 12 (2), 181-188.
18-12-2015 - A Wide-angle Multi-Octave Broadband Waveplate Based on Field Transformation Approach
Zhao J Zhang L Li J Feng Y Dyke A Haq S Hao Y
Scientific Reports, Nature Publications vol. 5, 17532-17532.
07-12-2015 - EXTRACTION OF METRICAL STRUCTURE FROM MUSIC RECORDINGS
QUINTON E Harte C Sandler M
International Conference on Digital Audio Effects
06-12-2015 - Effects of non-flat interfaces in human skin tissues on the in-vivo Tera-Hertz communication channel
Yang K Abbasi QH Chopra N Munoz M Hao Y Alomainy A
Nano Communication Networks vol. 8, 16-24.
03-11-2015 - Body area networks at radio frequencies: Creeping waves and antenna analysis
Ali K Keshmiri F Brizzi A Hao Y Craeye C
Comptes Rendus Physique, Cellule Mathdoc/Centre Mersenne vol. 16 (9), 789-801.
01-11-2015 - Closure properties and complexity of rational sets of regular languages
Holzer A Schallhart C
Theoretical Computer Science, Elsevier vol. 605, 62-79.
01-11-2015 - Probabilistic Type Theory and Natural Language Semantics
Cooper R Dobnik S Lappin S Larsson S
Linguistic Issues in Language Technology, University of Colorado At Boulder vol. 10
01-11-2015 - Auralisation of Deep Convolutional Neural Networks: Listening to Learned Features
CHOI K Fazekas G sandler MARK Kim J
International Society for Music Information Retrieval Conference Malaga, Spain 26 Oct 2015 - 30 Oct 2015.
30-10-2015 - A concise taxonomy for describing data as an art material.
FREEMAN J SANDLER M WIGGINS G STARKS G
IEEE VIS Chicago, Illinois 25 Oct 2015 - 30 Oct 2015., 22-29.
26-10-2015 - An investigation on the surface wave characteristics at 2.4 and 60 GHz for on-body communications
Ali K Brizzi A Hao Y
2015 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium)., 197-197.
26-10-2015 - GeoLocation-Adaptive Music Player
perez carillo A THALMANN FS Wilmering T sandler M
International Society for Music Information Retrieval Conference (ISMIR).
26-10-2015 - Surface wave cloaking using transformation optics
La Spada L Hao Y
2015 1st URSI Atlantic Radio Science Conference (URSI AT-RASC)., 1-1.
26-10-2015 - VOCAL IMITATION OF PITCH, SPECTRAL SHAPE AND LOUDNESS
ENVELOPES
MEHRABI A Dixon S Sandler M
International Society for Music Information Retrieval Conference Malaga, Spain 25 Oct 2015 - 30 Oct 2015.
25-10-2015 - Terahertz Signal Propagation Analysis Inside the Human Skin
Abdelaziz AF Abbasi QH Yang K Qaraqe K Hao Y Alomainy A
2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob)., 15-19.
01-10-2015 - Graphene Field-Effect Transistor Model With Improved Carrier Mobility Analysis
Tian J Katsounaros A Smith D Hao Y
IEEE Transactions on Electron Devices, Institute of Electrical and Electronics Engineers (IEEE) vol. 62 (10), 3433-3440.
18-09-2015 - Quantifying information leakage of randomized protocols
Biondi F Legay A Malacaria P Wasowski A
Theoretical Computer Science vol. 597, 62-87.
13-09-2015 - Quantifying information leakage of randomized protocols
Biondi F Legay A Malacaria P Wąsowski A
Theoretical Computer Science, Elsevier vol. 597, 62-87.
01-09-2015 - Spatial transformations: from fundamentals to applications
Foster R Grant P Hao Y Hibbins A Philbin T Sambles R
Philosophical Transactions of The Royal Society a Mathematical Physical and Engineering Sciences, The Royal Society vol. 373 (2049)
28-08-2015 - Topology optimized all-dielectric cloak: design, performances and modal picture of the invisibility effect
Vial B Hao Y
Optics Express, Optica Publishing Group vol. 23 (18), 23551-23560.
28-08-2015 - A wide-angle broadband waveplate through field transformation
Zhao J Feng Y Hao Y
2015 9th European Conference on Antennas and Propagation Eucap 2015.
27-08-2015 - Wideband printed tapering quadrifilar helical antenna for GNSS
Lei J Fu G Hao Y
2015 9th European Conference on Antennas and Propagation Eucap 2015.
27-08-2015 - Non-negative matrix factorisation incorporating greedy Hellinger sparse coding applied to polyphonic music transcription
O'Hanlon K Sandler M Plumbley MD
2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)., 2214-2218.
04-08-2015 - Bisimilarity in Fresh-Register Automata
Murawski AS Ramsay SJ Tzevelekos N
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science., 156-167.
03-08-2015 - All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks
Phan Q-S Malacaria P
Availability, Reliability and Security (ARES), 2015 10th International Conference on., 100-109.
01-08-2015 - Glaucoma classification using Regional Wavelet Features of the ONH and its surroundings
Haleem MS Han L van Hemert J Fleming A
2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). vol. 2015, 4318-4321.
01-08-2015 - A Broadband Wide-Angle Polarizer Through Field Transformation
Zhao J Zhang L Hao Y Zhao J Feng Y
2015 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting., 1036-1037.
01-07-2015 - A Novel Computer Vision-Based Approach to Automatic Detection and Severity Assessment of Crop Diseases
Han L Haleem MS Taylor M
2015 Science and Information Conference (SAI)., 638-644.
01-07-2015 - Characterising Skin-Based Nano-Networks for Healthcare Monitoring Applications at THz
Yang K Chopra N Upton J Hao Y Philpott M Alomainy A Abbasi QH Qaraqe K
2015 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting., 199-200.
01-07-2015 - Multiband-OFDM Based Ultra Wideband System Modelling of On/Off-Body Antenna Diversity
Abbasi QH Serpedin IE Qaraqe K Alomainy IA Rao Y
2015 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting., 2363-2364.
01-07-2015 - QCTO Lens Design for Conformal Phased Array Antenna
Lei J Zhao J Fu G Hao Y
2015 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting., 2491-2492.
01-07-2015 - Robustness-Based Simplification of 2D Steady and Unsteady Vector Fields
Skraba P Wang B Chen G Rosen P
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers (IEEE) vol. 21 (8), 930-944.
29-06-2015 - A Game-Theoretic Approach for Minimizing Security Risks in the Internet-of-Things
Rontidis G Panaousis E Laszka A Daziuklas T Malacaria P Alpcan T
2015 IEEE International Conference on Communication Workshop (ICCW)., 2639-2644.
01-06-2015 - A Reflective Wide-Angle Broadband Polarizer Based on Field Transformation
Zhao J Feng Y Zhao J Hao Y
2015 IEEE 4th Asia-Pacific Conference on Antennas and Propagation (APCAP)., 34-35.
01-06-2015 - Numerical analysis and characterization of THz propagation channel for body-centric nano-communications
Yang K Pellegrini A Munoz MO Brizzi A Alomainy A Hao Y
IEEE Transactions on Terahertz Science and Technology vol. 5 (3), 419-426.
01-05-2015 - Numerical Analysis and Characterization of THz Propagation Channel for Body-Centric Nano-Communications
Yang K Pellegrini A Munoz MO Brizzi A Alomainy A Hao Y
IEEE Transactions on Terahertz Science and Technology, Institute of Electrical and Electronics Engineers (IEEE) vol. 5 (3), 419-426.
29-04-2015 - Body Sensor Networks: In the Era of Big Data and Beyond
Poon CCY Lo BPL Yuce MR ALOMAINY AHM Hao Y
IEEE Reviews in Biomedical Engineering, Institute of Electrical and Electronics Engineers (IEEE) vol. PP (99)
28-04-2015 - Effective verification of low-level software with nested interrupts
Kroening D Liang L Schrammel P
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015., 229-234.
22-04-2015 - A Dynamic Programming Variant of Non-Negative Matrix Deconvolution for the Transcription of Struck String Instruments
Ewert S Plumbley MD Sandler M
2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)., 569-573.
01-04-2015 - Tunable circular polarization selective surfaces for low-THz applications using patterned graphene
Li Y Zhao J Lin H Milne W Hao Y
Optics Express, Optica Publishing Group vol. 23 (6), 7227-7236.
10-03-2015 - BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS
ESCARDÓ M OLIVA P
Journal of Symbolic Logic, Cambridge University Press (Cup) vol. 80 (1), 1-28.
01-03-2015 - Cohomological learning of periodic motion
Vejdemo-Johansson M Pokorny FT Skraba P Kragic D
Applicable Algebra in Engineering, Communication and Computing, Springer Nature vol. 26 (1-2), 5-26.
01-03-2015 - Concurrent Bounded Model Checking
Phan Q-S Malacaria P Pasareanu CS
Sigsoft Softw. Eng. Notes, Acm vol. 40, 1-5.
01-02-2015 - Dynamic deadlock verification for general barrier synchronisation
Cogumbreiro T Hu R Martins F Yoshida N
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming., 150-160.
24-01-2015 - A Contextual Equivalence Checker for IMJ*
Murawski AS Ramsay SJ
Lecture Notes in Computer Science. vol. 9364, 234-240.
01-01-2015 - A DYNAMIC PROGRAMMING VARIANT OF NON-NEGATIVE MATRIX DECONVOLUTION FOR THE TRANSCRIPTION OF STRUCK STRING INSTRUMENTS
Ewert S Plumbley MD Sandler M
2015 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING (ICASSP)., 569-573.
01-01-2015 - Ada Lovelace, a scientist in the archives
Riis S Martin U
Ada Lovelace Symposium 2015- Celebrating 200 Years of a Computer Visionary on - Ada Lovelace Symposium '15.
01-01-2015 - Audio effects data on the semantic web
Wilmering T Fazekas G Allik A Sandler MB
139th Audio Engineering Society International Convention, AES 2015.
01-01-2015 - Automating Annotation of Media with Linked Data Workflows
Wilmering T Fazekas G Dixon S Bechhofer S Page K
Third International Workshop on Linked Media (LiME 2015) co-located with the WWW’15 conference, 18-22 May, Florence, Italy..
01-01-2015 - AWPL Status Update
Hao Y
IEEE Antennas and Wireless Propagation Letters, Institute of Electrical and Electronics Engineers (IEEE) vol. 14, 1-3.
01-01-2015 - CBMC: Bounded model checking of concurrent C programs
Tautschnig M
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 9232, 11-12.
01-01-2015 - Computer-aided Melody Note Transcription Using the Tony Software: Accuracy and Efficiency
Mauch M Cannam C Bittner R Fazekas G Salamon J Dai J Bello J Dixon S
Proceedings of the First International Conference on Technologies for Music Notation and Representation.
01-01-2015 - Effect of Antenna Directivity on the Accuracy of Fingerprint-based Localisation
Cheng Q Alomainy A Hao Y
Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies"., 90-93.
01-01-2015 - Foreword from volume editors
Kirsch W Khoruzhenko B
Markov Processes and Related Fields vol. 21 (3)
01-01-2015 - Game Semantic Analysis of Equivalence in IMJ
Murawski AS Ramsay SJ Tzevelekos N
Lecture Notes in Computer Science. vol. 9364, 411-428.
01-01-2015 - Learning the Language of Error
Chapman M Chockler H Kesseli P Kroening D
Lecture Notes in Computer Science. vol. 9364, 114-130.
01-01-2015 - Moodplay: an interactive mood-based musical experience
Barthet M Fazekas G Allik A Sandler M
Proc. of the ACM Audio Mostly International Conference, 7-9 Oct. Thessaloniki, Greece..
01-01-2015 - Moving Fast with Software Verification
Calcagno C Distefano D Dubreil J Gabi D Hooimeijer P O’Hearn P Purbrick J
Lecture Notes in Computer Science. vol. 9058, 3-11.
01-01-2015 - Navigating Ontological Structures based on Feature Metadata Using the Semantic Music Player
Thalmann F Carrillo A Fazekas G Wiggins GA Sandler M
Proc. of the 16th International Society for Music Information Retrieval (ISMIR-15) conference, Late-breaking session, Oct. 26-30, Malaga, Spain.
01-01-2015 - NON-NEGATIVE MATRIX FACTORISATION INCORPORATING GREEDY HELLINGER SPARSE CODING APPLIED TO POLYPHONIC MUSIC TRANSCRIPTION
O'Hanlon K Sandler M Plumbley MD
2015 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING (ICASSP)., 2214-2218.
01-01-2015 - Numerical Study of the Influence of within Human Skin Interfaces on THz Wave Propagation
YANG K ALOMAINY A HAO Y
Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies"., 144-146.
01-01-2015 - On comparison of phase alignments of harmonic components
Xue W Xiaoyan L Sandler M
Dafx 2015 Proceedings of the 18th International Conference on Digital Audio Effects.
01-01-2015 - ON THE USE OF THE TEMPOGRAM TO DESCRIBE AUDIO CONTENT AND ITS APPLICATION TO MUSIC STRUCTURAL SEGMENTATION
Tian M Fazekas G Black DAA Sandler M
2015 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING (ICASSP)., 419-423.
01-01-2015 - On the Use of the Tempogram to Describe Audio Content and its Application to Music Structural Segmentation
Tian M Fazekas G Black DAA Sandler M
Proc. of the 40th International Conference on Acoustics, Speech and Signal Processing (ICASSP), 19-24 April, Brisbane, Australia.
01-01-2015 - Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13).
Igarashi A Murawski AS
Nii Shonan Meet. Rep. vol. 2015
01-01-2015 - Spatially Rendering Decomposed Recordings - Integrating Score-Informed Source Separation and Semantic Playback Technologies
Thalmann F Ewert S Sandler M Wiggins GA
International Society for Music Information Retrieval Conference (ISMIR) - Late-Breaking Session., 2-2.
01-01-2015 - The Organ Web App
Liang B Fazekas G
Proc. of the 16th International Society for Music Information Retrieval (ISMIR-15) conference, Late-breaking session, Oct. 26-30, Malaga, Spain.
01-01-2015 - Towards High Level Feature Extraction from Large Live Music Recording Archives
Wilmering T Fazekas G Dixon S
International Conference on Machine Learning (ICML), Machine Learning for Music Discovery Workshop, 6-11 July, Lille, France.
01-01-2015 - Training-based Semantic Descriptors modeling for violin quality sound characterization
Zanoni M Setragno F Antonacci F Sarti A Fazekas G Sandler M
Proceedings of the 138th Convention of the Audio Engineering Society (AES), 7-10 May, Warsaw, Poland..
01-01-2015 - Understanding Music Playlists
Choi K Fazekas G Sandler M
International Conference on Machine Learning (ICML), Machine Learning for Music Discovery Workshop, 6-11 July, Lille, France.
01-01-2015 - Unsupervised Prediction of Acceptability Judgements
Lau JH Clark A Lappin S
Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers)., 1618-1628.
01-01-2015