Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States

For the synthesis of correct-by-construction control policies from temporal logic specifications the scalability of the synthesis algorithms is often a bottleneck. In this paper, we parallelize synthesis from specifications in the GR(1) fragment of linear temporal logic by introducing a hierarchical procedure that allows decoupling of the fixpoint computations. The state space is partitioned into equicontrollable sets using solutions to parametrized games that arise from decomposing the original GR(1) game into smaller reachability-persistence games. Following the partitioning, another synthesis problem is formulated for composing the strategies from the decomposed reachability games. The formulation guarantees that composing the synthesized controllers ensures satisfaction of the given GR(1) property. Experiments with robot planning problems demonstrate good performance of the approach

Linking Ecosystem Processes to Sustainable Wetland Management

The sustainability of ecosystems has become an explicitly stated goal of many natural resource agencies. Examples of sustainable ecosystem management, however, are uncommon because management goals often focus on specific deliverables rather than the processes that sustain ecosystems

Technical Variability Is Greater than Biological Variability in a Microarray Experiment but Both Are Outweighed by Changes Induced by Stimulation

INTRODUCTION: A central issue in the design of microarray-based analysis of global gene expression is that variability resulting from experimental processes may obscure changes resulting from the effect being investigated. This study quantified the variability in gene expression at each level of a typical in vitro stimulation experiment using human peripheral blood mononuclear cells (PBMC). The primary objective was to determine the magnitude of biological and technical variability relative to the effect being investigated, namely gene expression changes resulting from stimulation with lipopolysaccharide (LPS). METHODS AND RESULTS: Human PBMC were stimulated in vitro with LPS, with replication at 5 levels: 5 subjects each on 2 separate days with technical replication of LPS stimulation, amplification and hybridisation. RNA from samples stimulated with LPS and unstimulated samples were hybridised against common reference RNA on oligonucleotide microarrays. There was a closer correlation in gene expression between replicate hybridisations (0.86-0.93) than between different subjects (0.66-0.78). Deconstruction of the variability at each level of the experimental process showed that technical variability (standard deviation (SD) 0.16) was greater than biological variability (SD 0.06), although both were low (SD<0.1 for all individual components). There was variability in gene expression both at baseline and after stimulation with LPS and proportion of cell subsets in PBMC was likely partly responsible for this. However, gene expression changes after stimulation with LPS were much greater than the variability from any source, either individually or combined. CONCLUSIONS: Variability in gene expression was very low and likely to improve further as technical advances are made. The finding that stimulation with LPS has a markedly greater effect on gene expression than the degree of variability provides confidence that microarray-based studies can be used to detect changes in gene expression of biological interest in infectious diseases

Detection of Gene Expression in an Individual Cell Type within a Cell Mixture Using Microarray Analysis

BACKGROUND: A central issue in the design of microarray-based analysis of global gene expression is the choice between using cells of single type and a mixture of cells. This study quantified the proportion of lipopolysaccharide (LPS) induced differentially expressed monocyte genes that could be measured in peripheral blood mononuclear cells (PBMC), and determined the extent to which gene expression in the non-monocyte cell fraction diluted or obscured fold changes that could be detected in the cell mixture. METHODOLOGY/PRINCIPAL FINDINGS: Human PBMC were stimulated with LPS, and monocytes were then isolated by positive (Mono+) or negative (Mono-) selection. The non-monocyte cell fraction (MonoD) remaining after positive selection of monocytes was used to determine the effect of non-monocyte cells on overall expression. RNA from LPS-stimulated PBMC, Mono+, Mono- and MonoD samples was co-hybridised with unstimulated RNA for each cell type on oligonucleotide microarrays. There was a positive correlation in gene expression between PBMC and both Mono+ (0.77) and Mono- (0.61-0.67) samples. Analysis of individual genes that were differentially expressed in Mono+ and Mono- samples showed that the ability to detect expression of some genes was similar when analysing PBMC, but for others, differential expression was either not detected or changed in the opposite direction. As a result of the dilutional or obscuring effect of gene expression in non-monocyte cells, overall about half of the statistically significant LPS-induced changes in gene expression in monocytes were not detected in PBMC. However, 97% of genes with a four fold or greater change in expression in monocytes after LPS stimulation, and almost all (96-100%) of the top 100 most differentially expressed monocyte genes were detected in PBMC. CONCLUSIONS/SIGNIFICANCE: The effect of non-responding cells in a mixture dilutes or obscures the detection of subtle changes in gene expression in an individual cell type. However, for studies in which only the most highly differentially expressed genes are of interest, separating and analysing individual cell types may be unnecessary

Removing human immunodeficiency virus (HIV) from human blood using immobilized heparin

