The field of in situ nanomechanics is greatly benefiting from microelectromechanical systems (MEMS) technology and integrated microscale testing machines that can measure a wide range of mechanical properties at nanometer scales, while characterizing the damage or microstructure evolution in electron microscopes. This article focuses on the latest advances in MEMS-based nanomechanical testing techniques that go beyond stress and strain measurements under typical monotonic loadings. Specifically, recent advances in MEMS testing machines now enable probing key mechanical properties of nanomaterials related to fracture, fatigue, and wear. Tensile properties can be measured without instabilities or at high strain rates, and signature parameters such as activation volume can be obtained. Opportunities for environmental in situ nanomechanics enabled by MEMS technology are also discussed.

We develop an algebraic notion of recognizability for languages of words indexed by countable linear orderings. We prove that this notion is effectively equivalent to definability in monadic second-order (MSO) logic. We also provide three logical applications. First, we establish the first known collapse result for the quantifier alternation of MSO logic over countable linear orderings. Second, we solve an open problem posed by Gurevich and Rabinovich, concerning the MSO-definability of sets of rational numbers using the reals in the background. Third, we establish the MSO-definability of the set of yields induced by an MSO-definable set of trees, confirming a conjecture posed by Bruyère, Carton, and Sénizergues.

The Gorshkov crater glacier at Ushkovsky volcano, Kamchatka, is characterized by a large aspect ratio and special thermodynamic conditions at the bedrock caused by a locally enhanced and spatially varying geothermal heat flux. Furthermore, large parts of this glacier consist of firn rather than pure ice, which alters the rheological properties (such as viscosity and compressibility) of the glacier. We present a newly developed, thermo-mechanically coupled, three-dimensional flow model based on the finite-element (FE) modeling software Elmer, and apply it to the Gorshkov crater glacier. By assuming steady-state conditions, the present-day velocity field, temperature field, basal melting rate and age distribution are simulated. We find that flow velocities are generally small (tens of centimeters per year). Horizontal and vertical velocities are of comparable magnitude, which shows that the shallow-ice approximation is not applicable. Owing to the spatially variable volcanic heat flux, the thermal regime at the ice base is cold in the deeper parts of the glacier and temperate in the shallower parts. The measured temperature profile and age horizons at the K2 borehole are reproduced quite well, and remaining discrepancies may be attributed to transient (non-steady-state) conditions. Firn compressibility is identified as a crucial element for the modeling approach.

Using the finite-element code Elmer, we show that the full Stokes modeling of the ice-sheet/ice-shelf transition we propose can give consistent predictions of grounding-line migration. Like other marine ice-sheet models our approach is highly sensitive to the chosen mesh resolution. However, with a grid size down to <5 km in the vicinity of the grounding line, predictions start to be robust because: (1) whatever the grid size (<5 km) the steady-state grounding-line position is sensibly the same (6 km standard deviation), and (2) with a grid-size refinement in the vicinity of the grounding line (200 m), the steady-state solution is independent of the applied perturbation in fluidity, provided this perturbation remains monotonic.

It is likely that climate change will have a significant impact on the mass balance of the Greenland ice sheet, contributing to future sea-level rise. Here we present the implementation of the full Stokes model Elmer/Ice for the Greenland ice sheet, which includes a mesh refinement technique in order to resolve fast-flowing ice streams and outlet glaciers. We discuss simulations 100 years into the future, forced by scenarios defined by the SeaRISE (Sea-level Response to Ice Sheet Evolution) community effort. For comparison, the same experiments are also run with the shallow-ice model SICOPOLIS (SImulation COde for POLythermal Ice Sheets). We find that Elmer/Ice is ~43% more sensitive (exhibits a larger loss of ice-sheet volume relative to the control run) than SICOPOLIS for the ice-dynamic scenario (doubled basal sliding), but ~61 % less sensitive for the direct global warming scenario (based on the A1 B moderate-emission scenario for greenhouse gases). The scenario with combined A1B global warming and doubled basal sliding forcing produces a Greenland contribution to sea-level rise of ~15cm for Elmer/Ice and ~12cm for SICOPOLIS over the next 100 years.

Predictions of marine ice-sheet behaviour require models able to simulate grounding-line migration. We present results of an intercomparison experiment for plan-view marine ice-sheet models. Verification is effected by comparison with approximate analytical solutions for flux across the grounding line using simplified geometrical configurations (no lateral variations, no buttressing effects from lateral drag). Perturbation experiments specifying spatial variation in basal sliding parameters permitted the evolution of curved grounding lines, generating buttressing effects. The experiments showed regions of compression and extensional flow across the grounding line, thereby invalidating the boundary layer theory. Steady-state grounding-line positions were found to be dependent on the level of physical model approximation. Resolving grounding lines requires inclusion of membrane stresses, a sufficiently small grid size (<500 m), or subgrid interpolation of the grounding line. The latter still requires nominal grid sizes of <5 km. For larger grid spacings, appropriate parameterizations for ice flux may be imposed at the grounding line, but the short-time transient behaviour is then incorrect and different from models that do not incorporate grounding-line parameterizations. The numerical error associated with predicting grounding-line motion can be reduced significantly below the errors associated with parameter ignorance and uncertainties in future scenarios.

