Publications
- Probabilistic convergence and stability of random mapper graphs
Brown A Bobrowski O Wang B
Journal of Applied and Computational Topology, Springer Nature vol. 5 (1), 99-140.
17-12-2020 - Game Semantics for Interface Middleweight Java.
Murawski AS
J. Acm vol. 68, 4:1-4:1.
11-12-2020 - Homological Percolation: The Formation of Giant k-Cycles
Bobrowski O Skraba P
International Mathematics Research Notices, Oxford University Press (OUP) vol. 2022 (8), 6186-6213.
04-12-2020 - Accelerating solitons
Melnikov IV Papageorgakis C
Physical Review D vol. 102 (12)
01-12-2020 - Disease control across urban–rural gradients
Wells K Lurgi M Collins B Lucini B Kao RR Lloyd AL Frost SDW Gravenor MB
Journal of The Royal Society Interface, The Royal Society vol. 17 (173)
01-12-2020 - Forced Soliton Equation and Semiclassical Soliton Form Factors
Melnikov IV Papageorgakis C
Physical Review Letters vol. 125 (23)
01-12-2020 - From Personalised Predictions to Targeted Advice: Improving Self-Management in Rheumatoid Arthritis
Fahmi A Soyel H Marsh DWR Curzon P Macbrayne A Humby F
Integrated Citizen Centered Digital Health and Social Care 26 Nov 2020 - 27 Nov 2020.
25-11-2020 - From Personalised Predictions to Targeted Advice: Improving Self-Management in Rheumatoid Arthritis.
Fahmi A Soyel H Marsh W Curzon P MacBrayne A Humby F
Studies in Health Technology and Informatics, Ios Press vol. 275, 62-66.
23-11-2020 - Analysing Affective Behavior in the First ABAW 2020 Competition
Kollias D Schulc A Zafeiriou S
2020 15th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2020). vol. 00, 637-643.
20-11-2020 - Counting Small Induced Subgraphs Satisfying Monotone Properties
Roth M Wellnitz P
2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS). vol. 00, 1356-1367.
19-11-2020 - Featherweight go
Griesemer R Hu R Kokke W Lange J Taylor IL Toninho B Wadler P Yoshida N
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 4 (OOPSLA), 1-29.
13-11-2020 - Statically verified refinements for multiparty protocols
Zhou F Ferreira F Hu R Neykova R Yoshida N
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 4 (OOPSLA), 1-30.
13-11-2020 - Mapping distinct phase transitions to a neural network
Bachtis D Aarts G Lucini B
Physical Review E, American Physical Society (Aps) vol. 102 (5)
01-11-2020 - The Sense of Auditory Presence in a Choir for Virtual Reality
Bryce L Sandler M Serafin S Andersen L
149th Conference of the Audio Engineering Society New York.
25-10-2020 - An Exploratory Study on Perceptual Spaces of
the Singing Voice
O'Connor B Dixon S Fazekas G
The 2020 Joint Conference on AI Music Creativity Proceedings of the 2020 Joint Conference on AI Creativity 19 Oct 2020 - 23 Oct 2020. vol. 1 (1)
19-10-2020 - Using semantic waves to analyse the effectiveness of unplugged computing activities
Curzon P Waite J Maton K
Proceedings of the 15th Workshop on Primary and Secondary Computing Education., 1-10.
15-10-2020 - From Music Ontology Towards Ethno-Music-Ontology
Proutskova P Volk A Heidarian P
International Society for Music Information Retrieval Conference Montreal, Canada 11 Oct 2020 - 16 Oct 2020., 923-931.
11-10-2020 - Model Checking Software-Defined Networks with Flow Entries that Time Out
Klimis V Reus B
Formal Methods in Computer-Aided Design – FMCAD.
05-10-2020 - Understanding and responding to COVID-19 in Wales: protocol for a privacy-protecting data platform for enhanced epidemiology and evaluation of interventions
Lyons J Akbari A Torabi F Davies GI North L Griffiths R Bailey R Hollinghurst J et al.
Bmj Open, Bmj vol. 10 (10)
01-10-2020 - Using model checking tools to triage the severity of security bugs in the Xen hypervisor
Cook B Döbel B Kroening D Manthey N Polgreen E
Formal Methods in Computer Aided Design. vol. 00, 185-193.
24-09-2020 - Spectral and Temporal Timbral Cues of Vocal Imitations of Drum Sounds
Delgado Luezas A Saitis C Sandler M
2nd International Conference on Timbre.
04-09-2020 - Timbre Space Representation of a Subtractive Synthesizer
Vahidi C Fazekas G Saitis C
International Conference on Timbre (Timbre 2020) 3 Sep 2020 - 4 Sep 2020.
03-09-2020 - Extending machine learning classification capabilities with histogram reweighting
Bachtis D Aarts G Lucini B
Physical Review E, American Physical Society (Aps) vol. 102 (3)
01-09-2020 - Poster: Programming Practices Among Interactive Audio Software Developers
Thompson A Fazekas G
2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). vol. 00, 1-2.
14-08-2020 - On Performance and Perceived Effort in Trail Runners Using Sensor Control to Generate Biosynchronous Music
Williams D Fazenda B Williamson V
Sensors, Mdpi vol. 20 (16)
13-08-2020 - Exploiting Multi-CNN Features in CNN-RNN Based Dimensional Emotion Recognition on the OMG in-the-Wild Dataset
Kollias D
IEEE Transactions on Affective Computing, Institute of Electrical and Electronics Engineers (IEEE) vol. 12 (3), 595-606.
04-08-2020 - Topology‐Aware Surface Reconstruction for Point Clouds
Brüel‐Gabrielsson R Ganapathi‐Subramanian V Skraba P Guibas LJ
Computer Graphics Forum, Wiley vol. 39 (5), 197-207.
01-08-2020 - The Influence of Intra-Daily Activities and Settings upon Weekday Violent Crime in Public Spaces in Manchester, UK
Lee WD Haleem MS Ellison M Bannister J
European Journal on Criminal Policy and Research, Springer Nature vol. 27 (3), 375-395.
10-07-2020 - Color dependence of tensor and scalar glueball masses in 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. 102 (1)
01-07-2020 - Code-level model checking in the software development workflow
Chong N Cook B Kallas K Khazem K Monteiro FR Tasiran S Tautschnig M
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice., 11-20.
27-06-2020 - Identifying master violinists using note-level audio features
Zhao Y Fazekas G Sandler M
17th Sound and Music Computing Conference 24 Jun 2020 - 27 Jun 2020. vol. 2020-June, 185-192.
24-06-2020 - How Furiously Can Colourless Green Ideas Sleep? Sentence Acceptability in Context.
Lau JH Armendariz CS Lappin S Purver M Shu C
Trans. Assoc. Comput. Linguistics, MIT Press vol. 8, 296-310.
22-06-2020 - The ‘Exposed’ Population, Violent Crime in Public Space and the Night-time Economy in Manchester, UK
Haleem MS Do Lee W Ellison M Bannister J
European Journal on Criminal Policy and Research, Springer Nature vol. 27 (3), 335-352.
20-06-2020 - Efficient Context-Aware Lossy Image Compression
Xu J Lytchier A Kollias D Besenbruch C
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). vol. 00, 552-554.
19-06-2020 - Cloud-smart Musical Instrument Interactions
Turchet L Pauwels J Fischione C Fazekas G
Acm Transactions on Internet of Things, Association For Computing Machinery (Acm) vol. 1 (3), 1-29.
01-06-2020 - Difficulties with design: The challenges of teaching design in K-5 programming
Waite J Curzon P Marsh W Sentance S
Computers & Education, Elsevier vol. 150
01-06-2020 - How Furiously Can Colorless Green Ideas Sleep? Sentence Acceptability in Context
Lau JH Armendariz C Lappin S Purver M Shu C
Transactions of The Association For Computational Linguistics, MIT Press vol. 8, 296-310.
01-06-2020 - Symbolic execution game semantics
Lin YY Tzevelekos N
Leibniz International Proceedings in Informatics Lipics vol. 167
01-06-2020 - Double Negation Semantics for Generalisations of Heyting Algebras
Arthan R Oliva P
Studia Logica, Springer Nature vol. 109 (2), 341-365.
25-05-2020 - The Internet of Audio Things: State of the Art, Vision, and Challenges
Turchet L Fazekas G Lagrange M Ghadikolaei HS
IEEE Internet of Things Journal vol. 7 (10), 10233-10249.
25-05-2020 - Optical Music Recognition: State of the Art and Major Challenges
Shatri E Fazekas G
International Conference on Technologies for Music Notation and Representation Hamburg 12 May 2020 - 14 May 2020.
12-05-2020 - A Study on the Transferability of Adversarial Attacks in Sound Event Classification
Subramanian V Pankajakshan A Benetos E Xu N McDonald S Sandler M
ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 301-305.
08-05-2020 - The Fifthnet Chroma Extractor
Hanlon KO Sandler MB
ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 3752-3756.
08-05-2020 - Classification of origin with feature selection and network construction for folk tunes
Metzig C Gould M Noronha R Abbey R Sandler M Colijn C
Pattern Recognition Letters, Elsevier vol. 133, 356-364.
01-05-2020 - Kripke Semantics for Intuitionistic Łukasiewicz Logic
Lewis-Smith A Oliva P Robinson E
Studia Logica, Springer Nature vol. 109 (2), 313-339.
21-04-2020 - Randomly Weighted $d$-Complexes: Minimal Spanning Acycles and Persistence Diagrams
Skraba P Thoppe G Yogeshwaran D
The Electronic Journal of Combinatorics, The Electronic Journal of Combinatorics vol. 27 (2)
17-04-2020 - Model checking boot code from AWS data centers
Cook B Khazem K Kroening D Tasiran S
Formal Methods in System Design, Springer Nature vol. 57 (1), 34-52.
15-04-2020 - Conditional Entropy and Data Processing: an Axiomatic Approach Based on Core-Concavity
Americo A Khouzani M Malacaria P
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers (IEEE), 1-1.
13-04-2020 - Geometrical aspects of an Abelian (2,0) action
Andriolo E Lambert N
Journal of High Energy Physics vol. 2020 (4)
01-04-2020 - Online visibility graphs: Encoding visibility in a binary search tree
Yela DF Thalmann F Nicosia V Stowell D Sandler M
Physical Review Research, American Physical Society (Aps) vol. 2 (2)
01-04-2020 - Sp(4) gauge theories on the lattice: Quenched fundamental and antisymmetric fermions
Bennett E Hong DK Lee J-W Lin C-JD Lucini B Mesiti M Piai M Rantaharju J et al.
Physical Review D, American Physical Society (Aps) vol. 101 (7)
01-04-2020 - Type-B anomaly matching and the 6D (2,0) theory
Niarchos V Papageorgakis C
Journal of High Energy Physics vol. 2020 (4)
01-04-2020 - Homological percolation and the Euler characteristic
Bobrowski O Skraba P
Physical Review E, American Physical Society (Aps) vol. 101 (3)
01-03-2020 - On the Herbrand functional interpretation
Oliva P Xu C
Mathematical Logic Quarterly, Wiley vol. 66 (1), 91-98.
01-03-2020 - The Challenge: From MPEG Intellectual Property Rights Ontologies to Smart Contracts and Blockchains
Kudumakis P Wilmering T Sandler M Rodrguez-Doncel V Boch L Delgado J
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers (IEEE) vol. 37 (2), 89-95.
01-03-2020 - Deep Neural Network Augmentation: Generating Faces for Affect Analysis
Kollias D Cheng S Kotsia I
International Journal of Computer Vision, Springer Nature vol. 128 (5), 1455-1484.
22-02-2020 - A History of Audio Effects
Wilmering T Moffat D Milo A Sandler MB
Applied Sciences, Mdpi vol. 10 (3)
22-01-2020 - Counting Induced Subgraphs: A Topological Approach to #W[1]-hardness
Roth M Schmitt J
Algorithmica, Springer Nature vol. 82 (8), 2267-2291.
22-01-2020 - The Internet of Musical Things Ontology
Turchet L Antoniazzi F Viola F Giunchiglia F
Journal of Web Semantics vol. 60
22-01-2020 - QQIF: Quantum Quantitative Information Flow (invited paper)
Américo A Malacaria P
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). vol. 00, 261-270.
11-01-2020 - Computing general observables in lattice models with complex actions
Francesconi O Holzmann M Lucini B Rago A Rantaharju J
, Sissa Medialab Srl
04-01-2020 - Sp(2N) Yang-Mills towards large N.
Holligan J Bennett E Hong DK Lee J-W Lin C-JD Lucini B Piai M Vadacchino D
, Sissa Medialab Srl
04-01-2020 - A METHOD FOR ANALYSIS OF SHARED STRUCTURE IN LARGE MUSIC COLLECTIONS USING TECHNIQUES FROM GENETIC SEQUENCING AND GRAPH THEORY
Thalmann F Yoshii K Wilmering T Wiggins GA Sandler MB
Proceedings of the 21st International Society for Music Information Retrieval Conference Ismir 2020., 343-350.
01-01-2020 - A Topology Layer for Machine Learning
Brüel-Gabrielsson R Nelson BJ Dwaraknath A Skraba P Guibas LJ Carlsson G
Proceedings of Machine Learning Research. vol. 108, 1553-1563.
01-01-2020 - AdS7 black-hole entropy and 5D N = 2 Yang-Mills
Kántor G Papageorgakis C Richmond P
Journal of High Energy Physics vol. 2020 (1)
01-01-2020 - ADVANCED FOURIER DECOMPOSITION FOR REALISTIC DRUM SYNTHESIS
Kirby T Sandler M
Proceedings of the International Conference on Digital Audio Effects Dafx. vol. 1, 155-162.
01-01-2020 - Biophysiologically synchronous computer generated music improves performance and reduces perceived effort in trail runners
Williams D Fazenda B
Proceedings of the International Conference on New Interfaces for Musical Expression., 531-536.
01-01-2020 - Conditional Entropy and Data Processing: An Axiomatic Approach Based on Core-Concavity.
Américo A Khouzani MHR Malacaria P
IEEE Trans. Inf. Theory vol. 66, 5537-5547.
01-01-2020 - Convergence of persistence diagrams for topological crackle
Owada T Bobrowski O
Bernoulli vol. 26, 2275-2310.
01-01-2020 - Counting and finding homomorphisms is universal for parameterized complexity theory
Roth M Wellnitz P
Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms. vol. 2020-January, 2161-2180.
01-01-2020 - Density of State Method for Complex Action Systems
Francesconi O Holzmann M Lucini B Rago A
Acta Physica Polonica B Proceedings Supplement, Jagiellonian University vol. 13 (1)
01-01-2020 - Expression, affect, action unit recognition: Aff-wild2, multi-task learning and arcface
Kollias D Zafeiriou S
30th British Machine Vision Conference 2019 Bmvc 2019.
01-01-2020 - Free energy of the self-interacting relativistic lattice Bose gas at finite density
Francesconi O Holzmann M Lucini B Rago A
Physical Review D, American Physical Society (Aps) vol. 101 (1)
01-01-2020 - From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement
From Lambda Calculus to Cybersecurity Through Program Analysis. vol. 12065
01-01-2020 - FROM MUSIC ONTOLOGY TOWARDS ETHNO-MUSIC-ONTOLOGY
Proutskova P Volk A
Proceedings of the 21st International Society for Music Information Retrieval Conference Ismir 2020., 223-230.
01-01-2020 - Fully nested neural network for adaptive compression and quantization
Cui Y Liu Z Yao W Li Q Chan AB Kuo TW Xue CJ
Ijcai International Joint Conference on Artificial Intelligence. vol. 2021-January, 2080-2087.
01-01-2020 - Preface
Di Pierro A Malacaria P Nagarajan R
01-01-2020 - Towards Model Checking Real-World Software-Defined Networks
Klimis V Parisis G Reus B
Lecture Notes in Computer Science. vol. 12225, 126-148.
01-01-2020 - VA-StarGAN: Continuous Affect Generation
Kollias D
Lecture Notes in Computer Science. vol. 12002, 227-238.
01-01-2020