-
Sample Identification Data
Dataset to use in a tutorial about sample identification, using the tool Kraken. -
MONROE SOMETIME Dataset
Dataset produced in the context of MONROE-SOMETIME project. Included are results of available bandwidth and achievable throughput experiments using MONROE during 3... -
Checking Secure Information Flow of CoCoME using UPPAAL
Model of the CoCoME case study for the UPPAAL model checker. Also includes auto-generated verification models for checking the information flow security of... -
Edge Computing Bibliographic Results From Google Scholar
This dataset contains all the results for the term "Edge Computing" on Google Scholar until Nov. 15, 2017. The data was acquired using Publish or Perish. The... -
dedup_wf_001--09662b1618d67d5f29c491b8106a6c00
This dataset has been created in the framework of the Plastic Twist project (Ptwist) and more specifically using the Ptwist crowdsourcing application... -
dedup_wf_001--5d0aec5dfae0acf3087a0aa7b1c09c6a
This paper explores carbon dioxide (CO2) tax policies from 2015 to 2030 in the United States economy using an the TIMES energy system optimization model. The files attached... -
dedup_wf_001--552ce76429692cb37f52e8434c3edc49
Anonymized datasets of enCompass project. The enCOMPASS project collected data related to energy consumption in households, in schools and in public buildings, in three pilots... -
Coding data of manuscript "How Do Developers Utilize Source Code from Stack O...
This is the coding data for the manuscript "How Do Developers Utilize Source Code from Stack Overflow?". -
epiGBS and RADseq data analysis
This release contains the bismark coverage files and stacks pipeline output for analysis of methylation and DNA variation between 4 populations of oysters in Louisiana.... -
Planning universal accessibility to public healthcare in sub-Saharan Africa
Replication code and data for the the paper "Planning universal accessibility to public healthcare in sub-Saharan Africa". The tarball contains computer... -
Web Tracking Measurement Dataset
This is the dataset generated in the research work of "A Comparative Measurement Study of Web Tracking on Mobile and Desktop Environments". The full paper of this... -
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... -
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: ...
This archive contains detailed results from QComp 2019 as well as the necessary scripts and data to replicate them. Visit http://qcomp.org for more information for QComp.... -
Fog Computing Bibliographic Results from Google Scholar
This dataset contains all the results for the term "Fog Computing" on Google Scholar until Nov. 15, 2017. The data was acquired using Publish or Perish. The data... -
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 -
Split4Blank: a software to split an RDF graph with blank nodes
A software to split an RDF graph in N-Triples format into multiple files under the condition that identical blank nodes are not separated. -
Bcbi/Bcbistats.Jl: V0.1.0
Statistics utilities developed in Julia at the Brown Center for Biomedical Informatics -
The Open City Toolkit
The Open City Toolkit is a collection of tools, applications, services, datasets, specifications and guidelines to empower citizens to participate in and shape the future of... -
Extracting Terms Concerning Ai Based On Web Of Science Data
This is the accompanied code to extract terms connected to AI through titles and abstracts from Web of Science data. -
MATLAB code for the CbCI algorithm (an immunization algorithm)
MATLAB code for the CbCI algorithm, an immunization algorithm for networks with community structure. It requires a data file for the community structure,...
