Publications
- Dynamic Deadlock Verification for General Barrier Synchronisation
Cogumbreiro T Hu R Martins F Yoshida N
Acm Transactions on Programming Languages and Systems, Association For Computing Machinery (Acm) vol. 41 (1), 1-38.
11-12-2018 - Continuous Probability Distributions in Concurrent Games
Paquet H Winskel G
Electronic Notes in Theoretical Computer Science, Elsevier vol. 341, 321-344.
01-12-2018 - C Minor: a Semantic Publish/Subscribe Broker for the Internet of Musical Things
Viola F Turchet L Antoniazzi F
2018 23rd Conference of Open Innovations Association (FRUCT). vol. 00, 405-415.
16-11-2018 - Towards a Semantic Architecture for the Internet of Musical Things
Turchet L Viola F Fazekas G
2018 23rd Conference of Open Innovations Association (FRUCT). vol. 00, 382-390.
16-11-2018 - Counting Edge-injective Homomorphisms and Matchings on Restricted Graph Classes
Curticapean R Dell H
Theory of Computing Systems, Springer Nature vol. 63 (5), 987-1026.
31-10-2018 - Information Theory in Game Theory
Khouzani M Malacaria P
Entropy, Mdpi vol. 20 (11)
24-10-2018 - Cultural Heritage Documentation and Exploration of Live Music Events with Linked Data
Thalmann F Wilmering T Sandler MB
Proceedings of the 1st International Workshop on Semantic Applications for Audio and Music., 1-5.
09-10-2018 - Playsound.space
Viola F Stolfi A Milo A Ceriani M Barthet M Fazekas G
Proceedings of the 1st International Workshop on Semantic Applications for Audio and Music., 46-53.
09-10-2018 - Preface
Bechhofer S Fazekas G
ACM International Conference Proceeding Series.
09-10-2018 - Exploration of grateful dead concerts and memorabilia on the semantic Web
Wilmering T Thalmann F Sandler MB
International Semantic Web Conference Monterey, CA. vol. 2180
08-10-2018 - Comparing K-5 teachers' reported use of design in teaching programming and planning in teaching writing
Waite J Curzon P Marsh W Sentance S
Proceedings of the 13th Workshop in Primary and Secondary Computing Education., 1-10.
04-10-2018 - A User-Adaptive Automated DJ Web App with Object-Based Audio and Crowd-Sourced Decision Trees
THALMANN FLORIAN THOMPSON L SANDLER M
4th Web Audio Conference Berlin.
19-09-2018 - Exploring Real-time Visualisations to Support Chord Learning with a Large Music Collection
Pauwels J Xambo Sedo A Roma G Barthet M Fazekas G
4th Web Audio Conference (WAC) Berlin, Germany 19 Sep 2018 - 21 Sep 2018.
19-09-2018 - pywebaudioplayer: Bridging the gap between audio processing code and attractive visualisations based on web technology
Pauwels J Sandler M
4th Web Audio Conference (WAC) Berlin, Germany 19 Sep 2018 - 21 Sep 2018.
19-09-2018 - Towards a Semantic Web Representation and Application of Audio Mixing Rules
Moffat D Thalmann F Sandler M
4th Workshop on Intelligent Music Production (WIMP) Huddersfield, UK.
06-09-2018 - Optimal channel design: A game theoretical analysis
Khouzani MHR Malacaria P
Entropy vol. 20 (9)
05-09-2018 - User Selection of Optimal HRTF Sets via Holistic Comparative Evaluation
SHUKLA RC STEWART RL Roginska A SANDLER MB
Audio Engineering Society Conference on Audio for Virtual and Augmented Reality Redmond, WA, USA 20 Aug 2018 - 22 Aug 2018., 1-10.
11-08-2018 - The true concurrency of herbrand's theorem
Alcolei A Clairambault P Hyland M Winskel G
Leibniz International Proceedings in Informatics Lipics. vol. 119
01-08-2018 - Topological Function Optimization for Continuous Shape Matching
Poulenard A Skraba P Ovsjanikov M
Computer Graphics Forum, Wiley vol. 37 (5), 13-25.
01-08-2018 - Recommending songs to music learners based on chord content
Pauwels J Fazekas G Sandler M
2018 Joint Workshop on Machine Learning for Music Stockholm, Sweden 14 Jul 2018.
14-07-2018 - Training Deep Neural Networks with Different Datasets In-the-wild: The Emotion Recognition Paradigm
Kollias D
2018 International Joint Conference on Neural Networks (IJCNN). vol. 00, 1-8.
13-07-2018 - Symbolic Side-Channel Analysis for Probabilistic Programs.
Malacaria P Khouzani MHR Pasareanu CS Phan Q-S Luckow KS
Iacr Cryptol. Eprint Arch. vol. 2018, 329-329.
09-07-2018 - The concurrent game semantics of Probabilistic PCF
Castellan S Clairambault P Paquet H Winskel G
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science., 215-224.
09-07-2018 - Fine-Grained Dichotomies for the Tutte Plane and Boolean #CSP
Brand C Roth M
Algorithmica, Springer Nature vol. 81 (2), 541-556.
22-06-2018 - Measurement, Recognition and Visualisation of Piano Pedalling Gestures and Techniques
Liang B Fazekas G
Jaes Special Issue on Participatory Sound and Music Interaction Using Semantic Audio vol. 2, xxxx-xxxx.
18-06-2018 - Measurement, Recognition, and Visualization of Piano Pedaling Gestures and Techniques
Liang B Fazekas G Sandler M
Journal of The Audio Engineering Society, Audio Engineering Society vol. 66 (6), 448-456.
18-06-2018 - Deconstructing little strings with N = 1 gauge theories on ellipsoids
Hayling J Panerai R Papageorgakis C
Scipost Physics vol. 4 (6)
01-06-2018 - Gauge invariant determination of charged hadron masses
Hansen M Lucini B Patella A Tantalo N for the RC⋆ collaboration
Journal of High Energy Physics, Springer Nature vol. 2018 (5)
01-05-2018 - Machine Learning for Neurodegenerative Disorder Diagnosis — Survey of Practices and Launch of Benchmark Dataset
Tagaris A Kollias D Stafylopatis A
International Journal of Artificial Intelligence Tools, World Scientific Publishing vol. 27 (03)
01-05-2018 - StreamStory: Exploring Multivariate Time Series on Multiple Scales
Stopar L Skraba P Grobelnik M Mladenic D
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers (IEEE) vol. 25 (4), 1788-1802.
18-04-2018 - Feature Design Using Audio Decomposition for Intelligent Control of the Dynamic Range Compressor
Sheng D Fazekas G
2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 621-625.
15-04-2018 - Improved Detection of Semi-Percussive Onsets in Audio Using Temporal Reassignment
O'Hanlon K Sandler MB
2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 611-615.
15-04-2018 - Shift-Invariant Kernel Additive Modelling for Audio Source Separation
Yela DF Ewert S O'Hanlon K Sandler MB
2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 616-620.
15-04-2018 - Similarity Measures for Vocal-Based Drum Sample Retrieval Using Deep Convolutional Auto-Encoders
Mehrabi A Choi K Dixon S Sandler M
2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 356-360.
15-04-2018 - Higher-Order Bounded Model Checking
Lin Y-Y Tzevelekos N
Arxiv
05-04-2018 - The Effects of Noisy Labels on Deep Convolutional Neural Networks for Music Tagging
Choi K Fazekas G Cho K Sandler M
IEEE Transactions on Emerging Topics in Computational Intelligence, Institute of Electrical and Electronics Engineers (IEEE) vol. 2 (2), 139-149.
22-03-2018 - Sp(4) gauge theory on the lattice: towards SU(4)/Sp(4) composite Higgs (and beyond)
Bennett E Hong DK Lee J-W Lin C-JD Lucini B Piai M Vadacchino D
Journal of High Energy Physics, Springer Nature vol. 2018 (3)
01-03-2018 - A session type provider: compile-time API generation of distributed protocols with refinements in F#
Neykova R Hu R Yoshida N Abdeljallal F
Proceedings of the 27th International Conference on Compiler Construction., 128-138.
24-02-2018 - A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM
OLIVA P STEILA S
Journal of Symbolic Logic, Cambridge University Press (Cup) vol. 83 (1), 70-83.
12-02-2018 - A Concise Taxonomy for Describing Data as an Art Material
Freeman J Wiggins G Starks G Sandler M
Leonardo. vol. 51 (1), 75-79.
01-02-2018 - Abstraction in action: K-5 teachers' uses of levels of abstraction, particularly the design level, in teaching programming.
Waite JL Curzon P Marsh W Sentance S Hadwen-Bennett A
International Journal of Computer Science Education in Schools, ICT in Practice vol. 2 (1), 14-40.
31-01-2018 - Topology of random geometric complexes: a survey
Bobrowski O
Journal of Applied and Computational Topology, Springer Nature vol. 1 (3-4), 331-364.
23-01-2018 - A Comparison of Audio Signal Preprocessing Methods for Deep Neural Networks on Music Tagging
Choi K Fazekas G Sandler M Cho K
2018 26th European Signal Processing Conference (EUSIPCO). vol. 00, 1870-1874.
03-01-2018 - Piano Legato-Pedal Onset Detection Based on a Sympathetic Resonance Measure
Liang B Fazekas G Sandler M
2018 26th European Signal Processing Conference (EUSIPCO). vol. 00, 2484-2488.
03-01-2018 - A Trace Semantics for System F Parametric Polymorphism
Jaber G
Lecture Notes in Computer Science. vol. 10803, 20-38.
01-01-2018 - A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
Viering M Chen T-C Eugster P Hu R Ziarek L
Lecture Notes in Computer Science. vol. 10801, 799-826.
01-01-2018 - Adaptive ballistics control of dynamic range compression for percussive tracks
Moffat D Sandler MB
145th Audio Engineering Society International Convention AES 2018.
01-01-2018 - Audio Commons Ontology: A Data Model for an Audio Content Ecosystem
Ceriani M
Lecture Notes in Computer Science. vol. 11137, 20-35.
01-01-2018 - Does k Matter? k-NN Hubness Analysis for Kernel Additive Modelling Vocal Separation
Fano Yela D Stowell D Sandler M
Lecture Notes in Computer Science. vol. 10891, 280-289.
01-01-2018 - Ergodicity of the LLR method for the Density of States
Cossu G Lucini B Pellegrini R Rago A
Epj Web of Conferences, Edp Sciences vol. 175
01-01-2018 - Feature Selection for Dynamic Range Compressor Parameter Estimation
Sheng D Fazekas G
Proc. of the 144th Convention of the Audio Engineering Society, 23-26 May, Milan, Italy.
01-01-2018 - Guitarset: A dataset for guitar transcription
Xi Q Bittner RM Pauwels J Ye X Bello JP
International Society for Music Information Retrieval Conference., 453-460.
01-01-2018 - Higgs compositeness in Sp(2N) gauge theories – Determining the low-energy constants with lattice calculations*
Bennett E Hong DK Lee J-W Lin C-JD Lucini B Piai M Vadacchino D
Epj Web of Conferences, Edp Sciences vol. 175
01-01-2018 - Higgs compositeness in Sp(2N) gauge theories — Resymplecticisation, scale setting and topology
Bennett E Hong DK Lee J-W Lin C-JD Lucini B Piai M Vadacchino D
Epj Web of Conferences, Edp Sciences vol. 175
01-01-2018 - Higgs compositeness in Sp(2N) gauge theories — The pure gauge model
Bennett E Hong DK Lee J-W Lin C-JD Lucini B Piai M Vadacchino D
Epj Web of Conferences, Edp Sciences vol. 175
01-01-2018 - I Wonder... Inquiry Techniques As A Method To Gain Insights Into People’s Encounters With Visual Art
Marengo L Fazekas G
Proc. International Conference on Museums and the Web 2018, April 18-21, Vancouver, Canada..
01-01-2018 - Jam with Jamendo: Querying a Large Music Collection by Chords from a Learner's Perspective
Xambo A Pauwels J Roma G Barthet M Fazekas G
2018 CONFERENCE ON INTERACTION WITH SOUND (AUDIO MOSTLY): SOUND IN IMMERSION AND EMOTION (AM'18).
01-01-2018 - Live Repurposing of Sounds: MIR Explorations with Personal and Crowd-sourced Databases
Xambo A Roma G Barthet M
Proc. of the New Interfaces for Musical Expression (NIME), 3-6 June, Blacksburg, VA, USA..
01-01-2018 - Model Checking Boot Code from AWS Data Centers
Cook B Khazem K Kroening D Tasiran S Tuttle MR
Lecture Notes in Computer Science. vol. 10982, 467-486.
01-01-2018 - MusicLynx
Allik A Thalmann F Sandler M
Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18., 167-170.
01-01-2018 - Non-angelic Concurrent Game Semantics
Castellan S Clairambault P Hayman J Winskel G
Lecture Notes in Computer Science. vol. 10803, 3-19.
01-01-2018 - Perception of mismatched auditory distance - Cinematic VR
McArthur A Sandler M Stewart R
Proceedings of the AES International Conference. vol. 2018-August, 24-33.
01-01-2018 - Persistent homology and machine learning
Škraba P
Informatica Slovenia vol. 42 (2), 253-258.
01-01-2018 - Pseudo-Random Number Generation Using Generative Adversarial Networks.
Bernardi MD Khouzani MHR Malacaria P Alzate C Monreale A Assem H Bifet A Buda TS et al.
Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML. vol. 11329, 191-200.
01-01-2018 - Simulations of QCD and QED with C* boundary conditions
Hansen M Lucini B Patella A Tantalo N
Epj Web of Conferences, Edp Sciences vol. 175
01-01-2018 - The impact of compressor ballistics on the perceived style of music
Bromham G Moffat D Barthet M
145th Audio Engineering Society International Convention AES 2018.
01-01-2018 - The Influence of Context on Sentence Acceptability Judgements
Bernardy J-P Lappin S Lau JH
Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers)., 456-461.
01-01-2018