Publications
- Representing Modifiable and Reusable Musical Content on the Web with Constrained Multi-Hierarchical Structures
Thalmann F Wiggins G Sandler M
IEEE Transactions on Multimedia, Institute of Electrical and Electronics Engineers
20-12-2019 - The weak call-by-value λ-calculus is reasonable for both time and space
Forster Y Kunze F
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 4 (POPL), 1-23.
20-12-2019 - Join my party! How can we enhance social interactions in music streaming?
Allik A Thalmann F Metzig C Sandler M
Web Audio Conference Trondheim.
04-12-2019 - moodplay.github.io: an online collaborative music player
Thalmann F Allik A Metzig C Sandler M
Web Audio Conference Trondheim.
04-12-2019 - 20 Years of Automatic Chord Recognition from Audio
Pauwels J O'Hanlon K Gómez E Sandler M
Proceedings of the 20th Conference of the International Society for Music Information Retrieval (ISMIR) Delft, Netherlands 4 Nov 2019 - 8 Nov 2019.
07-11-2019 - U-slot patch antenna with low RCS based on a metaferrite substrate
Liu Y Beal P Giddens H Hao Y
Epj Applied Metamaterials, Edp Open vol. 6, 20-20.
07-11-2019 - Deriving Logical Relations from Interpretations of Predicate Logic
Electronic Notes in Theoretical Computer Science, Elsevier vol. 347, 241-259.
01-11-2019 - Noise figure of electromagnetic systems with parity and time-reversal symmetry
Farooq H Rajab KZ Hao Y
Optics Express vol. 27 (22), 31363-31375.
28-10-2019 - Robustness of Adversarial Attacks in Sound Event Classification
SUBRAMANIAN V Benetos E Sandler M
4th Workshop on Detection and Classification of Acoustic Scenes and Events (DCASE 2019) New York, USA 25 Oct 2019 - 26 Oct 2019., 239-243.
25-10-2019 - An Automated Text Mining Approach for Classifying Mental-Ill Health Incidents from Police Incident Logs for Data-Driven Intelligence
Haleem MS Han L Harding PJ Ellison M
2019 IEEE International Conference on Systems, Man and Cybernetics (SMC). vol. 00, 2279-2284.
09-10-2019 - Alignment and Timeline Construction for Incomplete Analogue Audience Recordings of Historical Live Music Concerts
Wilmering T Thalmann F Sandler MB
147th Audio Engineering Society International Convention 2019.
08-10-2019 - Radio frequency controlled wireless drug delivery devices
Khan AN Ermakov A Sukhorukov G Hao Y
Applied Physics Reviews, Aip Publishing vol. 6 (4)
03-10-2019 - Approaches in Intelligent Music Production
Moffat D Sandler M
Arts, Mdpi Ag vol. 8 (4)
25-09-2019 - A Model-View-Update Framework for Interactive Web Audio Applications
Thompson A Fazekas G
Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound., 219-222.
18-09-2019 - A New Dataset for Amateur Vocal Percussion Analysis
Delgado A McDonald S Xu N Sandler M
Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound., 17-23.
18-09-2019 - Guitar String Separation Using Non-Negative Matrix Factorization and Factor Deconvolution
Senvaityte D Pauwels J Sandler M
Audio Mostly 2019.
18-09-2019 - Modelling Musical Similarity for Drum Patterns
Bruford F Barthet M McDonald S Sandler M
Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound., 131-138.
18-09-2019 - The Impact of Audio Effects Processing on the Perception of Brightness and Warmth
BROMHAM G Moffat D Daneilsen A
Audio Mostly Nottingham, UK 17 Sep 2019 - 20 Sep 2019.
17-09-2019 - 12TH PANHELLENIC LOGIC SYMPOSIUM (PLS 12, 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Anogeia, Crete, Greece June 26–30, 2019
Bulletin of Symbolic Logic, Cambridge University Press (Cup) vol. 25 (3), 420-420.
01-09-2019 - Query-based Mashups of Historical Live Music Recordings
Thalmann F WILMERING T Sandler M
9th Conference of Japanese Association for Digital Humanities (JADH2019).
29-08-2019 - Erratum: Vocal imitation of percussion sounds: On the perceptual similarity between imitations and imitated sounds (PLOS ONE (2019)14:8 (e0221722) DOI:10.1371/journal.pone.0219955)
Mehrabi A Dixon S Sandler M
Plos One, Public Library of Science (Plos) vol. 14 (8)
22-08-2019 - Three-dimensional Hyperuniform Disordered Luneburg Lens with Plasmonic Nanoparticles
Cheng Q Zhang H Hao Y
2019 International Applied Computational Electromagnetics Society Symposium - China (ACES). vol. 1, 1-2.
08-08-2019 - An analysis of the Podelski-Rybalchenko termination theorem via bar recursion
Berardi S Oliva P Steila S
Journal of Logic and Computation vol. 29 (4), 555-575.
01-08-2019 - Counting induced subgraphs: An algebraic approach to #W[1]-hardness
Dörfler J Roth M
Leibniz International Proceedings in Informatics Lipics. vol. 138
01-08-2019 - Parametric Manifold Learning of Gaussian Mixture Models
Liu Z Yu L Hsiao JH Chan AB
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence., 3073-3079.
01-08-2019 - Scaling Static Analyses at Facebook
Distefano D Fahndrich M O'Hearn PW
Communications of The Acm vol. 62 (8), 62-70.
01-08-2019 - On 3D Cluster-Based Channel Modeling for Large-Scale Array Communications
Li J Ai B He R Yang M Zhong Z Hao Y Shi G
IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers (IEEE) vol. 18 (10), 4902-4914.
30-07-2019 - Enhanced tunability in ferroelectric composites through local field enhancement and the effect of disorder
Vial B Hao Y
Journal of Applied Physics, Aip Publishing vol. 126 (4)
25-07-2019 - Vocal imitation of percussion sounds: On the perceptual similarity between imitations and imitated sounds.
Mehrabi A Dixon S Sandler M
Plos One vol. 14 (7), e0219955-e0219955.
25-07-2019 - A Feature Learning Siamese Model for Intelligent Control of the Dynamic Range Compressor
Sheng D Fazekas G
2019 International Joint Conference on Neural Networks (IJCNN). vol. 00, 1-8.
19-07-2019 - Transfer Learning for Piano Sustain-Pedal Detection
Liang B Fazekas G Sandler M
2019 International Joint Conference on Neural Networks (IJCNN). vol. 00, 1-6.
19-07-2019 - Characterization of Microchamber Arrays for Targeted Drug Delivery
Hao Y Khan AN Giddens H Sukhorukov G
2019 IEEE International Symposium on Antennas and Propagation and USNC-URSI Radio Science Meeting. vol. 00, 1-2.
12-07-2019 - Metasurface from Hyperuniform Disordered Distribution
Zhang H Hao Y
2019 IEEE International Symposium on Antennas and Propagation and USNC-URSI Radio Science Meeting. vol. 00, 1205-1206.
12-07-2019 - One Dual-Polarization 10-40 GHz Planar Array Antenna For Sattellite Communication
Liu Y Mary YHQ
2019 IEEE International Symposium on Antennas and Propagation and USNC-URSI Radio Science Meeting. vol. 00, 1213-1214.
12-07-2019 - Rotational Doppler Effect of Spinning Metasurface in Radar System
Liu B Chu H Giddens H Hao Y Li R
2019 IEEE International Symposium on Antennas and Propagation and USNC-URSI Radio Science Meeting. vol. 00, 1967-1968.
12-07-2019
, Open Publishing Association vol. 296
09-07-2019- Preface
De Angelis E Fedyukovich G Ulbrich M
Electronic Proceedings in Theoretical Computer Science Eptcs. vol. 296
09-07-2019 - Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
De Angelis E Fedyukovich G Tzevelekos N
Electronic Proceedings in Theoretical Computer Science, Open Publishing Association vol. 296
09-07-2019 - Tests from Witnesses Execution-Based Validation of Verification Results
Beyer D Dangl M Lemberger T
Tests and Proofs. vol. 10889, 3-23.
05-07-2019 - Counting answers to existential questions
Dell H Roth M
Leibniz International Proceedings in Informatics Lipics. vol. 132
01-07-2019 - Experimental Observation of Linear and Rotational Doppler Shifts from Several Designer Surfaces
Liu B Chu H Giddens H Li R Hao Y
Scientific Reports, Nature Publishing Group vol. 9 (1)
20-06-2019 - MPEG IPR ontologies for media trading and personalization
Kudumakis P Wilmering T Sandler M Foss J
1st International Workshop on Data-driven Personalization of Television (DataTV’19) held as part of the ACM International Conference on Interactive Experiences for Television and Online Video (TVX’19) Manchester, UK. vol. 2423
05-06-2019 - A Cluster-Based Channel Model for Massive MIMO Communications in Indoor Hotspot Scenarios
Li J Ai B He R Yang M Zhong Z Hao Y
IEEE Transactions on Wireless Communications, IEEE vol. 18 (8), 3856-3870.
03-06-2019 - Finding new practice material through chord-based exploration of a large music catalogue
Pauwels J Sandler M
Proceedings of the 16th Sound and Music Conference Málaga, Spain 28 May 2019 - 31 May 2019.
31-05-2019 - Comparing Cqt and Reassignment Based Chroma Features for Template-based Automatic Chord Recognition
O’Hanlon K Sandler MB
ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 860-864.
17-05-2019 - Piano Sustain-pedal Detection Using Convolutional Neural Networks
Liang B Fazekas G Sandler M
IEEE International Conference on Acoustics, Speech and Signal Processing. vol. 2019-May, 241-245.
01-05-2019 - Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs
Khouzani MHR Liu Z Malacaria P
European Journal of Operational Research, Elsevier Bv
29-04-2019 - Composite Luneburg lens based on dielectric or plasmonic scatterers.
Cheng Q Naeem M Hao Y
Optics Express, Optica Publishing Group vol. 27 (8), 10946-10960.
04-04-2019 - Field transformation-based multifunctional and wide-angle polariser for antenna polarisation characteristics manipulation
Shi H Giddens H Hao Y
Iet Microwaves, Antennas and Propagation, Institution of Engineering and Technology vol. 13 (9), 1450-1456.
03-04-2019 - Applications of the Field Transformation for Artificial Magnetic Conductors
Shi H Hao Y
2019 IEEE International Conference on Computational Electromagnetics (ICCEM). vol. 00, 1-3.
22-03-2019 - A web-based system for suggesting new practice material to music learners based on chord content
Pauwels J Sandler MB
2nd Workshop on Intelligent Music Interfaces for Listening and Creation 20 Mar 2019. vol. 2327
20-03-2019 - Max-Flow Min-Cut Theorems on Dispersion and Entropy Measures for Communication Networks
RIIS S Gadouleau M
Information and Computation, Elsevier
19-03-2019 - Real-time binaural rendering with virtual vector base amplitude panning
SHUKLA R Radu IT SANDLER M STEWART R
Audio Engineering Society Conference on Immersive and Interactive Audio York, United Kingdom 27 Mar 2019 - 29 Mar 2019.
17-03-2019 - Semantic Web Technology for New Experiences Throughout the Music Production-Consumption Chain
Sandler M De Roure D Benford S Page K
2019 International Workshop on Multilayer Music Representation and Processing (MMRP)., 49-55.
14-03-2019 - Coupled model for the study of effective parameters of ferroelectric metamaterials
Vial B Hao Y
13th European Conference on Antennas and Propagation Eucap 2019.
01-03-2019 - Flat Luneburg Lens at 0.24 THz for Antenna Beam Steering Applications
Andy AS Hao Y
13th European Conference on Antennas and Propagation Eucap 2019.
01-03-2019 - Noise Figure of a Unidirectional Cloaking Circuit Based on Parity-Time Symmetry
Farooq H Nagarkoti DS Rajab KZ Hao Y
13th European Conference on Antennas and Propagation Eucap 2019.
01-03-2019 - The Re-Emergence of the Jewish Question
Lappin S
Journal of Contemporary Antisemitism, Academic Studies Press vol. 2 (1), 29-46.
01-03-2019 - Curvilinear MetaSurfaces for Surface Wave Manipulation
La Spada L Spooner C Haq S Hao Y
Scientific Reports, Nature Publishing Group vol. 9 (1)
28-02-2019 - Experimental demonstration of Luneburg lens based on hyperuniform disordered media
Zhang H Chu H Giddens H Wu W Hao Y
Applied Physics Letters vol. 114 (5)
04-02-2019 - Generalized Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage Under Symmetric Constraints.
Khouzani MHR Malacaria P
IEEE Trans. Inf. Theory vol. 65, 888-901.
01-02-2019 - Semantic Web Technology for New Experiences Throughout the Music Production-Consumption Chain
Sandler M De Roure D Benford S Page K
2019 International Workshop on Multilayer Music Representation and Processing (MMRP). vol. 00, 49-55.
23-01-2019 - Higher-Order Linearisability
TZEVELEKOS NP
Journal of Logical and Algebraic Methods in Programming, Elsevier
21-01-2019 - Composite Luneburg lenses designed with Hyperuniform disordered structure
Zhang H Cheng Q Hao Y
2019 International Conference on Electromagnetics in Advanced Applications (ICEAA). vol. 00, 1447-1448.
09-01-2019 - Radio-Frequency and Microwave Techniques for Non-Invasive Measurement of Blood Glucose Levels
Yilmaz T Foster R Hao Y
Diagnostics, Mdpi vol. 9 (1)
08-01-2019 - Reversible Privacy Preservation using Multi-level Encryption and Compressive Sensing
Yamaç M Ahishali M Passalis N Raitoharju J Sankur B Gabbouj M
2019 27th European Signal Processing Conference (EUSIPCO). vol. 00, 1-5.
06-01-2019 - Spectral Visibility Graphs: Application to Similarity of Harmonic Signals
Yela DF Stowell D Sandler M
2019 27th European Signal Processing Conference (EUSIPCO). vol. 00, 1-5.
06-01-2019 - THz links using tube amplifiers and steerable beams for indoor applications
Belem-Goncalves C Sarker A Giddens H Biurrun C Boccio CD-R Luxey C Hao Y Basu R et al.
2019 44th International Conference on Infrared, Millimeter, and Terahertz Waves (IRMMW-THz). vol. 00, 1-2.
06-01-2019 - Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures
Castro D Hu R Jongmans S-S Ng N Yoshida N
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 3 (POPL), 1-30.
02-01-2019 - Alignment and timeline construction for incomplete analogue audience recordings of historical live music concerts
Wilmering T Thalmann F Sandler MB
147th Audio Engineering Society International Convention 2019.
01-01-2019 - An automated approach to the application of reverberation
Moffat D Sandler MB
147th Audio Engineering Society International Convention 2019.
01-01-2019 - Automatic mixing level balancing enhanced through source interference identification
Moffat D Sandler MB
AES 146th International Convention.
01-01-2019 - CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker: (Competition Contribution)
Khazem K Tautschnig M
Lecture Notes in Computer Science. vol. 11429 LNCS, 199-203.
01-01-2019 - Channel Ordering and Supermodularity
Americo A Malacaria P Khouzani MHR
2019 IEEE INFORMATION THEORY WORKSHOP (ITW)., 674-678.
01-01-2019 - Characterization of Microchamber Arrays for Targeted Drug Delivery
Hao Y Khan AN Giddens H Sukhorukov G
2019 IEEE INTERNATIONAL SYMPOSIUM ON ANTENNAS AND PROPAGATION AND USNC-URSI RADIO SCIENCE MEETING., 11-12.
01-01-2019 - Counting induced subgraphs: A topological approach to #W[1]-hardness
Roth M Schmitt J
Leibniz International Proceedings in Informatics Lipics. vol. 115
01-01-2019 - Estimating point-of-interest rating based on visitors geospatial behaviour
Senozetnik M Bradesko L Subic T Herga Z Urbancic J Skraba P Mladenic D
South African Computer Journal, National Library of Serbia vol. 16 (1), 131-154.
01-01-2019 - Groove explorer: An intelligent visual interface for drum loop library navigation
Bruford F McDonald ST Barthet M Sandler M
Ceur Workshop Proceedings. vol. 2327
01-01-2019 - Higher-order linearisability.
Murawski AS Tzevelekos N
J. Log. Algebraic Methods Program. vol. 104, 86-116.
01-01-2019 - Hindsight policy gradients
Rauber P Ummadisingu A Mutz F
ICLR 2019., 1-1.
01-01-2019 - Machine learning multitrack gain mixing of drums
Moffat D Sandler MB
147th Audio Engineering Society International Convention 2019.
01-01-2019 - Predicting metaphor paraphrase judgements in context
Bizzoni Y Lappin S
Iwcs 2019 Proceedings of the 13th International Conference on Computational Semantics Long Papers., 165-175.
01-01-2019 - Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019.
HCVS/PERR@ETAPS. vol. 296
01-01-2019 - Pseudo-Random Number Generation Using Generative Adversarial Networks
De Bernardi M Khouzani MHR Malacaria P
Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) vol. 11329 LNAI, 191-200.
01-01-2019 - Random \v Cech Complexes on Riemannian Manifolds
Bobrowski O
Random Structures & Algorithms vol. 54, 373-412.
01-01-2019 - The Effect of Context on Metaphor Paraphrase Aptness Judgments
Bizzoni Y Lappin S
Proceedings of the 13th International Conference on Computational Semantics - Long Papers., 165-175.
01-01-2019