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

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

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

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

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

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

Learn from the past, prepare for the future: Impacts of education and experience on disaster preparedness in the Philippines and Thailand

This study aims at understanding the role of education in promoting disaster preparedness. Strengthening resilience to climate-related hazards is an urgent target of Goal 13 of the Sustainable Development Goals. Preparing for a disaster such as stockpiling of emergency supplies or having a family evacuation plan can substantially minimize loss and damages from natural hazards. However, the levels of household disaster preparedness are often low even in disaster-prone areas. Focusing on determinants of personal disaster preparedness, this paper investigates: (1) pathways through which education enhances preparedness; and (2) the interplay between education and experience in shaping preparedness actions. Data analysis is based on face-to-face surveys of adults aged ≥15 years in Thailand (N = 1,310) and the Philippines (N = 889, female only). Controlling for socio-demographic and contextual characteristics, we find that formal education raises the propensity to prepare against disasters. Using the KHB method to further decompose the education effects, we find that the effect of education on disaster preparedness is mainly mediated through social capital and disaster risk perception in Thailand whereas there is no evidence that education is mediated through observable channels in the Philippines. This suggests that the underlying mechanisms explaining the education effects are highly context-specific. Controlling for the interplay between education and disaster experience, we show that education raises disaster preparedness only for those households that have not been affected by a disaster in the past. Education improves abstract reasoning and anticipation skills such that the better educated undertake preventive measures without needing to first experience the harmful event and then learn later. In line with recent efforts of various UN agencies in promoting education for sustainable development, this study provides a solid empirical evidence showing positive externalities of education in disaster risk reduction

Specific and individuated death reflection fosters identity integration

Identity integration is the process wherein a person assimilates multiple or conflicting identities (e.g., beliefs, values, needs) into a coherent, unified self-concept. Three experiments examined whether contemplating mortality in a specific and individuated manner (i.e., via the death reflection manipulation) facilitated outcomes indicative of identity integration. Participants in the death reflection condition (vs. control conditions) considered positive and negative life experiences as equally important in shaping their current identity (Experiment 1), regarded self-serving values and other-serving values as equally important life principles (Experiment 2), and were equally motivated to pursue growth-oriented and security-oriented needs (Experiment 3). Death reflection motivates individuals to integrate conflicting aspects of their identity into a coherent self-concept. Given that identity integration is associated with higher well-being, the findings have implications for understanding the psychological benefits of existential contemplation

Mindful Aging: The Effects of Regular Brief Mindfulness Practice on Electrophysiological Markers of Cognitive and Affective Processing in Older Adults

There is growing interest in the potential benefits of mindfulness meditation practices in terms of counteracting some of the cognitive effects associated with aging. Pursuing this question, the aim of the present study was to investigate the influence of mindfulness training on executive control and emotion regulation in older adults, by means of studying behavioral and electrophysiological changes. Participants, 55 to 75 years of age, were randomly allocated to an 8-week mindful breath awareness training group or an active control group engaging in brain training exercises. Before and after the training period, participants completed an emotional-counting Stroop task, designed to measure attentional control and emotion regulation processes. Concurrently, their brain activity was measured by means of 64-channel electroencephalography. The results show that engaging in just over 10 min of mindfulness practice five times per week resulted in significant improvements in behavioral (response latency) and electrophysiological (N2 event-related potential) measures related to general task performance. Analyses of the underlying cortical sources (Variable Resolution Electromagnetic Tomography, VARETA) indicate that this N2-related effect is primarily associated with changes in the right angular gyrus and other areas of the dorsal attention network. However, the study did not find the expected specific improvements in executive control and emotion regulation, which may be due to the training instructions or the relative brevity of the intervention. Overall, the results indicate that engaging in mindfulness meditation training improves the maintenance of goal-directed visuospatial attention and may be a useful strategy for counteracting cognitive decline associated with aging