Deadlock detection of Java Bytecode

This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models are subsequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most of the Java features.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Deep Projective 3D Semantic Segmentation

Semantic segmentation of 3D point clouds is a challenging problem with numerous real-world applications. While deep learning has revolutionized the field of image semantic segmentation, its impact on point cloud data has been limited so far. Recent attempts, based on 3D deep learning approaches (3D-CNNs), have achieved below-expected results. Such methods require voxelizations of the underlying point cloud data, leading to decreased spatial resolution and increased memory consumption. Additionally, 3D-CNNs greatly suffer from the limited availability of annotated datasets. In this paper, we propose an alternative framework that avoids the limitations of 3D-CNNs. Instead of directly solving the problem in 3D, we first project the point cloud onto a set of synthetic 2D-images. These images are then used as input to a 2D-CNN, designed for semantic segmentation. Finally, the obtained prediction scores are re-projected to the point cloud to obtain the segmentation results. We further investigate the impact of multiple modalities, such as color, depth and surface normals, in a multi-stream network architecture. Experiments are performed on the recent Semantic3D dataset. Our approach sets a new state-of-the-art by achieving a relative gain of 7.9 %, compared to the previous best approach.Comment: Submitted to CAIP 201

Aquatic community response to volcanic eruptions on the Ecuadorian Andean flank: evidence from the palaeoecological record

Aquatic ecosystems in the tropical Andes are under increasing pressure from human modification of the landscape (deforestation and dams) and climatic change (increase of extreme events and 1.5 °C on average temperatures are projected for AD 2100). However, the resilience of these ecosystems to perturbations is poorly understood. Here we use a multi-proxy palaeoecological approach to assess the response of aquatic ecosystems to a major mechanism for natural disturbance, volcanic ash deposition. Specifically, we present data from two Neotropical lakes located on the eastern Andean flank of Ecuador. Laguna Pindo (1°27.132′S–78°04.847′W) is a tectonically formed closed basin surrounded by a dense mid-elevation forest, whereas Laguna Baños (0°19.328′S–78°09.175′W) is a glacially formed lake with an inflow and outflow in high Andean Páramo grasslands. In each lake we examined the dynamics of chironomids and other aquatic and semi-aquatic organisms to explore the effect of thick (> 5 cm) volcanic deposits on the aquatic communities in these two systems with different catchment features. In both lakes past volcanic ash deposition was evident from four large tephras dated to c.850 cal year BP (Pindo), and 4600, 3600 and 1500 cal year BP (Baños). Examination of the chironomid and aquatic assemblages before and after the ash depositions revealed no shift in composition at Pindo, but a major change at Baños occurred after the last event around 1500 cal year BP. Chironomids at Baños changed from an assemblage dominated by Pseudochironomus and Polypedilum nubifer-type to Cricotopus/Paratrichocladius type-II, and such a dominance lasted for approximately 380 years. We suggest that, despite potential changes in the water chemistry, the major effect on the chironomid community resulted from the thickness of the tephra being deposited, which acted to shallow the water body beyond a depth threshold. Changes in the aquatic flora and fauna at the base of the trophic chain can promote cascade effects that may deteriorate the ecosystem, especially when already influenced by human activities, such as deforestation and dams, which is frequent in the high Andes

Counsellee’s experience of cancer genetic counselling with pedigrees that automatically incorporate genealogical and cancer database information

To access publisher's full text version of this article, please click on the hyperlink in Additional Links field or click on the hyperlink at the top of the page marked Files. This article is open access.While pedigree drawing software is often utilised in genetic services, the use of genealogical databases in genetic counselling is unusual. This is mainly because of the unavailability of such databases in most countries. Electronically generated pedigrees used for cancer genetic counselling in Iceland create pedigrees that automatically incorporate information from a large, comprehensive genealogy database and nation-wide cancer registry. The aim of this descriptive qualitative study was to explore counsellees' experiences of genetic services, including family history taking, using these electronically generated pedigrees. Four online focus groups with 19 participants were formed, using an asynchronous posting method. Participants were encouraged to discuss their responses to questions posted on the website by the researcher. The main themes arising were motivation, information and trust, impact of testing and emotional responses. Most of the participants expressed trust in the method of using electronically generated pedigrees, although some voiced worries about information safety. Many experienced worry and anxiety while waiting for results of genetic testing, but limited survival guilt was noted. Family communication was either unchanged or improved following genetic counselling. The use of electronically generated pedigrees was well received by participants, and they trusted the information obtained via the databases. Age did not seem to influence responses. These results may be indicative of the particular culture in Iceland, where genealogical information is well known and freely shared. Further studies are needed to determine whether use of similar approaches to genealogical information gathering may be acceptable elsewhere

Measurement of the t(t)over-bar production cross section in the dilepton channel in pp collisions at √s=8 TeV

The top-antitop quark (t (t) over bar) production cross section is measured in proton-proton collisions at root s = 8 TeV with the CMS experiment at the LHC, using a data sample corresponding to an integrated luminosity of 5.3 fb(-1). The measurement is performed by analysing events with a pair of electrons or muons, or one electron and one muon, and at least two jets, one of which is identified as originating from hadronisation of a bottom quark. The measured cross section is 239 +/- 2 (stat.) +/- 11 (syst.) +/- 6 (lum.) pb, for an assumed top-quark mass of 172.5 GeV, in agreement with the prediction of the standard model

