Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages

For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular. If L contains a non-regular language, PDL[L] can express non-regular properties, in contrast to pure PDL. For regular, visibly pushdown and deterministic context-free languages, the separation of the respective PDLs can be proven by automata-theoretic techniques. However, these techniques introduce non-determinism on the automata side. As non-determinism is also the difference between DCFL and CFL, these techniques seem to be inappropriate to separate PDL[DCFL] from PDL[CFL]. Nevertheless, this separation is shown but for programs without test operators.Comment: In Proceedings GandALF 2011, arXiv:1106.081

The anti-ageing molecule sirt1 mediates beneficial effects of cardiac rehabilitation

Background An exercise-based Cardiac Rehabilitation Programme (CRP) is established as adjuvant therapy in heart failure (HF), nevertheless it is underutilized, especially in the elderly. While the functional and hemodynamic effects of CRP are well known, its underlying molecular mechanisms have not been fully clarified. The present study aims to evaluate the effects of a well-structured 4-week CRP in patients with stable HF from a molecular point of view. Results A prospective longitudinal observational study was conducted on patients consecutively admitted to cardiac rehabilitation. In fifty elderly HF patients with preserved ejection fraction (HFpEF), levels of sirtuin 1 (Sirt1) in peripheral blood mononuclear cells (PBMCs) and of its targets, the antioxidants catalase (Cat) and superoxide dismutase (SOD) in serum were measured before (Patients, P) and at the end of the CRP (Rehabilitated Patients, RP), showing a rise of their activities after rehabilitation. Endothelial cells (ECs) were conditioned with serum from P and RP, and oxidative stress was induced using hydrogen peroxide. An increase of Sirt1 and Cat activity was detected in RP-conditioned ECs in both the absence and presence of oxidative stress, together with a decrease of senescence, an effect not observed during Sirt1 and Cat inhibition. Conclusions In addition to the improvement in functional and hemodynamic parameters, a supervised exercise-based CRP increases Sirt1 activity and stimulates a systemic antioxidant defence in elderly HFpEF patients. Moreover, CRP produces antioxidant and anti-senescent effects in human endothelial cells mediated, at least in part, by Sirt1 and its target Cat

Reliability of forced internal rotation and active internal rotation to assess lateral instability of the biceps pulley

Purpose: the aim of this study was to investigate the relationship between positive painful forced internal rotation (FIR) and lateral pulley instability in the presence of a pre-diagnosed posterosuperior cuff tear. The same investigation was conducted for painful active internal rotation (AIR). Methods: a multicenter prospective study was conducted in a series of patients scheduled to undergo arthroscopic posterosuperior cuff repair. Pain was assessed using a visual analog scale (VAS) and the Disabilities of the Arm, Shoulder and Hand questionnaire (DASH) was administered. The VAS score at rest, DASH score, and presence/absence of pain on FIR and AIR were recorded and their relationships with lesions of the lateral pulley, cuff tear patterns and shape of lesions were analyzed. Results: the study population consisted of 115 patients (mean age: 55.1 years) recruited from 12 centers. The dominant arm was affected in 72 cases (62.6%). The average anteroposterior extension of the lesion was 1.61 cm. The mean preoperative VAS and DASH scores were 6.1 and 41.8, respectively. FIR and AIR were positive in 94 (81.7%) and 85 (73.9%) cases, respectively. The lateral pulley was compromised in 50 cases (43.4%). Cuff tears were partial articular in 35 patients (30.4%), complete in 61 (53%), and partial bursal in 19 (16.5%). No statistical correlation between positive FIR or AIR and lateral pulley lesions was detected. Positive FIR and AIR were statistically associated with complete lesions. Negative FIR was associated with the presence of partial articular tears. Conclusions: painful FIR in the presence of a postero-superior cuff tear does not indicate lateral pulley instability. When a cuff tear is suspected, positive FIR and AIR are suggestive of full-thickness tear patterns while a negative FIR suggests a partial articular lesion. Level of evidence: level I, validating cohort study with good reference standards

Complications of mechanical thrombectomy for acute ischemic stroke: Incidence, risk factors, and clinical relevance in the Italian Registry of Endovascular Treatment in acute stroke

