-
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 -
Code from the paper "Counterexample-guided Cartesian Abstraction Refinement f...
The zipfile contains revision 837b876fa51d of the Fast Downward planning system (http://fast-downward.org). The code for counterexample-guided Cartesian abstraction... -
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. -
dedup_wf_001--7eb5c3a394418783b82a63a2ca4ec4cd
BEAST replicate run 2 files including xml file, log file, and trees. -
Tcga Filtered Dataset Used In Drivermaps Paper
Filtered mutation lists files for 20 cancer types from TCGA. This is the dataset used for running MAPS and other competitor software in the paper. This dataset is... -
Event-QA: A Dataset for Event-Centric Question Answering over Knowledge Graphs
Event-QA dataset contains 1000 semantic queries and the corresponding verbalisations for EventKG - a recently proposed event-centric knowledge graph containing over... -
ORCID migrations by person
This file is an aggregation of affiliation data for each person. It is part of the output of the IPython Notebook above. -
Challenges and information needs for most risky and challenging surgical phases.
Challenges and information needs for most risky and challenging surgical phases. -
Additional file 1: of Long-term outcome of scleral-fixated intraocular lens i...
Supplemental Digital Content. Demonstrates the surgical techniques in this manuscript. (MPEG 19176 kb) -
The GPlates Portal: Cloud-Based Interactive 3D Visualization of Global Geophy...
The pace of scientific discovery is being transformed by the availability of ‘big data’ and open access, open source software tools. These innovations open up new avenues for... -
Data sets for the Simulated AMPI (SAMPI) load balancing simulation workflow a...
This package contains data sets and scripts (in an Org-mode file) related to our submission to the special Euro-Par 2017 issue of the journal "Concurrency... -
dedup_wf_001--73117a36c3a5e938de96a7efa0e6d94f
File containing the PC scores generated by the PCA. For more information please see the legend in the spreadsheet. -
dedup_wf_001--3969422ba8b6ed8ecfa1d6c0d4787ee1
Recaptures data of newborns at the end of the experiment. A list of all surviving newborns with their id, capture date, morphology and mass at capture. -
Ws-Dream Datasets
This repository hosts WS-DREAM QoS datasets for Web service recommendation. For more information, please visit our project page at Github:... -
Data on time to capture during infection among captive finches
Please see README file for variable descriptions. -
Mansfield et al. Track_Data-for_Dryad
Metadata, turtle, and drifter track files combined in one excel file with three worksheet tabs (one each for metadata, turtle track files, and drifter track files). -
List of cities inversely ranked by degree <i>m</i> of poly-centricity.
m is the average slope of μ and, for readability, it is rescaled by a multiplication factor of 103.