-
Data And Material For: "Content Classification Of Development Emails"
This data and material support the paper "Content classification of development emails" published in the proceedings of the 34th International Conference on... -
Garment depth images_3 - Personal Robotics Lab
Garment depth images_3 - Personal Robotics Lab Garment depth images_3 - Personal Robotics Lab 1 -
dedup_wf_001--c9b63f55cac3c1619f44f5c44282ef2a
The dataset includes the results of the performance analysis of Big Blu case study under different workloads, number of available resources and execution demand... -
dedup_wf_001--0f135fe9be66db56fa5878840c9e069d
Json file with a list of portcalls from vessels arriving to Valencia ports. Data was used inside the INTER-IoT project as an example dataset that a legacy IoT platform was... -
A general proof certification framework for modal logic - Implementation
This archive contains the lambda-prolog implementation of a general proof certification framework for modal logic -
AudioMoth-Firmware-Basic-1.1.0
Basic firmware for AudioMoth devices, usable in conjunction with the AudioMoth-Project framework. Compatible with the AudioMoth Configuration app. For usage instructions,... -
Mapelia and friends
This software was created to help with the development of 3D models of planets, moons and so on, used in the non-profit project A Touch of The Universe on educational... -
Immpload - Immport upload preparation
Immpload - Immport upload preparation immpload converts input data files into files formatted from Immport upload templates. Prerequisites Python3 with... -
OpenScienceMOOC/Module-1-Open-Principles 1.0.0
First release for Module 1 of the Open Science MOOC. See also content on YouTube. -
Embedding Java Classes with code2vec - Java Datasets
This is a collection of Java class classification datasets (i.e., classify a class into one of a set of categories), collected for the research work 'Embedding Java... -
dedup_wf_001--08c8c07c8fa5e1ab95228cb308d7ff79
This is the description of the supplementary archive of example interactive reports for the approach described in the article "Verification-Aided Debugging: An Interactive... -
Biographische Informationssysteme (DPBs, Digital Knowledge Databases, Virtual...
The table is an overview of database and online systems to manage/publish prosopographical and biographical data.