Seroepidemiology of human Toxoplasma gondii infection in China

<p>Abstract</p> <p>Background</p> <p>Toxoplasmosis is an important zoonotic parasitic disease worldwide. In immune competent individuals, <it>Toxoplasma gondii </it>preferentially infects tissues of central nervous systems, which might be an adding factor of certain psychiatric disorders. Congenital transmission of <it>T. gondii </it>during pregnancy has been regarded as a risk factor for the health of newborn infants. While in immune-compromised individuals, the parasite can cause life-threatening infections. This study aims to investigate the prevalence of <it>T. gondii </it>infection among clinically healthy <b>i</b>ndividuals and patients with psychiatric disorders in China and to identify the potential risk factors related to the vulnerability of infection in the population.</p> <p>Methods</p> <p>Serum samples from 2634 healthy individuals and 547 patients with certain psychiatric disorders in Changchun and Daqing in the northeast, and in Shanghai in the south of China were examined respectively for the levels of anti-<it>T. gondii </it>IgG by indirect ELISA and a direct agglutination assay. Prevalence of <it>T. gondii </it>infection in the Chinese population in respect of gender, age, residence and health status was systematically analyzed.</p> <p>Results</p> <p>The overall anti-<it>T. gondii </it>IgG prevalence in the study population was 12.3%. In the clinically healthy population 12.5% was sero-positive and in the group with psychiatric disorders 11.3% of these patients were positive with anti-<it>T. gondii </it>IgG. A significant difference (P = 0.004) was found between male and female in the healthy population, the seroprevalence was 10.5% in men versus 14.3% in women. Furthermore, the difference of <it>T. gondii </it>infection rate between male and female in the 20-19 year's group was more obvious, with 6.4% in male population and 14.6% in female population.</p> <p>Conclusion</p> <p>A significant higher prevalence of <it>T. gondii </it>infection was observed in female in the clinically healthy population. No correlation was found between <it>T. gondii </it>infection and psychiatric disorders in this study. Results suggest that women are more exposed to <it>T. gondii </it>infection than men in China. The data argue for deeper investigations for the potential risk factors that threat the female populations.</p

Comparison of primary care models in the prevention of cardiovascular disease - a cross sectional study

<p>Abstract</p> <p>Background</p> <p>Primary care providers play an important role in preventing and managing cardiovascular disease. This study compared the quality of preventive cardiovascular care delivery amongst different primary care models.</p> <p>Methods</p> <p>This is a secondary analysis of a larger randomized control trial, known as the Improved Delivery of Cardiovascular Care (IDOCC) through Outreach Facilitation. Using baseline data collected through IDOCC, we conducted a cross-sectional study of 82 primary care practices from three delivery models in Eastern Ontario, Canada: 43 fee-for-service, 27 blended-capitation and 12 community health centres with salary-based physicians. Medical chart audits from 4,808 patients with or at high risk of developing cardiovascular disease were used to examine each practice's adherence to ten evidence-based processes of care for diabetes, chronic kidney disease, dyslipidemia, hypertension, weight management, and smoking cessation care. Generalized estimating equation models adjusting for age, sex, rurality, number of cardiovascular-related comorbidities, and year of data collection were used to compare guideline adherence amongst the three models.</p> <p>Results</p> <p>The percentage of patients with diabetes that received two hemoglobin A1c tests during the study year was significantly higher in community health centres (69%) than in fee-for-service (45%) practices (Adjusted Odds Ratio (AOR) = 2.4 [95% CI 1.4-4.2], p = 0.001). Blended capitation practices had a significantly higher percentage of patients who had their waistlines monitored than in fee-for-service practices (19% vs. 5%, AOR = 3.7 [1.8-7.8], p = 0.0006), and who were recommended a smoking cessation drug when compared to community health centres (33% vs. 16%, AOR = 2.4 [1.3-4.6], p = 0.007). Overall, quality of diabetes care was higher in community health centres, while smoking cessation care and weight management was higher in the blended-capitation models. Fee-for-service practices had the greatest gaps in care, most noticeably in diabetes care and weight management.</p> <p>Conclusions</p> <p>This study adds to the evidence suggesting that primary care delivery model impacts quality of care. These findings support current Ontario reforms to move away from the traditional fee-for-service practice.</p> <p>Trial Registration</p> <p>ClinicalTrials.gov: <a href="http://www.clinicaltrials.gov/ct2/show/NCT00574808">NCT00574808</a></p

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 pair-produced long-lived neutral particles decaying to jets in the ATLAS hadronic calorimeter in ppcollisions at √s=8TeV

The ATLAS detector at the Large Hadron Collider at CERN is used to search for the decay of a scalar boson to a pair of long-lived particles, neutral under the Standard Model gauge group, in 20.3fb−1of data collected in proton–proton collisions at √s=8TeV. This search is sensitive to long-lived particles that decay to Standard Model particles producing jets at the outer edge of the ATLAS electromagnetic calorimeter or inside the hadronic calorimeter. No significant excess of events is observed. Limits are reported on the product of the scalar boson production cross section times branching ratio into long-lived neutral particles as a function of the proper lifetime of the particles. Limits are reported for boson masses from 100 GeVto 900 GeV, and a long-lived neutral particle mass from 10 GeVto 150 GeV

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