New Spherically Symmetric Solutions in f(R)-gravity by Noether Symmetries

Spherical symmetry for f(R)-gravity is discussed by searching for Noether symmetries. The method consists in selecting conserved quantities in form of currents that reduce dynamics of f(R)-models compatible with symmetries. In this way we get a general method to obtain constants of motion without setting a priori the form of f(R). In this sense, the Noether symmetry results a physical criterium. Relevant cases are discussed.Comment: 9 pages, accepted for publication in General Relativity and Gravitatio

Diagnosis of obstructive coronary artery disease using computed tomography angiography in patients with stable chest pain depending on clinical probability and in clinically important subgroups: Meta-analysis of individual patient data

Objective To determine whether coronary computed tomography angiography (CTA) should be performed in patients with any clinical probability of coronary artery disease (CAD), and whether the diagnostic performance differs between subgroups of patients. Design Prospectively designed meta-analysis of individual patient data from prospective diagnostic accuracy studies. Data sources Medline, Embase, and Web of Science for published studies. Unpublished studies were identified via direct contact with participating investigators. Eligibility criteria for selecting studies Prospective diagnostic accuracy studies that compared coronary CTA with coronary angiography as the reference standard, using at least a 50% diameter reduction as a cutoff value for obstructive CAD. All patients needed to have a clinical indication for coronary angiography due to suspected CAD, and both tests had to be performed in all patients. Results had to be provided using 2×2 or 3×2 cross tabulations for the comparison of CTA with coronary angiography. Primary outcomes were the positive and negative predictive values of CTA as a function of clinical pretest probability of obstructive CAD, analysed by a generalised linear mixed model; calculations were performed including and excluding non-diagnostic CTA results. The no-treat/treat threshold model was used to determine the range of appropriate pretest probabilities for CTA. The threshold model was based on obtained post-test probabilities of less than 15% in case of negative CTA and above 50% in case of positive CTA. Sex, angina pectoris type, age, and number of computed tomography detector rows were used as clinical variables to analyse the diagnostic performance in relevant subgroups. Results Individual patient data from 5332 patients from 65 prospective diagnostic accuracy studies were retrieved. For a pretest probability range of 7-67%, the treat threshold of more than 50% and the no-treat threshold of less than 15% post-test probability were obtained using CTA. At a pretest probability of 7%, the positive predictive value of CTA was 50.9% (95% confidence interval 43.3% to 57.7%) and the negative predictive value of CTA was 97.8% (96.4% to 98.7%); corresponding values at a pretest probability of 67% were 82.7% (78.3% to 86.2%) and 85.0% (80.2% to 88.9%), respectively. The overall sensitivity of CTA was 95.2% (92.6% to 96.9%) and the specificity was 79.2% (74.9% to 82.9%). CTA using more than 64 detector rows was associated with a higher empirical sensitivity than CTA using up to 64 rows (93.4% v 86.5%, P=0.002) and specificity (84.4% v 72.6%, P<0.001). The area under the receiver-operating-characteristic curve for CTA was 0.897 (0.889 to 0.906), and the diagnostic performance of CTA was slightly lower in women than in with men (area under the curve 0.874 (0.858 to 0.890) v 0.907 (0.897 to 0.916), P<0.001). The diagnostic performance of CTA was slightly lower in patients older than 75 (0.864 (0.834 to 0.894), P=0.018 v all other age groups) and was not significantly influenced by angina pectoris type (typical angina 0.895 (0.873 to 0.917), atypical angina 0.898 (0.884 to 0.913), non-anginal chest pain 0.884 (0.870 to 0.899), other chest discomfort 0.915 (0.897 to 0.934)). Conclusions In a no-treat/treat threshold model, the diagnosis of obstructive CAD using coronary CTA in patients with stable chest pain was most accurate when the clinical pretest probability was between 7% and 67%. Performance of CTA was not influenced by the angina pectoris type and was slightly higher in men and lower in older patients. Systematic review registration PROSPERO CRD42012002780

GSTE is Partitioned Model Checking

Verifying whether an ?-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary language, compute its product with the system, and then check for emptiness. Generalized symbolic trajectory evaluation (GSTE) has been recently proposed as an alternative approach, extending the computationally efficient symbolic trajectory evaluation (STE) to general ?-regular properties. In this paper, we show that the GSTE algorithms are essentially a partitioned version of standard symbolic model-checking (SMC) algorithms, where the partitioning is driven by the property under verification. We export this technique of property-driven partitioning to SMC and show that it typically does speed up SMC algorithms

Osmopriming-associated genes in Poincianella pyramidalis

Osmopriming of seeds can increase seed vigour, allowing faster germination and field emergence, especially under adverse field conditions. The restricted imbibition during priming treatments reactivates metabolism although germination will be prevented. In order to identify and characterize genes that are involved in the improvement of vigour of Poincianella pyramidalis (Catingueira) seeds upon priming, we produced two different Suppression Subtractive Hybridization (SSH) cDNA libraries. These were a Forward and Reverse subtraction of cDNA samples isolated from untreated dry seeds (unprimed) and osmoprimed seeds. The two different libraries were sequenced by Illumina GAII next generation sequencing, resulting in almost 20 million reads that could be assigned to 5298 different contigs. Of these, 999 were only found in the unprimed seeds library and 2711 were specific for osmoprimed seeds. The contigs were annotated and subjected to gene set enrichment analysis and differential expression of several genes was confirmed by qRT-PCR analysis. The identified differentially expressed genes might play an important role in vigour improvement upon priming and may be potential markers for tolerance to water stress in P. pyramidalis seeds.</p