VerNFR v1.0 for ISoLA 2026
Amilon, Jesper
1 files · 38 KB · gzipdeclared
hybrid · semantic + lexical · 4 datasets ranked · 0.51s
Amilon, Jesper
1 files · 38 KB · gzipdeclared
Version 1.0 of VerNFR, a Frama-C plugin for verifying non-functional requirements of C code and interface contracts. Release to accompany submission to ISoLA2026 See the Readme for further details and instructions.
Collin Schwantes · Cole Brookson · Timothée Poisot · et al.
5 files · 49 MB · csv, gzipdeclared
This deposit contains a dynamically maintained database of vertebrate-virus associations. The VIRION database has been assembled through both reconciliation of static data sets and integration of dynamically updated databases. These data sources are all harmonized against one taxonomic backbone, including metadata on host and virus taxonomic validity and higher classification; additional metadata on sampling methodology and evidence strength are also available in a harmonized format. Data Products: 1) virion.csv.gz - Virion dataset. 2) ncbi_accession.csv.gz - NCBI Accession numbers for virion associations. Linked via AssocID. 3) db_table.csv - Databases used to compile virion. Linked via DatabaseVersion. 4) tax_table.csv.gz - Taxa information for virion. Linked via HashTaxID to HostHashTaxID or VirusHashTaxID.
Langermann, Florence · Blaschta, Stephanie · Dietze, Klara · et al.
3 files · 731 KB · geopackagedeclared
Beschreibung (Deutsch) Diese Datenpublikation enthält archäologische Geodaten aus den Forschungsprojekten "The Cultic Centre of the Sun-God of Heliopolis (Egypt)" und „Eclipse and Mutation: The end of the sun temple of Heliopolis" zu den ergrabenen und aufgefundenen Befunden im altägyptischen Heiligtum in Heliopolis im heutigen Kairo. Die Befunde wurden innerhalb einer Reihe von Grabungskampagnen zwischen 2012 bis 2024 ergraben und dokumentiert. Diese Datensammlung stellt eine Zusammenstellug dieser Befunde dar und soll als Grundlage für eine Gesamtkartierung dienen. An der Zusammenstellung der Daten waren maßgeblich die drei verantwortlichen Ausgräberi:innen Stephanie Blaschta , Klara Dietze und Florence Langermann beteiligt. Für die Erstellung der Datenstrukturen und Schemata und dem Zusammenführen der Daten war Michael Schleier verantwortlich. Das Projekt wurde von der Deutschen Forschungsgemeinschaft (DFG) sowie weiteren akademischen und privaten Förderinstitutionen unterstützt. Weitere Informationen: Projektwebseite DAI Datendokumentation des i3mainz, Hochschule Mainz Description (English) This data publication contains archaeological geodata from the research projects "The Cultic Center of the Sun-God of Heliopolis (Egypt)" and "Eclipse and Mutation: The end of the sun temple of Heliopolis" on the excavated and discovered features in the ancient Egyptian sanctuary in Heliopolis in present-day Cairo. The features were excavated and documented during a series of excavation campaigns between 2012 and 2024. This data collection represents a compilation of these features and is intended to serve as the basis for an overall mapping. The three excavators responsible, Stephanie Blaschta , Klara Dietze and Florence Langermann , played a key role in compiling the data. Michael Schleier was responsible for creating the data structures and schemas and merging the data. The dataset is published under a CC BY-SA 4.0 license . The project is funded by the German Research Foundation (DFG) and a wide network of institutional and private sponsors. Further information: Project website at DAI Datendokumentation of the i3mainz, Mainz University of Applied Sciences