SAT-based Explicit LTL Reasoning

We present here a new explicit reasoning framework for linear temporal logic (LTL), which is built on top of propositional satisfiability (SAT) solving. As a proof-of-concept of this framework, we describe a new LTL satisfiability tool, Aalta\_v2.0, which is built on top of the MiniSAT SAT solver. We test the effectiveness of this approach by demonnstrating that Aalta\_v2.0 significantly outperforms all existing LTL satisfiability solvers. Furthermore, we show that the framework can be extended from propositional LTL to assertional LTL (where we allow theory atoms), by replacing MiniSAT with the Z3 SMT solver, and demonstrating that this can yield an exponential improvement in performance

6G White Paper on Machine Learning in Wireless Communication Networks

The focus of this white paper is on machine learning (ML) in wireless communications. 6G wireless communication networks will be the backbone of the digital transformation of societies by providing ubiquitous, reliable, and near-instant wireless connectivity for humans and machines. Recent advances in ML research has led enable a wide range of novel technologies such as self-driving vehicles and voice assistants. Such innovation is possible as a result of the availability of advanced ML models, large datasets, and high computational power. On the other hand, the ever-increasing demand for connectivity will require a lot of innovation in 6G wireless networks, and ML tools will play a major role in solving problems in the wireless domain. In this paper, we provide an overview of the vision of how ML will impact the wireless communication systems. We first give an overview of the ML methods that have the highest potential to be used in wireless networks. Then, we discuss the problems that can be solved by using ML in various layers of the network such as the physical layer, medium access layer, and application layer. Zero-touch optimization of wireless networks using ML is another interesting aspect that is discussed in this paper. Finally, at the end of each section, important research questions that the section aims to answer are presented

Catalytic Function of PLA2G6 Is Impaired by Mutations Associated with Infantile Neuroaxonal Dystrophy but Not Dystonia-Parkinsonism

Mutations in the PLA2G6 gene have been identified in autosomal recessive neurodegenerative diseases classified as infantile neuroaxonal dystrophy (INAD), neurodegeneration with brain iron accumulation (NBIA), and dystonia-parkinsonism. These clinical syndromes display two significantly different disease phenotypes. NBIA and INAD are very similar, involving widespread neurodegeneration that begins within the first 1-2 years of life. In contrast, patients with dystonia-parkinsonism present with a parkinsonian movement disorder beginning at 15 to 30 years of age. The PLA2G6 gene encodes the PLA2G6 enzyme, also known as group VIA calcium-independent phospholipase A(2), which has previously been shown to hydrolyze the sn-2 acyl chain of phospholipids, generating free fatty acids and lysophospholipids.We produced purified recombinant wildtype (WT) and mutant human PLA2G6 proteins and examined their catalytic function using in vitro assays with radiolabeled lipid substrates. We find that human PLA2G6 enzyme hydrolyzes both phospholipids and lysophospholipids, releasing free fatty acids. Mutations associated with different disease phenotypes have different effects on catalytic activity. Mutations associated with INAD/NBIA cause loss of enzyme activity, with mutant proteins exhibiting less than 20% of the specific activity of WT protein in both lysophospholipase and phospholipase assays. In contrast, mutations associated with dystonia-parkinsonism do not impair catalytic activity, and two mutations produce a significant increase in specific activity for phospholipid but not lysophospholipid substrates.These results indicate that different alterations in PLA2G6 function produce the different disease phenotypes of NBIA/INAD and dystonia-parkinsonism. INAD/NBIA is caused by loss of the ability of PLA2G6 to catalyze fatty acid release from phospholipids, which predicts accumulation of PLA2G6 phospholipid substrates and provides a mechanistic explanation for the accumulation of membranes in neuroaxonal spheroids previously observed in histopathological studies of INAD/NBIA. In contrast, dystonia-parkinsonism mutations do not appear to directly impair catalytic function, but may modify substrate preferences or regulatory mechanisms for PLA2G6

Laboratory Capacity Building in Asia for Infectious Disease Research: Experiences from the South East Asia Infectious Disease Clinical Research Network (SEAICRN)

Heiman Wertheim and colleagues discuss a network that aims to improve infectious disease management through integrated, collaborative clinical research in South East Asia

Extracting causal relations on HIV drug resistance from literature

