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 - 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 - Intelligent Control Method for the Dynamic Range Compressor: A User Study
Singh S Bromham G Sheng D Fazekas G
Journal of The Audio Engineering Society, Audio Engineering Society vol. 69 (7/8), 576-585.
11-11-2021 - Real-time binaural room modelling for augmented reality applications
Yeoward C Shukla R Stewart R Sandler M Reiss JD
Journal of The Audio Engineering Society, Audio Engineering Society vol. 69 (11), 818-833.
11-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 - Analysing Affective Behavior in the second ABAW2 Competition
Kollias D
2021 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW). vol. 00, 3645-3653.
17-10-2021 - MIA-COV19D: COVID-19 Detection through 3-D Chest CT Image Analysis
Kollias D Arsenos A Soukissian L
2021 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW). vol. 00, 537-544.
17-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 - Investigating the conformal behavior of SU(2) with one adjoint Dirac flavor
Athenodorou A Bennett E Bergner G Lucini B
Physical Review D, American Physical Society (Aps) vol. 104 (7)
01-10-2021 - Subject-oriented spatial logic
Wałęga PA Zawidzki M
Information and Computation, Elsevier vol. 280
01-10-2021 - Bayesian Stackelberg games for cyber-security decision support
Zhang Y Malacaria P
Decision Support Systems, Elsevier vol. 148
01-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
Interspeech 2021., 3515-3519.
30-08-2021 - Violinist identification based on vibrato features
Zhao Y Wang C Fazekas G Benetos E Sandler M
2021 29th European Signal Processing Conference (EUSIPCO). vol. 00, 381-385.
27-08-2021 - Theorems for free from separation logic specifications
Birkedal L Dinsdale-Young T Guéneau A Jaber G Svendsen K
Proceedings of the ACM on Programming Languages. vol. 5 (ICFP), 1-29.
19-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 - 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 Saitis C
2021 International Joint Conference on Neural Networks (IJCNN). vol. 00, 1-7.
22-07-2021 - An interactive tool for enhancing hospital capacity predictions using an epidemiological model
Gibson F Fabbro R Rahat A Torsney-Weir T Archambault D Gravenor M Lucini B
Proceedings of the Genetic and Evolutionary Computation Conference Companion., 55-56.
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 - Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures
Américo A Malacaria P
2021 IEEE 34th Computer Security Foundations Symposium (CSF). vol. 00, 1-14.
25-06-2021 - Macdonald indices for four-dimensional N=3 theories
Agarwal P Andriolo E Kántor G Papageorgakis C
Physical Review D vol. 103 (12)
15-06-2021 - Reinforcement Learning in Sparse-Reward Environments With Hindsight Policy Gradients
Rauber P Ummadisingu A Mutz F
Neural Computation, MIT Press vol. 33 (6), 1498-1553.
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 - MusCaps: Generating Captions for Music Audio
Manco I Benetos E Fazekas G
24-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 - Artificial Intelligence (AI): Multidisciplinary perspectives on emerging challenges, opportunities, and agenda for research, practice and policy
Dwivedi YK Hughes L Ismagilova E Aarts G Coombs C Crick T Duan Y Dwivedi R et al.
International Journal of Information Management, Elsevier vol. 57
01-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 - Ergodic sampling of the topological charge using the density of states
Cossu G Lancaster D Lucini B Pellegrini R Rago A
European Physical Journal C, Springer Nature vol. 81 (4)
01-04-2021 - Quantum field-theoretic machine learning
Bachtis D Aarts G Lucini B
Physical Review D, American Physical Society (Aps) vol. 103 (7)
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 - Glueballs and strings in Sp(2N) Yang-Mills theories
Bennett E Holligan J Hong DK Lee J-W Lin C-JD Lucini B Piai M Vadacchino D
Physical Review D, American Physical Society (Aps) vol. 103 (5)
01-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 - Machine Learning for Predictive Modelling of Ambulance Calls
Yu M Kollias D Wingate J Kollias S
Electronics, Mdpi vol. 10 (4)
18-02-2021 - Adding machine learning within Hamiltonians: Renormalization group transformations, symmetry breaking and restoration
Bachtis D Aarts G Lucini B
Physical Review Research, American Physical Society (Aps) vol. 3 (1)
01-02-2021 - Optimization-Time Analysis for Cybersecurity
Zhang Y Malacaria P
IEEE Transactions on Dependable and Secure Computing
01-02-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 - (Mis-)matching type-B anomalies on the Higgs branch
Niarchos V Papageorgakis C
Journal of High Energy Physics vol. 2021 (1)
01-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 - Joint Geometric and Topological Analysis of Hierarchical Datasets
Aloni L Bobrowski O
Lecture Notes in Computer Science. vol. 12977, 478-493.
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 - Transparent Adaptation in Deep Medical Image Diagnosis
Kollias D Vlaxos Y Seferis M Kollia I Wingate J
Lecture Notes in Computer Science. vol. 12641, 251-267.
01-01-2021