Publications

 
  • GOLF: A Singing Voice Synthesiser with Glottal Flow Wavetables and LPC Filters
    Yu C-Y Fazekas G
    Transactions of The International Society For Music Information Retrieval, Ubiquity Press vol. 7 (1), 316-330.  
    19-12-2024
  • Synthesising Handwritten Music with GANs: A Comprehensive Evaluation of CycleWGAN, ProGAN, and DCGAN
    Shatri E Palavala KR
    2024 IEEE International Conference on Big Data (BigData). vol. 00, 3208-3217.  
    18-12-2024
  • Smart topology detection using multi-armed bandit reinforcement learning method
    Sönmez FÖ Hankin C Malacaria P
    Information Security Journal a Global Perspective, Taylor & Francis, 1-26.  
    10-12-2024
  • Flavour singlet mixing in Sp(4) gauge theory with fermions in multiple representations
    Zierler F Bennett E Forzano N Hong DK Hsiao H Lee J-W Lin C-JD Lucini B et al.
    , Sissa Medialab Srl 
    05-12-2024
  • Progress on the spectroscopy of an Sp(4) gauge theory coupled to matter in multiple representations
    Hsiao H Bennett E Forzano N Hong DK Lee J-W Lin C-JD Lucini B Piai M et al.
    , Sissa Medialab Srl 
    05-12-2024
  • Progress on the spectroscopy of lattice gauge theories using spectral densities
    Forzano N Bennett E Hsiao H Lee J-W Lucini B Lupo A Piai M Vadacchino D et al.
    , Sissa Medialab Srl 
    05-12-2024
  • Towards the $\beta$ function of SU(2) with adjoint matter using Pauli-Villars fields
    Bennett E Athenodorou A Bergner G Butti P Lucini B
    , Sissa Medialab Srl 
    05-12-2024
  • Updates on the density of states method in finite temperature symplectic gauge theories
    Mason D Bennett E Lucini B Piai M Rinaldi E Vadacchino D Zierler F
    , Sissa Medialab Srl 
    05-12-2024
  • CDL: A fast and flexible library for the study of permutation sets with structural restrictions
    Zhou B Markström K
    Softwarex, Elsevier vol. 28 
    01-12-2024
  • Evaluating impact of movement on diabetes via artificial intelligence and smart devices systematic literature review
    Rotbei S Tseng WH Merino-Barbancho B Haleem MS Montesinos L Pecchia L Fico G Botta A
    Expert Systems With Applications, Elsevier vol. 257 
    01-12-2024
  • NEFELI: A deep-learning detection and tracking pipeline for enhancing autonomy in advanced air mobility
    Arsenos A Petrongonas E Filippopoulos O Skliros C
    Aerospace Science and Technology, Elsevier vol. 155 
    01-12-2024
  • Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations
    Focke J Goldberg LA Roth M
    Acm Transactions on Algorithms, Association For Computing Machinery (Acm) vol. 21 (1), 1-29.  
    30-11-2024
  • Automated Roundoff Error Analysis of Probabilistic Floating-Point Computations
    Constantinides G Dahlqvist F Rakamarić Z
    Acm Transactions on Probabilistic Machine Learning, Association For Computing Machinery (Acm) 
    28-11-2024
  • An Operational Semantics for Yul
    Koutavas V Lin Y-Y
    Lecture Notes in Computer Science, Springer Nature vol. 15280, 328-346.  
    26-11-2024
  • HuBar: A Visual Analytics Tool to Explore Human Behavior Based on fNIRS in AR Guidance Systems
    Castelo S Rulff J Solunke P McGowan E Wu G Roman I Lopez R Sun Q et al.
    IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers (IEEE) vol. 31 (1), 119-129.  
    25-11-2024
  • Evaluation of pretrained language models on music understanding
    Vasilakis I Bittner R Pauwels J
    NLP4MusA 15 Nov 2024
    15-11-2024
  • Automatic Compositional Checking of Multi-object TypeState Properties of Software
    Grigore R Distefano D
    Lecture Notes in Computer Science, Springer Nature vol. 15260, 3-40.  
    13-11-2024
  • Frequency and Uncertainty Driven Deep Learning Approach to Segment Electrocardiogram Signals for Effective Heart Parameters Estimation
    Rotbei S Mocerino GE Haleem MS Pecchia L Botta A
    2024 IEEE EMBS International Conference on Biomedical and Health Informatics (BHI). vol. 00, 1-8.  
    13-11-2024
  • Diff-MSTC: A Mixing Style Transfer Prototype for Cubase
    Vanka S Hannink L Rolland J-B Fazekas G
    International Society for Music Information Retrieval San Francisco 10 Nov 2024 - 15 Nov 2024
    11-11-2024
  • A Secure Image Watermarking Framework with Statistical Guarantees via Adversarial Attacks on Secret Key Networks
    Chen F Lin W Liu Z Chan AB
    Lecture Notes in Computer Science. vol. 15098, 428-445.  
    10-11-2024
  • Diff-MST: Differentiable Mixing Style Transfer
    Vanka S Steinmetz C Rolland J-B Reiss J Fazekas G
    International Society of Music Information Retrieval San Francisco 10 Nov 2024 - 14 Nov 2024
    10-11-2024
  • I can listen but cannot read: An evaluation of two-tower multimodal systems for instrument recognition
    Vasilakis I Bittner R Pauwels J
    25th International Society for Music Information Retrieval (ISMIR) San Francisco, CA, USA 10 Nov 2024 - 14 Nov 2024
    10-11-2024
  • Proceedings of the 25th International Society for Music Information Retrieval Conference
    Guinot J Fazekas G Quinton E
    The 25th International Society for Music Information Retrieval Conference San Francisco, USA 9 Nov 2024 - 15 Nov 2024
    10-11-2024
  • Parameterised approximation of the fixation probability of the dominant mutation in the multi-type Moran process
    Goldberg LA Roth M
    Theoretical Computer Science, Elsevier vol. 1016 
    01-11-2024
  • 1M-Deepfakes Detection Challenge
    Cai Z Dhall A Ghosh S Hayat M
    Proceedings of the 32nd ACM International Conference on Multimedia., 11355-11359.  
    28-10-2024
  • MRAC '24 Chairs' Welcome
    Tao J Ghosh S Lian Z Cai Z Schuller BW Dhall A Zhao G Cambria E
    Mrac 2024 Proceedings of The 2nd International Workshop on Multimodal and Responsible Affective Computing 
    28-10-2024
  • MRAC Track 1: 2nd Workshop on Multimodal, Generative and Responsible Affective Computing
    Ghosh S Cai Z Dhall A Kollias D
    Proceedings of the 2nd International Workshop on Multimodal and Responsible Affective Computing., 1-6.  
    28-10-2024
  • Practical Reasoning in DatalogMTL
    WANG D CUENCA GRAU B HU P
    Theory and Practice of Logic Programming, Cambridge University Press (Cup) vol. 25 (2), 225-255.  
    28-10-2024
  • Enhancing Compositional Static Analysis with Dynamic Analysis
    Distefano D Marescotti M Ahs C Cela S Grigore R Hajdu A
    Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering., 2121-2129.  
    27-10-2024
  • Rule-Based Temporal Reasoning: Exploring DatalogMTL
    Wałęga PA
    Leibniz International Proceedings in Informatics Lipics. vol. 318 
    22-10-2024
  • Dealing with uncertainty in cybersecurity decision support
    Zhang Y Malacaria P
    Computers & Security, Elsevier vol. 148, 104153-104153.  
    10-10-2024
  • Knowledge Distillation: The Functional Perspective
    Mason-Williams I Mason-Williams G Sandler M
    NeurIPS 2024 Workshop on Scientific Methods for Understanding Deep Learning 10 Dec 2024 - 15 Dec 2024
    10-10-2024
  • Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
    Ambal G Dongol B Eran H Klimis V Raad A
    Proceedings of the ACM on Programming Languages. vol. 8 (OOPSLA2), 1982-2009.  
    08-10-2024
  • Multi-Signal Informed Attention for Beat and Downbeat Detection
    Bolt J Pauwels J Fazekas G
    2024 IEEE 5th International Symposium on the Internet of Sounds (IS2). vol. 00, 1-7.  
    02-10-2024
  • Topological data analysis of monopole current networks in $U(1)$ lattice gauge theory
    Crean X Giansiracusa J Lucini B
    Scipost Physics, Stichting Scipost vol. 17 (4) 
    02-10-2024
  • Meson spectroscopy from spectral densities in lattice gauge theories
    Bennett E Del Debbio L Forzano N Hill RC Hong DK Hsiao H Lee J-W Lin C-JD et al.
    Physical Review D, American Physical Society (Aps) vol. 110 (7) 
    01-10-2024
  • Mixing between flavor singlets in lattice gauge theories coupled to matter fields in multiple representations
    Bennett E Forzano N Hong DK Hsiao H Lee J-W Lin C-JD Lucini B Piai M et al.
    Physical Review D, American Physical Society (Aps) vol. 110 (7) 
    01-10-2024
  • Counting Subgraphs in Somewhere Dense Graphs
    Bressan M Ann Goldberg L
    Siam Journal on Computing, Society For Industrial & Applied Mathematics (Siam) vol. 53 (5), 1409-1438.  
    27-09-2024
  • Composer Style-specific Symbolic Music Generation Using Vector Quantized Discrete Diffusion Models
    Zhang J Saitis C
    IEEE International Workshop on Machine Learning for Signal Processing (MLSP) 22 Sep 2024 - 25 Sep 2024
    22-09-2024
  • Teaching CS with and through other forms of knowledge
    Curzon P Waite J
    , Association For Computing Machinery (Acm), 1-4.  
    16-09-2024
  • Differentiable All-pole Filters for Time-varying Audio Systems
    Yu C-Y Mitcheltree C Carson A Bilbao S Reiss J Fazekas G
    International Conference on Digital Audio Effects 2024 Guildford, Surrey, UK 3 Sep 2024 - 7 Sep 2024
    03-09-2024
  • LEVERAGING REAL ELECTRIC GUITAR TONES AND EFFECTS TO IMPROVE ROBUSTNESS IN GUITAR TABLATURE TRANSCRIPTION MODELING
    Pedroza H Abreu W Corey R
    27th International Conference on Digital Audio Effects (DAFx24)
    03-09-2024
  • Differentiable Time-Varying Linear Prediction in the Context of End-to-End Analysis-by-Synthesis
    Yu C-Y Fazekas G
    Interspeech 2024., 1820-1824.  
    01-09-2024
  • Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
    Pears J Bocchi L Hu R
    Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang., 33-44.  
    28-08-2024
  • Tidal MerzA: Combining affective modelling and autonomous code generation through Reinforcement Learning
    Wilson E Fazekas G
    AIMC 2024 Oxford, UK 9 Sep 2024 - 11 Sep 2024
    26-08-2024
  • Learning S-matrix phases with neural operators
    Niarchos V
    Physical Review D, American Physical Society (Aps) vol. 110 (4) 
    15-08-2024
  • Get Confused Cautiously: Textual Sequence Memorization Erasure with Selective Entropy Maximization
    Zhang Z Liu Z Patras I
     
    09-08-2024
  • Supporting Early-Career Researchers
    Kenny E Griffiths H Seager A Lucini B Nithiarasu P Kelleher R Morgans C
    Exchanges The Interdisciplinary Research Journal, University of Warwick vol. 11 (3), 266-283.  
    08-08-2024
  • Advances in random topology
    Bobrowski O
    Journal of Applied and Computational Topology, Springer Nature vol. 8 (6), 1445-1448.  
    07-08-2024
  • MuChoMusic: Evaluating Music Understanding in Multimodal Audio-Language Models
    Weck B Manco I Benetos E Fazekas G
     
    02-08-2024
  • Musician-AI partnership mediated by emotionally-aware smart musical instruments
    Turchet L Stefani D Pauwels J
    International Journal of Human-Computer Studies, Elsevier vol. 191, 103340-103340.  
    23-07-2024
  • Concurrent Games over Relational Structures: The Origin of Game Comonads
    Montacute Y Winskel G
    Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science., 1-14.  
    08-07-2024
  • TEMPORAL ANALYSIS OF EMOTION PERCEPTION IN FILM MUSIC: INSIGHTS FROM THE FME-24 DATASET
    Crocker R Fazekas G
    Sound and Music Computing 2024 ESMAE, Porto, Portugal 4 Jul 2024 - 6 Jul 2024
    06-07-2024
  • Can Machine Learning Assist in Diagnosis of Primary Immune Thrombocytopenia? A Feasibility Study
    Miah H Kollias D Provan D
    Diagnostics, Mdpi vol. 14 (13) 
    26-06-2024
  • CUE-Net: Violence Detection Video Analytics with Spatial Cropping, Enhanced UniformerV2 and Modified Efficient Additive Attention
    Senadeera DC Yang X Kollias D Slabaugh G
    2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). vol. 00, 4888-4897.  
    18-06-2024
  • Domain adaptation, Explainability & Fairness in AI for Medical Image Analysis: Diagnosis of COVID-19 based on 3-D Chest CT-scans
    Kollias D Arsenos A
    2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). vol. 00, 4907-4914.  
    18-06-2024
  • The 6th Affective Behavior Analysis in-the-wild (ABAW) Competition
    Kollias D Tzirakis P Cowen A Kotsia I Gagne C Hu G
    2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). vol. 00, 4587-4598.  
    18-06-2024
  • Time-of-arrival Estimation and Phase Unwrapping of Head-related Transfer Functions With Integer Linear Programming
    Yu C-Y Pauwels J Fazekas G
    Audio Engineering Society 156th Convention Madrid, Spain 15 Jun 2024 - 17 Jun 2024
    15-06-2024
  • Ensuring UAV Safety: A Vision-Only and Real-Time Framework for Collision Avoidance Through Object Detection, Tracking, and Distance Estimation
    Karampinis V Arsenos A Filippopoulos O Skliros C Kollias D
    2024 International Conference on Unmanned Aircraft Systems (ICUAS). vol. 00, 1072-1079.  
    07-06-2024
  • Common Corruptions for Evaluating and Enhancing Robustness in Air-to-Air Visual Object Detection
    Arsenos A Karampinis V Petrongonas E Skliros C Voulodimos A
    IEEE Robotics and Automation Letters, Institute of Electrical and Electronics Engineers (IEEE) vol. 9 (7), 6688-6695.  
    03-06-2024
  • A Self-Attention Deep Neural Network Regressor for real time blood glucose estimation in paediatric population using physiological signals
    Haleem MS Cisuelo O Andellini M Castaldo R Angelini M Ritrovato M Schiaffini R Franzese M et al.
    Biomedical Signal Processing and Control, Elsevier vol. 92 
    01-06-2024
  • Probabilistic Analysis of Multiparameter Persistence Decompositions into Intervals
    Alonso ÁJ Kerber M Skraba P
    Leibniz International Proceedings in Informatics Lipics. vol. 293 
    01-06-2024
  • Bridging the Gap: Protocol Towards Fair and Consistent Affect Analysis
    Hu G Papadopoulou E Kollias D Yang X
    2024 IEEE 18th International Conference on Automatic Face and Gesture Recognition (FG). vol. 00, 1-9.  
    31-05-2024
  • Covid-19 Computer-Aided Diagnosis through AI-Assisted CT Imaging Analysis: Deploying a Medical AI System
    Gerogiannis D Arsenos A Kollias D
    2024 IEEE International Symposium on Biomedical Imaging (ISBI). vol. 00, 1-4.  
    30-05-2024
  • Fuzzy Datalog∃ over Arbitrary t-Norms
    Lanzinger M Sferrazza S Wałęga PA Gottlob G
    EPiC series in computing. vol. 100, 426-406.  
    26-05-2024
  • COVID‐19 Detection from Computed Tomography Images Using Slice Processing Techniques and a Modified Xception Classifier
    Morani K Ayana EK
    International Journal of Biomedical Imaging, Hindawi vol. 2024 (1) 
    24-05-2024
  • Hate Speech Detection and Reclaimed Language: Mitigating False Positives and Compounded Discrimination
    Zsisku E Zubiaga A
    ACM Web Science Conference., 241-249.  
    21-05-2024
  • TECHNIQUES FOR DIGITAL POWER AMPLIFICATION
    SANDLER M
    Reproduced Sound 1987 5 Nov 1987 - 8 Nov 1987
    20-05-2024
  • Topological Data Analysis of Monopoles in $U(1)$ Lattice Gauge Theory
    Crean X Giansiracusa J Lucini B
     
    17-05-2024
  • Are the variations in ECG morphology associated to different blood glucose levels? implications for non-invasive glucose monitoring for T1D paediatric patients
    Andellini M Castaldo R Cisuelo O Franzese M Haleem MS Ritrovato M Pecchia L Schiaffini R
    Diabetes Research and Clinical Practice, Elsevier vol. 212 
    14-05-2024
  • The Weisfeiler-Leman Dimension of Conjunctive Queries
    Goebel A Goldberg LA Roth M
    Principles of Database Systems (PODS 2024)
    14-05-2024
  • Strengthening the WiC: New Polysemy Dataset in Hindi and Lack of Cross Lingual Transfer
    Dubossarsky H Dairkee F
    Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024) Month: May
    13-05-2024
  • What Makes a Good Prune? Maximal Unstructured Pruning for Maximal Cosine Similarity
    Mason-Williams G Dahlqvist F
    The Twelfth International Conference on Learning Representations
    13-05-2024
  • HIGH ORDER LPC ANALYSIS/SYNTHESIS OF ATONAL PERCUSSION
    SANDLER MB
    Reproduced Sound 1988 3 Nov 1988 - 6 Nov 1988
    09-05-2024
  • A Summary of Online Markov Decision Processes with Non-oblivious Strategic Adversary
    Dinh LC Mguni D Tran-Thanh L Yang Y
    International Conference on Autonomous Agents and Multiagent Systems
    06-05-2024
  • Categorical Proof-theoretic Semantics
    Pym D Ritter E Robinson E
    Studia Logica, Springer Nature vol. 113 (1), 125-162.  
    03-05-2024
  • NOISE SHAPING AND PWM FOR POWER D/A CONVERSION
    GOLDBERG J SANDLER M
    RS 5
    02-05-2024
  • Lattice investigations of the chimera baryon spectrum in the Sp(4) gauge theory
    Bennett E Hong DK Hsiao H Lee J-W Lin C-JD Lucini B Piai M Vadacchino D
    Physical Review D, American Physical Society (Aps) vol. 109 (9) 
    01-05-2024
  • Spectrum of mesons in quenched Sp(2N) gauge 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. 109 (9) 
    01-05-2024
  • COMPARISON OF PWM MODULATION TECHNIQUES FOR DIGITAL POWER AMPLIFIERS
    GOLDBERG J SANDLER M
    Reproduced Sound 1990
    22-04-2024
  • FLEXIBLE RESYNTHESIS OF ACOUSTIC DRUMS
    SANDLER M
    Reproduced Sound 1990
    22-04-2024
  • Robust DoA Estimation from Deep Acoustic Imaging
    Roman AS Roman IR
    ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 1321-1325.  
    19-04-2024
  • Spatial Scaper: A Library to Simulate and Augment Soundscapes for Sound Event Localization and Detection in Realistic Rooms
    Roman IR Ick C Roman AS McFee B
    ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 1221-1225.  
    19-04-2024
  • Uncertainty-Guided Contrastive Learning For Single Source Domain Generalisation
    Arsenos A Kollias D Petrongonas E
    ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 6935-6939.  
    19-04-2024
  • Challenges in Empirically Testing Memory Persistency Models
    Klimis V Donaldson AF Raad A
    Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results., 82-86.  
    14-04-2024
  • PrivacyCAT: Privacy-Aware Code Analysis at Scale
    Mao K Åhs C Cela S Distefano D Gardner N Grigore R Hajdu Á Kapus T et al.
    Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice., 106-117.  
    14-04-2024
  • Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
    Costa D Hu R
    Electronic Proceedings in Theoretical Computer Science, Open Publishing Association vol. 401 
    06-04-2024
  • Distribution Matching for Multi-Task Learning of Classification Tasks: A Large-Scale Study on Faces & Beyond
    Kollias D Zafeiriou S
    Proceedings of the AAAI Conference on Artificial Intelligence. vol. 38 (3), 2813-2821.  
    24-03-2024
  • Counting Small Induced Subgraphs with Hereditary Properties
    Focke J
    Siam Journal on Computing, Society For Industrial & Applied Mathematics (Siam) vol. 53 (2), 189-220.  
    12-03-2024
  • Central limit theorem for euclidean minimal spanning acycles
    Skraba P Yogeshwaran D
    Journal of Topology and Analysis, World Scientific Publishing vol. 17 (04), 931-967.  
    29-02-2024
  • Scalar field restricted Boltzmann machine as an ultraviolet regulator
    Aarts G Lucini B Park C
    Physical Review D, American Physical Society (Aps) vol. 109 (3) 
    01-02-2024
  • Singlets in gauge theories with fundamental matter
    Bennett E Hsiao H Lee J-W Lucini B Maas A Piai M Zierler F
    Physical Review D, American Physical Society (Aps) vol. 109 (3) 
    01-02-2024
  • Composer Style-Specific Symbolic Music Generation using Vector Quantized Discrete Diffusion Models
    Zhang J Fazekas G
    2024 IEEE 34th International Workshop on Machine Learning for Signal Processing (MLSP). vol. 00, 1-6.  
    25-01-2024
  • Robust Facial Reactions Generation: An Emotion-Aware Framework with Modality Compensation
    Hu G Wei J Song S Kollias D
    2024 IEEE International Joint Conference on Biometrics (IJCB). vol. 00, 1-10.  
    18-01-2024
  • Differentiable Modelling of Percussive Audio with Transient and Spectral Synthesis
    Shier J Caspe F Robertson A Sandler M Saitis C McPherson A
    Proceedings of the 10th Convention of the European Acoustics Association Forum Acusticum 2023., 2225-2232.  
    17-01-2024
  • Physical Modelling of Stiff Membrane Vibration using Neural Networks with Spectral Convolution Layers
    De La Vega Martin C Sandler M
    Proceedings of the 10th Convention of the European Acoustics Association Forum Acusticum 2023., 2201-2208.  
    17-01-2024
  • The Role of Communication and Reference Songs in the Mixing Process: Insights From Professional Mix Engineers
    Sai Vanka S Safi M Rolland J-B Fazekas G
    Journal of The Audio Engineering Society, Audio Engineering Society vol. 72 (1/2), 5-15.  
    15-01-2024
  • A review of differentiable digital signal processing for music and speech synthesis
    Hayes B Shier J Fazekas G McPherson A Saitis C
    Frontiers in Signal Processing, Frontiers vol. 3 
    11-01-2024
  • Arrow's single peaked domains, richness, and domains for plurality and the Borda count.
    Markström K Riis S
    Corr vol. abs/2401.12547 
    01-01-2024
  • CDL: A fast and flexible library for the study of permutation sets with structural restrictions.
    Zhou B Markström K
    Softwarex vol. 28, 101951-101951.  
    01-01-2024
  • Foundation Models for Music: A Survey.
    Ma Y Øland A Ragni A Sette BMD Saitis C Donahue C Lin C Plachouras C et al.
    Corr vol. abs/2408.14340 
    01-01-2024
  • Knowledge Discovery in Optical Music Recognition: Enhancing Information Retrieval with Instance Segmentation
    Shatri E
    Proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management., 311-319.  
    01-01-2024
  • Local Diversity of Condorcet Domains.
    Karpov A Markström K
    Corr vol. abs/2401.11912 
    01-01-2024
  • Mastering NIM and Impartial Games with Weak Neural Networks: An AlphaZero-inspired Multi-Frame Approach.
    Riis S
    Corr vol. abs/2411.06403 
    01-01-2024
  • Neural Model Checking
    Giacobbe M Kroening D Pal A Tautschnig M
    Advances in Neural Information Processing Systems 37., 86375-86398.  
    01-01-2024
  • Neural Model Checking.
    Giacobbe M Kroening D Tautschnig M Globersons A Mackey L Belgrave D Fan A Paquet U et al.
    NeurIPS
    01-01-2024
  • Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing
    Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing 1 Jan 1970
    01-01-2024
  • Spectrogram-Based Approach with Convolutional Neural Network for Human Activity Classification
    Sassi M Haleem MS Pecchia L
    IFMBE Proceedings. vol. 94, 387-401.  
    01-01-2024
  • Spectrogram-Driven Convolutional Neural Network for Real-Time Non-invasive Hyperglycaemia Detection in Paediatric Type-1 Diabetes via Wearable Sensors
    Cisuelo O Haleem MS Hattersley J Pecchia L
    IFMBE Proceedings. vol. 94, 376-386.  
    01-01-2024
  • Stochastic Methods in Scientific Computing: From Foundations to Advanced Techniques
    D’Elia M Langfeld K Lucini B
     
    01-01-2024