Oink: an Implementation and Evaluation of Modern Parity Game Solvers

Parity games have important practical applications in formal verification and synthesis, especially to solve the model-checking problem of the modal mu-calculus. They are also interesting from the theory perspective, as they are widely believed to admit a polynomial solution, but so far no such algorithm is known. In recent years, a number of new algorithms and improvements to existing algorithms have been proposed. We implement a new and easy to extend tool Oink, which is a high-performance implementation of modern parity game algorithms. We further present a comprehensive empirical evaluation of modern parity game algorithms and solvers, both on real world benchmarks and randomly generated games. Our experiments show that our new tool Oink outperforms the current state-of-the-art.Comment: Accepted at TACAS 201

Social validity of randomised controlled trials in health services research and intellectual disabilities: a qualitative exploration of stakeholder views

<p>Abstract</p> <p>Background</p> <p>Randomised controlled trials (RCTs) are the gold standard of evidence-based practice in medicine but they have had limited influence in the field of intellectual disabilities. Previous literature suggests that participants and professionals have limited tolerance for this type of research methodology. However, it is not known how well service users, carers and other health professionals understand and accept the need for RCTs, and why it is important for individuals with intellectual disabilities to be included in this kind of research.</p> <p>Methods</p> <p>We examined individual perceptions of RCTs in 51 participants (18 carers, 6 service users and 27 professionals) using semi-structured interviews. A framework approach was adopted in the analysis of data.</p> <p>Results</p> <p>We found that participants had concerns about capacity and resource allocation but held positive views towards this type of research methodology. Understanding of the principles behind RCTs was poor amongst service users and a minority of carers, but mediated by previous exposure to research for professionals.</p> <p>Conclusions</p> <p>The social validity of RCTs in intellectual disabilities may be compromised by lack of understanding of the design and the on-going concerns about obtaining informed consent especially in incapacitated adults. However, the overall finding that the need for this form of research was seen in a positive light suggests that there is a turning point in the perceptions of stakeholders working in intellectual disabilities services. We recommend that researchers include on-going education on RCT design during trials, tailoring it to all stakeholders with emphasis on strong service user and care involvement. This could be a pivotal element in improving acceptability of, and recruitment to RCTs.</p

Interaction, Emotion, and Collective Identities

[Excerpt] This chapter poses the question: How do emotional aspects of social interaction affect the emergence and salience of collective identities? I assume that social interaction inherently involves an implicit or explicit joint task—namely to accomplish some result that can only be produced with others. The most fundamental “task” of social interaction can be construed as the coordination and alignment of behavior, such that actors successfully conclude the interact ion episode. Essential to this task is a working consensus about definitions of self and other in the social situation, i.e., consensual self-other identities. A central component of my argument is that social interaction has emotional effects that vary with the success of actors at accomplishing this fundamental task. This paper theorizes the conditions under which emotional effects of social interaction promote collective identities that bridge or transcend self-other role identities

Connecting Earth Observation to High-Throughput Biodiversity Data

There is much interest in using Earth Observation (EO) technology to track biodiversity, ecosystem functions, and ecosystem services, understandable given the fast pace of biodiversity loss. However, because most biodiversity is invisible to EO, EO-based indicators could be misleading, which can reduce the effectiveness of nature conservation and even unintentionally decrease conservation effort. We describe an approach that combines automated recording devices, high-throughput DNA sequencing, and modern ecological modelling to extract much more of the information available in EO data. This approach is achievable now, 62 offering efficient and near-real time monitoring of management impacts on biodiversity and its functions and services

Connecting Earth observation to high-throughput biodiversity data

Understandably, given the fast pace of biodiversity loss, there is much interest in using Earth observation technology to track biodiversity, ecosystem functions and ecosystem services. However, because most biodiversity is invisible to Earth observation, indicators based on Earth observation could be misleading and reduce the effectiveness of nature conservation and even unintentionally decrease conservation effort. We describe an approach that combines automated recording devices, high-throughput DNA sequencing and modern ecological modelling to extract much more of the information available in Earth observation data. This approach is achievable now, offering efficient and near-real-time monitoring of management impacts on biodiversity and its functions and services

LSST: from Science Drivers to Reference Design and Anticipated Data Products

