Quick search
Advanced search in
Field to searchTerm
Add rule
Download Results
9 research outcomes, page 1 of 1
  • software . 2020
    Open Source English
    Authors:
    Benjamín J. Sánchez; Kate Campbell;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | DD-DeCaF (686070), EC | SynBioTEC (668997)

    <p>1st official version of the study. Use this version to reproduce any results from the BioRxiv pre-print:</p> <p><a href="https://www.biorxiv.org/content/10.1101/2020.03.23.998237v1">https://www.biorxiv.org/content/10.1101/2020.03.23.998237v1</a></p>

    Add to ORCID
  • software . 2020
    Open Source
    Authors:
    Unruh, Dominique;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | CerQuS (819317)

    <p>A Scala library for controlling/interacting with Isabelle</p>

    Add to ORCID
  • software . 2019
    Open Source
    Authors:
    Alexander Kmoch;
    Publisher: Zenodo
    Project: EC | GLOMODAT (795625)

    <p>This an export of the experimental lcmodel.py to calculate landscape metrics in Python, with an example on MyBinder.</p>

    Add to ORCID
  • software . 2020
    Open Source
    Authors:
    Unruh, Dominique;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | CerQuS (819317)

    <p>Postquantum verification of the Fujisaki-Okamoto transform variant by H&ouml;velmanns, Kiltz, Sch&auml;ge, Unruh</p>

    Add to ORCID
  • software . 2020
    Open Source
    Authors:
    Dominique Unruh;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | CerQuS (819317)

    <p>Isabelle/HOL development for the paper &quot;Local Variables and Quantum Relational Hoare Logic&quot;</p>

    Add to ORCID
  • software . 2020
    Open Source English
    Authors:
    Alexander Kmoch;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | GLOMODAT (795625)

    <p>We added Dask Python parallelization and updated codes regarding the parsing of the textures, coarse fragments, humus horizons and layer depths.</p> <p>For more information on the development of this dataset look for &quot;EstSoil-EH: a high-resolution eco-hydrologic...

    Add to ORCID
  • software . 2019
    Open Source English
    Authors:
    Alexander Kmoch;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | GLOMODAT (795625)

    <p>We created an extended eco-hydrological dataset for Estonia, the EstSoil-EH v1.0, containing derived numerical values for the following data in all of the mapped soil units in the 1:10 000 soil map: soil profiles (e.g., layers, depths), texture (clay, silt, and sand ...

    Add to ORCID
  • software . 2020
    Open Source
    Authors:
    Unruh, Dominique;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | CerQuS (819317)

    <p>Proof assistant for qRHL</p>

    Add to ORCID
  • software . 2020
    Open Source
    Authors:
    Caballero, José Manuel Rodríguez; Unruh, Dominique;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | CerQuS (819317)

    <p>Isabelle theory about bounded operators</p>

    Add to ORCID
9 research outcomes, page 1 of 1