24 items found

Licenses: License Not Specified Tags: 80699 Information Systems not elsewhere classified ACM.TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES

Filter Results
  • dataset

    R script to create 'barcodes' file for de-multiplexing

    NOTE: This file is part of the original version of this data package. It is superfluous to the new version.
  • dataset

    dedup_wf_001--5b166906dbd9b1948a0eee21bae3c58c

    MIRA contigs and singletons concatenated into a single fasta file or each library
  • dataset

    README

    This document defines all abbreviations within the other data files.
  • dataset

    Files for GPhoCS analysis

    These files are the input and control (.ctl) files used to conduct the GPhoCS analysis
  • dataset

    Meta data and accession ID for the scATAC-seq data used in simulation for pip...

    Meta data and accession ID for the scATAC-seq data used in simulation for pipeline tolerance evaluation.
  • dataset

    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...
  • dataset

    Poolseq_22pools.sync

    Pool-seq synchronized file
  • dataset

    PAMLInputFiles

    Contains the codeml.ctl text files and tree files used to run the PAML analyses.
  • dataset

    dedup_wf_001--97b707be389580e229efea7c14df16e0

    Additional file 2: Table S2. Quality values of ChIP-seq and RNA-seq data.
  • dataset

    2019Beck-ArcticCharrEmbryonicGeneExpression_data

    All data collected for this study can be found in this file
  • other

    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...
  • software

    r37980778c78--ca69a8701bde6c5b93dd9be4cdae4261

    The Downward Lab Python package facilitates running experiments for the Fast Downward planning system.
  • software

    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
  • software

    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...
  • software

    electronicvisions/haldls 20181106_pspilger

    Low-level abstraction layer for HICANN-DLS-based chips
  • software

    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...
  • dataset

    r37980778c78--e0e9441ab5d7db3af61db3b7081ad53f

    Opening (OP) and closing (CP) predicates and other descriptors used in the predicates.
  • dataset

    SimPA: A Sentence-Level Simplification Corpus for the Public Administration D...

    We present a sentence-level simplification corpus with content from the Public Administration (PA) domain. The corpus contains 1,100 original sentences with manual...
  • dataset

    Congruence between Galaxy and Jupyter as a function of their pros and cons.

    Congruence between Galaxy and Jupyter as a function of their pros and cons.