Goal-conflict detection based on temporal satisfiability checking

Goal-oriented requirements engineering approaches propose capturing how a system should behave through the speci ca- tion of high-level goals, from which requirements can then be systematically derived. Goals may however admit subtle situations that make them diverge, i.e., not be satis able as a whole under speci c circumstances feasible within the domain, called boundary conditions . While previous work al- lows one to identify boundary conditions for con icting goals written in LTL, it does so through a pattern-based approach, that supports a limited set of patterns, and only produces pre-determined formulations of boundary conditions. We present a novel automated approach to compute bound- ary conditions for general classes of con icting goals expressed in LTL, using a tableaux-based LTL satis ability procedure. A tableau for an LTL formula is a nite representation of all its satisfying models, which we process to produce boundary conditions that violate the formula, indicating divergence situations. We show that our technique can automatically produce boundary conditions that are more general than those obtainable through existing previous pattern-based approaches, and can also generate boundary conditions for goals that are not captured by these patterns

Pharmacology and clinical drug candidates in redox medicine

SIGNIFICANCE Oxidative stress is suggested to be a disease mechanism common to a wide range of disorders affecting human health. However, so far, the pharmacotherapeutic exploitation of this, for example, based on chemical scavenging of pro-oxidant molecules, has been unsuccessful. Recent Advances: An alternative emerging approach is to target the enzymatic sources of disease-relevant oxidative stress. Several such enzymes and isoforms have been identified and linked to different pathologies. For some targets, the respective pharmacology is quite advanced, that is, up to late-stage clinical development or even on the market; for others, drugs are already in clinical use, although not for indications based on oxidative stress, and repurposing seems to be a viable option. CRITICAL ISSUES For all other targets, reliable preclinical validation and drug ability are key factors for any translation into the clinic. In this study, specific pharmacological agents with optimal pharmacokinetic profiles are still lacking. Moreover, these enzymes also serve largely unknown physiological functions and their inhibition may lead to unwanted side effects. FUTURE DIRECTIONS The current promising data based on new targets, drugs, and drug repurposing are mainly a result of academic efforts. With the availability of optimized compounds and coordinated efforts from academia and industry scientists, unambiguous validation and translation into proof-of-principle studies seem achievable in the very near future, possibly leading towards a new era of redox medicine

Development of a spectroscopic diagnostic tool for electric field measurements in IShTAR (Ion cyclotron Sheath Test ARrangement)

A

Health economics: identifying leading producers, countries relative specialization and themes

El área de investigación en economía de la salud tuvo una gran evolución a partir de la década de 1960 y está en constante crecimiento. Actualmente, el gasto en salud es un tema clave en todo el mundo. La bibliometría proporciona varios métodos para explorar el impacto y la evolución de la investigación. Así pues, el principal objetivo del presente estudio es comprender la situación actual de la investigación en materia de economía de la salud para el período 2010-2019. Se analizaron tres aspectos diferentes: la producción de los países, el índice de prioridad relativa y los temas principales. El conjunto de datos se obtuvo a partir de los documentos indizados en la base de datos Web of Science de 2010 a 2019. Se utilizó el software SciMAT para obtener el análisis temático mediante el análisis de mapas de la ciencia. Las revistas Health economics, Value in Health, Journal of Health Economics y European Journal of Health Economics son los principales productoras. Estados Unidos, Inglaterra y Alemania son los que tienen una mayor producción; los Países Bajos, Inglaterra y Australia son los que tienen el índice de prioridad relativa más alto. Los años de vida ajustados en función de la calidad y la desigualdad en materia de salud son los temas con mayor número de documentos y medidas de impacto. Este estudio es un marco útil basado en ciencia que servirá de base para futuras acciones de investigación.Health economics research area was a high evolution from the 1960s and it is constantly growing. Currently, the health expenditure is a key issue worldwide. Bibliometrics provides several methods to explore the impact and evolution of the research. Thus, the main aim of the present study is to understand the current status of the research in health economics for the period 2010-2019. Three different aspects were analyzed: countries production, relative priority index and main themes. The dataset was obtained from the documents indexed in the Web of Science database from 2010 to 2019. SciMAT software was used to obtain the thematic analysis by means of science mapping analysis. The journals Health economics, Value in Health, Journal of Health Economics, and European Journal of Health Economics are the main producers. USA, England and Germany are those with highest production; Netherlands, England and Australia are those with the highest relative priority index. Quality adjusted life years and Health inequality are the themes with the highest number of documents and impact measures. This study is a useful evidence-based framework on which to base future research actions

