382 research outputs found
An experimental study of how variation in deer density affects vegetation and songbird assemblages of recently harvested boreal forests
Intense browsing by abundant large herbivores can threaten the ecological integrity of ecosystems by inducing modifications in the structure and composition of vegetation that trigger trophic cascades affecting plant and animal communities. We investigated the relationships between density of white-tailed deer (Odocoileus virginianus (Zimmermann, 1780)), forest succession after clear-cut, and songbird communities on Anticosti Island, Quebec, Canada. We hypothesized that lower deer densities would alter the trajectory of forest succession after clear-cutting and lead to a rapid recovery of habitat attributes favorable to songbirds associated with a dense complex shrub layer. Six years after establishing a controlled browsing experiment (0, 7.5, 15, and >27 deer·km–2) in recent clearcuts, reducing deer densities ≤7.5 deer·km–2 initiated the restoration of balsam fir (Abies balsamea (L.) Mill.) forests and increased the regeneration of paper birch (Betula papyrifera Marshall). Increasing birch ground cover from 10% to 20% increased songbird total abundance, species richness, and diversity by 17%, 39%, and 31%, respectively. Alder Flycatcher (Empidonax alnorum Brewster, 1895) was only present at ≤7.5 deer·km–2 and strongly associated with birch regeneration. The regeneration of browse-resistant plants such as white spruce (Picea glauca (Moench) Voss) in some areas at high deer density favored the maintenance of many shrub-dependent songbirds but also species usually associated with forest canopy. Active management of deer populations in Canadian harvested boreal forests will mitigate losses in vegetation and songbirds caused by over-browsing.Le broutement intensif par de nombreux grands herbivores peut menacer l’intégrité écologique d’écosystèmes en
induisant des modifications de la structure et de la composition de la végétation qui déclenchent des cascades trophiques
ayant des incidences sur les communautés végétales et animales. Nous nous sommes penchés sur les liens entre la densité
du cerf de Virginie (Odocoileus virginianus (Zimmermann, 1780)), la succession forestière après la coupe à blanc et les
communautés d’oiseaux chanteurs sur l’île d’Anticosti (Québec, Canada). Nous avons émis l’hypothèse que de plus faibles
densités de cerfs modifieraient la trajectoire de succession forestière après une coupe à blanc et mèneraient au rétablissement
rapide des attributs d’habitat favorables aux oiseaux chanteurs associés à une strate arbustive complexe et dense. Six ans
après l’établissement d’une expérience de broutement contrôlé (0, 7,5, 15 et >27 cerfs·km–2) dans des coupes récentes, la réduction des densités de cerfs à ≤7,5 cerfs·km–2 s’est traduite par le début du rétablissement des forêts de sapin baumier
(Abies balsamea (L.) Mill.) et une régénération accrue du bouleau à papier (Betula papyrifera Marshall). Un passage de la
couverture de bouleau de 10 % à 20 % s’est traduit par des augmentations de l’abondance totale d’oiseaux chanteurs, de la
richesse spécifique et de la diversité de 17 %, 39 % et 31 %, respectivement. Le moucherolle des aulnes (Empidonax alnorum Brewster, 1895) n’était présent qu’à des densités ≤7,5 cerfs·km–2 et était fortement associé à la régénération du bouleau. La régénération de plantes résistantes au broutement, telles que l’épinette blanche (Picea glauca (Moench) Voss) dans
certaines zones à forte densité de cerfs a favorisé le maintien de nombreux oiseaux chanteurs dépendants des arbustes, mais
également d’espèces généralement associées à la canopée. La gestion active des populations de cerfs dans les forêts boréales
canadiennes exploitées atténuera les pertes de végétation et d’oiseaux chanteurs causées par le surbroutemen
Étude téphrostratigraphique et bio-climatique du Tardiglaciaire et de l’Holocène de la Laguna Salinas, Pérou méridional
La présente étude est une contribution à la connaissance de l'évolution de l'environnement tardiglaciaire et holocène des régions andines. En raison de la présence de volcans à proximité de la ville d'Arequipa (800 000 habitants), l'accent est mis sur la récurrence de l'activité volcanique et il est démontré que sept téphras majeures ont recouvert la région après le dernier maximum glaciaire. La Laguna Salinas est une dépression fermée d'origine volcano-tectonique du département d'Arequipa (Pérou méridional) qui constitue un piège sédimentaire dont des carottes ont été extraites des niveaux couvrant les quinze derniers millénaires. L'ensemble des analyses multidisciplinaires (téphras, pollen, diatomées, datation au 14C) réalisées sur ces carottes et des coupes accessibles autour de la lagune ont conduit à rétablissement d'un modèle stratigraphique actuellement unique pour le Tardiglaciaire et l'Holocène du Pérou méridional.This study is a contribution to the Late glacial and Holocene environmental changes in the Andean Cordillera. Due to the presence of volcanoes near Arequipa city (800,000 inhabitants), particular importance is given to the frequency of volcanic activity and it is demonstrated that seven major tephras have covered the area after the last glacial maximum. Laguna Salinas is a volcano-tectonic closed basin in the Arequipa Department (southern Peru) which acts as a sediment trap in which cores were taken that correspond to the last 15,000 years. A multidisciplinary research (tephras, pollen, diatoms, 14C-dating) of a core as well as tephrostratigraphical investigations of nearby roadcuts have allowed to realize the first chronostratigraphical model for the Late Glacial and Holocene periods of southern Peru.Die vorliegende Arbeit stellt einen Beitrag zur Kenntniss von Unweltverânderungen im Spat und Postglazial in den Anden dar. Da die sudperuanische Stadt Arequipa (800 000 Einwohner) zwischen Vulkanen eingebettet ist, wird beim Studium dieser Region ein bezonderer Akzent auf den Ruckgang der vulkanischen Aktività t und Fôrdertâtigkeit gelegt. Dabei haben sich fur die Zeit seit dem letzten Hochglazial sieben Haupttephren ergeben. Die Laguna Salinas erstreckt sich im sudperuanischen Département Arequipa in einem vulkano-tecktonishen Becken, das als eigentliche Sedimentfalle wirkt. Darin wurden in einer Kernbohrung Proben genommen, die zeitlich die letzten 15 000 Jahre abstecken. Tephralagen, Pollen, Diatomeen, l4C-Alter wurden multidisziplinar untersucht. Zusammen mit dem Studium umliegender Aufschlusse konnte eine stratigraphische Pionniermodell bzw Referenzprofil fur Sùdperu entwickelt werden
Histoire et archéologie de l’Occident méditerranéen au Moyen Âge
Jacques Chiffoleau, Étienne Hubert, directeurs d’étudesJean-Michel Poisson, maître de conférencesJean-Louis Gaulin, professeur à l’Université Lyon-II/Lumière Histoire et archéologie de l’Occident méditerranéen au Moyen Âge (Italie, France du sud, Espagne) Le séminaire se propose d’examiner les grandes tendances historiographiques actuelles dans les domaines de l’histoire politique, économique et sociale et de l’archéologie de l’Occident méditerranéen. Durant l’année universitaire, les séances..
A calculus of expandable stores: Continuation-and-environment-passing style translations
LICS 2020 will be held onlineInternational audienceThe call-by-need evaluation strategy for the λ-calculus is an evaluation strategy that lazily evaluates arguments only if needed, and if so, shares computations across all places where it is needed. To implement this evaluation strategy, abstract machines require some form of global environment. While abstract machines usually lead to a better understanding of the flow of control during the execution, facilitating in particular the definition of continuation-passing style translations , the case of machines with global environments turns out to be much more subtle. The main purpose of this paper is to understand how to type a continuation-and-environment-passing style translation , that is to say how to soundly translate in continuation-passing style a calculus with global environment. To this end, we introduce Fϒ , a generic calculus to define the target of such translations. In particular, Fϒ features a data type for typed stores and a mechanism of explicit coercions witnessing store extensions along environment-passing style translations. On the logical side, this broadly amounts to a Kripke forcing-like translation mixed with a negative translation (for the continuation-passing part). Since Fϒ allows for the definition of such translations for different source calculi (call-by-need, call-by-name, call-by-value) with different type systems (simple types, system F), we claim that it precisely captures the computational content of continuation-and-environment-passing style translations
- …