Publications
- Novel Methods in Facilitating Audience and Performer Interaction Using the Mood Conductor Framework
Fazekas G BARTHET M Sandler MB
Lecture Notes in Computer Science, Springer-Verlag vol. 8905 (Sound, Music, and Motion), 122-147.
05-12-2014 - Accuracy of Asymptotic Techniques for On-Body Channel Characterization at W Band
Brizzi A Pellegrini A Zhang L Hao Y
2014 IEEE MTT-S International Microwave Workshop Series on RF and Wireless Technologies for Biomedical and Healthcare Applications (IMWS-Bio2014)., 1-3.
01-12-2014 - Compressive Sensing Applied to Fingerprint-based Localisation
Cheng Q Munoz M Alomainy A Hao Y
2014 IEEE MTT-S International Microwave Workshop Series on RF and Wireless Technologies for Biomedical and Healthcare Applications (IMWS-Bio2014)., 1-3.
01-12-2014 - Conference General Chairs Message
Hao Y Lazzi G
2014 IEEE MTT-S International Microwave Workshop Series on RF and Wireless Technologies for Biomedical and Healthcare Applications (IMWS-Bio2014)., 1-3.
01-12-2014 - Crackle: The Homology of Noise
Adler RJ Bobrowski O Weinberger S
Discrete & Computational Geometry vol. 52, 680-704.
01-12-2014 - Information leakage of non-terminating processes
Biondi F Legay A Nielsen BF Malacaria P Wąsowski A
Leibniz International Proceedings in Informatics Lipics. vol. 29, 517-529.
01-12-2014 - Numerical Investigation on the Dependence of on-Body Channel Characteristics on Anthropomorphic Variation of Human Body
Ali K Brizzi A Alomainy A Hao Y
2014 IEEE MTT-S International Microwave Workshop Series on RF and Wireless Technologies for Biomedical and Healthcare Applications (IMWS-Bio2014)., 1-3.
01-12-2014 - Understanding and Characterizing Nanonetworks for Healthcare Monitoring Applications
Chopra N Yang K Upton J Alomainy A Philpott M Hao Y
2014 IEEE MTT-S International Microwave Workshop Series on RF and Wireless Technologies for Biomedical and Healthcare Applications (IMWS-Bio2014)., 1-3.
01-12-2014 - Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
Demangeon R Honda K Hu R Neykova R Yoshida N
Formal Methods in System Design, Springer Nature vol. 46 (3), 197-225.
19-11-2014 - Towards Accurate Dielectric Property Retrieval of Biological Tissues for Blood Glucose Monitoring
Yilmaz T Foster R Hao Y
IEEE Transactions on Microwave Theory and Techniques, Institute of Electrical and Electronics Engineers (IEEE) vol. 62 (12), 3193-3204.
14-11-2014 - A constructive interpretation of Ramsey's theorem via the product of selection functions
OLIVA P POWELL T
Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 25 (8), 1755-1778.
13-11-2014 - Algebraic foundations for quantitative information flow
MALACARIA P
Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 25 (2), 404-428.
10-11-2014 - On asynchronous eventful session semantics
KOUZAPAS D YOSHIDA N HU R HONDA K
Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 26 (2), 303-364.
10-11-2014 - 4th International Conference on Wireless Mobile Communication and Healthcare – Mobihealth 2014
Nikita K Bourbakis N Lo B Fotiadis D Hao Y Kiourti A
2014 4th International Conference on Wireless Mobile Communication and Healthcare - Transforming Healthcare Through Innovations in Mobile and Wireless Technologies (MOBIHEALTH)., 1-4.
01-11-2014 - Ultra wideband antenna diversity characterisation for off‐body communications in an indoor environment
Abbasi QH Rehman MU Chattha HT Qaraqe K Alomainy A Hao Y Parini C
Iet Microwaves, Antennas & Propagation, Institution of Engineering and Technology (Iet) vol. 8 (14), 1161-1169.
01-11-2014 - Graph Guessing Games and non-Shannon Information Inequalities
Baber R Christofides D Dang AN Riis S
30-10-2014 - Modelling of skin tissue for body-centric communications at terahertz frequencies
Munoz M Yang K Alomainy A Hao Y
2014 XXXIth URSI General Assembly and Scientific Symposium (URSI GASS)., 1-1.
17-10-2014 - Guessing Games on Triangle-free Graphs
Cameron PJ Dang AN
09-10-2014 - Quantitative Analysis of the Subject-Specific On-Body Propagation Channel Based on Statistically Created Models
Ali K Brizzi A Lee S-L Yang G-Z Alomainy A Hao Y
IEEE Antennas and Wireless Propagation Letters, Institute of Electrical and Electronics Engineers (IEEE) vol. 14, 398-401.
08-10-2014 - Automating test-suite augmentation
Bloem R Konighofer R Tautschnig M
2014 14th International Conference on Quality Software., 67-72.
01-10-2014 - Exploring physiological parameters in dynamic WBAN channels
Munoz MO Foster R Hao Y
IEEE Transactions on Antennas and Propagation vol. 62 (10), 5268-5281.
01-10-2014 - Fixed points of Boolean networks, guessing graphs, and coding theory
Gadouleau M Richard A Riis S
22-09-2014 - Preface
Oliva P
Electronic Proceedings in Theoretical Computer Science Eptcs. vol. 164
09-09-2014 - Retinal Area Detector From Scanning Laser Ophthalmoscope (SLO) Images for Diagnosing Retinal Diseases
Haleem MS Han L van Hemert J Li B Fleming A
IEEE Journal of Biomedical and Health Informatics, Institute of Electrical and Electronics Engineers (IEEE) vol. 19 (4), 1472-1482.
26-08-2014 - Illusions and cloaks for surface waves.
McManus TM Valiente-Kroon JA Horsley SAR Hao Y
Sci Rep vol. 4
22-08-2014 - A Patch Resonator for Sensing Blood Glucose Changes
Yilmaz T Brizzi A Foster R Munoz M Hao Y
2014 XXXIth URSI General Assembly and Scientific Symposium (URSI GASS)., 1-4.
01-08-2014 - Risks posed by obesity to body-surface narrowband wireless communication
Yang X Zhang Q Yang S Ren A Zhang Z von Deneen KM Hao Y
Chinese Science Bulletin vol. 59 (29-30), 3949-3954.
01-08-2014 - Transformation Optics for Surface Wave Devices
Mitchell-Thomas RC Hao Y
2014 XXXIth URSI General Assembly and Scientific Symposium (URSI GASS).
01-08-2014 - What makes a chess program original? Revisiting the Rybka case
Riis S
Entertainment Computing, Elsevier vol. 5 (3), 189-204.
01-08-2014 - Test and correlation analysis of seminal Leptin, sperm parameters and apoptosis in Leukocytospermia patients
Tao Z Bin C Yiqing L Hongxiang W Kai H Yan J Hao Y Tan F et al.
Chinese Journal of Andrology vol. 28 (7), 35-39.
20-07-2014 - Combining Musicological Knowledge About Chords and Keys in a Simultaneous Chord and Local Key Estimation System
Pauwels J Martens J-P
Journal of New Music Research, Taylor & Francis vol. 43 (3), 318-330.
03-07-2014 - 2D Optical Transformations for Surfaces
Mitchell-Thomas RC McManus TM Hao Y Quevedo-Teruel O
2014 IEEE Antennas and Propagation Society International Symposium (APSURSI)., 761-762.
01-07-2014 - Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory.
Alglave J Maranget L
Acm Transactions on Programming Languages and Systems, Association For Computing Machinery vol. 36 (2), 1-74.
01-07-2014 - Impact of Body Shape on BAN Communication Channel at 5.8 GHz
Ali K Brizzi A Pellegrini A Lee S-L Yang G-Z Hao Y
2014 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium).
01-07-2014 - Phase Variation of Multilayer CVD Graphene
Wu B Hao Y
2014 IEEE Antennas and Propagation Society International Symposium (APSURSI)., 179-180.
01-07-2014 - Shadowing Effect of Upper Limbs in Body-Centric Communication at W Band
Brizzi A Ali K Pellegrini A Hao Y
2014 USNC-URSI Radio Science Meeting (Joint with AP-S Symposium)., 248-248.
01-07-2014 - Herding cats
Alglave J Maranget L Tautschnig M
ACM SIGPLAN Notices. vol. 49 (6), 40-40.
05-06-2014 - How to spend it
Smeraldi F Malacaria P
, Association For Computing Machinery (Acm), 1-4.
06-05-2014 - Accounting for phase cancellations in non-negative matrix factorization using weighted distances
Ewert S PLUMBLEY MD Sandler M
Acoustics, Speech and Signal Processing (ICASSP) Florence, Italy 4 May 2014 - 9 May 2014., 649-653.
04-05-2014 - A Study of Instrument-Wise Onset Detection in Beijing Opera Percussion Ensembles
Tian M Srinivasamurthy A Sandler M Serra X
2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)., 2159-2163.
01-05-2014 - All Dielectric Conformal Luneburg Lens Based Antenna
Mateo-Segura C Lorente-Crespo M Hao Y
The 8th European Conference on Antennas and Propagation (EuCAP 2014)., 3001-3004.
01-04-2014 - Conformal surface lenses from a bed of nails
Mitchell-Thomas RC Quevedo-Teruel O McManus TM Horsley SAR Hao Y
The 8th European Conference on Antennas and Propagation (EuCAP 2014)., 269-270.
01-04-2014 - Design and Stability of Negative Impedance Circuits for Non-Foster Matching of a Monopole Antenna
Nagarkoti DS Rajab KZ Hao Y
The 8th European Conference on Antennas and Propagation (EuCAP 2014)., 2707-2709.
01-04-2014 - FDTD Characterisation of On-Body Propagation Channels Adopting Statistically Shaped Subjects
Ali K Brizzi A Lee S-L Pellegrini A Yang G-Z Hao Y
The 8th European Conference on Antennas and Propagation (EuCAP 2014)., 3571-3574.
01-04-2014 - Material Region Division and Antenna Application of Monolayer and Multilayer Graphene
Wu B Hao Y
The 8th European Conference on Antennas and Propagation (EuCAP 2014)., 497-498.
01-04-2014 - The Anti-Fish Eye Cloak for Surface Wave Antennas
Mitchell-Thomas RC Quevedo-Teruel O McManus TM Horsley SAR Hao Y
The 8th European Conference on Antennas and Propagation (EuCAP 2014)., 267-268.
01-04-2014 - Body-centric nano-networks: Em channel characterisation in water at the terahertz band
Yang K Abbasi QH Qaraqe K Alomainy A Hao Y
2014 Asia Pacific Microwave Conference Proceedings APMC 2014., 531-533.
25-03-2014 - 2D Vector Field Simplification Based on Robustness
Skraba P Wang B Chen G Rosen P
2014 IEEE Pacific Visualization Symposium., 49-56.
01-03-2014 - Logical Relations and Parametricity – A Reynolds Programme for Category Theory and Programming Languages
Electronic Notes in Theoretical Computer Science, Elsevier vol. 303, 149-180.
01-03-2014 - Experimental demonstration of a transparent graphene millimetre wave absorber with 28% fractional bandwidth at 140 GHz.
Wu B Tuncer HM Naeem M Yang B Cole MT Milne WI Hao Y
Sci Rep, Nature Publications vol. 4
19-02-2014 - Type-theoretic logic with an operational account of intensionality
Fox C Lappin S
Synthese, Springer Nature vol. 192 (3), 563-584.
14-01-2014 - Game semantics for interface middleweight Java
Murawski AS
Acm Sigplan Notices, Association For Computing Machinery (Acm) vol. 49 (1), 517-528.
08-01-2014 - A framework for automatic ontology generation based on semantic audio analysis
Kolozali S Fazekas G Barthet M Sandler M
Proc. of the AES 53rd International Conference on Semantic Audio, Jan, 26-29., London, UK.
01-01-2014 - A generalized dipole moment based approach for modelling of nanoparticles
Naeem M McManus TM Hao Y
Annual Review of Progress in Applied Computational Electromagnetics. vol. 2014-January, 317-321.
01-01-2014 - A Probabilistic Rich Type Theory for Semantic Interpretation
Cooper R Dobnik S Lappin S Larsson S
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)., 72-79.
01-01-2014 - A Semantic Web approach to pattern discovery in data and music
Hargreaves S Wiggins G Sandler M
Proceedings of The Aes International Conference, 97-106.
01-01-2014 - Abstract Model Counting: A Novel Approach for Quantification of Information Leaks
Phan Q-S Malacaria P
ASIA CCS '14 Proceedings of the 9th ACM symposium on Information, computer and communications security Kyoto, Japan 4 Jun 2014 - 6 Jun 2014., 283-292.
01-01-2014 - Automating Software Analysis at Large Scale
Kroening D Tautschnig M
Lecture Notes in Computer Science. vol. 8934, 30-39.
01-01-2014 - Body-centric nano-networks: Em channel characterisation in water at the terahertz band
Yang K Abbasi QH Qaraqe K Alomainy A Hao Y
2014 Asia-Pacific Microwave Conference Proceedings, APMC 2014., 531-533.
01-01-2014 - Broadband tissue mimicking phantoms and a patch resonator for evaluating noninvasive monitoring of blood glucose levels
Yilmaz T Foster R Hao Y
IEEE Transactions on Antennas and Propagation vol. 62 (6), 3064-3075.
01-01-2014 - CBMC - C Bounded Model Checker (Competition contribution)
Kroening D Tautschnig M
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 8413 LNCS, 389-391.
01-01-2014 - Characterization of Vertically Aligned Multiwall Carbon Nanotube Arrays Based on Multiconductor Transmission Line Model
Zhang J Hao Y
IEEE Antennas and Wireless Propagation Letters, Institute of Electrical and Electronics Engineers (IEEE) vol. 13, 1353-1356.
01-01-2014 - Compression of a pyramidal absorber using multiple discrete coordinate transformation
Tang W Yang R Hao Y
Optics Express vol. 22 (8), 9033-9047.
01-01-2014 - Computational Analysis of the Live Music Archive
Bechhofer S Dixon S Fazekas G Wilmering T
Presented at the 15th International Society of Music Information Retrieval (ISMIR) Conference late-breaking workshop, Oct 27-31, 2014, Taipei, Taiwan.
01-01-2014 - Creating an audio effects database on the Semantic Web
Wilmering T Sandler MB
Proceedings of the AES International Conference., 337-338.
01-01-2014 - Creating Semantic Links between Research Articles and Music Artists
Mora-McGinity M Ogilive G
Presented at the Digital Music Research Network Workshop, Dec., London, UK at the 15th International Society of Music Information Retrieval (ISMIR) Conference late-breaking workshop, Oct 27-31, 2014, Taipei, Taiwan.
01-01-2014 - Cybersecurity Games and Investments: A Decision Support Approach
Panaousis E Fielder A Malacaria P Hankin C Smeraldi F
Lecture Notes in Computer Science. vol. 8840, 266-286.
01-01-2014 - Design and Evaluation of Onset Detectors Using Different Fusion Policies
Tian M Fazekas G Black DAA Sandler M
Presented at the 15th International Society of Music Information Retrieval (ISMIR) Conference, Oct 27-31, 2014, Taipei, Taiwan.
01-01-2014 - Distance functions, critical points, and the topology of random \v Cech complexes
Bobrowski O
Homology, Homotopy and Applications vol. 16, 311-344.
01-01-2014 - Efficient computer-aided pitch track and note estimation for scientific applications
Mauch M Cannam C
Society for Education, Music and Psychology Research (SEMPRE’14) conference, April 3-4, London, UK., 143-147.
01-01-2014 - Evaluation and Improvement of the Mood Conductor Interactive System
Lou T Barthet M Fazekas G Sandler M
Proc. of the AES 53rd International Conference on Semantic Audio, Jan, 26-29., London, UK.
01-01-2014 - Extending Tagging Ontologies with Domain Specific Knowledge
Font F Oramas S Fazekas G
Presented at the 13th International Semantic Web Conference (ISWC), 19-23 October, Trento, Italy.
01-01-2014 - Flat Luneburg Lens via Transformation Optics for Directive Antenna Applications
Mateo-Segura C Dyke A Dyke H Haq S Hao Y
IEEE Transactions on Antennas and Propagation vol. 62 (4), 1945-1953.
01-01-2014 - Game Semantics for Nominal Exceptions
Murawski AS Tzevelekos N
Lecture Notes in Computer Science. vol. 8412, 164-179.
01-01-2014 - Game Theory Meets Information Security Management
Fielder A Panaousis E Malacaria P Hankin C Smeraldi F
IFIP Advances in Information and Communication Technology. vol. 428, 15-29.
01-01-2014 - Graph Guessing Games and non-Shannon Information Inequalities.
Baber R Christofides D Dang NA Riis S
Corr vol. abs/1410.8349
01-01-2014 - Herding cats: Modelling, simulation, testing, and data-mining for weak memory
Alglave J Maranget L Tautschnig M
PLDI'14: PROCEEDINGS OF THE 2014 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION., 40-40.
01-01-2014 - Intensions as Computable Functions
Lappin S
Linguistic Issues in Language Technology, University of Colorado At Boulder vol. 9
01-01-2014 - Interactive music applications by MPEG-A support in Sonic Visualiser
García JC Taglialatela C Kudumakis P Tardón LJ Barbancho I Sandler M
53rd AES International Conference on "Semantic Audio" London, UK.
01-01-2014 - Introduction to the New AWPL Editorial Board
Hao Y
IEEE Antennas and Wireless Propagation Letters vol. 13, 1-2.
01-01-2014 - Lenses on curved surfaces
Mitchell-Thomas RC Quevedo-Teruel O McManus TM Horsley SAR Hao Y
Optics Letters vol. 39 (12), 3551-3554.
01-01-2014 - Measuring Gradience in Speakers' Grammaticality Judgements
Lau JH Clark A Lappin S
Proceedings of the 36th Annual Meeting of the Cognitive Science Society Cogsci 2014., 821-826.
01-01-2014 - Metadata features that affect artificial reverberator intensity
Bussey C Terrell M Rahman R Sandler M
Proceedings of the AES International Conference., 271-277.
01-01-2014 - Microwave absorption and radiation from large-area multilayer CVD graphene
Wu B Tuncer HM Katsounaros A Wu W Cole MT Ying K Zhang L Milne WI et al.
Carbon vol. 77, 814-822.
01-01-2014 - MILLIMETER-WAVE OFFSET FRESNEL ZONE PLATE LENSES CHARACTERIZATION
Leon G Herran LF Munoz MO Las-Heras F Hao Y
Progress in Electromagnetics Research C, The Electromagnetics Academy vol. 54, 125-131.
01-01-2014 - Multiparty Session Nets
Fossati L Hu R Yoshida N
Lecture Notes in Computer Science, Springer Nature vol. 8902, 112-127.
01-01-2014 - On comparative statistics for labelling tasks: what can we learn from MIREX ACE 2013?
Burgoyne JA de Haas WB Pauwels J
15th Conference of the International Society for Music Information Retrieval (ISMIR)., 525-530.
01-01-2014 - Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14
01-01-2014 - Proving termination of programs having transition invariants of height ω
Berardi S Oliva P Steila S
Ceur Workshop Proceedings. vol. 1231, 237-240.
01-01-2014 - Quantifying Information Leaks Using Reliability Analysis
Phan Q-S Malacaria P Pasareanu CS d Amorim M
SPIN 2014 Proceedings of the 2014 International SPIN Symposium on Model Checking of Software San Jose, CA. USA 21 Jul 2014 - 22 Jul 2014., 105-108.
01-01-2014 - Reachability in Pushdown Register Automata
Murawski AS Ramsay SJ Tzevelekos N
Lecture Notes in Computer Science. vol. 8634, 464-473.
01-01-2014 - Reusing information in multi-goal reachability analyses
Beyer D Holzer A Tautschnig M
Lecture Notes in Informatics Lni Proceedings Series of the Gesellschaft Fur Informatik Gi. vol. P227, 97-98.
01-01-2014 - Risks posed by obesity to body-surface narrowband wireless communication
Yang X Zhang Q Yang S Ren A Zhang Z von Deneen KM Hao Y
Chinese Science Bulletin
01-01-2014 - SAFE: A System for Extraction and Retrieval of Semantic Audio Descriptors
Stables R Enderby S De Man B Fazekas G Reiss JD
Presented at the Digital Music Research Network Workshop, Dec., London, UK at the 15th International Society of Music Information Retrieval (ISMIR) Conference late-breaking workshop, Oct 27-31, 2014, Taipei, Taiwan.
01-01-2014 - Selection of audio features for music emotion recognition using production music
Baume C Fazekas G Barthet M Martson D Sandler M
Proc. of the AES 53rd International Conference on Semantic Audio, Jan, 26-29., London, UK.
01-01-2014 - Semantically Linking Humanities Research Articles and Music Artists
Mora-McGinity M Ogilvie G
Workshop on Semantic Technologies for Research in the Humanities and Social Sciences (STRiX), November 24-25, Gothenburg, Sweden.
01-01-2014 - Structuring Communication with Session Types
Honda K Hu R Neykova R Chen T-C Demangeon R Deniélou P-M Yoshida N
Lecture Notes in Computer Science. vol. 8665, 105-127.
01-01-2014 - Surface Wave Transformation Lens Antennas
Yang R Lei Z Chen L Wang Z Hao Y
IEEE Transactions on Antennas and Propagation vol. 62 (2), 973-977.
01-01-2014 - The mathematics of mixing
Terrell M Simpson A Sandler M
Aes Journal of The Audio Engineering Society vol. 62 (1-2), 4-13.
01-01-2014 - The Open Multitrack Testbed
De Man B Mora-Mcginity M Fazekas G Reiss JD
137th Convention of the Audio Engineering Society, 7 Oct., Los Angeles, USA.
01-01-2014 - The SAFE project: Musical semantics in the DAW
Stables R Enderby S De Man B Reiss JD
Presented at the Digital Music Research Network Workshop, 16. Dec., London, UK.
01-01-2014 - The Scribble Protocol Language
Yoshida N Hu R Neykova R Ng N
Lecture Notes in Computer Science. vol. 8358, 22-41.
01-01-2014 - The topology of probability distributions on manifolds
Bobrowski O Mukherjee S
Probability Theory and Related Fields vol. 161, 651-686.
01-01-2014