(Abridged) We describe here the most ambitious survey currently planned in the optical, the Large Synoptic Survey Telescope (LSST). A vast array of science will be enabled by a single wide-deep-fast sky survey, and LSST will have unique survey capability in the faint time domain. The LSST design is driven by four main science themes: probing dark energy and dark matter, taking an inventory of the Solar System, exploring the transient optical sky, and mapping the Milky Way. LSST will be a wide-field ground-based system sited at Cerro Pach\'{o}n in northern Chile. The telescope will have an 8.4 m (6.5 m effective) primary mirror, a 9.6 deg$^2$ field of view, and a 3.2 Gigapixel camera. The standard observing sequence will consist of pairs of 15-second exposures in a given field, with two such visits in each pointing in a given night. With these repeats, the LSST system is capable of imaging about 10,000 square degrees of sky in a single filter in three nights. The typical 5$\sigma$ point-source depth in a single visit in $r$ will be $\sim 24.5$ (AB). The project is in the construction phase and will begin regular survey operations by 2022. The survey area will be contained within 30,000 deg$^2$ with $\delta<+34.5^\circ$, and will be imaged multiple times in six bands, $ugrizy$, covering the wavelength range 320--1050 nm. About 90\% of the observing time will be devoted to a deep-wide-fast survey mode which will uniformly observe a 18,000 deg$^2$ region about 800 times (summed over all six bands) during the anticipated 10 years of operations, and yield a coadded map to $r\sim27.5$. The remaining 10\% of the observing time will be allocated to projects such as a Very Deep and Fast time domain survey. The goal is to make LSST data products, including a relational database of about 32 trillion observations of 40 billion objects, available to the public and scientists around the world.Comment: 57 pages, 32 color figures, version with high-resolution figures available from https://www.lsst.org/overvie

Older People with Learning Disabilities: Workforce Issues

The life expectancy of people with learning disabilities has increased substantially. Services for older people with learning disabilities are provided by various sectors and practitioners (generic health and social care, or specialist learning disability or old age). The literature suggests that practitioners do not feel well-equipped to support people with learning disabilities as they grow older, and older people's services do not always have the opportunity to share experiences and skills. This paper highlights areas such as dementia support, where the intersection between services is not clear, and explores what might help practitioners to meet the needs of people with learning disabilities as they grow older

Persistence of self-injurious behaviour in autism spectrum disorder over 3 years: a prospective cohort study of risk markers

BackgroundThere are few studies documenting the persistence of self-injury in individuals with autism spectrum disorder (ASD) and consequently limited data on behavioural and demographic characteristics associated with persistence. In this longitudinal study, we investigated self-injury in a cohort of individuals with ASD over 3 years to identify behavioural and demographic characteristics associated with persistence.MethodsCarers of 67 individuals with ASD (Median age of individuals with ASD in years = 13.5, Interquartile Range = 10.00–17.00), completed questionnaires relating to the presence and topography of self-injury at T1 and three years later at T2. Analyses were conducted to evaluate the persistence of self-injury and to evaluate the behavioural and demographic characteristics associated with persistence of self-injury.ResultsAt T2 self-injurious behaviour had persisted in 77.8 % of individuals. Behavioural correlates of being non-verbal, having lower ability and higher levels of overactivity, impulsivity and repetitive behaviour, were associated with self-injury at both time points. Risk markers of impulsivity (p = 0.021) and deficits in social interaction (p = 0.026) at T1 were associated with the persistence of self-injury over 3 years.ConclusionsImpulsivity and deficits in social interaction are associated with persistent self-injury in ASD and thus may act as behavioural risk markers. The identification of these risk markers evidences a role for behaviour dysregulation in the development and maintenance of self-injury. The findings have clinical implications for proactive intervention; these behavioural characteristics may be utilised to identify ‘at risk’ individuals for whom self-injury is likely to be persistent and therefore those individuals for whom early intervention may be most warranted.<br/

Anxiety Disorders in Williams Syndrome Contrasted with Intellectual Disability and the General Population: A Systematic Review and Meta-Analysis

Individuals with specific genetic syndromes associated with intellectual disability (ID), such as Williams syndrome (WS), are at increased risk for developing anxiety disorders. A systematic literature review identified sixteen WS papers that could generate pooled prevalence estimates of anxiety disorders for WS. A meta-analysis compared these estimates with prevalence estimates for the heterogeneous ID population and the general population. Estimated rates of anxiety disorders in WS were high. WS individuals were four times more likely to experience anxiety than individuals with ID, and the risk was also heightened compared to the general population. The results provide further evidence of an unusual profile of high anxiety in WS