Heparin covalently attached to a water-insoluble resin suspended in HIV-infected aqueous buffer or whole blood captures the virus; subsequent physical separation of the immobilized heparin reduced the viral titers by over 80 and 50%, respectively. The detoxification concept has been validated by both circulating an HIV-1 solution through a column packed with the heparin–sepharose beads and successively mixing an HIV-1 solution with fresh beads.Massachusetts Institute of Technology. Institute for Soldier Nanotechnologies (Contract DAAD-19-02-D0002)National Institutes of Health (U.S.) (Grant U01-AI074443

Psychometric properties of the Italian versions of the Gambling Urge Scale (GUS) and the Gambling Refusal Self-Efficacy Questionnaire (GRSEQ)

Gambling urges and gambling refusal self-efficacy beliefs play a major role in the development and maintenance of problem gambling. This study aimed to translate the Gambling Urge Scale (GUS) and the Gambling Refusal Self-Efficacy Questionnaire (GRSEQ) from English to Italian (GUS-I, GRSEQ-I) and to test their factor structure, internal consistency, construct validity, concurrent validity, and gender differences in 513 individuals from the Italian community. Factor structure and construct validity were tested through Confirmatory Factor Analysis, internal consistency through Cronbach’s alpha, concurrent validity through correlations with gambling-related cognitions (GRCS-I), probable pathological gambling (SOGS-I), and gambling functioning (GFA-R-I). Results confirmed that the 6 items of the GUS-I load highly on one dimension of Gambling Urge, and each of the 26 items of the GRSEQ-I load highly on their relevant sub-dimension, among the following: situations/thoughts, drugs, positive emotions, negative emotions. Both scales are internally consistent and show concurrent validity with gambling-related cognitions, probable pathological gambling, and gambling functioning. Males score higher than females at the GUS-I; females score higher than males at the GRSEQ-I. The findings from the present study suggest that the GUS-I and the GRSEQ-I are internally consistent and valid scales for the assessment of gambling urges and gambling refusal self-efficacy in Italian individuals from the community, with significant repercussions in terms of assessment, prevention, and intervention

Comparisons of the factor structure and measurement invariance of the Spence children’s anxiety scale - parent version in children with autism spectrum disorder and typically developing anxious children

The Spence Children’s Anxiety Scale - Parent version (SCAS-P) is often used to assess anxiety in children with autism spectrum disorder (ASD), however, little is known about the validity of the tool in this population. The aim of this study was to determine whether the SCAS-P has the same factorial validity in a sample of young people with ASD (n=285), compared to a sample of typically developing young people with anxiety disorders (n=224). Poor model fit with all of the six hypothesised models precluded invariance testing. Exploratory factor analysis indicated that different anxiety phenomenology characterises the two samples. The findings suggest that cross-group comparisons between ASD and anxious samples based on the SCAS-P scores may not always be appropriat

Microplastic-Associated Biofilms: A Comparison of Freshwater and Marine Environments

Microplastics (<5 mm particles) occur within both engineered and natural freshwater ecosystems, including wastewater treatment plants, lakes, rivers, and estuaries. While a significant proportion of microplastic pollution is likely sequestered within freshwater environments, these habitats also constitute an important conduit of microscopic polymer particles to oceans worldwide. The quantity of aquatic microplastic waste is predicted to dramatically increase over the next decade, but the fate and biological implications of this pollution are still poorly understood. A growing body of research has aimed to characterize the formation, composition, and spatiotemporal distribution of microplastic-associated (“plastisphere”) microbial biofilms. Plastisphere microorganisms have been suggested to play significant roles in pathogen transfer, modulation of particle buoyancy, and biodegradation of plastic polymers and co-contaminants, yet investigation of these topics within freshwater environments is at a very early stage. Here, what is known about marine plastisphere assemblages is systematically compared with up-to-date findings from freshwater habitats. Through analysis of key differences and likely commonalities between environments, we discuss how an integrated view of these fields of research will enhance our knowledge of the complex behavior and ecological impacts of microplastic pollutants

Genome-wide transcriptional profiling of peripheral blood leukocytes from cattle infected with Mycobacterium bovis reveals suppression of host immune genes

Background Mycobacterium bovis is the causative agent of bovine tuberculosis (BTB), a pathological infection with significant economic impact. Recent studies have highlighted the role of functional genomics to better understand the molecular mechanisms governing the host immune response to M. bovis infection. Furthermore, these studies may enable the identification of novel transcriptional markers of BTB that can augment current diagnostic tests and surveillance programmes. In the present study, we have analysed the transcriptome of peripheral blood leukocytes (PBL) from eight M. bovis-infected and eight control non-infected age-matched and sex-matched Holstein-Friesian cattle using the Affymetrix® GeneChip® Bovine Genome Array with 24,072 gene probe sets representing more than 23,000 gene transcripts. Results Control and infected animals had similar mean white blood cell counts. However, the mean number of lymphocytes was significantly increased in the infected group relative to the control group (P = 0.001), while the mean number of monocytes was significantly decreased in the BTB group (P = 0.002). Hierarchical clustering analysis using gene expression data from all 5,388 detectable mRNA transcripts unambiguously partitioned the animals according to their disease status. In total, 2,960 gene transcripts were differentially expressed (DE) between the infected and control animal groups (adjusted P-value threshold ≤ 0.05); with the number of gene transcripts showing decreased relative expression (1,563) exceeding those displaying increased relative expression (1,397). Systems analysis using the Ingenuity® Systems Pathway Analysis (IPA) Knowledge Base revealed an over-representation of DE genes involved in the immune response functional category. More specifically, 64.5% of genes in the affects immune response subcategory displayed decreased relative expression levels in the infected animals compared to the control group. Conclusions This study demonstrates that genome-wide transcriptional profiling of PBL can distinguish active M. bovis-infected animals from control non-infected animals. Furthermore, the results obtained support previous investigations demonstrating that mycobacterial infection is associated with host transcriptional suppression. These data support the use of transcriptomic technologies to enable the identification of robust, reliable transcriptional markers of active M. bovis infection.This work was supported by Investigator Grants from Science Foundation Ireland (Nos: SFI/01/F.1/B028 and SFI/08/IN.1/B2038), a Research Stimulus Grant from the Department of Agriculture, Fisheries and Food (No: RSF 06 405) and a European Union Framework 7 Project Grant (No: KBBE-211602-MACROSYS). KEK is supported by the Irish Research Council for Science, Engineering and Technology (IRCSET) funded Bioinformatics and Systems Biology PhD Programme http://bioinfo-casl.ucd.ie/PhD

Impact of primary kidney disease on the effects of empagliflozin in patients with chronic kidney disease: secondary analyses of the EMPA-KIDNEY trial

Background: The EMPA KIDNEY trial showed that empagliflozin reduced the risk of the primary composite outcome of kidney disease progression or cardiovascular death in patients with chronic kidney disease mainly through slowing progression. We aimed to assess how effects of empagliflozin might differ by primary kidney disease across its broad population. Methods: EMPA-KIDNEY, a randomised, controlled, phase 3 trial, was conducted at 241 centres in eight countries (Canada, China, Germany, Italy, Japan, Malaysia, the UK, and the USA). Patients were eligible if their estimated glomerular filtration rate (eGFR) was 20 to less than 45 mL/min per 1·73 m2, or 45 to less than 90 mL/min per 1·73 m2 with a urinary albumin-to-creatinine ratio (uACR) of 200 mg/g or higher at screening. They were randomly assigned (1:1) to 10 mg oral empagliflozin once daily or matching placebo. Effects on kidney disease progression (defined as a sustained ≥40% eGFR decline from randomisation, end-stage kidney disease, a sustained eGFR below 10 mL/min per 1·73 m2, or death from kidney failure) were assessed using prespecified Cox models, and eGFR slope analyses used shared parameter models. Subgroup comparisons were performed by including relevant interaction terms in models. EMPA-KIDNEY is registered with ClinicalTrials.gov, NCT03594110. Findings: Between May 15, 2019, and April 16, 2021, 6609 participants were randomly assigned and followed up for a median of 2·0 years (IQR 1·5–2·4). Prespecified subgroupings by primary kidney disease included 2057 (31·1%) participants with diabetic kidney disease, 1669 (25·3%) with glomerular disease, 1445 (21·9%) with hypertensive or renovascular disease, and 1438 (21·8%) with other or unknown causes. Kidney disease progression occurred in 384 (11·6%) of 3304 patients in the empagliflozin group and 504 (15·2%) of 3305 patients in the placebo group (hazard ratio 0·71 [95% CI 0·62–0·81]), with no evidence that the relative effect size varied significantly by primary kidney disease (pheterogeneity=0·62). The between-group difference in chronic eGFR slopes (ie, from 2 months to final follow-up) was 1·37 mL/min per 1·73 m2 per year (95% CI 1·16–1·59), representing a 50% (42–58) reduction in the rate of chronic eGFR decline. This relative effect of empagliflozin on chronic eGFR slope was similar in analyses by different primary kidney diseases, including in explorations by type of glomerular disease and diabetes (p values for heterogeneity all &gt;0·1). Interpretation: In a broad range of patients with chronic kidney disease at risk of progression, including a wide range of non-diabetic causes of chronic kidney disease, empagliflozin reduced risk of kidney disease progression. Relative effect sizes were broadly similar irrespective of the cause of primary kidney disease, suggesting that SGLT2 inhibitors should be part of a standard of care to minimise risk of kidney failure in chronic kidney disease. Funding: Boehringer Ingelheim, Eli Lilly, and UK Medical Research Council