Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (2)
Download Results
518 research outcomes, page 1 of 52
  • software . 2021
    Open Access
    Authors:
    Kkaru;
    Publisher: Zenodo
    Project: EC | BIOACT (793377)

    Repository of the Force Fields and Workflow Used in: Predicting Melting Points of Biofriendly Choline-Based Ionic Liquids with Molecular Dynamics (https://www.mdpi.com/2076-3417/9/24/5367).

    Add to ORCIDorcid
  • other research product . 2021
    Open Access English
    Authors:
    Taipale, Ditte; Kerminen, Veli-Matti; Ehn, Mikael; Kulmala, Markku; Niinemets, Ülo;
    Project: EC | SIP-VOL+ (322603)

    Most trees emit volatile organic compounds (VOCs) continuously throughout their life, but the rate of emission, and spectrum of emitted VOCs, become substantially altered when the trees experience stress. Still, models to predict the emissions of VOCs do not account for...

  • other research product . 2021
    Open Access Estonian
    Authors:
    Lauren, Sigrid;
    Publisher: Tartu Ülikool

    https://www.ester.ee/record=b5451525*est

  • other research product . Other ORP type . 2021
    Open Access Estonian
    Authors:
    Susi, Lii;
    Publisher: Tartu Ülikool

    Haldusreform on teadlik ja hästi läbi kaalutletud protsess avaliku sektori organisatsiooni või süsteemi muutuseks, mille eesmärk on parandada organisatsiooni või süsteemi struktuuri, tööprotsessi või kvaliteeti (Gow, 2012). Eestis oli kohalike haldusüksuste v...

  • other research product . Other ORP type . 2021
    Open Access
    Authors:
    Wong, Edward;

    Effective Research / Search on Xplore (45 minutes) • Construct successful search strategies for precise results. • Stay current by setting up saved search alerts, citation, and ToC alerts. • See the latest value-added features including My Favourite Journals, Advanced S...

  • software . 2020
    Open Access
    Authors:
    Caballero, Jos�� Manuel Rodr��guez; Unruh, Dominique;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | CerQuS (819317)

    Isabelle theory about bounded operators

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

    Isabelle theory about bounded operators

  • software . 2020
    Open Access
    Authors:
    Unruh, Dominique;
    Persistent Identifiers
    Publisher: Zenodo
    Project: NSF | SCREMS: The Computational... (0821725), EC | CerQuS (819317)

    Proof assistant for qRHL

    Add to ORCIDorcid
  • software . 2020
    Open Access
    Authors:
    Unruh, Dominique;
    Publisher: Zenodo
    Project: EC | CerQuS (819317)

    Proof assistant for qRHL

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

    Postquantum verification of the Fujisaki-Okamoto transform variant by Hövelmanns, Kiltz, Schäge, Unruh

    Add to ORCIDorcid
518 research outcomes, page 1 of 52