75 items found

Tags: ACM.TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES

Filter Results
  • dataset

    Consequences Inference Method with Construction the Scheme from New Facts in ...

    The paper presents solutions of two problems using the method of logical inference of the consequences with the construction of an output scheme for an incompletely defined...
  • dataset

    single resource sibling competition experiment

    single resource sibling competition experiment
  • dataset

    The abstract syntax for definitions.

    The abstract syntax for definitions.
  • dataset

    PAMLInputFiles

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

    r37980778c78--bbe19a70e92a09af263277387bd608e0

    Bold items were found to be significant.
  • dataset

    Global health equity in UK university research: a landscape of current polici...

    These data underly an analysis currently in peer review with BMC Health Research Policy and Systems.
  • dataset

    dedup_wf_001--1ec2862b6ecc0cee784a7611c31b5eea

    R-script for analysis of effects of lamp type and size classes of moths (as fixed factors) on foraging (yes/no) using a generalized linear mixed model
  • dataset

    DEF DATA for PUB ANALYSIS

    DEF DATA for PUB ANALYSIS
  • dataset

    r37980778c78--c706272911fa1e22c40e614f9d0c1234

    Testable Propositions
  • 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
  • dataset

    r37980778c78--8e1c9836480178b41215cf9a49ba0930

    Summaries of syntactic features and readability score.
  • publication

    dedup_wf_001--9ca8bd38e9969064386bec879a8211b1

    A presentation given to the Turing Institute's Research Engineering team in an internal "Tech Talk" introducing Binder/BinderHub and how to share reproducible computational...
  • publication

    dedup_wf_001--b004f4620389c1e633ae113f6ec81e4c

    Additional file 3. A list of abbreviations is included.
  • publication

    Additional file 2 of Intersectionality and health-related stigma: insights fr...

    Additional file 2: Supplementary File 2. Table. Categories and sub-categories based on Inductive-deductive analytical approach.
  • publication

    MOESM1 of What is the effect of phasing out long-chain per- and polyfluoroalk...

    Additional file 1. List of abbreviations.
  • publication

    Additional file 1 of Monitoring progress towards the first UNAIDS 90-90-90 ta...

    Additional file 1. Further clarifications of input surveillance data.
  • publication

    Additional file 7 of Barriers and facilitators to implementation of menu labe...

    Additional file 7. List of constructs and sample quotes following the deductive and inductive coding. This file provides results from the deductive and inductive coding,...