Adapting Real Quantifier Elimination Methods for Conflict Set Computation

The satisfiability problem in real closed fields is decidable. In the context of satisfiability modulo theories, the problem restricted to conjunctive sets of literals, that is, sets of polynomial constraints, is of particular importance. One of the central problems is the computation of good explanations of the unsatisfiability of such sets, i.e.\ obtaining a small subset of the input constraints whose conjunction is already unsatisfiable. We adapt two commonly used real quantifier elimination methods, cylindrical algebraic decomposition and virtual substitution, to provide such conflict sets and demonstrate the performance of our method in practice

Diurnal Thermal Regime in a Peat-Covered Palsa, Toolik Lake, Alaska

Strong spatial and temporal variations in temperature and effective thermal diffusivity are apparent from short-term thermal records measured in the peat atop an ice-cored palsa in northern Alaska. Intersite differences in near-surface temperature regimes apparently result from topographic influences, vegetative cover, and site wetness. Values of effective thermal diffusivity indicate that ablation of the ice core is inhibited by advection of cold water near the ice-peat contact and by internal evaporation near the surface. These findings support the conclusions of earlier investigators, who emphasized the importance of peat for maintaining palsas near their equatorward limit.Key words: active layer, frost mound, palsa, peat, permafrost, soil temperature, thermal properties, AlaskaMots clés: couche active, tertre de gel, palsa, tourbe, pergélisol, température du sol, propriétés thermiques, Alask

Z decays into light gluinos: a calculation based on unitarity

The Z boson can decay to a pair of light gluinos through loop-mediated processes. Based on unitarity of the S-matrix, the imaginary part of the decay amplitude is computed in the presence of a light bottom squark. This imaginary part can provide useful information on the full amplitude. Implications are discussed for a recently proposed light gluino and light bottom squark scenario.Comment: 19 pages, LaTeX, 3 figures, submitted to Phys. Rev.

Ad hoc influenza vaccination during years of significant antigenic drift in a tropical city with 2 seasonal peaks

We evaluated the acceptability of an additional ad hoc influenza vaccination among the health care professionals following seasons with significant antigenic drift. Self-administered, anonymous surveys were performed by hard copy questionnaires in public hospitals, and by an on-line platform available to all healthcare professionals, from April 1st to May 31st, 2015. A total of 1290 healthcare professionals completed the questionnaires, including doctors, nurses, and allied health professionals working in both the public and private systems. Only 31.8% of participating respondents expressed an intention to receive the additional vaccine, despite that the majority of them agreed or strongly agreed that it would bring benefit to the community (88.9%), save lives (86.7%), reduce medical expenses (76.3%), satisfy public expectation (82.8%), and increase awareness of vaccination (86.1%). However, a significant proportion expressed concern that the vaccine could disturb the normal immunization schedule (45.5%); felt uncertain what to do in the next vaccination round (66.0%); perceived that the summer peak might not occur (48.2%); and believed that the summer peak might not be of the same virus (83.5%). Furthermore, 27.8% of all respondents expected that the additional vaccination could weaken the efficacy of previous vaccinations; 51.3% was concerned about side effects; and 61.3% estimated that there would be a low uptake rate. If the supply of vaccine was limited, higher priority groups were considered to include the elderly aged ≥65 years with chronic medical conditions (89.2%), the elderly living in residential care homes (87.4%), and long-stay residents of institutions for the disabled (80.7%). The strongest factors associated with accepting the additional vaccine included immunization with influenza vaccines in the past 3 years, higher perceived risk of contracting influenza, and higher perceived severity of the disease impact. The acceptability to an additional ad hoc influenza vaccination was low among healthcare professionals. This could have a negative impact on such additional vaccination campaigns since healthcare professionals are a key driver for vaccine acceptance. The discordance in perceived risk and acceptance of vaccination regarding self versus public deserves further evaluation

Mucin gene expression during differentiation of human airway epithelia in vitro MUC4 and MUC5b are strongly induced

Mucus hypersecretion is characteristic of chronic airway diseases. However, regulatory mechanisms are poorly understood. Human airway epithelial cells grown on permeable supports at the air-liquid interface (ALI) develop a mucociliary morphology resembling that found in vivo. Such cultures provide a model for studying secretory cell lineage, differentiation, and function, and may provide insight regarding events leading to mucus hypersecretion. The mucin gene expression profile of well-differentiated human airway epithelial cells in culture has not yet been established. We compared expression of all the currently described mucin genes in poorly differentiated (conventional cultures on plastic) and well-differentiated (ALI) human nasal and bronchial epithelial cells. Differentiation-dependent upregulation of MUC3, MUC5AC, MUC5B, and MUC6 messenger RNA (mRNA) was demonstrated using reverse transcriptase-polymerase chain reaction (RT-PCR). Northern blot analysis showed a similar increase for MUC4 and demonstrated that induction of MUC4 and MUC5B expression depended on retinoic acid. MUC1, MUC2, MUC7, and MUC8 mRNAs were also detected by RT-PCR, but these genes did not appear to be strongly regulated as a function of differentiation. Mucin gene expression was similar in bronchial and nasal cells. Thus, mucociliary differentiation of human airway epithelia in vitro entails upregulation of several mucin genes

Dynamic scaling and quasi-ordered states in the two dimensional Swift-Hohenberg equation

The process of pattern formation in the two dimensional Swift-Hohenberg equation is examined through numerical and analytic methods. Dynamic scaling relationships are developed for the collective ordering of convective rolls in the limit of infinite aspect ratio. The stationary solutions are shown to be strongly influenced by the strength of noise. Stationary states for small and large noise strengths appear to be quasi-ordered and disordered respectively. The dynamics of ordering from an initially inhomogeneous state is very slow in the former case and fast in the latter. Both numerical and analytic calculations indicate that the slow dynamics can be characterized by a simple scaling relationship, with a characteristic dynamic exponent of $1/4$ in the intermediate time regime

Robust implications on Dark Matter from the first FERMI sky gamma map

We derive robust model-independent bounds on DM annihilations and decays from the first year of FERMI gamma-ray observations of the whole sky. These bounds only have a mild dependence on the DM density profile and allow the following DM interpretations of the PAMELA and FERMI electron/positron excesses: primary channels mu+ mu-, mu+ mu-mu+mu- or e+ e- e+ e-. An isothermal-like density profile is needed for annihilating DM. In all such cases, FERMI gamma spectra must contain a significant DM component, that may be probed in the future.Comment: 16 pages, 8 figures. Final versio