New compound sets identified from high throughput phenotypic screening against three kinetoplastid parasites:an open resource

Using whole-cell phenotypic assays, the GlaxoSmithKline high-throughput screening (HTS) diversity set of 1.8 million compounds was screened against the three kinetoplastids most relevant to human disease, i.e. Leishmania donovani, Trypanosoma cruzi and Trypanosoma brucei. Secondary confirmatory and orthogonal intracellular anti-parasiticidal assays were conducted, and the potential for non-specific cytotoxicity determined. Hit compounds were chemically clustered and triaged for desirable physicochemical properties. The hypothetical biological target space covered by these diversity sets was investigated through bioinformatics methodologies. Consequently, three anti-kinetoplastid chemical boxes of ~200 compounds each were assembled. Functional analyses of these compounds suggest a wide array of potential modes of action against kinetoplastid kinases, proteases and cytochromes as well as potential host–pathogen targets. This is the first published parallel high throughput screening of a pharma compound collection against kinetoplastids. The compound sets are provided as an open resource for future lead discovery programs, and to address important research questions.The support and funding of Tres Cantos Open Lab Foundation is gratefully acknowledgedPeer reviewe

Molecular Mechanisms of Neonatal Brain Injury

Fetal/neonatal brain injury is an important cause of neurological disability. Hypoxia-ischemia and excitotoxicity are considered important insults, and, in spite of their acute nature, brain injury develops over a protracted time period during the primary, secondary, and tertiary phases. The concept that most of the injury develops with a delay after the insult makes it possible to provide effective neuroprotective treatment after the insult. Indeed, hypothermia applied within 6 hours after birth in neonatal encephalopathy reduces neurological disability in clinical trials. In order to develop the next generation of treatment, we need to know more about the pathophysiological mechanism during the secondary and tertiary phases of injury. We review some of the critical molecular events related to mitochondrial dysfunction and apoptosis during the secondary phase and report some recent evidence that intervention may be feasible also days-weeks after the insult

Molecular and cytogenetic characterization of expanded B-cell clones from multiclonal versus monoclonal B-cell chronic lymphoproliferative disorders

Chronic antigen-stimulation has been recurrently involved in the earlier stages of monoclonal B-cell lymphocytosis, chronic lymphocytic leukemia and other B-cell chronic lymphoproliferative disorders. The expansion of two or more B-cell clones has frequently been reported in individuals with these conditions; potentially, such coexisting clones have a greater probability of interaction with common immunological determinants. Here, we analyzed the B-cell receptor repertoire and molecular profile, as well as the phenotypic, cytogenetic and hematologic features, of 228 chronic lymphocytic leukemia-like and non-chronic lymphocytic leukemia-like clones comparing multiclonal (n=85 clones from 41 cases) versus monoclonal (n=143 clones) monoclonal B-cell lymphocytosis, chronic lymphocytic leukemia and other B-cell chronic lymphoproliferative disorders. The B-cell receptor of B-cell clones from multiclonal cases showed a slightly higher degree of HCDR3 homology than B-cell clones from mono clonal cases, in association with unique hematologic (e.g. lower B-lymphocyte counts) and cytogenetic (e.g. lower frequency of cytogenetically altered clones) features usually related to earlier stages of the disease. Moreover, a subgroup of coexisting B-cell clones from individual multiclonal cases which were found to be phylogenetically related showed unique molecular and cytogenetic features: they more frequently shared IGHV3 gene usage, shorter HCDR3 sequences with a greater proportion of IGHV mutations and del(13q14.3), than other unrelated B-cell clones. These results would support the antigen-driven nature of such multiclonal B-cell expansions, with potential involvement of multiple antigens/epitopes

