Towards an Effective Decision Procedure for LTL formulas with Constraints

This paper presents an ongoing work that is part of a more wide-ranging project whose final scope is to define a method to validate LTL formulas w.r.t. a program written in the timed concurrent constraint language tccp, which is a logic concurrent constraint language based on the concurrent constraint paradigm of Saraswat. Some inherent notions to tccp processes are non-determinism, dealing with partial information in states and the monotonic evolution of the information. In order to check an LTL property for a process, our approach is based on the abstract diagnosis technique. The concluding step of this technique needs to check the validity of an LTL formula (with constraints) in an effective way. In this paper, we present a decision method for the validity of temporal logic formulas (with constraints) built by our abstract diagnosis technique.Comment: Part of WLPE 2013 proceedings (arXiv:1308.2055

Abstract Diagnosis for Timed Concurrent Constraint programs

The Timed Concurrent Constraint Language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced by the notion of store-as-constraint, which introduces some differences w.r.t. other approaches to concurrency. In this paper, we provide a general framework for the debugging of tccp programs. To this end, we first present a new compact, bottom-up semantics for the language that is well suited for debugging and verification purposes in the context of reactive systems. We also provide an abstract semantics that allows us to effectively implement debugging algorithms based on abstract interpretation. Given a tccp program and a behavior specification, our debugging approach automatically detects whether the program satisfies the specification. This differs from other semiautomatic approaches to debugging and avoids the need to provide symptoms in advance. We show the efficacy of our approach by introducing two illustrative examples. We choose a specific abstract domain and show how we can detect that a program is erroneous.Comment: 16 page

On the mechanism of Candida tropicalis biofilm reduction by the combined action of naturally-occurring anthraquinones and blue light

The photoprocesses involved in the photo-induced Candida tropicalis biofilm reduction by two natural anthraquinones (AQs), rubiadin (1) and rubiadin-1-methyl ether (2), were examined.Production of singlet oxygen (1O2) and of superoxide radical anion (O2·−) was studied. Although it was not possible to detect the triplet state absorption of any AQs in biofilms, observation of 1O2 phosphorescence incubated with deuterated Phosphate Buffer Solution, indicated that this species is actually formed in biofilms. 2 was accumulated in the biofilm to a greater extent than 1 and produced measurable amounts of O2·− after 3h incubation in biofilms.The effect of reactive oxygen species scavengers on the photo-induced biofilm reduction showed that Tiron (a specific O2 ·− scavenger) is most effective than sodium azide (a specific 1O2 quencher). This suggests that O2 ·− formed by electron transfer quenching of the AQs excited states, is the main photosensitizing mechanism involved in the photoinducedantibiofilm activity, whereas 1O2 participation seems of lesser importance.Fil: Marioni, Juliana. Universidad Nacional de Córdoba. Facultad de Ciencias Químicas. Departamento de Farmacia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto Multidisciplinario de Biología Vegetal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto Multidisciplinario de Biología Vegetal; ArgentinaFil: Bresolí Obach, Roger. Universitat Ramon Llull; EspañaFil: Agut, Montserrat. Universitat Ramon Llull; EspañaFil: Comini, Laura Raquel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto Multidisciplinario de Biología Vegetal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto Multidisciplinario de Biología Vegetal; Argentina. Universidad Nacional de Córdoba. Facultad de Ciencias Químicas. Departamento de Farmacia; ArgentinaFil: Cabrera, Jose Luis. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto Multidisciplinario de Biología Vegetal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto Multidisciplinario de Biología Vegetal; Argentina. Universidad Nacional de Córdoba. Facultad de Ciencias Químicas. Departamento de Farmacia; ArgentinaFil: Paraje, María Gabriela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto Multidisciplinario de Biología Vegetal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto Multidisciplinario de Biología Vegetal; ArgentinaFil: Nonell, Santi. Universitat Ramon Llull; EspañaFil: Núñez Montoya, Susana Carolina. Universidad Nacional de Córdoba. Facultad de Ciencias Químicas. Departamento de Farmacia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto Multidisciplinario de Biología Vegetal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto Multidisciplinario de Biología Vegetal; Argentin

A Pulmonary Rehabilitation Decisional Score to Define Priority Access for COPD Patients

This retrospective study aimed to evaluate, through an ad hoc 17-item tool, the Pulmonary Rehabilitation Decisional Score (PRDS), the priority access to PR prescription by respiratory specialists. The PRDS, scoring functional, clinical, disability, frailty, and participation parameters from 0 = low priority to 34 = very high priority for PR access, was retrospectively calculated on 124 specialist reports sent to the GP of subjects (aged 71 \ub1 11 years, FEV1%\u2009\u200951 \ub1 17) consecutively admitted to our respiratory outpatient clinic. From the specialist's report the final subject's allocation could be low priority (LP) (>60 days), high priority (HP) (30-60 days), or very high priority (VHP) (<30 days) to rehabilitation. The PRDS calculation showed scores significantly higher in VHP versus LP (p < 0.001) and significantly different between HP and VHP (p < 0.001). Comparing the specialist's allocation decision and priority choice based on PRDS cut-offs, PR prescription was significantly more appropriate in VHP than in HP (p = 0.016). Specialists underprescribed PR in 49% of LP cases and overprescribed it in 46% and 30% of the HP and VHP prescriptions, respectively. A multicomprehensive score is feasible being useful for staging the clinical priorities for PR prescription and facilitating sustainability of the health system

A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short). Such semantics is defined for the full language. In particular, is able to deal with the non-monotonic characteristic of the language, which constitutes a substantial additional technical difficulty w.r.t. other compositional denotational semantics present in literature (which do not tackle the full language). The semantics is proved to be (correct and) fully abstract w.r.t. the full behavior of tccp, including infinite computations. This is particularly important since tccp has been defined to model reactive systems. The overall of these features makes our proposal particularly suitable as the basis for the definition of semantic-based program manipulation tools (like analyzers, debuggers or verifiers), especially in the context of reactive systems.Comini, M.; Titolo, L.; Villanueva García, A. (2013). A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp. http://hdl.handle.net/10251/2781

