Repositorium für Publikationen und Forschungsdaten

Suchen Sie in der Research Collection der ETH Zürich nach wissenschaftlichen Publikationen und Forschungsdaten oder laden Sie selbst eigenen Forschungsoutput hoch. Weiterlesen

Aktuell 

Webinar: Schreibprojekte starten, Plagiate verhindern und publizieren

Tipps und Tools für einen produktiven Alltag im Doktorat erhalten Sie in unserem Webinar am 01. Oktober 2024 von 16.00 bis 17.15 Uhr. Weiterlesen

Fit im Forschungsdatenmanagement – Workshop-Reihe im Herbstsemester 2024

Machen Sie sich und Ihr Forschungsprojekt fit mit unserem Workshop-Angebot zum Thema Forschungsdatenmanagement. Ab sofort können Sie sich für die Workshops im Herbstsemester 2024 anmelden. Weiterlesen

Die «RDM Guidelines» für ETH-Forschende kurz und verständlich erklärt

In mehreren Kurzvideos erklären wir Ihnen die wichtigsten Aspekte der «RDM Guidelines» schnell und unkompliziert – für eine gute wissenschaftliche Praxis und FAIRe Daten. Weiterlesen

  

Neueste Publikationen 

  1. Agricultural practices and biodiversity: Conservation policies for semi-natural grasslands in Europe 

    Shipley, Ryan; Frei, Esther R.; Bergamini, Ariel; et al. (2024)
    Current Biology
    Europe's semi-natural grasslands support notably high levels of temperate biodiversity across multiple taxonomic groups. However, these ecosystems face unique conservation challenges. Contemporary agricultural practices have replaced historical traditional low-intensity agriculture in many regions, resulting in a spectrum of management intensities within these ecosystems, ranging from highly intensive methods to complete abandonment. ...
    Journal Article

  2. Analysis of the impact of macroeconomic turmoil (COVID-19 and RUW) on Ukrainian agroholdings 

    Nehrey, Maryna; Klymenko, Nataliia; Kaminskyi, Andrii; et al. (2024)
    STUDIES IN AGRICULTURAL ECONOMICS
    This paper examines the impact of the macroeconomic turmoil, in particular the COVID-19 pandemic and the Russian- Ukrainian war (RUW) in Ukraine, on Ukrainian agroholdings. Before the full-scale Russian invasion, Ukraine was a major global exporter of agricultural commodities, playing a crucial role in global food security and contributing significantly to the national economy. However, the outbreak of war in Ukraine brought with it ...
    Journal Article

  3. FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format 

    Xiao, Shengping; Zhang, Chengyu; Li, Jianwen; et al. (2023)
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023
    We present FuzzBtor2, a fuzzer to generate random word-level model checking problems in Btor2 format. Btor2 is one of the mainstream input formats for word-level hardware model checking and was used in the most recent hardware model checking competition. Compared to bit-level one, word-level model checking is a more complex research field at an earlier stage of development. Therefore, it is necessary to develop a tool that can produce a ...
    Conference Paper

  4. Explainable Online Monitoring of Metric Temporal Logic 

    Lima, Leonardo; Herasimau, Andrei; Raszyk, Martin; et al. (2023)
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023
    Runtime monitors analyze system execution traces for policy compliance. Monitors for propositional specification languages, such as metric temporal logic (MTL), produce Boolean verdicts denoting whether the policy is satisfied or violated at a given point in the trace. Given a sufficiently complex policy, it can be difficult for the monitor's user to understand how the monitor arrived at its verdict. We develop an MTL monitor that outputs ...
    Conference Paper

  5. Cold reactions of He<sup>+</sup> with OCS and CO<sub>2</sub>: competitive kinetics and the effects of the molecular multipole moments 

    Martins, Fernanda B. V.; Zhelyazkova, Valentina; Merkt, Frédéric (2024)
    Physical Chemistry Chemical Physics
    Journal Article

Mehr anzeigen