Concept
ZIP (format de fichier)
Publications associées (39)
SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...
2024Streamline RimNet: Tools for Automatic Classification of Paramagnetic Rim Lesions in MRI of Multiple Sclerosis
Meritxell Bach Cuadra, Cristina Granziera, Francesco La Rosa, Maxence Charles F Wynen
This site provides two software tools related to "RimNet: A deep 3D multimodal MRI architecture for paramagnetic rim lesion assessment in multiple sclerosis" by Barquero et al. NeuroImage: Clinical (2020). People using in part or f ...
EPFL Infoscience2023The Claude Debussy Solo Piano Corpus
Martin Alois Rohrmeier, Johannes Hentschel, Gabriele Cecchetti, Sabrina Laneve, Ludovica Schaerf
This dataset originates from the DCML corpus initiative and contains musicological research data. For more information, please refer to its documentation page https://dcmlab.github.io/debussy_piano Please cite this dataset as Laneve, S., Schaerf ...
EPFL Infoscience2023Doppler spectra collected by weather and cloud radars during the POPE 2020 campaign at Princess Elisabeth Antarctica
This repository contains the datasets of Doppler spectra collected by two meteorological radars in the vicinity of the Belgian research base Princess Elisabeth Antarctica (PEA). The measurement campaign has been conducted by the Environmental Remote S ...
EPFL Infoscience2023Frédéric Chopin - Mazurkas (A corpus of annotated scores)
Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Johannes Hentschel
This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...
Zenodo2022