BACKGROUND: There are limited data concerning procedure-related complications of endovascular thrombectomy for large vessel occlusion strokes. AIMS: We evaluated the cumulative incidence, the clinical relevance in terms of increased disability and mortality, and risk factors for complications. METHODS: From January 2011 to December 2017, 4799 patients were enrolled by 36 centers in the Italian Registry of Endovascular Stroke Treatment. Data on demographic and procedural characteristics, complications, and clinical outcome at three months were prospectively collected. RESULTS: The complications cumulative incidence was 201 per 1000 patients undergoing endovascular thrombectomy. Ongoing antiplatelet therapy (p < 0.01; OR 1.82, 95% CI: 1.21-2.73) and large vessel occlusion site (carotid-T, p < 0.03; OR 3.05, 95% CI: 1.13-8.19; M2-segment-MCA, p < 0.01; OR 4.54, 95% CI: 1.66-12.44) were associated with a higher risk of subarachnoid hemorrhage/arterial perforation. Thrombectomy alone (p < 0.01; OR 0.50, 95% CI: 0.31-0.83) and younger age (p < 0.04; OR 0.98, 95% CI: 0.97-0.99) revealed a lower risk of developing dissection. M2-segment-MCA occlusion (p < 0.01; OR 0.35, 95% CI: 0.19-0.64) and hypertension (p < 0.04; OR 0.77, 95% CI: 0.6-0.98) were less related to clot embolization. Higher NIHSS at onset (p < 0.01; OR 1.04, 95% CI: 1.02-1.06), longer groin-to-reperfusion time (p < 0.01; OR 1.05, 95% CI: 1.02-1.07), diabetes (p < 0.01; OR 1.67, 95% CI: 1.25-2.23), and LVO site (carotid-T, p < 0.01; OR 1.96, 95% CI: 1.26-3.05; M2-segment-MCA, p < 0.02; OR 1.62, 95% CI: 1.08-2.42) were associated with a higher risk of developing symptomatic intracerebral hemorrhage compared to no/asymptomatic intracerebral hemorrhage. The subgroup of patients treated with thrombectomy alone presented a lower risk of symptomatic intracerebral hemorrhage (p < 0.01; OR 0.70; 95% CI: 0.55-0.90). Subarachnoid hemorrhage/arterial perforation and symptomatic intracerebral hemorrhage after endovascular thrombectomy worsen both functional independence and mortality at three-month follow-up (p < 0.01). Distal embolization is associated with neurological deterioration (p < 0.01), while arterial dissection did not affect clinical outcome at follow-up. CONCLUSIONS: Complications globally considered are not uncommon and may result in poor clinical outcome. Early recognition of risk factors might help to prevent complications and manage them appropriately in order to maximize endovascular thrombectomy benefits

HLA class I and II diversity contributes to the etiologic heterogeneity of non-Hodgkin lymphoma subtypes

A growing number of loci within the human leukocyte antigen (HLA) region have been implicated in non-Hodgkin lymphoma (NHL) etiology. Here, we test a complementary hypothesis of "heterozygote advantage" regarding the role of HLA and NHL, whereby HLA diversity is beneficial and homozygous HLA loci are associated with increased disease risk. HLA alleles at class I and II loci were imputed from genome-wide association studies (GWAS) using SNP2HLA for 3,617 diffuse large B-cell lymphomas (DLBCL), 2,686 follicular lymphomas (FL), 2,878 chronic lymphocytic leukemia/small lymphocytic lymphomas (CLL/SLL), 741 marginal zone lymphomas (MZL), and 8,753 controls of European descent. Both DLBCL and MZL risk were elevated with homozygosity at class I HLA-B and -C loci (OR DLBCL = 1.31, 95% CI = 1.06–1.60; OR MZL = 1.45, 95% CI = 1.12–1.89) and class II HLA-DRB1 locus (OR DLBCL = 2.10, 95% CI = 1.24–3.55; OR MZL = 2.10, 95% CI = 0.99–4.45). Increased FL risk was observed with the overall increase in number of homozygous HLA class II loci (P trend &lt; 0.0001, FDR = 0.0005). These results support a role for HLA zygosity in NHL etiology and suggests that distinct immune pathways may underly the etiology of the different NHL subtypes. Significance: HLA gene diversity reduces risk for non-Hodgkin lymphoma

Reverse and Conventional Chemical Ecology Approaches for the Development of Oviposition Attractants for Culex Mosquitoes

Synthetic mosquito oviposition attractants are sorely needed for surveillance and control programs for Culex species, which are major vectors of pathogens causing various human diseases, including filariasis, encephalitis, and West Nile encephalomyelitis. We employed novel and conventional chemical ecology approaches to identify potential attractants, which were demonstrated in field tests to be effective for monitoring populations of Cx. p. quinquefasciatus in human dwellings. Immunohistochemistry studies showed that an odorant-binding protein from this species, CquiOBP1, is expressed in trichoid sensilla on the antennae, including short, sharp-tipped trichoid sensilla type, which house an olfactory receptor neuron sensitive to a previously identified mosquito oviposition pheromone (MOP), 6-acetoxy-5-hexadecanolide. CquiOBP1 exists in monomeric and dimeric forms. Monomeric CquiOBP1 bound MOP in a pH-dependent manner, with a change in secondary structure apparently related to the loss of binding at low pH. The pheromone antipode showed higher affinity than the natural stereoisomer. By using both CquiOBP1 as a molecular target in binding assays and gas chromatography-electroantennographic detection (GC-EAD), we identified nonanal, trimethylamine (TMA), and skatole as test compounds. Extensive field evaluations in Recife, Brazil, a region with high populations of Cx. p. quinquefasciatus, showed that a combination of TMA (0.9 µg/l) and nonanal (0.15 ng/µl) is equivalent in attraction to the currently used infusion-based lure, and superior in that the offensive smell of infusions was eliminated in the newly developed synthetic mixture

Post-translational deregulation of YAP1 is genetically controlled in rat liver cancer and determines the fate and stem-like behavior of the human disease

Previous studies showed that YAP1 is over-expressed in hepatocellular carcinoma (HCC). Here we observed higher expression of Yap1/Ctgf axis in dysplastic nodules and HCC chemically-induced in F344 rats, genetically susceptible to hepatocarcinogenesis, than in lesions induced in resistant BN rats. In BN rats, highest increase in Yap1- tyr357, p73 phosphorylation and Caspase 3 cleavage occurred. In human HCCs with poorer prognosis (< 3 years survival after partial liver resection, HCCP), levels of YAP1, CTGF, 14–3–3, and TEAD proteins, and YAP1-14-3-3 and YAP1-TEAD complexes were higher than in HCCs with better outcome (> 3 years survival; HCCB). In the latter, higher levels of phosphorylated YAP1-ser127, YAP1-tyr357 and p73, YAP1 ubiquitination, and Caspase 3 cleavage occurred. Expression of stemness markers NANOG, OCT-3/4, and CD133 were highest in HCCP and correlated with YAP1 and YAP1-TEAD levels. In HepG2, Huh7, and Hep3B cells, forced YAP1 over-expression led to stem cell markers expression and increased cell viability, whereas inhibition of YAP1 expression by specific siRNA, or transfection of mutant YAP1 which does not bind to TEAD, induced opposite alterations. These changes were associated, in Huh7 cells transfected with YAP1 or YAP1 siRNA, with stimulation or inhibition of cell migration and invasivity, respectively. Furthermore, transcriptome analysis showed that YAP1 transfection in Huh7 cells induces over-expression of genes involved in tumor stemness. In conclusion, Yap1 post-translational modifications favoring its ubiquitination and apoptosis characterize HCC with better prognosis, whereas conditions favoring the formation of YAP1-TEAD complexes are associated with aggressiveness and acquisition of stemness features by HCC cells

Reliability of forced internal rotation and active internal rotation to assess lateral instability of the biceps pulley