Homozygous MTAP deletion in primary human glioblastoma is not associated with elevation of methylthioadenosine.

Homozygous deletion of methylthioadenosine phosphorylase (MTAP) in cancers such as glioblastoma represents a potentially targetable vulnerability. Homozygous MTAP-deleted cell lines in culture show elevation of MTAP\u27s substrate metabolite, methylthioadenosine (MTA). High levels of MTA inhibit protein arginine methyltransferase 5 (PRMT5), which sensitizes MTAP-deleted cells to PRMT5 and methionine adenosyltransferase 2A (MAT2A) inhibition. While this concept has been extensively corroborated in vitro, the clinical relevance relies on exhibiting significant MTA accumulation in human glioblastoma. In this work, using comprehensive metabolomic profiling, we show that MTA secreted by MTAP-deleted cells in vitro results in high levels of extracellular MTA. We further demonstrate that homozygous MTAP-deleted primary glioblastoma tumors do not significantly accumulate MTA in vivo due to metabolism of MTA by MTAP-expressing stroma. These findings highlight metabolic discrepancies between in vitro models and primary human tumors that must be considered when developing strategies for precision therapies targeting glioblastoma with homozygous MTAP deletion

First Phase 1 Double-Blind, Placebo-Controlled, Randomized Rectal Microbicide Trial Using UC781 Gel with a Novel Index of Ex Vivo Efficacy

Objectives: Successful control of the HIV/AIDS pandemic requires reduction of HIV-1 transmission at sexually-exposed mucosae. No prevention studies of the higher-risk rectal compartment exist. We report the first-in-field Phase 1 trial of a rectally-applied, vaginally-formulated microbicide gel with the RT-inhibitor UC781 measuring clinical and mucosal safety, acceptability and plasma drug levels. A first-in-Phase 1 assessment of preliminary pharmacodynamics was included by measuring changes in ex vivo HIV-1 suppression in rectal biopsy tissue after exposure to product in vivo. Methods: HIV-1 seronegative, sexually-abstinent men and women (N = 36) were randomized in a double-blind, placebo-controlled trial comparing UC781 gel at two concentrations (0.1%, 0.25%) with placebo gel (1:1:1). Baseline, single-dose exposure and a separate, 7-day at-home dosing were assessed. Safety and acceptability were primary endpoints. Changes in colorectal mucosal markers and UC781 plasma drug levels were secondary endpoints; ex vivo biopsy infectibility was an ancillary endpoint. Results: All 36 subjects enrolled completed the 7-14 week trial (100% retention) including 3 flexible sigmoidoscopies, each with 28 biopsies (14 at 10 cm; 14 at 30 cm). There were 81 Grade 1 adverse events (AEs) and 8 Grade 2; no Grade 3, 4 or procedure-related AEs were reported. Acceptability was high, including likelihood of future use. No changes in mucosal immunoinflammatory markers were identified. Plasma levels of UC781 were not detected. Ex vivo infection of biopsies using two titers of HIV-1 BaL showed marked suppression of p24 in tissues exposed in vivo to 0.25% UC781; strong trends of suppression were seen with the lower 0.1% UC781 concentration. Conclusions: Single and 7-day topical rectal exposure to both concentrations of UC781 were safe with no significant AEs, high acceptability, no detected plasma drug levels and no significant mucosal changes. Ex vivo biopsy infections demonstrated marked suppression of HIV infectibility, identifying a potential early biomarker of efficacy. (Registered at ClinicalTrials.gov; #NCT00408538). © 2011 Anton et al