Petrochemical and petrophysical characterization of the lower crust and the Moho beneath the West African Craton, based on Xenoliths from Kimberlites

Additional evidence to the composition of the lower crust and uppermost mantle was presented in the form of xenolith data. Xenoliths from the 2.7-Ga West African Craton indicate that the Moho beneath this shield is a chemically and physically gradational boundary, with intercalations of garnet granulite and garnet eclogite. Inclusions in diamonds indicate a depleted upper mantle source, and zenolith barometry and thermometry data suggest a high mantle geotherm with a kink near the Moho. Metallic iron in the xenoliths indicates that the uppermost mantle has a significant magnetization, and that the depth to the Curie isotherm, which is usually considered to be at or above the Moho, may be deeper than the Moho

Multiplication and Composition in Weighted Modulation Spaces

We study the existence of the product of two weighted modulation spaces. For this purpose we discuss two different strategies. The more simple one allows transparent proofs in various situations. However, our second method allows a closer look onto associated norm inequalities under restrictions in the Fourier image. This will give us the opportunity to treat the boundedness of composition operators.Comment: 49 page

METAMOC: Modular Execution Time Analysis using Model Checking

Safe and tight worst-case execution times (WCETs) are important when scheduling hard real-time systems. This paper presents METAMOC, a path-based, modular method, based on model checking and static analysis, that determines safe and tight WCETs for programs running on platforms fea-turing caching and pipelining. The method works by constructing a UPPAAL model of the program being analysed and annotating the model with information from an inter-procedural value analysis. The program model is then combined with a model of the hardware platform, and model checked for the WCET. Through support for the platforms ARM7, ARM9 and ATMEL AVR 8-bit the modularity and retargetability of the method is demonstrated, as only the pipeline needs to be remodelled. Mod-elling the hardware is performed in a state-of-the-art graphical modeling environment. Experiments on the Mälardalen WCET benchmark programs show that taking caching into account yields much tighter WCETs, and that METAMOC is a fast and versatile approach for WCET analysis. 1

Social isolation and all-cause mortality: a population-based cohort study in Denmark.

Social isolation is associated with increased mortality. Meta-analytic results, however, indicate heterogeneity in effect sizes. We aimed to provide new evidence to the association between social isolation and mortality by conducting a population-based cohort study. We reconstructed the Berkman and Syme's social network index (SNI), which combines four components of social networks (partnership, interaction with family/friends, religious activities, and membership in organizations/clubs) into an index, ranging from 0/1 (most socially isolated) to 4 (least socially isolated). We estimated cumulative mortality and adjusted mortality rate ratios (MRR) associated with SNI. We adjusted for potential important confounders, including psychiatric and somatic status, lifestyle, and socioeconomic status. Cumulative 7-year mortality in men was 11% for SNI 0/1 and 5.4% for SNI 4 and in women 9.6% for SNI 0/1 and 3.9% for SNI 4. Adjusted MRRs comparing SNI 0/1 with SNI 4 were 1.7 (95% CI: 1.1-2.6) among men and 1.6 (95% CI: 0.83-2.9) among women. Having no partner was associated with an adjusted MRR of 1.5 (95% CI: 1.2-2.1) for men and 1.7 (95% CI: 1.2-2.4) for women. In conclusion, social isolation was associated with 60-70% increased mortality. Having no partner was associated with highest MRR

Local well-posedness for the nonlinear Schr\"odinger equation in the intersection of modulation spaces Mp,qs(Rd)∩M∞,1(Rd)M_{p, q}^s(\mathbb{R}^d) \cap M_{\infty, 1}(\mathbb{R}^d)

We introduce a Littlewood-Paley characterization of modulation spaces and use it to give an alternative proof of the algebra property, somehow implicitly contained in Sugimoto (2011), of the intersection $M^s_{p,q}(\mathbb{R}^d) \cap M_{\infty, 1}(\mathbb{R}^d)$ for $d \in \mathbb{N}$, $p, q \in [1, \infty]$ and $s \geq 0$. We employ this algebra property to show the local well-posedness of the Cauchy problem for the cubic nonlinear Schr\"odinger equation in the above intersection. This improves Theorem 1.1 by B\'enyi and Okoudjou (2009), where only the case $q = 1$ is considered, and closes a gap in the literature. If $q > 1$ and $s > d \left(1 - \frac{1}{q}\right)$ or if $q = 1$ and $s \geq 0$ then $M^s_{p,q}(\mathbb{R}^d) \hookrightarrow M_{\infty, 1}(\mathbb{R}^d)$ and the above intersection is superfluous. For this case we also reobtain a H\"older-type inequality for modulation spaces.Comment: 14 page