PURPOSE: the aim of this study was to investigate the relationship between positive painful forced internal rotation (FIR) and lateral pulley instability in the presence of a pre-diagnosed posterosuperior cuff tear. The same investigation was conducted for painful active internal rotation (AIR). METHODS: a multicenter prospective study was conducted in a series of patients scheduled to undergo arthroscopic posterosuperior cuff repair. Pain was assessed using a visual analog scale (VAS) and the Disabilities of the Arm, Shoulder and Hand questionnaire (DASH) was administered. The VAS score at rest, DASH score, and presence/absence of pain on FIR and AIR were recorded and their relationships with lesions of the lateral pulley, cuff tear patterns and shape of lesions were analyzed. RESULTS: the study population consisted of 115 patients (mean age: 55.1 years) recruited from 12 centers. The dominant arm was affected in 72 cases (62.6%). The average anteroposterior extension of the lesion was 1.61 cm. The mean preoperative VAS and DASH scores were 6.1 and 41.8, respectively. FIR and AIR were positive in 94 (81.7%) and 85 (73.9%) cases, respectively. The lateral pulley was compromised in 50 cases (43.4%). Cuff tears were partial articular in 35 patients (30.4%), complete in 61 (53%), and partial bursal in 19 (16.5%). No statistical correlation between positive FIR or AIR and lateral pulley lesions was detected. Positive FIR and AIR were statistically associated with complete lesions. Negative FIR was associated with the presence of partial articular tears. CONCLUSIONS: painful FIR in the presence of a postero-superior cuff tear does not indicate lateral pulley instability. When a cuff tear is suspected, positive FIR and AIR are suggestive of full-thickness tear patterns while a negative FIR suggests a partial articular lesion. LEVEL OF EVIDENCE: level I, validating cohort study with good reference standards

Jet stream position explains regional anomalies in European beech forest productivity and tree growth.

The mechanistic pathways connecting ocean-atmosphere variability and terrestrial productivity are well-established theoretically, but remain challenging to quantify empirically. Such quantification will greatly improve the assessment and prediction of changes in terrestrial carbon sequestration in response to dynamically induced climatic extremes. The jet stream latitude (JSL) over the North Atlantic-European domain provides a synthetic and robust physical framework that integrates climate variability not accounted for by atmospheric circulation patterns alone. Surface climate impacts of north-south summer JSL displacements are not uniform across Europe, but rather create a northwestern-southeastern dipole in forest productivity and radial-growth anomalies. Summer JSL variability over the eastern North Atlantic-European domain (5-40E) exerts the strongest impact on European beech, inducing anomalies of up to 30% in modelled gross primary productivity and 50% in radial tree growth. The net effects of JSL movements on terrestrial carbon fluxes depend on forest density, carbon stocks, and productivity imbalances across biogeographic regions

HLA class I and II diversity contributes to the etiologic heterogeneity of non-Hodgkin lymphoma subtypes

A growing number of loci within the human leukocyte antigen (HLA) region have been implicated in non-Hodgkin lymphoma (NHL) etiology. Here, we test a complementary hypothesis of "heterozygote advantage" regarding the role of HLA and NHL, whereby HLA diversity is beneficial and homozygous HLA loci are associated with increased disease risk. HLA alleles at class I and II loci were imputed from genome-wide association studies (GWAS) using SNP2HLA for: 3,617 diffuse large B-cell lymphomas (DLBCL), 2,686 follicular lymphomas (FL), 2,878 chronic lymphocytic leukemia/small lymphocytic lymphomas (CLL/SLL), 741 marginal zone lymphomas (MZL), and 8,753 controls of European descent. Both DLBCL and MZL risk were elevated with homozygosity at class I HLA-B and -C loci (OR DLBCL=1.31, 95% CI=1.06-1.60; OR MZL=1.45, 95% CI=1.12-1.89) and class II HLA-DRB1 locus (OR DLBCL=2.10, 95% CI=1.24-3.55; OR MZL= 2.10, 95% CI=0.99-4.45). Increased FL risk was observed with the overall increase in number of homozygous HLA class II loci (p-trend<0.0001, FDR=0.0005). These results support a role for HLA zygosity in NHL etiology and suggests that distinct immune pathways may underly the etiology of the different NHL subtypes