A dependent nominal type theory

Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and ML-like polymorphic languages have been studied, but decidability and normalization results have only been established for simple nominal type theories. We present a LF-style dependent type theory extended with name-abstraction types, prove soundness and decidability of beta-eta-equivalence checking, discuss adequacy and canonical forms via an example, and discuss extensions such as dependently-typed recursion and induction principles

Emergency percutaneous needle decompression for tension pneumoperitoneum

<p>Abstract</p> <p>Background</p> <p>Tension pneumoperitoneum as a complication of iatrogenic bowel perforation during endoscopy is a dramatic condition in which intraperitoneal air under pressure causes hemodynamic and ventilatory compromise. Like tension pneumothorax, urgent intervention is required. Immediate surgical decompression though is not always possible due to the limitations of the preclinical management and sometimes to capacity constraints of medical staff and equipment in the clinic.</p> <p>Methods</p> <p>This is a retrospective analysis of cases of pneumoperitoneum and tension pneumoperitoneum due to iatrogenic bowel perforation. All patients admitted to our surgical department between January 2005 and October 2010 were included. Tension pneumoperitoneum was diagnosed in those patients presenting signs of hemodynamic and ventilatory compromise in addition to abdominal distension.</p> <p>Results</p> <p>Between January 2005 and October 2010 eleven patients with iatrogenic bowel perforation were admitted to our surgical department. The mean time between perforation and admission was 36 ± 14 hrs (range 30 min - 130 hrs), between ER admission and begin of the operation 3 hrs and 15 min ± 47 min (range 60 min - 9 hrs). Three out of eleven patients had clinical signs of tension pneumoperitoneum. In those patients emergency percutaneous needle decompression was performed with a 16G venous catheter. This improved significantly the patients' condition (stabilization of vital signs, reducing jugular vein congestion), bridging the time to the start of the operation.</p> <p>Conclusions</p> <p>Hemodynamical and respiratory compromise in addition to abdominal distension shortly after endoscopy are strongly suggestive of tension pneumoperitoneum due to iatrogenic bowel perforation. This is a rare but life threatening condition and it can be managed in a preclinical and clinical setting with emergency percutaneous needle decompression like tension pneumothorax. Emergency percutaneous decompression is no definitive treatment, only a method to bridge the time gap to definitive surgical repair.</p

Novel insights into host-fungal pathogen interactions derived from live-cell imaging

Acknowledgments The authors acknowledge funding from the Wellcome Trust (080088, 086827, 075470 and 099215) including a Wellcome Trust Strategic Award for Medical Mycology and Fungal Immunology 097377 and FP7-2007–2013 grant agreement HEALTH-F2-2010-260338–ALLFUN to NARG.Peer reviewedPublisher PD

Increased plasma membrane cholesterol in cystic fibrosis cells correlates with CFTR genotype and depends on de novo cholesterol synthesis

<p>Abstract</p> <p>Background</p> <p>Previous observations demonstrate that <it>Cftr</it>-null cells and tissues exhibit alterations in cholesterol processing including perinuclear cholesterol accumulation, increased <it>de novo </it>synthesis, and an increase in plasma membrane cholesterol accessibility compared to wild type controls. The hypothesis of this study is that membrane cholesterol accessibility correlates with CFTR genotype and is in part influenced by <it>de novo </it>cholesterol synthesis.</p> <p>Methods</p> <p>Electrochemical detection of cholesterol at the plasma membrane is achieved with capillary microelectrodes with a modified platinum coil that accepts covalent attachment of cholesterol oxidase. Modified electrodes absent cholesterol oxidase serves as a baseline control. Cholesterol synthesis is determined by deuterium incorporation into lipids over time. Incorporation into cholesterol specifically is determined by mass spectrometry analysis. All mice used in the study are on a C57Bl/6 background and are between 6 and 8 weeks of age.</p> <p>Results</p> <p>Membrane cholesterol measurements are elevated in both R117H and ΔF508 mouse nasal epithelium compared to age-matched sibling wt controls demonstrating a genotype correlation to membrane cholesterol detection. Expression of wt CFTR in CF epithelial cells reverts membrane cholesterol to WT levels further demonstrating the impact of CFTR on these processes. In wt epithelial cell, the addition of the CFTR inhibitors, Gly H101 or CFTR_inh-172, for 24 h surprisingly results in an initial drop in membrane cholesterol measurement followed by a rebound at 72 h suggesting a feedback mechanism may be driving the increase in membrane cholesterol. <it>De novo </it>cholesterol synthesis contributes to membrane cholesterol accessibility.</p> <p>Conclusions</p> <p>The data in this study suggest that CFTR influences cholesterol trafficking to the plasma membrane, which when depleted, leads to an increase in <it>de novo </it>cholesterol synthesis to restore membrane content.</p

Road to evolution? Local adaptation to road adjacency in an amphibian (Ambystoma maculatum)

The network of roads on the landscape is vast, and contributes a suite of negative ecological effects on adjacent habitats, ranging from fragmentation to contamination by runoff. In addition to the immediate consequences faced by biota living in roaded landscapes, road effects may further function as novel agents of selection, setting the stage for contemporary evolutionary changes in local populations. Though the ecological consequences of roads are well described, evolutionary outcomes remain largely unevaluated. To address these potential responses in tandem, I conducted a reciprocal transplant experiment on early life history stages of a pool-breeding salamander. My data show that despite a strong, negative effect of roadside pools on salamander performance, populations adjacent to roads are locally adapted. This suggests that the response of species to human-altered environments varies across local populations, and that adaptive processes may mediate this response

Effect of pathology type and severity on the distribution of MRI signal intensities within the degenerated nucleus pulposus: application to idiopathic scoliosis and spondylolisthesis

<p>Abstract</p> <p>Background</p> <p>Disc degeneration is characterized by a loss of cellularity, degradation of the extracellular matrix, and, as a result, morphological changes and biomechanical alterations. We hypothesized that the distribution of the MR signal intensity within the nucleus zone of the intervertebral disc was modified according to the pathology and the severity of the pathology. The objective of this study was to propose new parameters characterizing the distribution of the signal intensity within the nucleus zone of lumbar intervertebral discs, and to quantify these changes in patients suffering from spondylolisthesis or idiopathic scoliosis.</p> <p>Methods</p> <p>A retrospective study had been performed on T2-weighted MR images of twenty nine patients suffering from spondylolisthesis and/or scoliosis. The high intensity zone of the nucleus pulposus was semi-automatically detected. The distance "DX" between the center weighted by the signal intensity and the geometrical center was quantified. The sum of the signal intensity on the axis perpendicular to the longitudinal axis of the disc was plotted for each position of the longitudinal axis allowing defining the maximum sum "SM" and its position "PSM".</p> <p>Results</p> <p>"SM" was clearly higher and "PSM" was more shifted for scoliosis than for spondylolisthesis. A two-way analysis of variance showed that the differences observed on "DX" were not attributed to the pathology nor its severity, the differences observed on "SM" were attributed to the pathology but not to its severity, and the differences observed on "PSM" were attributed to both the pathology and its severity.</p> <p>Conclusions</p> <p>The technique proposed in this study showed significant differences in the distribution of the MR signal intensity within the nucleus zone of intervertebral discs due to the pathology and its severity. The dependence of the "PSM" parameter to the severity of the pathology suggests this parameter as a predictive factor of the pathology progression. This new technique should be useful for the early diagnosis of intervertebral disc pathologies as it highlights abnormal patterns in the MRI signal for low severity of the pathology.</p

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur