Green Plants in the Red: A Baseline Global Assessment for the IUCN Sampled Red List Index for Plants

Plants provide fundamental support systems for life on Earth and are the basis for all terrestrial ecosystems; a decline in plant diversity will be detrimental to all other groups of organisms including humans. Decline in plant diversity has been hard to quantify, due to the huge numbers of known and yet to be discovered species and the lack of an adequate baseline assessment of extinction risk against which to track changes. The biodiversity of many remote parts of the world remains poorly known, and the rate of new assessments of extinction risk for individual plant species approximates the rate at which new plant species are described. Thus the question ‘How threatened are plants?’ is still very difficult to answer accurately. While completing assessments for each species of plant remains a distant prospect, by assessing a randomly selected sample of species the Sampled Red List Index for Plants gives, for the first time, an accurate view of how threatened plants are across the world. It represents the first key phase of ongoing efforts to monitor the status of the world’s plants. More than 20% of plant species assessed are threatened with extinction, and the habitat with the most threatened species is overwhelmingly tropical rain forest, where the greatest threat to plants is anthropogenic habitat conversion, for arable and livestock agriculture, and harvesting of natural resources. Gymnosperms (e.g. conifers and cycads) are the most threatened group, while a third of plant species included in this study have yet to receive an assessment or are so poorly known that we cannot yet ascertain whether they are threatened or not. This study provides a baseline assessment from which trends in the status of plant biodiversity can be measured and periodically reassessed

Component-wise incremental LTL model checking

Efficient symbolic and explicit-state model checking approaches have been developed for the verification of linear time temporal logic (LTL) properties. Several attempts have been made to combine the advantages of the various algorithms. Model checking LTL properties usually poses two challenges: one must compute the synchronous product of the state space and the automaton model of the desired property, then look for counterexamples that is reduced to finding strongly connected components (SCCs) in the state space of the product. In case of concurrent systems, where the phenomenon of state space explosion often prevents the successful verification, the so-called saturation algorithm has proved its efficiency in state space exploration. This paper proposes a new approach that leverages the saturation algorithm both as an iteration strategy constructing the product directly, as well as in a new fixed-point computation algorithm to find strongly connected components on-the-fly by incrementally processing the components of the model. Complementing the search for SCCs, explicit techniques and component-wise abstractions are used to prove the absence of counterexamples. The resulting on-the-fly, incremental LTL model checking algorithm proved to scale well with the size of models, as the evaluation on models of the Model Checking Contest suggests

Comparing counselling alone versus counselling supplemented with guided use of a well-being app for university students experiencing anxiety or depression (CASELOAD): protocol for a feasibility trial.

BACKGROUND: University counselling services face a unique challenge to offer short-term therapeutic support to students presenting with complex mental health needs and in a setting which suits the academic timetable. The recent availability of mobile phone applications (apps) offers an opportunity to supplement face-to-face therapy and has the potential to reach a wider audience, maintain engagement between therapy sessions, and enhance therapeutic outcomes. The present study, entitled Counselling plus Apps for Students Experiencing Levels of Anxiety or Depression (CASELOAD), aims to explore the feasibility of supplementing counselling with guided use of a well-being app. METHODS/DESIGN: Forty help-seeking university students (aged 18 years and over) with symptoms of moderate anxiety or depression will be recruited from a University Counselling Service (UCS) in the United Kingdom (UK). Participants will be recruited via counsellors who provide the initial clinical assessment and who determine treatment allocation to one of two treatments on the basis of client-treatment fit. The two conditions comprise (1) counselling alone (treatment as usual/TAU) or (2) counselling supplemented with guided use of a well-being app (enhanced intervention). Trained counsellors will deliver up to six counselling sessions in each treatment arm across a 6-month period, and the session frequency will be decided by client-counsellor discussion. Assessments will occur at baseline, every counselling session, post-intervention (3 months after consent) and follow-up (6 months after consent). Assessments will include clinical measures of anxiety, depression, psychological functioning, specific mental health concerns (e.g. academic distress and substance misuse), resilience and therapeutic alliance. The usage, acceptability, feasibility and potential implications of combining counselling with guided use of the well-being app will be assessed through audio recordings of counselling sessions, telephone interviews with participants, focus groups with counsellors and counsellor notes. DISCUSSION: This study will inform the design of a randomised pilot trial and a definitive trial which aim to improve therapy engagement, reduce dropout and enhance clinical outcomes of student counselling. TRIAL REGISTRATION: ISRCTN55102899

Low frequency of the TIRAP S180L polymorphism in Africa, and its potential role in malaria, sepsis, and leprosy

