Publications
- On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem
Arthan R Oliva P
Journal of Logic and Analysis, Journal of Logic and Analysis vol. 13
31-12-2021 - Channel-supermodular entropies: Order theory and an application to query anonymization
Américo A Khouzani M Malacaria P
Entropy vol. 24 (1)
25-12-2021 - Counting Induced Subgraphs: An Algebraic Approach to #W[1]-Hardness
Dörfler J Roth M Wellnitz P
Algorithmica, Springer Nature vol. 84 (2), 379-404.
07-12-2021 - On rational choice and the representation of decision problems
Oliva P Zahn P
Games vol. 12 (4)
01-12-2021 - STAR: Simultaneous Transmission and Reflection for 360° Coverage by Intelligent Surfaces
Liu Y Mu X Xu J Schober R Hao Y Poor HV Hanzo L
IEEE Wireless Communications, Institute of Electrical and Electronics Engineers (IEEE) vol. 28 (6), 102-109.
01-12-2021 - micarraylib: Software for Reproducible Aggregation, Standardization, and Signal Processing of Microphone Array Datasets.
Roman Guzman I Bello J
Detection and Classification of Acoustic Scenes and Events 2021.
15-11-2021 - Zero-shot Singing Technique Conversion
O'Connor B Fazekas G Dixon S
Computer Music Multidisciplinary Research Tokyo 15 Nov 2021 - 19 Nov 2021., 235-244.
15-11-2021 - Real-time binaural room modelling for augmented reality applications
Yeoward C Shukla R Stewart R Sandler M Reiss J
Journal of The Audio Engineering Society, Audio Engineering Society
08-11-2021 - Neural Waveshaping Synthesis
Hayes B Saitis C
Proceedings of the 22nd International Society for Music Information Retrieval Online 8 Nov 2021 - 12 Nov 2021.
07-11-2021 - Broadband High-Efficiency Ultrathin Metasurfaces With Simultaneous Independent Control of Transmission and Reflection Amplitudes and Phases
Wang Y Ge Y Chen Z Liu X Pu J Liu K Chen H Hao Y
IEEE Transactions on Microwave Theory and Techniques, Institute of Electrical and Electronics Engineers (IEEE) vol. 70 (1), 254-263.
21-10-2021 - A multiparty session typing discipline for fault-tolerant event-driven distributed programming
Viering M Hu R Eugster P Ziarek L
Proceedings of The Acm on Programming Languages vol. 5 (OOPSLA), 1-30.
15-10-2021 - A Novel 3D Non-Stationary GBSM for 6G THz Ultra-Massive MIMO Wireless Systems
Wang J Wang C-X Huang J Wang H Gao X You X Hao Y
IEEE Transactions on Vehicular Technology, Institute of Electrical and Electronics Engineers (IEEE) vol. 70 (12), 12312-12324.
01-10-2021 - Subject-oriented spatial logic
Wałęga PA Zawidzki M
Information and Computation, Elsevier vol. 280
01-10-2021 - Joint Geometric and Topological Analysis of Hierarchical Datasets
Aloni L Talmon R
ECML PKDD 2021.
11-09-2021 - Multimaterial 3-D Printed Compressed Luneburg Lens for mm-Wave Beam Steering
Giddens H Andy AS Hao Y
IEEE Antennas and Wireless Propagation Letters, Institute of Electrical and Electronics Engineers (IEEE) vol. 20 (11), 2166-2170.
02-09-2021 - DatalogMTL with Negation Under Stable Models Semantics
Wałęga PA Tena Cucala DJ Kostylev EV Cuenca Grau B
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning., 609-618.
01-09-2021 - Finitely Materialisable Datalog Programs with Metric Temporal Operators
Wałęga PA Zawidzki M
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning., 619-628.
01-09-2021 - Time adaptive ECG driven cardiovascular disease detector
Haleem MS Castaldo R Pagliara SM Petretta M Salvatore M Franzese M Pecchia L
Biomedical Signal Processing and Control, Elsevier vol. 70
01-09-2021 - Vocal Harmony Separation using Time-domain Neural Networks
Sarkar S Benetos E Sandler M
22nd Annual Conference of the International Speech Communication Association (INTERSPEECH) Brno, Czech Republic 30 Aug 2021 - 3 Sep 2021., 3515-3519.
30-08-2021 - Persistent Homology in $\\ell_\\infty$ Metric
Skraba P Beltramo G
Computational Geometry: Theory and Applications, Elsevier
26-08-2021 - Violinist identification based on vibrato features
Zhao Y Wang C Fazekas G Benetos E Sandler M
29th European Signal Processing Conference (EUSIPCO) 23 Aug 2021 - 27 Aug 2021., 381-385.
23-08-2021 - Parameterized (Modular) Counting and Cayley Graph Expanders
Peyerimhoff N Roth M Schmitt J Stix J Vdovina A
46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). vol. 202
01-08-2021 - Policing and Mental ill-health: Using Big Data to Assess the Scale and Severity of, and the Frontline Resources Committed to, mental ill-health-related calls-for-service
Langton S Bannister J Ellison M Haleem MS Krzemieniewska-Nandwani K
Policing a Journal of Policy and Practice, Oxford University Press (OUP) vol. 15 (3), 1963-1976.
30-07-2021 - Discovering Common Practice: Using Graph Theory to Compare Harmonic Sequences in Musical Audio Collections
Miller J Nicosia V Sandler M
8th International Conference on Digital Libraries for Musicology., 93-97.
28-07-2021 - Invisible surfaces enabled by the coalescence of anti-reflection and wavefront controllability in ultrathin metasurfaces
Chu H Zhang H Zhang Y Peng R Wang M Hao Y Lai Y
Nature Communications, Springer Nature vol. 12 (1)
26-07-2021 - Sketching sounds: an exploratory study on sound-shape associations
Löbbers S Barthet M
International Computer Music Conference Santiago de Chile, Chile 25 Jul 2021 - 31 Jul 2021.
25-07-2021 - DoReMi: First glance at a universal OMR dataset
Shatri E
3rd International Workshop on Reading Music Systems Alicante, Spain 23 Jul 2021.
23-07-2021 - A Modulation Front-End for Music Audio Tagging
Vahidi C Fazekas G
The International Joint Conference on Neural Networks 18 Jul 2021 - 22 Jul 2021.
18-07-2021 - MusCaps: generating captions for music audio
Manco I Benetos E Quinton E
International Joint Conference on Neural Networks (IJCNN) 18 Jul 2021 - 22 Jul 2021.
18-07-2021 - Intelligent control method for the dynamic rangecompressor: A user study
Singh S
Journal of The Audio Engineering Society, Audio Engineering Society
07-07-2021 - Detecting and counting small subgraphs, and evaluating a parameterized tutte polynomial: Lower bounds via toroidal grids and cayley graph expanders
Roth M Schmitt J
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). vol. 198
01-07-2021 - The evolution of drum modes with strike intensity: Analysis and synthesis using the discrete cosine transforma)
Kirby T Sandler M
The Journal of The Acoustical Society of America, Acoustical Society of America (ASA) vol. 150 (1), 202-214.
01-07-2021 - User HRTF Selection for 3D Auditory Mixed Reality
Shukla R Stewart R Sandler M
Sound and Music Computing Conference Online 29 Jun 2021 - 1 Jul 2021.
30-06-2021 - A Generalized Loss Function for Crowd Counting and Localization
Wan J Liu Z Chan AB
2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). vol. 00, 1974-1983.
25-06-2021 - Bayesian Nested Neural Networks for Uncertainty Calibration and Adaptive Compression
Cui Y Liu Z Li Q Chan AB Xue CJ
2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). vol. 00, 2392-2401.
25-06-2021 - Reconfigurable Intelligent Surfaces for 6G Systems: Principles, Applications, and Research Directions
Pan C Ren H Wang K Kolb JF Elkashlan M Chen M Di Renzo M Hao Y et al.
IEEE Communications Magazine, Institute of Electrical and Electronics Engineers (IEEE) vol. 59 (6), 14-20.
01-06-2021 - Analogical discovery of disordered perovskite oxides by crystal structure information hidden in unsupervised material fingerprints
Ihalage A Hao Y
Npj Computational Materials, Nature Research (Part of Springer Nature) vol. 7 (1)
21-05-2021 - Bayesian Stackelberg games for cyber-security decision support
Zhang Y Malacaria P
Decision Support Systems, Elsevier vol. 148
15-05-2021 - Reinforcement Learning in Sparse-Reward Environments with Hindsight Policy Gradients
Rauber P Ummadisingu A Mutz F
Neural Computation, Massachusetts Institute of Technology Press (MIT Press)
13-05-2021 - Anomalous behaviour in loss-gradient based interpretability methods
Subramanian V Gururani S Benetos E Sandler M
RobustML workshop paper at ICLR 2021.
07-05-2021 - Peter John Bell Clarricoats. 6 April 193217 January 2020
Snowden C Hao Y
Biographical Memoirs of Fellows of The Royal Society, The Royal Society vol. 71, 103-122.
28-04-2021 - High frequency meta-ferroelectrics by inverse design
Vial B Hao Y
Optical Materials Express, Optica Publishing Group vol. 11 (5)
20-04-2021 - Deep Learning and Linguistic Representation
Lappin S
17-04-2021 - FifthNet: Structured Compact Neural Networks for Automatic Chord Recognition
OHanlon K Sandler MB
IEEE/Acm Transactions on Audio Speech and Language Processing, Institute of Electrical and Electronics Engineers (IEEE) vol. 29, 2671-2682.
09-04-2021 - Code-level model checking in the software development workflow at Amazon Web Services
Chong N Cook B Eidelman J Kallas K Khazem K Monteiro FR Tasiran S Tautschnig M
Software - Practice and Experience vol. 51 (4), 772-797.
01-04-2021 - Parameterized Counting of Partially Injective Homomorphisms
Roth M
Algorithmica, Springer Nature vol. 83 (6), 1829-1860.
11-03-2021 - Context-Aware Intelligent Mixing Systems
Lefford MN Bromham G
Journal of The Audio Engineering Society, Audio Engineering Society vol. 69 (3), 128-141.
10-03-2021 - Hyperuniform disordered distribution metasurface for scattering reduction
Zhang H Cheng Q Chu H Christogeorgos O Wu W Hao Y
Applied Physics Letters, Aip Publishing vol. 118 (10)
08-03-2021 - Understanding policing demand and deployment through the lens of the city and with the application of big data
Ellison M Bannister J Do Lee W Haleem MS
Urban Studies, Sage Publications vol. 58 (15), 3157-3175.
26-02-2021 - Deep learning framework for subject-independent emotion detection using wireless signals
Khan AN Ihalage AA Ma Y Liu B Liu Y Hao Y
Plos One, Public Library of Science (Plos) vol. 16 (2)
03-02-2021 - Optimization-Time Analysis for Cybersecurity
Zhang Y Malacaria P
IEEE Transactions on Dependable and Secure Computing
01-02-2021 - Extraordinary Directive Emission and Scanning from an Array of Radiation Sources with Hyperuniform Disorder
Christogeorgos O Zhang H Cheng Q Hao Y
Physical Review Applied vol. 15 (1)
29-01-2021 - A Parametrised Functional Interpretation of Heyting Arithmetic
Dinis B Oliva P
Annals of Pure and Applied Logic, 102940-102940.
07-01-2021 - Special Issue on Deep Learning for Applications in Acoustics: Modeling, Synthesis, and Listening
Gabrielli L Fazekas G
Applied Sciences, Mdpi vol. 11 (2)
06-01-2021 - Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures.
Américo A Malacaria P
CSF., 1-14.
01-01-2021 - Counting Homomorphisms to $K_4$-Minor-Free Graphs, Modulo 2
Focke J Goldberg LA Roth M Živný S
Siam Journal on Discrete Mathematics, Society For Industrial & Applied Mathematics (Siam) vol. 35 (4), 2749-2814.
01-01-2021 - Learning Models for Query by Vocal Percussion: A Comparative Study
Delgado A McDonald ST Xu N Saitis C Sandler M
Icmc 2021 Proceedings of the International Computer Music Conference 2021., 166-171.
01-01-2021 - Learning music audio representations via weak language supervision.
Manco I Benetos E Fazekas G
Corr vol. abs/2112.04214
01-01-2021 - MusCaps: Generating Captions for Music Audio.
Manco I Benetos E Quinton E
IJCNN., 1-8.
01-01-2021 - Performer Identification From Symbolic Representation of Music Using Statistical Models
Rafee SRM Fazekas G Wiggins GA
ICMC 2021 - Proceedings of the International Computer Music Conference 2021., 178-184.
01-01-2021 - Phoneme Mappings for Online Vocal Percussion Transcription
Delgado A Saitis C Sandler M
151st Audio Engineering Society Convention 2021., 129-138.
01-01-2021