A space-time continuous finite element method for 2D viscoelastic wave equation

International audienceA widespread approach to software service analysis uses session types. Very different type theories for binary and multiparty protocols have been developed; establishing precise connections between them remains an open problem. We present the first formal relation between two existing theories of binary and multiparty session types: a binary system rooted in linear logic, and a multiparty system based on automata theory. Our results enable the analysis of multiparty protocols using a (much simpler) type theory for binary protocols, ensuring protocol fidelity and deadlock-freedom. As an application, we offer the first theory of multiparty session types with behavioral genericity. This theory is natural and powerful; its analysis techniques reuse results for binary session types

Age-Associated Metabolic and Morphologic Changes in Mitochondria of Individual Mouse and Hamster Oocytes

Background: In human oocytes, as in other mammalian ova, there is a significant variation in the pregnancy potential, with approximately 20% of oocyte-sperm meetings resulting in pregnancies. This frequency of successful fertilization decreases as the oocytes age. This low proportion of fruitful couplings appears to be influenced by changes in mitochondrial structure and function. In this study, we have examined mitochondrial biogenesis in both hamster (Mesocricetus auratus) and mouse (Mus musculus) ova as models for understanding the effects of aging on mitochondrial structure and energy production within the mammalian oocyte. Methodology/Principal Findings: Individual metaphase II oocytes from a total of 25 young and old mice and hamsters were collected from ovarian follicles after hormone stimulation and prepared for biochemical or structural analysis. Adenosine triphosphate levels and mitochondrial DNA number were determined within individual oocytes from young and old animals. In aged hamsters, oocyte adenosine triphosphate levels and mitochondrial DNA molecules were reduced 35.4% and 51.8%, respectively. Reductions of 38.4% and 44% in adenosine triphosphate and mitochondrial genomes, respectively, were also seen in aged mouse oocytes. Transmission electron microscopic (TEM) analysis showed that aged rodent oocytes had significant alterations in mitochondrial and cytoplasmic lamellae structure. Conclusions/Significance: In both mice and hamsters, decreased adenosine triphosphate in aged oocytes is correlated with a similar decrease in mtDNA molecules and number of mitochondria. Mitochondria in mice and hamsters undergo significant morphological change with aging including mitochondrial vacuolization, cristae alterations, and changes in cytoplasmic lamellae

Tumor-suppressor activity of RRIG1 in breast cancer

<p>Abstract</p> <p>Background</p> <p>Retinoid receptor-induced gene-1 (RRIG1) is a novel gene that has been lost in several types of human cancers. The aim of this study was to determine whether RRIG1 plays a role in breast cancer, such as in the suppression of breast cancer cell growth and invasion.</p> <p>Methods</p> <p>Immunohistochemistry was used to detect RRIG1 expression in breast tissue specimens. Gene transfection was used to restore or knock down RRIG1 expression in breast cancer cell lines for analysis of cell viability, colony formation, and migration/invasion potential. Reverse-transcription polymerase chain reaction and western blot assays were used to detect the changes in gene expression. The RhoA activation assay was used to assess RRIG1-induced inhibition of RhoA activity.</p> <p>Results</p> <p>The immunohistochemical data showed that <it>RRIG1 </it>expression was reduced in breast cancer tissues compared with normal and atypical hyperplastic breast tissues. <it>RRIG1 </it>expression was inversely correlated with lymph node metastasis of breast cancer but was not associated with the status of hormone receptors, such as estrogen receptor, progesterone receptor, or HER2. Furthermore, restoration of <it>RRIG1 </it>expression inhibited proliferation, colony formation, migration, and invasion of breast cancer cells. Expression of RRIG1 also reduced phosphorylated Erk1/2 and Akt levels; c-Jun, MMP9, and Akt expressions; and RhoA activity. In contrast, knockdown of RRIG1 expression promoted breast cancer cell proliferation, colony formation, migration, and invasion potential.</p> <p>Conclusion</p> <p>The data from the current study indicated that <it>RRIG1 </it>expression was reduced or lost in breast cancer and that restoration of RRIG1 expression suppressed breast cancer cell growth and invasion capacity. Future studies will determine the underlying molecular mechanisms and define RRIG1 as a tumor-suppressor gene in breast cancer.</p

Measurement of the cross-section of high transverse momentum vector bosons reconstructed as single jets and studies of jet substructure in pp collisions at √s = 7 TeV with the ATLAS detector

This paper presents a measurement of the cross-section for high transverse momentum W and Z bosons produced in pp collisions and decaying to all-hadronic final states. The data used in the analysis were recorded by the ATLAS detector at the CERN Large Hadron Collider at a centre-of-mass energy of √s = 7 TeV;{\rm Te}{\rm V}$and correspond to an integrated luminosity of$4.6\;{\rm f}{{{\rm b}}^{-1}}$. The measurement is performed by reconstructing the boosted W or Z bosons in single jets. The reconstructed jet mass is used to identify the W and Z bosons, and a jet substructure method based on energy cluster information in the jet centre-of-mass frame is used to suppress the large multi-jet background. The cross-section for events with a hadronically decaying W or Z boson, with transverse momentum${{p}_{{\rm T}}}\gt 320\;{\rm Ge}{\rm V}$and pseudorapidity$|\eta |\lt 1.9$, is measured to be${{\sigma }_{W+Z}}=8.5\pm 1.7$ pb and is compared to next-to-leading-order calculations. The selected events are further used to study jet grooming techniques

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

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Search for the neutral Higgs bosons of the minimal supersymmetric standard model in pp collisions at root s=7 TeV with the ATLAS detector

A search for neutral Higgs bosons of the Minimal Supersymmetric Standard Model (MSSM) is reported. The analysis is based on a sample of proton-proton collisions at a centre-of-mass energy of 7TeV recorded with the ATLAS detector at the Large Hadron Collider. The data were recorded in 2011 and correspond to an integrated luminosity of 4.7 fb-1 to 4.8 fb-1. Higgs boson decays into oppositely-charged muon or τ lepton pairs are considered for final states requiring either the presence or absence of b-jets. No statistically significant excess over the expected background is observed and exclusion limits at the 95% confidence level are derived. The exclusion limits are for the production cross-section of a generic neutral Higgs boson, φ, as a function of the Higgs boson mass and for h/A/H production in the MSSM as a function of the parameters mA and tan β in the mhmax scenario for mA in the range of 90GeV to 500 GeV. Copyright CERN