We introduce a new polarimeter unit which, mounted at the Cassegrain focus of any telescope and fiber-connected to a fixed CCD spectrograph, is able to measure all Stokes parameters I, Q, U and V photon-noise limited across spectral lines of bright stellar targets and other point sources in a quasi-simultaneous manner. We briefly outline the technical design of the polarimeter unit and the linear algebraic Mueller calculus for obtaining polarization parameters of any point source. In addition, practical limitations of the optical elements are discussed. We present first results obtained with our spectropolarimeter for three prototype hot-star.

Pluto’s tenuous nitrogen atmosphere was detected by stellar occultations in 1985 and 1988. This atmosphere is poorly known, however, due to the rarity of these events. We report here the first Pluto occultations observed since 1988, on 20 July and 21 August 2002. Our analysis reveals drastic changes undergone by the atmosphere since 1988, namely a two-fold pressure increase, the probable effect of seasonal changes on Pluto over this fourteen year interval.

Our recent discovery and excavation of a series of iron smelting furnaces, dated to the eighth and ninth century CE, near upland Rmet villages in northwest Laos, potentially sheds new light on the role of regional upland groups during the immediate pre-Tai period. The oral tradition associated with these furnaces emphasises the role of an ancient population of metallurgists who left the area under pressure from the Rmet. These stories could refer to the actual arrival and departure (immigration and emigration) of a population of metallurgists in that area sometime during the second half of the first millennium CE or they can support the scenario of a dissimilation process. The latter would explain the existence of a Rmet subculture that the locals regard as ‘Chueang Lavae’ villages, a differentiation that Karl G. Izikowitz had labelled ‘Upper Lamet’ in the 1930s. Our finds show that archaeology and ethnology can both contribute to a much-needed reformulation of upland Lao history.

Whereas broad-scale Amazonian forest types have been shown to influence the structure of the communities of medium- to large-bodied vertebrates, their natural heterogeneity at smaller scale or within the terra firme forests remains poorly described and understood. Diversity indices of such communities and the relative abundance of the 21 most commonly observed species were compared from standardized line-transect data across 25 study sites distributed in undisturbed forests in French Guiana. We first assessed the relevance of a forest typology based on geomorphological landscapes to explain the observed heterogeneity. As previously found for tree beta-diversity patterns, this new typology proved to be a non-negligible factor underlying the beta diversity of the communities of medium- to large bodied vertebrates in French Guianan terra firme forests. Although the species studied are almost ubiquitous across the region, they exhibited habitat preferences through significant variation in abundance and in their association index with the different landscape types. As terra firme forests represent more than 90% of the Amazon basin, characterizing their heterogeneity – including faunal communities – is a major challenge in neotropical forest ecology.

A scanning force microscope for in situ nanofocused X-ray studies (SFINX) has been developed which can be installed on diffractometers at synchrotron beamlines allowing for the combination with various techniques such as coherent X-ray diffraction and fluorescence. The capabilities of this device are demonstrated on Cu nanowires and on Au islands grown on sapphire (0001). The sample topography, crystallinity, and elemental distribution of the same area are investigated by recording simultaneously an AFM image, a scanning X-ray diffraction map, and a fluorescence map. Additionally, the mechanical response of Au islands is studied by in situ indentation tests employing the AFM-tip and recording 2D X-ray diffraction patterns during mechanical loading.

In this work, we study the acceleration of hot plasma to relativistic speed through the Compton rocket effect which is viable in the two-flow paradigm.

In the new DR-A in-situ diffusion experiment at Mont Terri, a perturbation (replacement of the initial synthetic porewater in the borehole with a high-salinity solution) has been induced to study the effects on solute transport and retention, and more importantly, to test the predictive capability of reactive transport codes. Reactive transport modeling is being performed by different teams (IDAEA-CSIC, PSI, Univ. Bern, Univ. British Columbia, Lawrence Berkeley Natl. Lab.). Initial modeling results using the CrunchFlow code and focusing on Cs+ behavior are reported here.

This paper adds to the growing empirical evidence on the importance of habits in governing human behavior, and sheds new light on individual inertia in relation to transportation behavior. An enriched perspective rooted in Veblenian evolutionary economics (VEE) is used to construct a theoretical framework in order to analyze the processes at play in the formation and reinforcement of habits. The empirical study explores more specifically the synchronic processes strengthening the car-using habit. In addition to underlining the shortcomings of a ‘decision theory’ perspective to address urban transportation behaviors, we find that synchronic habits can have a significant effect on behavioral inertia. Our results suggest the existence of positive feedback between the development of synchronic habits, qualitative perceptions of driving times, and reinforcement of the car-using habit. The paper points out also that the diachronic dimension of habits would constitute another promising domain for further research on behavioral inertia in transportation.