Concept

ZIP (file format)

Related publications (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 ...

2024

Streamline 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 Infoscience2023

The 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 Infoscience2023

Imaging radial distribution functions of complex particles by relayed dynamic nuclear polarization

David Lyndon Emsley, Arthur César Pinon, Pierrick Berruyer

Raw data and Matlab scripts from the publication at https://doi.org/10.1021/jacs.3c01279 All codes are provided free of charge and come with no warranty. Future use (original or modified) is required to cite: Zenedo data deposit at DOI 10.5281/zenodo. ...

EPFL Infoscience2023

Doppler spectra collected by weather and cloud radars during the POPE 2020 campaign at Princess Elisabeth Antarctica

Alexis Berne, Alfonso Ferrone

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 Infoscience2023

, ,

This repository contains data required for reproducibility of the results to be published in the associated manuscript. Apart from reproducibility, the attached datasets also serve as templates for new users to adopt CRYOWRF in their research. The datasets ...

2023

Periodic and aperiodic NiFe nanomagnet/ferrimagnet hybrid structures for 2D magnon steering and interferometry with high extinction ratio

Dirk Grundler, Sho Watanabe, Andrea Mucchietto, Shixuan Shan, Vinayak Shantaram Bhat

File formats are described in read_me files in the concerning folder. For plotting and data evaluation, Python 2.7 was used. Example scripts for plotting are provided. ...

Zenodo2023

, ,

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

, ,

Zenodo2022

, ,

Zenodo2022

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.