Using Terrestrial Laser Scanning for the Recognition and Promotion of High-Alpine Geomorphosites

International audienceHigh-alpine geomorphosites are poorly understood and developed, mostly because of the heavy constraints of high mountain areas. Meanwhile, they are geoheritage areas that are often extremely vulnerable to global warming: glaciers and permafrost areas are currently affected by major changes due to increasing air temperature. To deal with the high spatial variability of landforms and processes, research on alpine geomorphosites often needs the use of advanced methods of high-resolution topography, among which terrestrial laser scanning plays an increasingly crucial role. Carried out on some tenth of high-elevation sites across the Alps since the beginning of the 2000s, this method is particularly interesting for the recognition and development of high-alpine geomorphosites. Indeed, it can be implemented for identifying and characterizing the geomorphic objects (survey, monitoring and mapping), helping planning and protection policies and serving geotouristic development (communication about the processes involved, basis for documents)

Stability monitoring of high Alpine infrastructure by terrestrial laser scanning

International audienceRock mass movements are dominant in the morphodynamics of high Alpine rock slopes and are at the origin of significant risks for people who attend these areas and for infrastructures that are built on (e.g. huts, cable cars). These risks are increasing because of permafrost degradation and glacier retreat as consequences of the global warming. These two factors may affect slope stability by changing mechanical properties of the interstitial ice and modifying the mechanical constraints in these rock slopes. The monitoring of rock slopes is thus an essential element for risk management. Our study focuses on two particularly active areas of the Western Alps: the lower Arête des Cosmiques (3613 m a.s.l., Mont Blanc massif, France) on which is located the very popular Refuge des Cosmiques, and the Col des Gentianes (2894 m a.s.l., Valais, Switzerland) where is located a cable car station. Discussed on the basis of geophysical and glaciological data, the evolutions monitored by terrestrial laser scanning probably result from the combination between permafrost activity/degradation and glacier shrinkage

Using Terrestrial Laser Scanning for the Recognition and Promotion of High-Alpine Geomorphosites

High-alpine geomorphosites are poorly understood and developed, mostly because of the heavy constraints of high mountain areas. Meanwhile, they are geoheritage areas that are often extremely vulnerable to global warming: glaciers and permafrost areas are currently affected by major changes due to increasing air temperature. To deal with the high spatial variability of landforms and processes, research on alpine geomorphosites often needs the use of advanced methods of high-resolution topography, among which terrestrial laser scanning plays an increasingly crucial role. Carried out on some tenth of high-elevation sites across the Alps since the beginning of the 2000s, this method is particularly interesting for the recognition and development of high-alpine geomorphosites. Indeed, it can be implemented for identifying and characterizing the geomorphic objects (survey, monitoring and mapping), helping planning and protection policies and serving geotouristic development (communication about the processes involved, basis for documents)

Processes at the margins of supraglacial debris cover:Quantifying dirty ice ablation and debris redistribution

Current glacier ablation models have difficulty simulating the high‐melt transition zone between clean and debris‐covered ice. In this zone, thin debris cover is thought to increase ablation compared to clean ice, but often this cover is patchy rather than continuous. There is a need to understand ablation and debris dynamics in this transition zone to improve the accuracy of ablation models and the predictions of future debris cover extent. To quantify the ablation of partially debris‐covered ice (or ‘dirty ice’), a high‐resolution, spatially‐continuous ablation map was created from repeat unmanned aerial systems (UAS) surveys, corrected for glacier flow in a novel way using on‐glacier ablation stakes. Surprisingly, ablation is similar (range ~5 mm w.e. per day) across a wide range of percentage debris covers (~30‐80%) due to the opposing effects of a positive correlation between percentage debris cover and clast size, countered by a negative correlation with albedo. Once debris cover becomes continuous, ablation is significantly reduced (by 61.6% compared to a partial debris cover), and there is some evidence that the cleanest ice (<~15% debris cover) has a lower ablation than dirty ice (by 3.7%). High‐resolution feature tracking of clast movement revealed a strong modal clast velocity where debris was continuous, indicating that debris moves by creep down moraine slopes, in turn promoting debris cover growth at the slope toe. However, not all slope margins gain debris due to the removal of clasts by supraglacial streams. Clast velocities in the dirty ice area were twice as fast than clasts within the continuously debris‐covered area, as clasts moved by sliding off their boulder tables. These new quantitative insights into the interplay between debris cover characteristics and ablation can be used to improve the treatment of dirty ice in ablation models, in turn improving estimates of glacial meltwater production

Processes at the margins of supraglacial debris cover: quantifying dirty ice ablation and debris redistribution

Current glacier ablation models have difficulty simulating the high‐melt transition zone between clean and debris‐covered ice. In this zone, thin debris cover is thought to increase ablation compared to clean ice, but often this cover is patchy rather than continuous. There is a need to understand ablation and debris dynamics in this transition zone to improve the accuracy of ablation models and the predictions of future debris cover extent. To quantify the ablation of partially debris‐covered ice (or ‘dirty ice’), a high‐resolution, spatially continuous ablation map was created from repeat unmanned aerial systems surveys, corrected for glacier flow in a novel way using on‐glacier ablation stakes. Surprisingly, ablation is similar (range ~5 mm w.e. per day) across a wide range of percentage debris covers (~30–80%) due to the opposing effects of a positive correlation between percentage debris cover and clast size, countered by a negative correlation with albedo. Once debris cover becomes continuous, ablation is significantly reduced (by 61.6% compared to a partial debris cover), and there is some evidence that the cleanest ice (<~15% debris cover) has a lower ablation than dirty ice (by 3.7%). High‐resolution feature tracking of clast movement revealed a strong modal clast velocity where debris was continuous, indicating that debris moves by creep down moraine slopes, in turn promoting debris cover growth at the slope toe. However, not all slope margins gain debris due to the removal of clasts by supraglacial streams. Clast velocities in the dirty ice area were twice as fast as clasts within the continuously debris‐covered area, as clasts moved by sliding off their boulder tables. These new quantitative insights into the interplay between debris cover characteristics and ablation can be used to improve the treatment of dirty ice in ablation models, in turn improving estimates of glacial meltwater production

Practical API Protocol Checking with Access Permissions

Reusable APIs often define usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while affording a great deal of aliasing flexibility. We also developed Plural, a prototype tool that embodies our approach as an automated static analysis and includes several extensions we found useful in practice. This paper evaluates our approach along the following dimensions: (1) We report on experience in specifying relevant usage rules for a large Java standard API with our approach. We also specify several other Java APIs and identify recurring patterns. (2) We summarize two case studies in verifying third-party open-source code bases with few false positives using our tool. We discuss how tool shortcomings can be addressed either with code refactorings or extensions to the tool itself. These results indicate that our approach can be used to specify and enforce real API protocols in practice

Enforcing Programming Guidelines with Region Types and Effects

We present in this paper a new type and effect system for Java which can be used to ensure adherence to guidelines for secure web programming. The system is based on the region and effect system by Beringer, Grabowski, and Hofmann. It improves upon it by being parametrized over an arbitrary guideline supplied in the form of a finite monoid or automaton and a type annotation or mockup code for external methods. Furthermore, we add a powerful type inference based on precise interprocedural analysis and provide an implementation in the Soot framework which has been tested on a number of benchmarks including large parts of the Stanford SecuriBench.Comment: long version of APLAS'17 pape

Geomorphological evolution of a debris‐covered glacier surface

