Publications
- A whole body statistical shape model for radio frequency simulation
Lee SL Ali K Brizzi A Keegan J Hao Y Yang GZ
Proceedings of The Annual International Conference of The IEEE Engineering in Medicine and Biology Society Embs, 7143-7146.
26-12-2011 - Characterisation of ultra wideband body-centric radio channel dependency on angular and spatial variations
Abbasi QH Khan MM Alomainy A Hao Y
2011 41st European Microwave Conference., 686-689.
15-12-2011 - Microwave characterization of multi-walled carbon nanotube arrays
Katsounaros A Rajab KZ Hao Y Mann M Milne WI
2011 41st European Microwave Conference., 53-56.
15-12-2011 - Ultra wideband wireless tags for off-body radio channel characterisation with varying subject postures
Khan MM Abbasi QH Alomainy A Hao Y
2011 41st European Microwave Conference., 701-704.
15-12-2011 - Compositional Shape Analysis by Means of Bi-Abduction
Calcagno C Distefano D O'Hearn PW
Journal of The Acm vol. 58 (6)
01-12-2011 - Dereverberation of musical instrument recordings for improved note onset detection and instrument recognition
Wilmering T Barthet M Sandler MB
131st Audio Engineering Society Convention 2011. vol. 2, 723-732.
01-12-2011 - System T and the product of selection functions
Escardó M Oliva P Powell T
Leibniz International Proceedings in Informatics Lipics. vol. 12, 233-247.
01-12-2011 - The influence of chord duration modeling on chord and local key extraction
Pauwels J Martens J-P Leman M
2011 10th International Conference on Machine Learning and Applications and Workshops. vol. 2, 136-141.
01-12-2011 - User driven, local model, reclassification of drum loop audio slices
Smith HL McDonald S Sandler M
130th Audio Engineering Society Convention 2011. vol. 1, 396-402.
01-12-2011 - Memoryless computation: new results, constructions, and extensions
Gadouleau M Riis S
25-11-2011 - MPEG-M: Multimedia Service Platform Technologies
Kudumakis P Wang X Matone S Sandler M
IEEE Signal Proc Mag vol. 28 (6), 159-163.
01-11-2011 - Numerical Analysis of On-Body Channel for Statistically-Generated Body Shapes
Ali K Brizzi A Lee S-L Hao Y Alomainy A Yang G-Z
, Institute of Electrical and Electronics Engineers (IEEE) vol. 1, 1-4.
01-11-2011 - RF Positioning using Body-Centric Wireless Systems
Foster RN Munoz M Hao Y
, Institute of Electrical and Electronics Engineers (IEEE) vol. 1, 1-4.
01-11-2011 - Sensing of Dielectric Property Alterations in Biological Tissues at Microwave Frequencies
Yilmaz T Hao Y
2011 Loughborough Antennas & Propagation Conference. vol. 1, 1-4.
01-11-2011 - All-dielectric invisibility cloaks made of BaTiO3-loaded polyurethane foam
Bao D Rajab KZ Hao Y Kallos E Tang WX Argyropoulos C Piao YZ Yang SF
New Journal of Physics, Iop Publishing vol. 13
19-10-2011 - Slim Luneburg lens for antenna applications
Demetriadou A Hao Y
Opt Express vol. 19 (21), 19925-19934.
10-10-2011 - Combinatorial representations
Cameron PJ Gadouleau M
Journal of Combinatorial Theory: Series A vol. 120 (3), 671-682.
06-09-2011 - Investigation of Body Shape Variations Effect on the Ultra-Wideband On-Body Radio Propagation Channel
Khan MM Abbasi QH Alomainy A Hao Y
2011 International Conference on Electromagnetics in Advanced Applications. vol. 1, 1128-1131.
01-09-2011 - MODELING MUSICOLOGICAL INFORMATION AS TRIGRAMS IN A SYSTEM FOR SIMULTANEOUS CHORD AND LOCAL KEY EXTRACTION
Pauwels J Martens J-P Leman M
2011 IEEE International Workshop on Machine Learning for Signal Processing., 1-6.
01-09-2011 - X-band Characterization of Multi-Walled Carbon Nanotube Films
Katsounaros A Rajab KZ Hao Y Mann M Milne WI
2011 International Conference on Electromagnetics in Advanced Applications., 516-519.
01-09-2011 - Diversity Antenna Techniques for Enhanced Ultra Wideband Body-Centric Communications
Abbasi QH Khan MM ALOMAINY A Hao Y
2011 IEEE International Symposium on Antennas and Propagation (APS 2011) Spokane, Washington, USA 3 Jul 2011 - 8 Jul 2011., 1533-3695.
30-08-2011 - Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery
Fields B Jacobson K Rhodes C d'Inverno M Sandler M Casey M
IEEE Transactions on Multimedia vol. 13 (4), 674-686.
01-08-2011 - Compact Resonators for Permittivity Reconstruction of Biological Tissues
Yilmaz T Hao Y
2011 XXXth URSI General Assembly and Scientific Symposium. vol. 1, 1-4.
01-08-2011 - Interactive Music Applications and Standards
Stewart R Kudumakis P Sandler M
Lecture Notes in Computer Science vol. 6684, 20-30.
01-08-2011 - Transformation Electromagnetics in Antenna Engineering: Theory and Implementation
Hao Y
2011 XXXth URSI General Assembly and Scientific Symposium. vol. 1, 1-4.
01-08-2011 - Study of an optical nanolens with the parallel finite difference time domain technique
Argyropoulos C Kallos E Hao Y
Radio Sci vol. 46
29-07-2011 - Induced Ginibre ensemble of random matrices and quantum operations
Fischmann J Bruzda W Khoruzhenko BA
J. Phys. A, Iop Publishing vol. 45 (7), 075203-075234.
25-07-2011 - Comparison of frequency responses of cloaking devices under nonmonochromatic illumination
Kallos E Argyropoulos C Hao Y Alu A
Phys Rev B vol. 84 (4)
05-07-2011 - A Subject-Specificity Analysis of Radio Channels in Wireless Body Area Networks
Zhao Y Hao Y
Engineering Journal, Faculty of Engineering, Chulalongkorn University vol. 15 (3), 39-48.
01-07-2011 - An Auditory Display in Playlist Generation [Mobile applications]
Stewart R Sandler M
IEEE Signal Proc Mag vol. 28 (4), 14-23.
01-07-2011 - Broadband dielectric zone plate antenna from transformation electromagnetics
Yang R Tang W Hao Y
Proceedings of the 5th European Conference on Antennas and Propagation Eucap 2011., 3463-3465.
01-07-2011 - Broadband extraordinary transmission device realized with dielectrics
Bao D Rajab KZ Tang W Hao Y
Proceedings of the 5th European Conference on Antennas and Propagation Eucap 2011., 2197-2200.
01-07-2011 - Cloak an Underground Antenna Using Transformation Electromagnetics
Tang W Hao Y
2011 IEEE International Symposium on Antennas and Propagation (APSURSI). vol. 1, 2865-2868.
01-07-2011 - Cloaking a reflector antenna using coordinate transformation approach
Tang W Hao Y Mittra R
Proceedings of the 5th European Conference on Antennas and Propagation Eucap 2011., 3304-3308.
01-07-2011 - Dual Band and Dual Mode Antenna for Power Efficient Body-Centric Wireless Communications
Khan MM Abbasi QH Alomainy A Parini C Hao Y
2011 IEEE International Symposium on Antennas and Propagation (APSURSI). vol. 1, 396-399.
01-07-2011 - Effects of using a low-cost COTS antenna in close proximity to the body
Dave Waddoup W Alomainy A Hao Y
Proceedings of the 5th European Conference on Antennas and Propagation Eucap 2011., 3719-3723.
01-07-2011 - Electrical property characterization of blood glucose for on-body sensors
Yilmaz T Hao Y
Proceedings of the 5th European Conference on Antennas and Propagation Eucap 2011., 3659-3662.
01-07-2011 - ELECTRICALLY COUPLED TAPERED SLOT ULTRA WIDEBAND ANTENNA WITH TUNABLE NOTCH
Yang XD Rahman A Abbasi QH Hao Y
Microw Opt Techn Let vol. 53 (7), 1558-1561.
01-07-2011 - Experimental Verification of Carpet Cloak Realized with Dielectric Cylinders
Bao D Tang W Argyropoulos C Kallos E Hao Y
2011 IEEE International Symposium on Antennas and Propagation (APSURSI). vol. 1, 2861-2864.
01-07-2011 - MOM analysis of antenna devoted to BAN
Keshmiri F Yilmaz T Hao Y Craeye C
Proceedings of the 5th European Conference on Antennas and Propagation Eucap 2011., 441-444.
01-07-2011 - Network Coding Theorem for Dynamic Communication Networks
RIIS SM
Network Coding (NetCod), 2011 International Symposium Beijing 25 Jul 2011 - 26 Jul 2011., 1-6.
01-07-2011 - On-body performance of wireless sensor nodes using IEEE 802.15.4
Muñoz M Foster R Hao Y
Proceedings of The 5th European Conference on Antennas and Propagation Eucap 2011, 3783-3786.
01-07-2011 - THE AMBLR: A MOBILE SPATIAL AUDIO MUSIC BROWSER
Stewart R Sandler M
2011 IEEE International Conference on Multimedia and Expo. vol. 1, 1-6.
01-07-2011 - A broadband zone plate lens from transformation optics
Yang R Tang WX Hao Y
Opt Express vol. 19 (13), 12348-12355.
20-06-2011 - Persistence-based clustering in riemannian manifolds
Chazal F Guibas LJ Oudot SY Skraba P
Proceedings of the twenty-seventh annual symposium on Computational geometry., 97-106.
13-06-2011 - Zigzag persistent homology in matrix multiplication time
Milosavljević N Morozov D Skraba P
Proceedings of the twenty-seventh annual symposium on Computational geometry., 216-225.
13-06-2011 - Sequential games and optimal strategies
Escardo M Oliva P
Proceedings of The Royal Society A vol. 467 (2130), 1519-1545.
08-06-2011 - Bandwidth evaluation of dispersive transformation electromagnetics based devices
Argyropoulos C Kallos E Hao Y
Appl Phys a-Mater vol. 103 (3), 715-719.
01-06-2011 - Compact and Conformal Ultra Wideband Antenna for Wearable Applications
Sagor MH Abbasi QH ALOMAINY AHM Hao Y
the 5th European Conference on Antennas and Propagation, EuCAP Rome, Italy 11 Apr 2011 - 15 Apr 2011., 2095-2098.
31-05-2011 - Sectorial Radio Channel Characterisation for Ultra Wideband Body-centric Wireless Communications
Abbasi QH Khan MM ALOMAINY A Hao Y
the 5th European Conference on Antennas and Propagation, EuCAP Rome, Italy 11 Apr 2011 - 15 Apr 2011., 191-195.
31-05-2011 - Study of Line-of-Sight (LoS) and Non-Line-of-Sight (NLoS) Ultra Wideband Off-Body Radio Propagation for Body Centric Wireless Communications in Indoor
Abbasi QH Khan MM ALOMAINY A Hao Y
the 5th European Conference on Antennas and Propagation, EuCAP Rome, Italy 11 Apr 2011 - 15 Apr 2011., 110-14.
31-05-2011 - Scalar Field Analysis over Point Cloud Data
Chazal F Guibas LJ Oudot SY Skraba P
Discrete & Computational Geometry, Springer Nature vol. 46 (4)
17-05-2011 - Microwave characterization of vertically aligned multiwalled carbon nanotube arrays
Katsounaros A Rajab KZ Hao Y Mann M Milne WI
Appl Phys Lett vol. 98 (20)
16-05-2011 - Analytical model for the transmission of electromagnetic waves through arrays of slits in perfect conductors and lossy metal screens
Yang R Rodriguez-Berral R Medina F Hao Y
JOURNAL OF APPLIED PHYSICS. vol. 109 (10)
15-05-2011 - A Hoare logic for linear systems
Oliva P Arthan R Martin U
Formal Aspects of Computing: Applicable Formal Methods, Springer London
01-05-2011 - Subwavelength optical imaging with an array of silver nanorods
Rahman A Kosulnikov SY Hao Y Parini C Belov PA
J Nanophotonics vol. 5
26-04-2011 - Millimetre wave imaging system parameters at 95 GHz
Zhang L Hao Y Parini CG
Iet Microw Antenna P vol. 5 (5), 528-534.
11-04-2011 - K-Weight Based Spatial Autocorrelation Model for On-body Communication
Yang X Abbasi QH ALOMAINY A Hao Y
the 5th European Conference on Antennas and Propagation, EuCAP Rome, Italy 11 Apr 2011 - 15 Apr 2011., 3126-3128.
01-04-2011 - A TASK-BASED APPROACH TO PARAMETRIC IMAGING WITH DYNAMIC CONTRAST ENHANCED MRI
Haleem MS Haider MA Yetik S
2011 IEEE International Symposium on Biomedical Imaging: From Nano to Macro., 746-749.
01-03-2011 - Active Circuits for Improved Metamaterial Performance
Rajab KZ Fan Y Bao D Rahman A Hao Y
2011 International Workshop on Antenna Technology (iWAT). vol. 1, 8-9.
01-03-2011 - Functional interpretations of intuitionistic linear logic
Oliva P Ferreira G
Logical Methods in Computer Science, Institute of Theoretical Computer Science vol. 7 (1.9), 1-22.
01-03-2011 - Radio Propagation Channel Characterisation Using Ultra Wideband Wireless Tags for Body-Centric Wireless Networks in Indoor Environment
Khan MM Abbasi QH Alomainy A Hao Y
2011 International Workshop on Antenna Technology (iWAT)., 202-205.
01-03-2011 - Introduction to Categories and Categorical Logic
Abramsky S Tzevelekos N
. Lecture Notes in Physics vol. 813, 3-94.
07-02-2011 - On Various Negative Translations
Ferreira G Oliva P
Electronic Proceedings in Theoretical Computer Science. vol. 47, 21-33.
27-01-2011 - Algebraic Foundations for Information Theoretical, Probabilistic and
Guessability measures of Information Flow
Malacaria P
18-01-2011 - Linguistic Nativism and the Poverty of the Stimulus
Clark A Lappin S
07-01-2011 - A Coordinate Transformation-Based Broadband Flat Lens via Microstrip Array
Yang R Tang WX Hao Y Youngs I
IEEE Antenn Wirel Pr vol. 10, 99-102.
01-01-2011 - A Grounded Slim Luneburg Lens Antenna Based on Transformation Electromagnetics
Demetriadou A Hao Y
IEEE Antennas and Wireless Propagation Letters vol. 10, 1590-1593.
01-01-2011 - A knowledge representation framework for context-dependent audio processing
Fazekas G Sandler MB
Proc. of the AES 42nd International Conference on Semantic Audio, 22-24 July, Ilmenau, Germany., 22-24.
01-01-2011 - A Whole Body Statistical Shape Model for Radio Frequency Simulation
Lee S-L Ali K Brizzi A Keegan J Hao Y Yang G-Z
Annual International Conference of The IEEE Engineering in Medicine and Biology Society (Embc), Institute of Electrical and Electronics Engineers (IEEE) vol. 1, 7143-7146.
01-01-2011 - Algorithmic Nominal Game Semantics.
Murawski AS Tzevelekos N Barthe G
ESOP. vol. 6602, 419-438.
01-01-2011 - Automated Cyclic Entailment Proofs in Separation Logic
DISTEFANO D Petersen R Bjørner N Sofronie-Stokkermans V
CADE-23 - 23rd International Conference on Automated Deduction., 131-146.
01-01-2011 - Characterization of MB-OFDM-Based Ultrawideband Systems for Body-Centric Wireless Communications
Abbasi QH Alomainy A Hao Y
IEEE Antennas and Wireless Propagation Letters vol. 10, 1401-1404.
01-01-2011 - Cloak an Underground Antenna Using Transformation Electromagnetics
Tang W Hao Y
2011 IEEE INTERNATIONAL SYMPOSIUM ON ANTENNAS AND PROPAGATION (APSURSI)., 2861-2864.
01-01-2011 - Computing without memory
Gadouleau M Riis S
Corr vol. abs/1111.6026
01-01-2011 - Deep Learning and Its Applications to Signal and Information Processing [Exploratory DSP]
Yu D Deng L
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers (IEEE) vol. 28 (1), 145-154.
01-01-2011 - Diversity Antenna Techniques for Enhanced Ultra Wideband Body-Centric Communications
Abbasi QH Khan MM Alomainy A Hao Y
2011 IEEE INTERNATIONAL SYMPOSIUM ON ANTENNAS AND PROPAGATION (APSURSI)., 1323-1326.
01-01-2011 - Experimental Verification of Carpet Cloak Realized with Dielectric Cylinders
Bao D Tang W Argyropoulos C Kallos E Hao Y
2011 IEEE INTERNATIONAL SYMPOSIUM ON ANTENNAS AND PROPAGATION (APSURSI)., 2857-2860.
01-01-2011 - Fresh-Register Automata
Tzevelekos N
POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES., 295-306.
01-01-2011 - Game semantics for good general references
Murawski AS
26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011)., 75-84.
01-01-2011 - Improving the Confidence in Measurement-Based Timing Analysis.
Bünte S Tautschnig M
ISORC., 144-151.
01-01-2011 - Improving the key extraction performance of a simultaneous local key and chord estimation system
Pauwels J Martens J-P Leman M
IEEE International Conference on Multimedia and Expo (ICME).
01-01-2011 - jStar-eclipse: an IDE for automated verification of Java programs
Naudziuniene D Botincan M Distefano D Grigore R
SIGSOFT FSE., 428-431-428-431.
01-01-2011 - Knowledge representation issues in musical instrument ontology design
Kolozali S Fazekas G Barthet M Sandler M
Proc. of the 12th International Society for Music Information Retrieval (ISMIR’11) conference, 24-28 Oct., Miami, Florida, USA.
01-01-2011 - Low-density, high surface area electromyography of the hamstring muscles during running and kicking
Sakthibalan S MORRISSEY D Twycross-Lewis R Woledge R Hao Y
Br J Sports Med vol. e1 (2)
01-01-2011 - Making Software Verification Tools Really Work.
Alglave J Donaldson AF Kroening D Bultan T Hsiung P-A
ATVA. vol. 6996, 28-42.
01-01-2011 - Max-Flow Min-Cut Theorem for Renyi Entropy in Communication Networks
Gadouleau M Riis S
2011 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY PROCEEDINGS (ISIT)., 603-607.
01-01-2011 - Music recommendation for music learning: Hotttabs a multimedia guitar tutor
Barthet M Anglade A Fazekas G Macrae R
in Proc. of the 2nd Workshop on Music Recommendation and Discovery (WOMRAD’11) in conjunction with the ACM Recommender Systems conference (RecSys’11).
01-01-2011 - Musicology for the masses: Situating new audio technologies for musicology and music education
Stowell D Barthet M Dixon S Sandler M
Digital Engagement 2011 Newcastle 15 Nov 2011 - 17 Nov 2011.
01-01-2011 - Numerical analysis of posture variation effect on the ultra wideband on-body radio propagation channels using advanced modelling techniques
Abbasi QH Sani A Alomainy A Yang Hao
IET 8th International Conference on Computation in Electromagnetics (CEM 2011)., 6-7.
01-01-2011 - Numerical Characterisation and Modelling of Subject-Specific Ultra Wideband Body-Centric Radio Channels and Systems for Healthcare Applications
Abbasi QH Sani A ALOMAINY AHM Hao Y
IEEE Transactions on Information Technology in Biomedicine, IEEE vol. PP (99)
01-01-2011 - Parallel FDTD modeling of the spherical optical black hole
Argyropoulos C Hao Y
IET 8th International Conference on Computation in Electromagnetics (CEM 2011)., 4-5.
01-01-2011 - Radio Channel Characterisation and OFDM-based Ultra Wideband System Modelling for Body-Centric Wireless Networks
Abbasi QH Khan MM ALOMAINY AHM Hao Y
2011 International Conference on Body Sensor Networks (BSN 2011) Dallas, Texas, USA 7 Jun 2011 - 9 Jun 2011., 89-94.
01-01-2011 - Safe Parallel Programming with Session Java
Ng N Yoshida N Pernet O Hu R Kryftis Y
Lecture Notes in Computer Science. vol. 6721, 110-126.
01-01-2011 - Seamless Testing for Models and Code.
Holzer A Januzaj V Kugele S Langer B Schallhart C Giannakopoulou D Orejas F
FASE. vol. 6603, 278-293.
01-01-2011 - Sorts, ontology, and metaphor: The semantics of sortal structure
Lappin S
01-01-2011 - Soundness of Data Flow Analyses for Weak Memory Models.
Alglave J Kroening D Lugton J Nimal V Yang H
APLAS. vol. 7078, 272-288.
01-01-2011 - Spatial Correlation Analysis of On-Body Radio Channels Considering Statistical Significance
Yang XD Abbasi QH Alomainy A Hao Y
IEEE Antenn Wirel Pr vol. 10, 780-783.
01-01-2011 - Speech/Music Discrimination in Audio Podcast Using Structural Segmentation and Timbre Recognition
Barthet M Hargreaves S Sandler M
EXPLORING MUSIC CONTENTS. vol. 6684, 138-162.
01-01-2011 - Tempest - harpsichord temperament estimation in a Semantic Web environment
Tidhar D Fazekas G Mauch M Dixon S
Journal of New Music Research Special Issue on Music Informatics and The Omras2 Project vol. 39, 327-336.
01-01-2011 - The COST IC0701 Verification Competition 2011.
Bormer T Brockschmidt M Distefano D Ernst G Filliâtre J-C Grigore R Huisman M Klebanov V et al.
FoVeOOS. vol. 7421, 3-21.
01-01-2011 - The MPEG Interactive Music Application Format Standard
Jang I Kudumakis P Sandler M Kang K
IEEE Signal Proc Mag vol. 28 (1), 150-154.
01-01-2011 - The studio ontology framework
Fazekas G Sandler MB
Proceedings of the 12th International Society for Music Information Retrieval Conference Ismir 2011., 471-476.
01-01-2011 - The Studio Ontology Framework
Fazekas G Sandler M
Proc. of the 12th International Society for Music Information Retrieval (ISMIR’11) conference, 24-28 Oct., Miami, Florida, USA., 24-28.
01-01-2011 - Towards ontological representations of digital audio effects
Wilmering T Fazekas G Sandler MB
Proc. of the 14th International Conference on Digital Audio Effects (DAFx-11)., 19-23.
01-01-2011 - Towards ontological representations of digital audio effects
Wilmering T Fazekas G Sandler MB
Proceedings of the International Conference on Digital Audio Effects Dafx., 119-122.
01-01-2011 - Towards the automatic generation of a Semantic Web ontology for musical instruments
Kolozali S Barthet M Fazekas G Sandler M
01-01-2011 - Wideband Beam-Steerable Flat Reflectors via Transformation Optics
Yang R Tang W Hao Y
IEEE Antennas and Wireless Propagation Letters vol. 10, 1290-1294.
01-01-2011