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 - Meson spectrum of Sp(4) lattice gauge theory with two fundamental Dirac fermions
Lee J-W Bennett E Hong DK Lin C-JD Lucini B Piai M Vadacchino D
, Sissa Medialab Srl
05-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 - Sp (4) gauge theories on the lattice: Nf = 2 dynamical fundamental fermions
Bennett E Hong DK Lee J-W Lin C-JD Lucini B Piai M Vadacchino D
Journal of High Energy Physics, Springer Nature vol. 2019 (12)
01-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 - Causal unfoldings
de Visme M Winskel G
Leibniz International Proceedings in Informatics Lipics. vol. 139
01-11-2019 - Deriving Logical Relations from Interpretations of Predicate Logic
Hermida C Reddy US Robinson EP
Electronic Notes in Theoretical Computer Science, Elsevier vol. 347, 241-259.
01-11-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 - Approaches in Intelligent Music Production
Moffat D Sandler MB
Arts, Mdpi 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
Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound., 239-243.
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 Barthet M Danielsen A
Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound., 183-190.
18-09-2019 - The density of state approach to the sign problem
Lucini B Francesconi O Holzmann M Rago A
, Sissa Medialab Srl
12-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 - Channel Ordering and Supermodularity
Américo A Malacaria P Khouzani M
2019 IEEE Information Theory Workshop (ITW). vol. 00, 1-5.
28-08-2019 - Correction: Vocal imitation of percussion sounds: On the perceptual similarity between imitations and imitated sounds
Mehrabi A Dixon S Sandler M
Plos One, Public Library of Science (Plos) vol. 14 (8)
22-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 - Max-flow min-cut theorems on dispersion and entropy measures for communication networks
Riis S Gadouleau M
Information and Computation, Elsevier vol. 267, 49-73.
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 - Vocal imitation of percussion sounds: On the perceptual similarity between imitations and imitated sounds
Mehrabi A Dixon S Sandler M
Plos One, Public Library of Science (Plos) vol. 14 (7)
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
, 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 - Machine Learning as a universal tool for quantitative investigations of phase transitions
Giannetti C Lucini B Vadacchino D
Nuclear Physics B, Elsevier vol. 944
01-07-2019 - Deterministic Channel Design for Minimum Leakage
Américo A Khouzani M Malacaria P
, Institute of Electrical and Electronics Engineers (IEEE) vol. 00, 428-441.
25-06-2019 - Malware Detection Using 1-Dimensional Convolutional Neural Networks
Sharma A Malacaria P Khouzani M
2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). vol. 00, 247-256.
19-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 - 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 - Progress in the lattice simulations of Sp(2N) gauge theories
Lee J-W Bennett E Hong DK Lin C-JD Lucini B Piai M Vadacchino D
, Sissa Medialab Srl
29-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
ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 241-245.
17-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 - Higher-order linearisability
Murawski AS
Journal of Logical and Algebraic Methods in Programming, Elsevier vol. 104, 86-116.
01-04-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 - 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 - Thin Games with Symmetry and Concurrent Hyland-Ong Games
Castellan S Clairambault P Winskel G
Logical Methods in Computer Science, Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 15, Issue 1
04-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 - Deep Affect Prediction in-the-Wild: Aff-Wild Database and Challenge, Deep Architectures, and Beyond
Kollias D Tzirakis P Nicolaou MA Papaioannou A Zhao G Schuller B
International Journal of Computer Vision, Springer Nature vol. 127 (6-7), 907-929.
13-02-2019 - Deconstructing defects
Hayling J Niarchos V
Journal of High Energy Physics vol. 2019 (2)
01-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 - Generalized Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage Under Symmetric Constraints
Khouzani M Malacaria P
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers (IEEE) vol. 65 (2), 888-901.
18-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 - 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 - Game semantics for quantum programming
Clairambault P De Visme M Winskel G
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 3 (POPL), 1-29.
02-01-2019 - A Bounded Model Checking Technique for Higher-Order Programs
Lin Y-Y
Lecture Notes in Computer Science. vol. 11951, 1-18.
01-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 - Concurrent Quantum Strategies
Clairambault P de Visme M Winskel G
Lecture Notes in Computer Science. vol. 11497, 3-19.
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 - DEQ: Equivalence Checker for Deterministic Register Automata
Murawski AS Tzevelekos N
Lecture Notes in Computer Science. vol. 11781, 350-356.
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 - Photorealistic Facial Synthesis in the Dimensional Affect Space
Kollias D Cheng S Zafeiriou S
Lecture Notes in Computer Science. vol. 11130, 475-491.
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 - Robustness of Adversarial Attacks in Sound Event Classification
Subramanian V Benetos E Sandler MB
Proceedings of the Detection and Classification of Acoustic Scenes and Events 2019 Workshop (DCASE2019)., 239-243.
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 - Unplugged Computing and Semantic Waves
Waite J Maton K Curzon P
Proceedings of the 1st UK & Ireland Computing Education Research Conference on - UKICER., 1-7.
01-01-2019