Textural and minerochemical features of NWA 1807 and 2180, two new CV3 chondrites from northwest Africa

A textural and minerochemical study has been performed on NWA 1807 and 2180 chondrites in order to determine sizes and typologies of chondrules, relative abundances of mineral phases, compositions of main phases and bulk oxygen isotope composition

A new CO carbonaceous chondrite from Acfer, Algeria

Many small fragments, totally weighing 118 g were found in the Acfer area by an Italian dealer. Chondrules size and types (predominance of granular olivine type), occurrence of twinned clinoenstatite and absence of plagioclase suggested a classification as CO carbonaceous chondrite

A new CK carbonaceous chondrite from Hammada Al Hamra, Libya

A single stone weighing 198 g was found in 2001 in the Hammada al Hamra region of Libya. Petrographic features (mean chondrules dimensions, coarse grained matrix and presence of AOIs and CAIs) point to a classification as CK carbonaceous chondrite

Signals and Power Distribution in the CMS Inner Tracker

\begin{abstract} This Note describes how the interconnection between the 3540 modules of the CMS Inner Tracker has been approached, focusing on the signal, high voltage and low voltage line distribution. The construction and tests of roughly a thousand interconnects called ``Mother Cables" is described. \end{abstract

Insights on the paleoepidemiology of ancient tuberculosis from the structural analysis of postcranial remains from the Ligurian Neolithic (northwestern Italy)

The aim of this research is to gain insights on the progression timeline of osteoarticular tuberculosis (TB) in people from the Neolithic period by using skeletal traits that are independent of the bony lesions. The body proportions and postcranial mechanical strength of bones from two individuals from Liguria in northwestern Italy (Arene Candide 5, adolescent, and Arma dell’Aquila 1, adult), were compared with the rest ofthe Ligurian Neolithic skeletal series (45 individuals). If TB led to wasting ofthe skeleton and lack of normal function that endured for years, as often happens today, a clear signature of postcranial gracility and disruption of development should be apparent. Conversely, rapid progress of the disease would leave little systemic macroscopic change in the skeleton, except for the bony lesions directly caused by the TB pathogen, suggesting a different level of bacterial virulence in the past. The extreme biomechanical gracility observed in the lower limb of Arene Candide 5 suggests a period of compromised diaphyseal periosteal apposition during ontogeny due to metabolic disturbances likely linked to TB. Results suggest that, in Neolithic Liguria, TB in humans saw a slow, chronic progression, which is characteristic of diseases with long histories of host-pathogen co-evolution

Hilbert-Post completeness for the state and the exception effects

In this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states effect, our framework can be seen as a generalization of Pretnar's work on this subject. We first introduce a relative notion of Hilbert-Post completeness, well-suited to the composition of effects. Then we prove that the exception effect is relatively Hilbert-Post complete, as well as the "core" language which may be used for implementing it; these proofs have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC