953 research outputs found
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
Contrast-enhanced computed tomography for the detection of femorotibial joint disease in an equine model
A Deployment Framework for Quality-Sensitive Applications in Resource-Constrained Dynamic Environments
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 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
- …