<p>Abstract</p> <p>Background</p> <p>In HIV treatment it is critical to have up-to-date resistance data of applicable drugs since HIV has a very high rate of mutation. These data are made available through scientific publications and must be extracted manually by experts in order to be used by virologists and medical doctors. Therefore there is an urgent need for a tool that partially automates this process and is able to retrieve relations between drugs and virus mutations from literature.</p> <p>Results</p> <p>In this work we present a novel method to extract and combine relationships between HIV drugs and mutations in viral genomes. Our extraction method is based on natural language processing (NLP) which produces grammatical relations and applies a set of rules to these relations. We applied our method to a relevant set of PubMed abstracts and obtained 2,434 extracted relations with an estimated performance of 84% for F-score. We then combined the extracted relations using logistic regression to generate resistance values for each <drug, mutation> pair. The results of this relation combination show more than 85% agreement with the Stanford HIVDB for the ten most frequently occurring mutations. The system is used in 5 hospitals from the Virolab project <url>http://www.virolab.org</url> to preselect the most relevant novel resistance data from literature and present those to virologists and medical doctors for further evaluation.</p> <p>Conclusions</p> <p>The proposed relation extraction and combination method has a good performance on extracting HIV drug resistance data. It can be used in large-scale relation extraction experiments. The developed methods can also be applied to extract other type of relations such as gene-protein, gene-disease, and disease-mutation.</p

The Alvarado score for predicting acute appendicitis: a systematic review

Background: The Alvarado score can be used to stratify patients with symptoms of suspected appendicitis; the validity of the score in certain patient groups and at different cut points is still unclear. The aim of this study was to assess the discrimination (diagnostic accuracy) and calibration performance of the Alvarado score. Methods: A systematic search of validation studies in Medline, Embase, DARE and The Cochrane library was performed up to April 2011. We assessed the diagnostic accuracy of the score at the two cut-off points: score of 5 (1 to 4 vs. 5 to 10) and score of 7 (1 to 6 vs. 7 to 10). Calibration was analysed across low (1 to 4), intermediate (5 to 6) and high (7 to 10) risk strata. The analysis focused on three sub-groups: men, women and children. Results: Forty-two studies were included in the review. In terms of diagnostic accuracy, the cut-point of 5 was good at 'ruling out' admission for appendicitis (sensitivity 99% overall, 96% men, 99% woman, 99% children). At the cut-point of 7, recommended for 'ruling in' appendicitis and progression to surgery, the score performed poorly in each subgroup (specificity overall 81%, men 57%, woman 73%, children 76%). The Alvarado score is well calibrated in men across all risk strata (low RR 1.06, 95% CI 0.87 to 1.28; intermediate 1.09, 0.86 to 1.37 and high 1.02, 0.97 to 1.08). The score over-predicts the probability of appendicitis in children in the intermediate and high risk groups and in women across all risk strata. Conclusions: The Alvarado score is a useful diagnostic 'rule out' score at a cut point of 5 for all patient groups. The score is well calibrated in men, inconsistent in children and over-predicts the probability of appendicitis in women across all strata of risk

Measurements of branching fraction ratios and CP-asymmetries in suppressed B^- -> D(-> K^+ pi^-)K^- and B^- -> D(-> K^+ pi^-)pi^- decays

We report the first reconstruction in hadron collisions of the suppressed decays B^- -> D(-> K^+ pi^-)K^- and B^- -> D(-> K^+ pi^-)pi^-, sensitive to the CKM phase gamma, using data from 7 fb^-1 of integrated luminosity collected by the CDF II detector at the Tevatron collider. We reconstruct a signal for the B^- -> D(-> K^+ pi^-)K^- suppressed mode with a significance of 3.2 standard deviations, and measure the ratios of the suppressed to favored branching fractions R(K) = [22.0 \pm 8.6(stat)\pm 2.6(syst)]\times 10^-3, R^+(K) = [42.6\pm 13.7(stat)\pm 2.8(syst)]\times 10^-3, R^-(K)= [3.8\pm 10.3(stat)\pm 2.7(syst]\times 10^-3, as well as the direct CP-violating asymmetry A(K) = -0.82\pm 0.44(stat)\pm 0.09(syst) of this mode. Corresponding quantities for B^- -> D(-> K^+ pi^-)pi^- decay are also reported.Comment: 8 pages, 1 figure, accepted by Phys.Rev.D Rapid Communications for Publicatio

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO