Publications
- Max-Flow Min-Cut Theorems for Multi-User Communication Networks
Riis S
23-12-2010 - Detecting Vital Signs with Wearable Wireless Sensors
Yilmaz T Foster R Hao Y
Sensors-Basel vol. 10 (12), 10837-10862.
01-12-2010 - Discrete Coordinate Transformation for Designing All-Dielectric Flat Antennas
Tang WX Argyropoulos C Kallos E Song W Hao Y
IEEE Transactions on Antennas and Propagation vol. 58 (12), 3795-3804.
01-12-2010 - Integrating musicological knowledge into a probabilistic framework for chord and key extraction
Pauwels J Martens JP
128th Audio Engineering Society Convention 2010. vol. 2, 717-725.
01-12-2010 - On the effect of reverberation on musical instrument automatic recognition
Barthet M Sandler M
128th Audio Engineering Society Convention 2010. vol. 1, 658-665.
01-12-2010 - Optimising the controls of a homogeneous loudspeaker array
Terrell M Sandler M
129th Audio Engineering Society Convention 2010. vol. 1, 320-328.
01-12-2010 - Proof interpretations with truth
Gaspar J Oliva P
Math Logic Quart vol. 56 (6), 591-610.
01-12-2010 - Experimental demonstration of multiwire endoscopes capable of manipulating near-fields with subwavelength resolution
Belov PA Palikaras GK Zhao Y Rahman A Simovski CR Hao Y Parini C
Appl Phys Lett vol. 97 (19)
08-11-2010 - Characterisation of Dynamic Radio Propagation Channels in Body-Centric Wireless Networks Using Ultra-Wideband Wireless Tags
Khan MM Alomainy A Hao Y
2010 Loughborough Antennas & Propagation Conference., 141-144.
01-11-2010 - Effect of Human Body Movements on Performance of Multiband OFDM based Ultra Wideband Wireless Communication System
Abbasi QH Alomainy A Hao Y
2010 Loughborough Antennas & Propagation Conference., 145-148.
01-11-2010 - Magnification of subwavelength field distributions using a tapered array of metallic wires with planar interfaces and an embedded dielectric phase compensator
Zhao Y Palikaras G Belov PA Dubrovka RF Simovski CR Hao Y Parini CG
New J Phys vol. 12
29-10-2010 - Sonic visualiser
Cannam C Landone C Sandler M
Proceedings of the 18th ACM international conference on Multimedia., 1467-1468.
25-10-2010 - Subwavelength image splitter with a metallic wire array
Rahman A Hao Y Parini C
Phys Rev B vol. 82 (15)
22-10-2010 - Graph-theoretical Constructions for Graph Entropy and Network Coding
Based Communications
Gadouleau M
13-10-2010 - FDTD analysis of the optical black hole
Argyropoulos C Kallos E Hao Y
J Opt Soc Am B vol. 27 (10), 2020-2025.
01-10-2010 - Narrow-beam azimuthally omni-directional millimetre-wave antenna using freeformed cylindrical woodpile cavity
Lee Y Lu X Hao Y Yang S Evans JRG Parini CG
IET MICROWAVES ANTENNAS & PROPAGATION. vol. 4 (10), 1491-1499.
01-10-2010 - Source-Filter Modeling in the Sinusoid Domain
Wen X Sandler M
J Audio Eng Soc vol. 58 (10), 795-808.
01-10-2010 - Experimental demonstration of broadband transmission through subwavelength aperture
Bao D Rajab KZ Tang WX Haob Y
Appl Phys Lett vol. 97 (13)
27-09-2010 - Tailoring silver nanorod arrays for subwavelength imaging of arbitrary coherent sources
Rahman A Belov PA Hao Y
Phys Rev B vol. 82 (11)
17-09-2010 - A broadband simplified free space cloak realized by nonmagnetic dielectric cylinders
Bao D Kallos E Tang WX Argyropoulos C Hao Y Cui TJ
Front Phys China vol. 5 (3), 319-323.
01-09-2010 - Antennas and Propagation of Implanted RFIDs for Pervasive Healthcare Applications
Sani A Rajab M Foster R Hao Y
Proceedings of The IEEE European Test Workshop vol. 98 (9), 1648-1655.
01-09-2010 - PROGRESS IN ANTENNAS AND PROPAGATION FOR BODY AREA NETWORKS
Hall PS Hao Y Cotton SL
2010 International Symposium on Signals, Systems and Electronics vol. 1, 1-7.
01-09-2010 - RDFx: Audio Effects Utilising Musical Metadata
Wilmering T Sandler M
2010 IEEE Fourth International Conference on Semantic Computing. vol. 1, 452-453.
01-09-2010 - Recent Development of Ultra Wideband Body-Centric Wireless Communications
Abbasi QH Alomainy A Hao Y
2010 IEEE International Conference on Ultra-Wideband. vol. 1, 1-4.
01-09-2010 - Stability of active magnetoinductive metamaterials
Rajab KZ Hao Y Bao D Parini CG Vazquez J Philippakis M
J Appl Phys vol. 108 (5)
01-09-2010 - Advances in antennas and propagation for body centric wireless communications
Hall PS Hao Y Cotton SL
Eucap 2010 the 4th European Conference on Antennas and Propagation.
12-08-2010 - Truncations of Random Orthogonal Matrices
Khoruzhenko BA Sommers H-J
Phys. Rev. E, American Physical Society vol. 82, 040106-040110.
12-08-2010 - Broadband extraordinary transmission in a single sub-wavelength aperture.
Tang W Hao Y Medina F
Opt Express vol. 18 (16), 16946-16954.
02-08-2010 - Parallel FDTD modeling of metallic nanolens
Argyropoulos C Kallos E Rahman A Zhao Y Hao Y
2010 URSI International Symposium on Electromagnetic Theory., 261-264.
01-08-2010 - What sequential games, the Tychnoff theorem and the double-negation shift have in common
Escardó M Oliva P
Mathematically Structured Functional Programming.
01-08-2010 - Parametric Study of Ground Reflections and Diversity Techniques Effect on Body-Worn VHF/UHF Antenna Performance
ALOMAINY A Sani A Hao Y Pettitt G Cushnaghan P
European Conference on Antennas and Propagation Barcelona, Spain 12 Apr 2010 - 16 Apr 2010.
08-07-2010 - Program Analysis Probably Counts: Discussant Contribution for the Computer Journal Lecture by Chris Hankin
Malacaria P
Comput J vol. 53 (6), 881-881.
01-07-2010 - Preface
Clark A Fox C Lappin S
Handbook of Computational Linguistics and Natural Language Processing
29-06-2010 - The handbook of computational linguistics and natural language processing
Clark A Fox C Lappin S
Handbook of Computational Linguistics and Natural Language Processing, 1-775.
29-06-2010 - Articulated Postures for Subject-Specific RF Simulation
Lee S-L Lerotic M Sani A Zhao Y Keegan J Hao Y Yang G-Z
2010 International Conference on Body Sensor Networks., 96-101.
01-06-2010 - Persistence-based Segmentation of Deformable Shapes
Skraba P Ovsjanikov M Chazal F Guibas L
2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Workshops., 45-52.
01-06-2010 - T-20 Multichannel EMG of the Hamstring and Calf Muscles – What New Information Can It Tell Us?
Morrissey D Sakthibalan S Douglas J Bader D Hao Y Foster R Twycross-Lewis R Woledge R
Journal of Biomechanics, Elsevier vol. 43, s67-s68.
01-06-2010 - Functional interpretations of linear and intuitionistic logic
Oliva P
INFORMATION AND COMPUTATION. vol. 208 (5), 565-577.
01-05-2010 - Segmentation and discovery of podcast content
Hargreaves S Landone C Sandler M Kudumakis P
128th Audio Engineering Society Convention London, UK.
01-05-2010 - Selection functions, bar recursion and backward induction
Escardo M Oliva P
Domains IX Brighton, UK 22 Sep 2008 - 24 Sep 2008. vol. 20 (2), 127-168.
01-04-2010 - Risk assessment of security threats for looping constructs.
Malacaria P
Journal of Computer Security, Ios Press vol. 18, 191-228.
22-03-2010 - DISCRETE TRANSFORMATION ELECTROMAGNETICS AND ITS APPLICATIONS IN ANTENNA DESIGN
Tang W Argyropoulos C Kallos E Hao Y
2010 International Workshop on Antenna Technology (iWAT)., 1-4.
01-03-2010 - Functional Interpretations of Intuitionistic Linear Logic
Oliva P
Journal of Logic and Computation, Oxford Journals
09-02-2010 - Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
Bejleri A Hu R Yoshida N
Electronic Proceedings in Theoretical Computer Science. vol. 17, 17-29.
06-02-2010 - System-Level Modelling of Optimal Ultra Wideband Body-Centric Wireless Network
ALOMAINY A Abbasi QH Sani A Hao Y
Asia Pacific Microwave Conference Singapore 7 Dec 2009 - 10 Dec 2009., 2188-2191.
19-01-2010 - Periscope-like endoscope for transmission of a near field in the infrared range.
Rahman A Belov PA Hao Y Parini C
Opt Lett vol. 35 (2), 142-144.
15-01-2010 - A Subject-Specific Numerical Study in UWB Body-Centric Wireless Communications
Sani A Hao Y Zhao Y Lee S-L Yang G-Z
PROCEEDINGS OF THE FOURTH EUROPEAN CONFERENCE ON ANTENNAS AND PROPAGATION.
01-01-2010 - An Introduction to Test Specification in FQL.
Holzer A Tautschnig M Schallhart C Barner S Harris IG Kroening D Raz O
Haifa Verification Conference. vol. 6504, 9-22.
01-01-2010 - An Overview of Semantic Web Activities in the OMRAS2 Project
Fazekas G Raimond Y Jacobson K Sandler M
J New Music Res vol. 39 (4), 295-311.
01-01-2010 - Antenna Diversity Techniques for Enhanced Ultra Wideband Radio Performance in Body-Centric Wireless Networks
Abbasi QH ALOMAINY A Hao Y
European Microwave Conference (EuMW 2010) Paris, France 26 Sep 2010 - 1 Oct 2010., 197-200.
01-01-2010 - Applied Quantitative Information Flow and Statistical Databases
Heusser J Malacaria P Degano P Guttman JD
FORMAL ASPECTS IN SECURITY AND TRUST. vol. 5983, 96-110.
01-01-2010 - Automatic Noise Gate Settings for Drum Recordings Containing Bleed from Secondary Sources
Terrell M Reiss JD Sandler M
Eurasip J Adv Sig Pr
01-01-2010 - Bandwidth Performance of a Simplified Cloak Realized by Non-Magnetic Dielectric Cylinders
Bao D Kallos E Argyropoulos C Hao Y
PROCEEDINGS OF THE FOURTH EUROPEAN CONFERENCE ON ANTENNAS AND PROPAGATION.
01-01-2010 - Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
Murawski AS
Lecture Notes in Computer Science. vol. 6014, 33-47.
01-01-2010 - Broadband Active Magnetic Materials
Rajab KZ Hao Y Bao D Parini C Vazquez J Philippakis M Wilmot S Pearson R
2010 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM.
01-01-2010 - Computational interpretations of analysis via products of selection functions
Escardó M Oliva P
Computability in Europe Azores. vol. 6158, 141-150.
01-01-2010 - Confined modified realizability
Ferreira G Oliva P
Mathematical Logic Quarterly vol. 56 (1), 13-28.
01-01-2010 - DATABASE OF OMNIDIRECTIONAL AND B-FORMAT ROOM IMPULSE RESPONSES
Stewart R Sandler M
2010 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING., 165-168.
01-01-2010 - Digital Audio Effects
Sarti A Zoelzer U Serra X Sandler M Godsill S
Eurasip J Adv Sig Pr
01-01-2010 - Dispersive cylindrical cloaks under nonmonochromatic illumination
Argyropoulos C Kallos E Hao Y
Phys Rev E vol. 81 (1)
01-01-2010 - Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.
Bauer A Leucker M Schallhart C
Int. J. Softw. Tools Technol. Transf. vol. 12, 23-37.
01-01-2010 - Experimental Characterization of UWB On-Body Radio Channel in Indoor Environment Considering Different Antennas
Sani A Alomainy A Palikaras G Nechayev Y Hao Y Parini C Hall PS
IEEE T Antenn Propag vol. 58 (1), 238-241.
01-01-2010 - Flat devices design for antenna systems using coordinate transformation
Tang WX Argyropoulos C Kallos E Bao D Song W Hao Y
2010 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM.
01-01-2010 - Graph-theoretical Constructions for Graph Entropy and Network Coding Based Communications
Gadouleau M Riis S
Corr vol. abs/1010.2619
01-01-2010 - How did you specify your test suite.
Holzer A Schallhart C Veith H Pecheur C Andrews J Nitto ED
ASE., 407-416.
01-01-2010 - Hybrid functional interpretations of linear and intuitionistic logic
Oliva P
Journal of Logic and Computation, Oxford Journals vol. 22 (2), 305-328.
01-01-2010 - Information Theory and Security: Quantitative Information Flow
Malacaria P Heusser J Aldini A Bernardo M Di Pierro A Wiklicky H
FORMAL METHODS FOR QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES. vol. 6154, 87-134.
01-01-2010 - Linked Data and You: Bringing Music Research Software into the Semantic Web
Cannam C Sandler M Jewell MO Rhodes C d'Inverno M
J New Music Res vol. 39 (4), 313-325.
01-01-2010 - Memory Leaks Detection in Java by Bi-
Abductive Inference
DISTEFANO D Filipovic I
FASE 2010. vol. 6013, 278-292.
01-01-2010 - Off-Body Radio Channel Characterisation Using Ultra Wideband Wireless Tags
Khan MM ALOMAINY AHM Hao Y
2010 International Conference on Body Sensor Networks Singapore 7 Jun 2010 - 9 Jun 2010., 80-83.
01-01-2010 - On the Characterization of Slowly Varying Sinusoids
Wen X Sandler M
Eurasip Journal on Audio, Speech, and Music Processing, Springer Nature vol. 2010 (1)
01-01-2010 - On-Body Radio Channel Characterization and System-Level Modeling for Multiband OFDM Ultra-Wideband Body-Centric Wireless Network
Abbasi QH Sani A Alomainy A Hao Y
IEEE Transactions on Microwave Theory and Techniques, IEEE vol. 58 (12), 3485-3492.
01-01-2010 - Parameterised Multiparty Session Types
Yoshida N Deniélou P-M Bejleri A Hu R
Lecture Notes in Computer Science. vol. 6014, 128-145.
01-01-2010 - Parametric Study of Ground Reflections and Diversity Techniques Effect on Body-Worn VHF/UHF Antenna Performance
ALOMAINY AHM Sani A Hao Y Pettitt G Cushnaghan P
European Conference on Antennas and Propagation (EuCAP 2010) Barcelona 12 Apr 2010 - 16 Apr 2010., 1-4.
01-01-2010 - Program equivalence with names
Tzevelekos N
Dagstuhl Seminar Proceedings. vol. 10351
01-01-2010 - Quantifying information leaks in software
Heusser J MALACARIA P
Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010 Austin Texas 6 Dec 2010 - 10 Dec 2010., 261-269.
01-01-2010 - Quantitative Information Flow: From Theory to Practice?
Malacaria P Touili T Cook B Jackson P
COMPUTER AIDED VERIFICATION, PROCEEDINGS. vol. 6174, 20-22.
01-01-2010 - Refractive Index Evaluation of Multi-Walled Carbon Nanotube Arrays
Katsounaros A Rajab KZ Hou K Mann M Naftaly M Collings N Crossland WA Hao Y
PROCEEDINGS OF THE FOURTH EUROPEAN CONFERENCE ON ANTENNAS AND PROPAGATION.
01-01-2010 - Seamless Model-Driven Development Put into Practice.
Haberl W Herrmannsdoerfer M Tautschnig M Margaria T Steffen B
ISoLA (1). vol. 6415, 18-32.
01-01-2010 - Solvent-based paste extrusion solid freeforming
Lu XS Lee Y Yang SF Hao Y Evans JRG Parini CG
J Eur Ceram Soc vol. 30 (1), 1-10.
01-01-2010 - Subject-Specific Analysis of the On-Body Radio Propagation Channel Adopting a Parallel FDTD Code
Sani A Hao Y Zhao Y Lee S-L Yang G-Z
PROCEEDINGS OF THE FOURTH EUROPEAN CONFERENCE ON ANTENNAS AND PROPAGATION.
01-01-2010 - Temperament Estimation as an MIR task
Tidhar D Fazekas G Mauch M Dixon S
Presented at the 11th International Society for Music Information Retrieval Conference (ISMIR’10), Late-breaking session.
01-01-2010 - TempEst - Temperament estimation Web service
Fazekas G Tidhar D
presented at the Digital Music Research Network Workshop.
01-01-2010 - The effects of reverberation on onset detection tasks
Wilmering T Fazekas G Sandler M
in Proceedings of the 128th Convention of the Audio Engineering Society, London.
01-01-2010 - The musical instrument ontology
Kolozali S Barthet M Sandler M
presented at the Digital Music Research Network Workshop, 21 Dec., London, UK..
01-01-2010 - The Optimum Leakage Principle for Analyzing Multi-threaded Programs
Chen H Malacaria P Kurosawa K
INFORMATION THEORETIC SECURITY. vol. 5973, 177-193.
01-01-2010 - The Peirce translation and the double negation shift
Escardó M Oliva P
Computability in Europe Azores. (6158), 151-161.
01-01-2010 - Timely Time Estimates.
Holzer A Januzaj V Kugele S Margaria T Steffen B
ISoLA (1). vol. 6415, 33-46.
01-01-2010 - Towards a Distributed Research Environment for Music Informatics and Computational Musicology
Dixon S Sandler M d'Inverno M Rhodes C
J New Music Res vol. 39 (4), 291-294.
01-01-2010 - Towards the automatic generation of a Semantic Web ontology for musical instruments
Kolozali S Barthet M Fazekas G Sandler M
Proc. of the 5th International Conference on Semantic and Digital Media Technologies (SAMT-10) Saarbrucken, Germany.
01-01-2010