1,276 research outputs found
Creep in reactive colloidal gels: A nanomechanical study of cement hydrates
From soft polymeric gels to hardened cement paste, amorphous solids under constant load exhibit a pronounced time-dependent deformation called creep. The microscopic mechanism of such a phenomenon is poorly understood in amorphous materials and constitutes an even greater challenge in densely packed and chemically reactive granular systems. Both features are prominently present in hydrating cement pastes composed of calcium silicate hydrate (C-S-H) nanoparticles, whose packing density increases as a function of time, while cement hydration is taking place. Performing nanoindentation tests and porosity measurements on a large collection of samples at various stages of hydration, we show that the creep response of hydrating cement paste is mainly controlled by the interparticle distance and results from slippage between (C-S-H) nanoparticles. Our findings provide a unique insight into the microscopic mechanism underpinning the creep response in aging granular materials, thus paving the way for the design of concrete with improved creep resistance
Recursive Definitions of Monadic Functions
Using standard domain-theoretic fixed-points, we present an approach for
defining recursive functions that are formulated in monadic style. The method
works both in the simple option monad and the state-exception monad of
Isabelle/HOL's imperative programming extension, which results in a convenient
definition principle for imperative programs, which were previously hard to
define.
For such monadic functions, the recursion equation can always be derived
without preconditions, even if the function is partial. The construction is
easy to automate, and convenient induction principles can be derived
automatically.Comment: In Proceedings PAR 2010, arXiv:1012.455
Efficient ancestry and mutation simulation with msprime 1.0
Stochastic simulation is a key tool in population genetics, since the models involved are often analytically intractable and simulation is usually the only way of obtaining ground-truth data to evaluate inferences. Because of this, a large number of specialized simulation programs have been developed, each filling a particular niche, but with largely overlapping functionality and a substantial duplication of effort. Here, we introduce msprime version 1.0, which efficiently implements ancestry and mutation simulations based on the succinct tree sequence data structure and the tskit library. We summarize msprime’s many features, and show that its performance is excellent, often many times faster and more memory efficient than specialized alternatives. These high-performance features have been thoroughly tested and validated, and built using a collaborative, open source development model, which reduces duplication of effort and promotes software quality via community engagement
A chemical survey of exoplanets with ARIEL
Thousands of exoplanets have now been discovered with a huge range of masses, sizes and orbits: from rocky Earth-like planets to large gas giants grazing the surface of their host star. However, the essential nature of these exoplanets remains largely mysterious: there is no known, discernible pattern linking the presence, size, or orbital parameters of a planet to the nature of its parent star. We have little idea whether the chemistry of a planet is linked to its formation environment, or whether the type of host star drives the physics and chemistry of the planet’s birth, and evolution. ARIEL was conceived to observe a large number (~1000) of transiting planets for statistical understanding, including gas giants, Neptunes, super-Earths and Earth-size planets around a range of host star types using transit spectroscopy in the 1.25–7.8 μm spectral range and multiple narrow-band photometry in the optical. ARIEL will focus on warm and hot planets to take advantage of their well-mixed atmospheres which should show minimal condensation and sequestration of high-Z materials compared to their colder Solar System siblings. Said warm and hot atmospheres are expected to be more representative of the planetary bulk composition. Observations of these warm/hot exoplanets, and in particular of their elemental composition (especially C, O, N, S, Si), will allow the understanding of the early stages of planetary and atmospheric formation during the nebular phase and the following few million years. ARIEL will thus provide a representative picture of the chemical nature of the exoplanets and relate this directly to the type and chemical environment of the host star. ARIEL is designed as a dedicated survey mission for combined-light spectroscopy, capable of observing a large and well-defined planet sample within its 4-year mission lifetime. Transit, eclipse and phase-curve spectroscopy methods, whereby the signal from the star and planet are differentiated using knowledge of the planetary ephemerides, allow us to measure atmospheric signals from the planet at levels of 10–100 part per million (ppm) relative to the star and, given the bright nature of targets, also allows more sophisticated techniques, such as eclipse mapping, to give a deeper insight into the nature of the atmosphere. These types of observations require a stable payload and satellite platform with broad, instantaneous wavelength coverage to detect many molecular species, probe the thermal structure, identify clouds and monitor the stellar activity. The wavelength range proposed covers all the expected major atmospheric gases from e.g. H2O, CO2, CH4 NH3, HCN, H2S through to the more exotic metallic compounds, such as TiO, VO, and condensed species. Simulations of ARIEL performance in conducting exoplanet surveys have been performed – using conservative estimates of mission performance and a full model of all significant noise sources in the measurement – using a list of potential ARIEL targets that incorporates the latest available exoplanet statistics. The conclusion at the end of the Phase A study, is that ARIEL – in line with the stated mission objectives – will be able to observe about 1000 exoplanets depending on the details of the adopted survey strategy, thus confirming the feasibility of the main science objectives.Peer reviewedFinal Published versio
Barriers and opportunities for implementation of a brief psychological intervention for post-ICU mental distress in the primary care setting – results from a qualitative sub-study of the PICTURE trial
Books in Arabic Script
The chapter approaches the book in Arabic script as the indispensable means for the transmission of knowledge across Eurasia and Africa, within cultures and across cultural boundaries, since the seventh century ad. The state of research can be divided into manuscript and print studies, but there is not yet a history of the book in Arabic script that captures its plurilinear development for over fourteen hundred years. The chapter explores the conceptual and practical challenges that impede the integration of the book in Arabic script into book history at large and includes an extensive reference list that reflects its diversity.
The final published version was slightly updated, and includes seven illustrations of six Qurans from the holdings of Columbia University Libraries, four manuscripts and two printed versions. Moreover, the illustrations are images of historical artifacts which are in the public domain - despite Wiley's copyright claim
Recommended from our members
Borexino : geo-neutrino measurement at Gran Sasso, Italy
Geo-neutrinos, electron anti-neutrinos produced in beta-decays of naturally occurring radioactive isotopes in the Earth, are a unique direct probe of our planet's interior. After a brief introduction of the geo-neutrinos' properties and of the main aims of their study, we discuss the features of a detector which has recently provided breakthrough achievements in the field, Borexino, a massive, calorimetric liquid scintillator detector installed at the underground Gran Sasso Laboratory. With its unprecedented radiopurity levels achieved in the core of the detection medium, it is the only experiment in operation able to study in real time solar neutrino interactions in the challenging sub-MeV energy region. Its superior technical properties allowed Borexino also to provide a clean detection of terrestrial neutrinos. Therefore, the description of the characteristics of the detected geo-neutrino signal and of the corresponding geological implications are the main core of the discussion contained in this work
A Dissection of Trading Capital: Trade in the Aftermath of the Fall of the Iron Curtain
Abstract We study trade in Europe after the fall of the Iron Curtain, and show that the countries of the former Austro-Hungarian monarchy trade significantly more with one another after 1989 than predicted by a standard gravity model. This surplus trade declines linearly and monotonically over time. We suggest that the surplus comes from a mixture of increased trust, as well as better communication and information given Austria's relationship with its eastern neighbors before the wars and during isolation. Trading capital, established under Habsburg rule and maintained in the period of the Iron Curtain, seems to have survived over four decades of separation and gives an initial boost to trade. This surplus trade disappeared rapidly after 1990 as countries rearranged themselves with the new geopolitical circumstances. We document the rate of decay of these forces. Keywords: Trade, Gravity, Habsburg Empire JEL codes: F14, F15, N33, N34, N94 * This paper has been improved by the comments and suggestions of numerous colleagues and seminar participants including but not limited t
- …