A Note on the Use of Sum in the Logic of Proofs

The Logic of Proofs~LP, introduced by Artemov, encodes the same reasoning as the modal logic~S4 using proofs explicitly present in the language. In particular, Artemov showed that three operations on proofs (application~$\cdot$, positive introspection~!, and sum~+) are sufficient to mimic provability concealed in S4~modality. While the first two operations go back to G{\"o}del, the exact role of~+ remained somewhat unclear. In particular, it was not known whether the other two operations are sufficient by themselves. We provide a positive answer to this question under a very weak restriction on the axiomatization of LP.

hp-dGFEM for Second-Order Elliptic Problems in Plyhedra I: Stability and Quasioptimality on Geometric Meshes

We introduce and analyze hp-version discontinuous Galerkin (dG) finite element methods for the numerical approximation of linear second-order elliptic boundary-value problems in three-dimensional polyhedral domains. To resolve possible corner-, edge- and corner-edge singularities, we consider hexahedral meshes that are geometrically and anisotropically refined toward the corresponding neighborhoods. Similarly, the local polynomial degrees are increased linearly and possibly anisotropically away from singularities. We design interior penalty hp-dG methods and prove that they are well-defined for problems with singular solutions and stable under the proposed hp-refinements. We establish (abstract) error bounds that will allow us to prove exponential rates of convergence in the second part of this work.

Geometric properties of the lung parenchyma after postnatal glucocorticoid treatment in rats

While glucocorticoid (GC) administration appears to be beneficial during the acute phase of treatment of neonates at risk of developing chronic lung disease, it is still not clear whether steroid application has an adverse long-term effect on the lung maturation. Thus, the goal of the present work was to analyze GC effects on the pulmonary structure in a rat model where dosage and timing of drug administration were adapted to the therapeutic situation in human neonatology. The animals received daily a maximum of 0.1 mg dexamethasone phosphate per kilogram body weight during the first 4 postnatal days. Investigations were performed at the light microscopic level by means of a digital image analysis system. While there were no differences in the lung architecture between experimental animals and controls on day 4, the earliest time point of observation, we found a widening of airspaces with a concomitant decrease in the alveolar surface area density, representing a loss of parenchymal complexity, on days 10 and 21 in treated rats. On days 36 and 60, however, no alterations in the pulmonary parenchyma could be detected in experimental animals. We conclude from these findings that the GC-induced initial inhibition of development (days 10 and 21) was completely reversed, so that a normal parenchymal architecture and also a normal alveolar surface area density were found in adult rats (days 36 and 60). From the results obtained using the regimen of GC administration described, mimicking more closely the steroid treatment in human neonatology, we conclude that the observed short-term adverse effects on lung development can be fully compensated until adult age.

Item Sum: A New Technique for Asking Quantitative Sensitive Questions

This article contributes to an ongoing debate about how to measure sensitive topics in population surveys. We propose a novel technique that can be applied to the measurement of quantitative sensitive variables: the item sum technique (IST). This method is closely related to the item count technique, which was developed for the measurement of dichotomous sensitive items. First, we provide a description of our new technique and discuss how data collected by the IST can be analyzed. Second, we present the results of a CATI survey on undeclared work in Germany, in which the IST has been applied. Using an experimental design, we compare the IST to direct questioning. Our empirical results indicate that the IST is a promising data-collection technique for sensitive questions. We conclude by discussing the limitations of the new technique and outlining possible improvements for future studies.

Genetic Control of Plant Development by Overriding a Geometric Division Rule

Formative cell divisions are critical for multicellular patterning. In the early plant embryo, such divisions follow from orienting the division plane. A major unanswered question is how division plane orientation is genetically controlled, and in particular whether this relates to cell geometry. We have generated a complete 4D map of early Arabidopsis embryogenesis and used computational analysis to demonstrate that several divisions follow a rule that uses the smallest wall area going through the center of the cell. In other cases, however, cell division clearly deviates from this rule, which invariably leads to asymmetric cell division. By analyzing mutant embryos and through targeted genetic perturbation, we show that response to the hormone auxin triggers a deviation from the ``shortest wall'' rule. Our work demonstrates that a simple default rule couples division orientation to cell geometry in the embryo and that genetic regulation can create patterns by overriding the default rule.

The bottom-quark mass from non-relativistic sum rules at NNNLO

We determine the mass of the bottom quark from high moments of the bbproduction cross section in e+e−annihilation, which are dominated by the threshold region. On the theory side next-to-next-to-next-to-leading order (NNNLO) calculations both for the resonances and the continuum cross section are used for the first time. We find mPSb(2GeV) =4.532+0.013−0.039GeVfor the potential-subtracted mass and mMSb(mMSb) =4.193+0.022−0.035GeVfor the MSbottom-quark mass.

Linguista sum... sed lingua non definio. Absence de définition de la langue et circularité de la construction structurale

This article analyzes the Jakobsonian classification of aphasias. It aims to show on the one hand the non-linguistic character of this classification and on the other hand its asymmetry, in spite of the fact that its author had conceived his structural construction as symmetrical. The non-linguistic character of Jakobson’s formulation is due to the absence of any definition of language, this absence being the main characteristic of Jakobsonian linguistics: concerning the aphasia problem, the Jakobsonian formulation is linguistic solely by virtue of its object, aphasia, which is already considered as a linguistic concern because it belongs to the field of « language », but which is not defined as such (as linguistic). As for asymmetry, it demonstrates first the circularity of the Jakobsonian representation of language (the duality between structure and functioning), and secondly the non-linguistic character – in the Saussurean sense of the term – of the aphasia problem. Thus it appears that breaking (in the sense of Gaston Bachelard) with idiom is the prerequisite of a scientific apprehension of language, and therefore of any interdisciplinarity, this being one of Jakobson’s favorite topics but one that this linguist failed to render fruitful because he did not offer a real definition of language.