There exists a need to advance our understanding of debris‐covered glacier surfaces over relatively short timescales due to rapid, climatically induced areal expansion of debris cover at the global scale, and the impact debris has on mass balance. We applied unpiloted aerial vehicle structure‐from‐motion (UAV‐SfM) and digital elevation model (DEM) differencing with debris thickness and debris stability modelling to unravel the evolution of a 0.15 km2 region of the debris‐covered Miage Glacier, Italy, between June 2015 and July 2018. DEM differencing revealed widespread surface lowering (mean 4.1 ± 1.0 m a‐1; maximum 13.3 m a‐1). We combined elevation change data with local meteorological data and a sub‐debris melt model, and used these relationships to produce high resolution, spatially distributed maps of debris thickness. These maps were differenced to explore patterns and mechanisms of debris redistribution. Median debris thicknesses ranged from 0.12 to 0.17 m and were spatially variable. We observed localized debris thinning across ice cliff faces, except those which were decaying, where debris thickened. We observed pervasive debris thinning across larger, backwasting slopes, including those bordered by supraglacial streams, as well as ingestion of debris by a newly exposed englacial conduit. Debris stability mapping showed that 18.2–26.4% of the survey area was theoretically subject to debris remobilization. By linking changes in stability to changes in debris thickness, we observed that slopes that remain stable, stabilize, or remain unstable between periods almost exclusively show net debris thickening (mean 0.07 m a‐1) whilst those which become newly unstable exhibit both debris thinning and thickening. We observe a systematic downslope increase in the rate at which debris cover thickens which can be described as a function of the topographic position index and slope gradient. Our data provide quantifiable insights into mechanisms of debris remobilization on glacier surfaces over sub‐decadal timescales, and open avenues for future research to explore glacier‐scale spatiotemporal patterns of debris remobilization

The Swiss cohort study on substance use risk factors : findings of two waves

Aim: To summarize published findings in peer-reviewed journals of the first two waves of the Swiss Cohort Study on Substance Use Risk Factors (C-SURF), a longitudinal study assessing risk and protective factors of 5,987 young men during the phase of emerging adulthood (20 years at baseline, followed-up 15 months later). Methods: Included were 33 studies published until November 2014 focusing on substance use. Results: Substance use in early adulthood is a prevalent and stable behavior. The 12-month prevalence of nonmedical use of prescription drugs (10.6%) lies between that of cannabis (36.4%) and other illicit drugs such as ecstasy (3.7%) and cocaine (3.2%). Although peer pressure in the form of misconduct is associated with increased substance use, other aspects such as peer involvement in social activities may have beneficial effects. Regular sport activities are associated with reduced substance use, with the exception of alcohol use. Young men are susceptible to structural conditions such as the price of alcohol beverages or the density of on-premise alcohol outlets. Particularly alcohol use in public settings such as bars, discos or in parks (compared with private settings such as the home) is associated with alcohol-related harm, including injuries or violence. Being a single parent versus nuclear family has no effect on alcohol use, but active parenting does. Besides parenting, religiousness is an important protective factor for both legal and illegal substance use. Merely informing young men about the risks of substance use may not be an effective preventive measure. At-risk users of licit and illicit substances are more health literate, e. g., for example, they seek out more information on the internet than non-at-risk-users or abstainers. Discussion: There are a number of risk and protective substance use factors, but their associations with substance use do not necessarily agree with those found outside Europe. In the United States, for example, heavy alcohol use in this age group commonly takes place in private settings, whereas in Switzerland it more often takes place in public settings. Other behaviors, such as the nonmedical use of prescription drugs, appear to be similar to those found overseas, which may show the need for targeted preventive actions. C-SURF findings point to the necessity of establishing European studies to identify factors for designing specific preventive actions

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study

htmlabstractRun-time assertion checking is one of the useful techniques for detecting faults, and can be applied during any program execution context, including debugging, testing, and production. In general, however, it is limited to checking state-based properties. We introduce SAGA, a general framework that provides a smooth integration of the specification and the run-time checking of both data- and protocol-oriented properties of Java classes and interfaces. We evaluate SAGA, which combines several state-of-the art tools, by conducting an industrial case study from an eCommerce software company Fredhopper