A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)

This paper introduces the MCML approach for empirically studying the learnability of relational properties that can be expressed in the well-known software design language Alloy. A key novelty of MCML is quantification of the performance of and semantic differences among trained machine learning (ML) models, specifically decision trees, with respect to entire (bounded) input spaces, and not just for given training and test datasets (as is the common practice). MCML reduces the quantification problems to the classic complexity theory problem of model counting, and employs state-of-the-art model counters. The results show that relatively simple ML models can achieve surprisingly high performance (accuracy and F1-score) when evaluated in the common setting of using training and test datasets - even when the training dataset is much smaller than the test dataset - indicating the seeming simplicity of learning relational properties. However, MCML metrics based on model counting show that the performance can degrade substantially when tested against the entire (bounded) input space, indicating the high complexity of precisely learning these properties, and the usefulness of model counting in quantifying the true performance

A Novel Secretion Pathway of Salmonella enterica Acts as an Antivirulence Modulator during Salmonellosis

Salmonella spp. are Gram-negative enteropathogenic bacteria that infect a variety of vertebrate hosts. Like any other living organism, protein secretion is a fundamental process essential for various aspects of Salmonella biology. Herein we report the identification and characterization of a horizontally acquired, autonomous and previously unreported secretion pathway. In Salmonella enterica serovar Typhimurium, this novel secretion pathway is encoded by STM1669 and STM1668, designated zirT and zirS, respectively. We show that ZirT is localized to the bacterial outer membrane, expected to adopt a compact β-barrel conformation, and functions as a translocator for ZirS. ZirS is an exoprotein, which is secreted into the extracellular environment in a ZirT-dependent manner. The ZirTS secretion pathway was found to share several important features with two-partner secretion (TPS) systems and members of the intimin/invasin family of adhesions. We show that zirTS expression is affected by zinc; and that in vivo, induction of zirT occurs distinctively in Salmonella colonizing the small intestine, but not in systemic sites. Additionally, strong expression of zirT takes place in Salmonella shed in fecal pellets during acute and persistent infections of mice. Inactivation of ZirTS results in a hypervirulence phenotype of Salmonella during oral infection of mice. Cumulatively, these results indicate that the ZirTS pathway plays a unique role as an antivirulence modulator during systemic disease and is involved in fine-tuning a host–pathogen balance during salmonellosis

A prospective survey in European Society of Cardiology member countries of atrial fibrillation management: baseline results of EURO bservational Research Programme Atrial Fibrillation (EORP-AF) Pilot General Registry

Aims: Given the advances in atrial fibrillation (AF) management and the availability of new European Society of Cardiology (ESC) guidelines, there is a need for the systematic collection of contemporary data regarding the management and treatment of AF in ESC member countries. Methods and results: We conducted a registry of consecutive in- and outpatients with AF presenting to cardiologists in nine participating ESC countries. All patients with an ECG-documented diagnosis of AF confirmed in the year prior to enrolment were eligible. We enroled a total of 3119 patients from February 2012 to March 2013, with full data on clinical subtype available for 3049 patients (40.4% female; mean age 68.8 years). Common comorbidities were hypertension, coronary disease, and heart failure. Lone AF was present in only 3.9% (122 patients). Asymptomatic AF was common, particularly among those with permanent AF. Amiodarone was the most common antiarrhythmic agent used (~20%), while beta-blockers and digoxin were the most used rate control drugs. Oral anticoagulants (OACs) were used in 80% overall, most often vitamin K antagonists (71.6%), with novel OACs being used in 8.4%. Other antithrombotics (mostly antiplatelet therapy, especially aspirin) were still used in one-third of the patients, and no antithrombotic treatment in only 4.8%. Oral anticoagulants were used in 56.4% of CHA 2DS2-VASc = 0, with 26.3% having no antithrombotic therapy. A high HAS-BLED score was not used to exclude OAC use, but there was a trend towards more aspirin use in the presence of a high HAS-BLED score. Conclusion: The EURObservational Research Programme Atrial Fibrillation (EORP-AF) Pilot Registry has provided systematic collection of contemporary data regarding the management and treatment of AF by cardiologists in ESC member countries. Oral anticoagulant use has increased, but novel OAC use was still low. Compliance with the treatment guidelines for patients with the lowest and higher stroke risk scores remains suboptimal. © The Author 2013

Impact of clinical phenotypes on management and outcomes in European atrial fibrillation patients: a report from the ESC-EHRA EURObservational Research Programme in AF (EORP-AF) General Long-Term Registry

Background: Epidemiological studies in atrial fibrillation (AF) illustrate that clinical complexity increase the risk of major adverse outcomes. We aimed to describe European AF patients\u2019 clinical phenotypes and analyse the differential clinical course. Methods: We performed a hierarchical cluster analysis based on Ward\u2019s Method and Squared Euclidean Distance using 22 clinical binary variables, identifying the optimal number of clusters. We investigated differences in clinical management, use of healthcare resources and outcomes in a cohort of European AF patients from a Europe-wide observational registry. Results: A total of 9363 were available for this analysis. We identified three clusters: Cluster 1 (n = 3634; 38.8%) characterized by older patients and prevalent non-cardiac comorbidities; Cluster 2 (n = 2774; 29.6%) characterized by younger patients with low prevalence of comorbidities; Cluster 3 (n = 2955;31.6%) characterized by patients\u2019 prevalent cardiovascular risk factors/comorbidities. Over a mean follow-up of 22.5 months, Cluster 3 had the highest rate of cardiovascular events, all-cause death, and the composite outcome (combining the previous two) compared to Cluster 1 and Cluster 2 (all P <.001). An adjusted Cox regression showed that compared to Cluster 2, Cluster 3 (hazard ratio (HR) 2.87, 95% confidence interval (CI) 2.27\u20133.62; HR 3.42, 95%CI 2.72\u20134.31; HR 2.79, 95%CI 2.32\u20133.35), and Cluster 1 (HR 1.88, 95%CI 1.48\u20132.38; HR 2.50, 95%CI 1.98\u20133.15; HR 2.09, 95%CI 1.74\u20132.51) reported a higher risk for the three outcomes respectively. Conclusions: In European AF patients, three main clusters were identified, differentiated by differential presence of comorbidities. Both non-cardiac and cardiac comorbidities clusters were found to be associated with an increased risk of major adverse outcomes

Hitomi (ASTRO-H) X-ray Astronomy Satellite

The Hitomi (ASTRO-H) mission is the sixth Japanese x-ray astronomy satellite developed by a large international collaboration, including Japan, USA, Canada, and Europe. The mission aimed to provide the highest energy resolution ever achieved at E  >  2  keV, using a microcalorimeter instrument, and to cover a wide energy range spanning four decades in energy from soft x-rays to gamma rays. After a successful launch on February 17, 2016, the spacecraft lost its function on March 26, 2016, but the commissioning phase for about a month provided valuable information on the onboard instruments and the spacecraft system, including astrophysical results obtained from first light observations. The paper describes the Hitomi (ASTRO-H) mission, its capabilities, the initial operation, and the instruments/spacecraft performances confirmed during the commissioning operations for about a month