Phenotypic Plasticity Explains Response Patterns of European Beech (Fagus sylvatica L.) Saplings to Nitrogen Fertilization and Drought Events

P. 1-11Climate and atmospheric changes affect forest ecosystems worldwide, but little is known about the interactive effects of global change drivers on tree growth. In the present study, we analyzed single and combined effects of nitrogen (N) fertilization and drought events (D) on the growth of European beech (Fagus sylvatica L.) saplings in a greenhouse experiment. We quantified morphological and physiological responses to treatments for one‐ and two‐year‐old plants. N fertilization increased the saplings’ aboveground biomass investments, making them more susceptible to D treatments. This was reflected by the highest tissue dieback in combined N and D treatments and a significant N × D interaction for leaf δ13C signatures. Thus, atmospheric N deposition can strengthen the drought sensitivity of beech saplings. One‐year‐old plants reacted more sensitively to D treatments than two‐year‐old plants (indicated by D‐induced shifts in leaf δ13C signatures of one‐year‐old and two‐year‐old plants by +0.5‰ and −0.2‰, respectively), attributable to their higher shoot:root‐ratios (1.8 and 1.2, respectively). In summary, the saplings’ treatment responses were determined by their phenotypic plasticity (shifts in shoot:root‐ratios), which in turn was a function of both the saplings’ age (effects of allometric growth trajectories = apparent plasticity) and environmental impacts (effects of N fertilization = plastic allometry)S

Towards a methodical framework for comprehensively assessing forest multifunctionality

Funded by Deutsche Forschungsgemeinschaft. Grant Number: DFG FOR 891/1-3 National Natural Science Foundation of China. Grant Numbers: 30710103907, 30930005, 31170457, 31210103910 Swiss National Science Foundation (SNSF) Sino-German Centre for Research Promotion in Beijing. Grant Number: GZ 986Peer reviewedPublisher PD

A program logic for resources

AbstractWe introduce a reasoning infrastructure for proving statements about resource consumption in a fragment of the Java Virtual Machine Language (JVML). The infrastructure is based on a small hierarchy of program logics, with increasing levels of abstraction: at the top there is a type system for a high-level language that encodes resource consumption. The infrastructure is designed to be used in a proof-carrying code (PCC) scenario, where mobile programs can be equipped with formal evidence that they have predictable resource behaviour.This article focuses on the core logic in our infrastructure, a VDM-style program logic for partial correctness, which can make statements about resource consumption alongside functional behaviour. We establish some important results for this logic, including soundness and completeness with respect to a resource-aware operational semantics for the JVML. We also present a second logic built on top of the core logic, which is used to express termination; it too is shown to be sound and complete. We then outline how high-level language type systems may be connected to these logics.The entire infrastructure has been formalized in Isabelle/HOL, both to enhance the confidence in our meta-theoretical results, and to provide a prototype implementation for PCC. We give examples to show the usefulness of this approach, including proofs of resource bounds on code resulting from compiling high-level functional programs

ReSurveyEurope: A database of resurveyed vegetation plots in Europe

Abstract Aims We introduce ReSurveyEurope — a new data source of resurveyed vegetation plots in Europe, compiled by a collaborative network of vegetation scientists. We describe the scope of this initiative, provide an overview of currently available data, governance, data contribution rules, and accessibility. In addition, we outline further steps, including potential research questions. Results ReSurveyEurope includes resurveyed vegetation plots from all habitats. Version 1.0 of ReSurveyEurope contains 283,135 observations (i.e., individual surveys of each plot) from 79,190 plots sampled in 449 independent resurvey projects. Of these, 62,139 (78%) are permanent plots, that is, marked in situ, or located with GPS, which allow for high spatial accuracy in resurvey. The remaining 17,051 (22%) plots are from studies in which plots from the initial survey could not be exactly relocated. Four data sets, which together account for 28,470 (36%) plots, provide only presence/absence information on plant species, while the remaining 50,720 (64%) plots contain abundance information (e.g., percentage cover or cover–abundance classes such as variants of the Braun‐Blanquet scale). The oldest plots were sampled in 1911 in the Swiss Alps, while most plots were sampled between 1950 and 2020. Conclusions ReSurveyEurope is a new resource to address a wide range of research questions on fine‐scale changes in European vegetation. The initiative is devoted to an inclusive and transparent governance and data usage approach, based on slightly adapted rules of the well‐established European Vegetation Archive (EVA). ReSurveyEurope data are ready for use, and proposals for analyses of the data set can be submitted at any time to the coordinators. Still, further data contributions are highly welcome

ReSurveyEurope : A database of resurveyed vegetation plots in Europe

Aims: We introduce ReSurveyEurope — a new data source of resurveyed vegetation plots in Europe, compiled by a collaborative network of vegetation scientists. We de- scribe the scope of this initiative, provide an overview of currently available data, governance, data contribution rules, and accessibility. In addition, we outline further steps, including potential research questions. Results: ReSurveyEurope includes resurveyed vegetation plots from all habitats. Version 1.0 of ReSurveyEurope contains 283,135 observations (i.e., individual sur- veys of each plot) from 79,190 plots sampled in 449 independent resurvey projects. Of these, 62,139 (78%) are permanent plots, that is, marked in situ, or located with GPS, which allow for high spatial accuracy in resurvey. The remaining 17,051 (22%) plots are from studies in which plots from the initial survey could not be exactly relocated. Four data sets, which together account for 28,470 (36%) plots, provide only presence/absence information on plant species, while the remaining 50,720 (64%) plots contain abundance information (e.g., percentage cover or cover–abun- dance classes such as variants of the Braun- Blanquet scale). The oldest plots were sampled in 1911 in the Swiss Alps, while most plots were sampled between 1950 and 2020. Conclusions: ReSurveyEurope is a new resource to address a wide range of re- search questions on fine-scale changes in European vegetation. The initiative is de- voted to an inclusive and transparent governance and data usage approach, based on slightly adapted rules of the well-established European Vegetation Archive (EVA). ReSurveyEurope data are ready for use, and proposals for analyses of the data set can be submitted at any time to the coordinators. Still, further data contributions are highly welcom

Toward a methodical framework for comprehensively assessing forest multifunctionality

Biodiversity-ecosystem functioning (BEF) research has extended its scope from communities that are short-lived or reshape their structure annually to structurally complex forest ecosystems. The establishment of tree diversity experiments poses specific methodological challenges for assessing the multiple functions provided by forest ecosystems. In particular, methodological inconsistencies and nonstandardized protocols impede the analysis of multifunctionality within, and comparability across the increasing number of tree diversity experiments. By providing an overview on key methods currently applied in one of the largest forest biodiversity experiments, we show how methods differing in scale and simplicity can be combined to retrieve consistent data allowing novel insights into forest ecosystem functioning. Furthermore, we discuss and develop recommendations for the integration and transferability of diverse methodical approaches to present and future forest biodiversity experiments. We identified four principles that should guide basic decisions concerning method selection for tree diversity experiments and forest BEF research: (1) method selection should be directed toward maximizing data density to increase the number of measured variables in each plot. (2) Methods should cover all relevant scales of the experiment to consider scale dependencies of biodiversity effects. (3) The same variable should be evaluated with the same method across space and time for adequate larger-scale and longer-time data analysis and to reduce errors due to changing measurement protocols. (4) Standardized, practical and rapid methods for assessing biodiversity and ecosystem functions should be promoted to increase comparability among forest BEF experiments. We demonstrate that currently available methods provide us with a sophisticated toolbox to improve a synergistic understanding of forest multifunctionality. However, these methods require further adjustment to the specific requirements of structurally complex and long-lived forest ecosystems. By applying methods connecting relevant scales, trophic levels, and above? and belowground ecosystem compartments, knowledge gain from large tree diversity experiments can be optimized

<scp>ReSurveyEurope</scp>: A database of resurveyed vegetation plots in Europe

AbstractAimsWe introduce ReSurveyEurope — a new data source of resurveyed vegetation plots in Europe, compiled by a collaborative network of vegetation scientists. We describe the scope of this initiative, provide an overview of currently available data, governance, data contribution rules, and accessibility. In addition, we outline further steps, including potential research questions.ResultsReSurveyEurope includes resurveyed vegetation plots from all habitats. Version 1.0 of ReSurveyEurope contains 283,135 observations (i.e., individual surveys of each plot) from 79,190 plots sampled in 449 independent resurvey projects. Of these, 62,139 (78%) are permanent plots, that is, marked in situ, or located with GPS, which allow for high spatial accuracy in resurvey. The remaining 17,051 (22%) plots are from studies in which plots from the initial survey could not be exactly relocated. Four data sets, which together account for 28,470 (36%) plots, provide only presence/absence information on plant species, while the remaining 50,720 (64%) plots contain abundance information (e.g., percentage cover or cover–abundance classes such as variants of the Braun‐Blanquet scale). The oldest plots were sampled in 1911 in the Swiss Alps, while most plots were sampled between 1950 and 2020.ConclusionsReSurveyEurope is a new resource to address a wide range of research questions on fine‐scale changes in European vegetation. The initiative is devoted to an inclusive and transparent governance and data usage approach, based on slightly adapted rules of the well‐established European Vegetation Archive (EVA). ReSurveyEurope data are ready for use, and proposals for analyses of the data set can be submitted at any time to the coordinators. Still, further data contributions are highly welcome.</jats:sec

Hoare logic for Java in Isabelle/HOL

This article presents a Hoare-style calculus for a substantial subset of Java Card, which we call Java ℓight. In particular, the language includes side-effecting expressions, mutual recursion, dynamic method binding, full exception handling, and static class initialization. The Hoare logic of partial correctness is proved not only sound (w.r.t. our operational semantics of Java ℓight, described in detail elsewhere) but even complete. It is the first logic for an object-oriented language that is provably complete. The completeness proof uses a refinement of the Most General Formula approach. The proof of soundness gives new insights into the role of type safety. Further by-products of this work are a new general methodology for handling side-effecting expressions and their results, the discovery of the strongest possible rule of consequence, and a flexible Call rule for mutual recursion. We also give a small but non-trivial application example. All definitions and proofs have been done formally with the interactive theorem prover Isabelle/HOL. This guarantees not only rigorous definitions, but also gives maximal confidence in the results obtained