Altered vascular endothelium-dependent responsiveness in frail elderly patients recovering from {COVID}-19 pneumonia: preliminary evidence

We evaluated vascular dysfunction with the single passive leg movement test (sPLM) in 22 frail elderly patients at 84 + 31 days after hospitalization for COVID-19 pneumonia, compared to 22 age-, sex- and comorbidity-matched controls (CTRL). At rest, all COVID-19 patients were in stable clinical condition without severe comorbidities. Patients (aged 72 ± 6 years, 73% male) had moderate disability (Barthel index score 77 ± 26), hypoxemia and normocapnia at arterial blood gas analysis and mild pulmonary restriction at spirometry. Values of circulating markers of inflammation (C-reactive protein: CRP; erythrocyte sedimentation rate: ESR) and coagulation (D-dimer) were: 27.13 ± 37.52 mg/dL, 64.24 ± 32.37 mm/1 h and 1043 ± 729 ng/mL, respectively. At rest, femoral artery diameter was similar in COVID-19 and CTRL (p = 0.16). On the contrary, COVID-19 infection deeply impacted blood velocity (p = 0.001) and femoral blood flow (p < 0.0001). After sPLM, peak femoral blood flow was dramatically reduced in COVID-19 compared to CTRL (p = 0.001), as was blood flow ∆peak (p = 0.05) and the area under the curve (p < 0.0001). This altered vascular responsiveness could be one of the unknown components of long COVID-19 syndrome leading to fatigue, changes in muscle metabolism and fibers’ composition, exercise intolerance and increased cardiovascular risk. Impact of specific treatments, such as exercise training, dietary supplements or drugs, should be evaluated

Mammalian Target of Rapamycin: Is It Relevant to COPD Pathogenesis or Treatment?

The mammalian target of rapamycin (mTOR) signalling pathway regulates fundamental metabolic processes such as inflammation, autophagy and apoptosis, all of which influence cell fate. Recent experimental data suggest that mTOR signalling is involved in many diseases, including lung diseases, but with contrasting data. Overexpression of mTOR and its signalling proteins have been linked to lung cell senescence and development of emphysema, pulmonary hypertension and inflammation. On the other hand, mTOR inhibitors, as rapamycin and/or its derivatives, restore corticosteroid sensitivity in peripheral blood mononuclear cells from chronic obstructive pulmonary disease (COPD) patients, and overexpression of mTOR suppresses cigarette smoke-induced inflammation and emphysema, suggesting that induction of mTOR expression/activity might be useful to treat COPD. This apparent discrepancy is due to complex and heterogenic enzymatic pathway of mTOR. Translation of pre-clinical positive data on the use of mTOR inhibitors to COPD therapy needs a more in-depth knowledge of mTOR signalling

A case of obstructive sleep apnea syndrome associated with floppy eyelid syndrome: positive effect of CPAP therapy

The obstructive sleep apnoea syndrome (OSAS) may be associated with several eyes disorders, among which the most common is the floppy eyelid syndrome (FES). We intended to highlight the association between OSAS and FES and evaluate the effect of FES treatment with Continuous Positive Airway Pressure (CPAP). A 50-year patient with a 10-year history of snoring, sleep fragmentation and daytime sleepiness associated with several comorbidities has been studied. For six months, several ocular symptoms were present, particularly on waking up in the morning. An overnight respiratory polygraphy was performed at baseline and after CPAP titration. The treatment with CPAP corrects apnea/hypopnea events and rapidly improves patient’s daytime sleepiness and eyes FES-related symptoms. This improvement is already evident after a very short period of treatment.

Photodynamic activity of anthraquinones isolated from Heterophyllaea pustulata Hook f. (Rubiaceae) on MCF-7c3 breast cancer cells

Searching for agents that could be effective in the treatment of cancer, special highlight has focused on the study of numerous plant-derived compounds. We previously demonstrated that anthraquinones (AQs) isolated from a vegetal species: Heterophyllaea pustulata Hook f. (Rubiaceae), such as rubiadin, rubiadin-1-methyl ether, soranjidiol, soranjidiol-1-methyl ether exhibit photosensitizing properties without antecedents as photodynamic agents in malignant cells. In the present study, we investigated the potential role of these AQs as a phototoxic agent against human breast carcinoma using MCF-7c3 cells. All AQs exhibited significant photocytotoxicity on cancer cells at the concentration of 100 μM with 1 J/cm 2 light dose, resulting soranjidiol-1-methyl ether in complete cell destruction. The observed cellular killing by photoactivated AQs exhibited close relation with singlet oxygen production, except for soranjidiol-1-methyl ether, where cell viability decrease is in relation to uptake by tumor cells. © 2011 Elsevier GmbH. All rights reserved.Fil: Comini, Laura Raquel. Universidad Nacional de Córdoba. Facultad de Ciencias Químicas. Departamento de Farmacia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto Multidisciplinario de Biología Vegetal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto Multidisciplinario de Biología Vegetal; ArgentinaFil: Fernandez, Ivana Maria. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Biología Molecular; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Rumie Vittar, Natalia Belen. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Biología Molecular; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Núñez Montoya, Susana Carolina. Universidad Nacional de Córdoba. Facultad de Ciencias Químicas. Departamento de Farmacia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto Multidisciplinario de Biología Vegetal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto Multidisciplinario de Biología Vegetal; ArgentinaFil: Cabrera, Jose Luis. Universidad Nacional de Córdoba. Facultad de Ciencias Químicas. Departamento de Farmacia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto Multidisciplinario de Biología Vegetal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto Multidisciplinario de Biología Vegetal; ArgentinaFil: Rivarola, Viviana. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Biología Molecular; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

Photochemotherapy using natural anthraquinones: rubiadin and Soranjidiol sensitize human cancer cell to die by apoptosis

Over the past decade the science has studied synthetic photosensitizers used in photodynamic therapy (PDT) or photochemotherapy as anticancer candidates. In this context, compounds extracted from vegetable species present interesting potential in the cancer field. In our laboratory, we studied Heterophyllaea pustulata a phototoxic shrub that habit the northwest of Argentina. From this vegetal, by in vitro germination, we obtained Rubiadin and Soranjidiol, two anthraquinones that exhibited significant photocytotoxicity on human cancer cells. In addition, the fraction obtained from callus cultures allowed us to get a satisfactory content of these compounds compared to those found from the original plant. Under PDT regimen, we found that cell destruction resulted in a dose-dependent manner and occasioned apoptosis on photosensitized cells. Biochemical analysis revealed the involvement of caspase-3, PARP cleavage and DNA fragmentation in Rubiadin induced apoptosis. Moreover, Soranjidiol-PDT led to μ-calpain-induced apoptosis involving caspases-3-independent DNA fragmentation. We also showed that both anthraquinones are cytoplasmatically distributed and out of nucleus. In addition, we demonstrated a synergic cytotoxic effect when we combined them.Fil: Rumie Vittar, Natalia Belen. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Biología Molecular; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Comini, Laura Raquel. Universidad Nacional de Cordoba. Facultad de Ciencias Quimicas. Departamento de Farmacia. Catedra de Farmacognosia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Córdoba. Instituto Multidisciplinario de Biología Vegetal (p); ArgentinaFil: Fernandez, Ivana Maria. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Biología Molecular; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Agostini, Elizabeth. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Biología Molecular; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Núñez Montoya, Susana Carolina. Universidad Nacional de Cordoba. Facultad de Ciencias Quimicas. Departamento de Farmacia. Catedra de Farmacognosia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Córdoba. Instituto Multidisciplinario de Biología Vegetal (p); ArgentinaFil: Cabrera, Jose Luis. Universidad Nacional de Cordoba. Facultad de Ciencias Quimicas. Departamento de Farmacia. Catedra de Farmacognosia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Córdoba. Instituto Multidisciplinario de Biología Vegetal (p); ArgentinaFil: Rivarola, Viviana. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas Fisicoquímicas y Naturales. Departamento de Biología Molecular; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin