222 research outputs found
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 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
point-source depth in a single visit in will be (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 with
, and will be imaged multiple times in six bands, ,
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 region about 800 times (summed over all six bands) during the
anticipated 10 years of operations, and yield a coadded map to . 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
- âŠ