Publications related to File format

pNEUMA dataset

Nikolaos Geroliminis, Emmanouil Barmpounakis

pNEUMA is an open large-scale dataset of naturalistic trajectories of half a million vehicles that have been collected by a one-of-a-kind experiment by a swarm of drones in the congested downtown area of Athens, Greece. A unique observatory of traffic cong ...

Zenodo2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

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

AIFORE: Smart Fuzzing Based on Automatic Input Format Reverse Engineering

Mathias Josef Payer, Zhiyao Feng, Chunmin Zhang, Ji Shi

Knowledge of a program's input format is essential for effective input generation in fuzzing. Automated input format reverse engineering represents an attractive but challenging approach to learning the format. In this paper, we address several challenges ...

Usenix Assoc2023

Dataset for the publication "Reversal of nanomagnets by propagating magnons in ferrimagnetic yttrium iron garnet enabling nonvolatile magnon memory"

Dirk Grundler, Korbinian Baumgärtl

Raw data associated to the manuscript ‘’Reversal of nanomagnets by propagating magnons in ferrimagnetic yttrium iron garnet enabling nonvolatile magnon memory‘’, Nature Communications (2023); doi: https://doi.org/10.1038/s41467-023-37078-8 Information abou ...

Zenodo2023

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, Elif Nur Dayi, 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

Spin wave dispersion of ultra-low damping hematite (α-Fe2O3) at GHz frequencies

Dirk Grundler, Mohammad Hamdi, Ferdinand Rémy Hynek Posva

Raw data associated to the manuscript ‘’Spin wave dispersion of ultra-low damping hematite (α-Fe2O3) at GHz frequencies‘’, Physical Review Materials 7, 054407(2023); doi: 10.1103/PhysRevMaterials.7.054407 Information about file fo ...

Zenodo2023

Dataset for manuscript: Rock anisotropy promotes hydraulic fracture containment at depth

Brice Tanguy Alphonse Lecampion, Seyyedmaalek Momeni, Carlo Peruzzo, Fatima-Ezzahra Moukhtari, Guanyi Lu

This is the experimental data used in manuscript: "Rock anisotropy promotes hydraulic fracture containment at depth". This data set has 5 folders: K1, T2, M3 and M4 contain the raw data collected by active acoustic monitoring system and various pumps and t ...

EPFL Infoscience2023

Data for "Ultrafast deep-ultraviolet study of photoexcited aqueous Ferrioxalate"

Majed Chergui, Christoph Bostedt, Michele Puppin, Malte Oppermann, Hui-Yuan Chen

Data repository for the following publication: A. Duque-Prata*, H.-Y. Chen*, L. Müller, M. Oppermann, M. Puppin, C. Serpa, C. Bostedt and M. Chergui, “Ultrafast deep-ultraviolet study of photoexcited aqueous Ferrioxalate”, submitted to ChemPhotoCh ...

Zenodo2023

Anonymous Tokens with Stronger Metadata Bit Hiding from Algebraic MACs

Serge Vaudenay, Fatma Betül Durak

On the one hand, the web needs to be secured from malicious activities such as bots or DoS attacks; on the other hand, such needs ideally should not justify services tracking people's activities on the web. Anonymous tokens provide a nice tradeoff between ...

2023

Shared metadata for data-centric materials science

Giovanni Pizzi, Ronald Earle Miller, Gian-Marco Rignanese, Carsten Baldauf, Matthias Scheffler, Tristan Bereau

The expansive production of data in materials science, their widespread sharing and repurposing requires educated support and stewardship. In order to ensure that this need helps rather than hinders scientific work, the implementation of the FAIR-data prin ...

Nature Portfolio2023

Research data supporting 'Fiber pumps for wearable fluidic systems'

Herbert Shea, Michael James Henry Smith, Vito Cacucciolo

The dataset supporting 'Fiber pumps for wearable fluidic systems', published in Science in March 2023. In this work, we present a fluidic pump in the form of a flexible and stretchable tube. These tubes - or 'fiber pumps' - can generate significant fluidic ...

2023

Dataset for the publication "The TACS Model: Understanding Teachers' Adoption of Computer Science Pedagogical Content in Primary School"

Francesco Mondada, Frédérique Michèle Chessel-Lazzarotto, Jessica Elke Dehler Zufferey, Barbara Bruno, Laila Abdelsalam El-Hamamsy

This dataset contains the quantitative teacher data used to analyse an in service teacher training program for Computer Science that took place from September 2019 to March 2020 in the Canton Vaud in Switzerland. Approximately 180 teachers from the the 5th ...

2022

Continuous Simulation Data Stream: A dynamical timescale-dependent output scheme for simulations

Loïc Hausammann, Matthieu Schaller

Exa-scale simulations are on the horizon but almost no new design for the output has been proposed in recent years. In simulations using individual time steps, the traditional snapshots are over resolving particles/cells with large time steps and are under ...

ELSEVIER2022

Dataset for the comparison of two Computational Thinking (CT) test for upper primary school (grades 3-4) : the Beginners' CT test (BCTt) and the competent CT test (cCTt)

Jessica Elke Dehler Zufferey, Barbara Bruno, Laila Abdelsalam El-Hamamsy

This dataset contains quantitative student data acquired during the administration of two validated Computational Thinking (CT) assessments for upper primary school (grades 3 and 4): the Beginners' CT test (BCTt) [1] and the comptent CT test (cCTt) [2] To ...

Zenodo2022

Modelling of AC/DC Interactions of Converter-Interfaced Resources for Harmonic Power-Flow Studies in Microgrids

Mario Paolone, Yihui Zuo, Johanna Kristin Maria Becker, Andreas Martin Kettner

Modern power distribution systems experience a large-scale integration of Converter-Interfaced Distributed Energy Resources (CIDERs). As acknowledged by recent literature, the interaction of individual CIDER components and different CIDERs through the grid ...

2022

An Introduction to MPEG-G: The First Open ISO/IEC Standard for the Compression and Exchange of Genomic Sequencing Data

Marco Mattavelli

The development and progress of high-throughput sequencing technologies have transformed the sequencing of DNA from a scientific research challenge to practice. With the release of the latest generation of sequencing machines, the cost of sequencing a whol ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

DUBS: A Framework for Developing Directory of Useful Benchmarking Sets for Virtual Screening

Guillaume André Jean Fraux

Benchmarking is a crucial step in evaluating virtual screening methods for drug discovery. One major issue that arises among benchmarking data sets is a lack of a standardized format for representing the protein and ligand structures used to benchmark the ...

2020

One-minute average horizontal wind velocity data (which has been corrected for air-flow distortion) from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4

Julia Schmale, Jenny Thomas, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract One-minute average horizontal wind velocity data from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4. The data has been filtered for spurious observations and the true wind correction has been redone ...

2020

One-minute average horizontal wind velocity data (not corrected for air-flow distortion) from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4

Julia Schmale, Jenny Thomas, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract This dataset contains the one-minute average horizontal wind velocity data from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4. The data has been filtered for spurious observations and the true wind ...

2020

Air-flow distortion bias factors of the port and starboard anemometers of the Akademik Tryoshnikov estimated during the Antarctic Circumnavigation Expedition (ACE) legs 0-4 undertaken during the austral summer of 2016/2017

Julia Schmale, Jenny Thomas, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract This data set contains the air-flow distortion bias factors of the port and starboard anemometers of the Akademik Tryoshnikov estimated during the Antarctic Circumnavigation Expedition (ACE) legs 0-4 undertaken during the ...

2020