-
Additional file 3 of Comparing effects of continuous glucose monitoring syste...
Additional file 3: Logic grid. -
MOESM1 of A social network analysis on immigrants and refugees access to serv...
Additional file 1. List of stakeholders and abbreviations. -
Additional file 2 of Patients’ perceptions of frequent hospital admissions: a...
Additional file 2: Supplementary File 2. Research team and reflexivity. -
The Turing Way - supporting reproducibility and Open Research
The Turing Way is a handbook to support students, their supervisors, funders and journal editors in ensuring that reproducible data science is "too easy not to do". It will... -
ChiLin: a comprehensive ChIP-seq and DNase-seq quality control and analysis p...
Background: Transcription factor binding, histone modification, and chromatin accessibility studies are important approaches to understanding the biology of gene regulation.... -
How to cite software: current best practice
Introduction to the software citation principles, and how they can be applied, as part of the Software Citation Workshop organised by the Software Sustainability Institute, the... -
Additional file 5: of Tailoring an educational program on the AHRQ Patient Sa...
PSI Educational Program Matrix. This file highlights information covered in each session of the PSI Educational Program and provides a list of materials referenced in each... -
dedup_wf_001--94b1dcc7a361cd0ca2ea8cdd611a1846
Additional file 2. Search syntax. The search syntax used for this literature review. -
dedup_wf_001--10ce60bda47d05cdb380abeebf607cb4
Additional file 2. Data extraction and normalisation processes. -
MOESM1 of A survey of retracted articles in dentistry
Additional file 1: Table S1. Characteristics of retracted papers. -
Additional file 1 of Addressing noncommunicable diseases among urban refugees...
Additional file 1. Search syntax. -
Additional file 3 of Efficacy of Liu-zi-jue in Patients with 2019 Novel Coron...
Additional file 3. Proof of Ethics. -
ChiLin: a comprehensive ChIP-seq and DNase-seq quality control and analysis p...
Abstract Background Transcription factor binding, histone modification, and chromatin accessibility studies are important approaches to understanding the biology of gene... -
r37980778c78--ca69a8701bde6c5b93dd9be4cdae4261
The Downward Lab Python package facilitates running experiments for the Fast Downward planning system. -
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... -
Decidable Subtyping for Path Dependent Types - Artifact
A proof of subtype decidability for the Wyvself and Wyvfix variants of Wyvern, formalised in Coq. The associated type systems are described in greater detail in the associated...