Learn More
This study aims to link three-dimensional coarse root architecture to tree stability in mature timber trees with an average of 1-m rooting depth. Undamaged and uprooted trees were sampled in a stand damaged by a storm. Root architecture was measured by three-dimensional (3-D) digitizing. The distribution of root volume by root type and in wind-oriented(More)
Static winching tests were carried out in order to determine the mechanical resistance of Maritime pine to overturning. The tested stands were selected according to podzolic soil conditions: “wet Lande”, characterised by a shallow ground water table and a hard pan horizon, and “dry Lande”, with a deeper ground water table and a hard pan absent or broken up.(More)
• The objective of this study was to explore the distribution of major nutrients (N, P, K, Ca and Mg) in the aboveground compartments of an intensively managed tree species (Pinus pinaster Ait.). A total of 53 trees were cut down in even-aged stands respectively 8, 16, 26, 32 and 40 years old. The nutrient concentrations of the aboveground compartments were(More)
In this paper, we present a method and a tool to build symbolic labelled transition systems from B specifications. The tool, called GeneSyst, can take into account refinement levels and can visualize the decomposition of abstract states in concrete hierarchical states. The resulting symbolic transition system represents all the behaviors of the initial B(More)
This paper gives a brief description of the recent improvements of lpg, a programming language that integrates algebraic and logic programming paradigms. In this language, functions are deened by means of constructor-based conditional term rewriting systems and predicates are deened by means of Horn clauses where the bodies may contain classical literals as(More)
This paper presents the results of the RNTL BOM project, which aimed to develop an approach to generate efficient code from B formal developments. The target domain is smart card applications, in which memory and code size is an important factor. The results detailed in this paper are a new architecture of the translation process, a way to adapt the B0(More)