<p>Abstract</p> <p>Background</p> <p>The Toll-like receptors (TLRs) mediate innate immunity to various pathogens. A mutation (S180L) in the TLR downstream signal transducer <it>TIRAP </it>has recently been reported to be common in Europeans and Africans and to roughly half the risks of heterogeneous infectious diseases including malaria, tuberculosis, bacteremia, and invasive pneumococal disease in heterozygous mutation carriers.</p> <p>Methods</p> <p>We assessed the <it>TIRAP </it>S180L variant by melting curve and RFLP analysis in 1095 delivering women from malaria-endemic Ghana, as well as in a further 1114 individuals participating in case control studies on sepsis and leprosy in Germany, Turkey and Bangladesh.</p> <p>Results</p> <p>In Ghana, the <it>TIRAP </it>S180L polymorphism was virtually absent. In contrast, the mutation was observed among 26.6%, 32.9% and 12% of German, Bangladesh and Turkish controls, respectively. No significant association of the heterozygous genotype with sepsis or leprosy was observed. Remarkably, homozygous <it>TIRAP </it>180L tend to increase the risk of sepsis in the German study (<it>P </it>= 0.04).</p> <p>Conclusion</p> <p>A broad protective effect of <it>TIRAP </it>S180L against infectious diseases <it>per se </it>is not discernible.</p

AI-powered transmitted light microscopy for functional analysis of live cells

Transmitted light microscopy can readily visualize the morphology of living cells. Here, we introduce artificial-intelligence-powered transmitted light microscopy (AIM) for subcellular structure identification and labeling-free functional analysis of live cells. AIM provides accurate images of subcellular organelles; allows identification of cellular and functional characteristics (cell type, viability, and maturation stage); and facilitates live cell tracking and multimodality analysis of immune cells in their native form without labeling

MLN64 Transport to the Late Endosome Is Regulated by Binding to 14-3-3 via a Non-canonical Binding Site

MLN64 is an integral membrane protein localized to the late endosome and plasma membrane that is thought to function as a mediator of cholesterol transport from endosomal membranes to the plasma membrane and/or mitochondria. The protein consists of two distinct domains: an N-terminal membrane-spanning domain that shares homology with the MENTHO protein and a C-terminal steroidogenic acute regulatory protein (StAR)-related lipid transfer (START) domain that binds cholesterol. To further characterize the MLN64 protein, full-length and truncated proteins were overexpressed in cells and the effects on MLN64 trafficking and endosomal morphology were observed. To gain insight into MLN64 function, affinity chromatography and mass spectrometric techniques were used to identify potential MLN64 interacting partners. Of the 15 candidate proteins identified, 14-3-3 was chosen for further characterization. We show that MLN64 interacts with 14-3-3 in vitro as well as in vivo and that the strength of the interaction is dependent on the 14-3-3 isoform. Furthermore, blocking the interaction through the use of a 14-3-3 antagonist or MLN64 mutagenesis delays the trafficking of MLN64 to the late endosome and also results in the dispersal of endocytic vesicles to the cell periphery. Taken together, these studies have determined that MLN64 is a novel 14-3-3 binding protein and indicate that 14-3-3 plays a role in the endosomal trafficking of MLN64. Furthermore, these studies suggest that 14-3-3 may be the link by which MLN64 exerts its effects on the actin-mediated endosome dynamics

The Effect of Mindfulness-based Programs on Cognitive Function in Adults: A Systematic Review and Meta-analysis

Mindfulness-based programs (MBPs) are increasingly utilized to improve mental health. Interest in the putative effects of MBPs on cognitive function is also growing. This is the first meta-analysis of objective cognitive outcomes across multiple domains from randomized MBP studies of adults. Seven databases were systematically searched to January 2020. Fifty-six unique studies (n = 2,931) were included, of which 45 (n = 2,238) were synthesized using robust variance estimation meta-analysis. Meta-regression and subgroup analyses evaluated moderators. Pooling data across cognitive domains, the summary effect size for all studies favored MBPs over comparators and was small in magnitude (g = 0.15; [0.05, 0.24]). Across subgroup analyses of individual cognitive domains/subdomains, MBPs outperformed comparators for executive function (g = 0.15; [0.02, 0.27]) and working memory outcomes (g = 0.23; [0.11, 0.36]) only. Subgroup analyses identified significant effects for studies of non-clinical samples, as well as for adults aged over 60. Across all studies, MBPs outperformed inactive, but not active comparators. Limitations include the primarily unclear within-study risk of bias (only a minority of studies were considered low risk), and that statistical constraints rendered some p-values unreliable. Together, results partially corroborate the hypothesized link between mindfulness practices and cognitive performance. This review was registered with PROSPERO [CRD42018100904]

Human Computer Interaction Meets Psychophysiology: A Critical Perspective

Human computer interaction (HCI) groups are more and more often exploring the utility of new, lower cost electroencephalography (EEG) interfaces for assessing user engagement and experience as well as for directly controlling computers. While the potential benefits of using EEG are considerable, we argue that research is easily driven by what we term naïve neurorealism. That is, data obtained with psychophysiological devices have poor reliability and uncertain validity, making inferences on mental states difficult. This means that unless sufficient care is taken to address the inherent shortcomings, the contributions of psychophysiological human computer interaction are limited to their novelty value rather than bringing scientific advance. Here, we outline the nature and severity of the reliability and validity problems and give practical suggestions for HCI researchers and reviewers on the way forward, and which obstacles to avoid. We hope that this critical perspective helps to promote good practice in the emerging field of psychophysiology in HCI