1,120 research outputs found
Violence against disabled children: UN Secretary Generals report on violence against children thematic group on violence against disabled children: findings and recommendations
Adolescents and youth with disability: issues and challenges
Globally, almost 180 million young people between the ages of 10-24 live with a physical, sensory, intellectual or mental health disability significant enough to make a difference in their daily lives. The vast majority of these
young people, some 150 million (80%) live in the developing world. Routinely excluded from most educational, economic, social and cultural opportunities, they are among the poorest and most marginalised of all the world’s young
people. This paper reviews issues that must be considered in assessing the needs of disabled young people and urges the inclusion of this all too frequently overlooked group in all international development policies and programming
The Things We Don’t See: Oppressive Mental Health Language in 1940’s East Texas
In the mental health files I examine, the oppressive mental health language, descriptions, and inaccurate twentieth-century perceptions of female patients will be brought to light and reexamined. It is my hope that, by doing so, the patients who suffered will be remembered, and their stories never again repeated
A Simulator for LLVM Bitcode
In this paper, we introduce an interactive simulator for programs in the form
of LLVM bitcode. The main features of the simulator include precise control
over thread scheduling, automatic checkpoints and reverse stepping, support for
source-level information about functions and variables in C and C++ programs
and structured heap visualisation. Additionally, the simulator is compatible
with DiVM (DIVINE VM) hypercalls, which makes it possible to load, simulate and
analyse counterexamples from an existing model checker
Deconstructing the Accelerated Reading Program
Teacher implementation of the Accelerated Reader Program is as widespread as it is diverse in terms of classroom and campus application. This manuscript highlights the findings of an informal, pilot study that examined four categories regarding the Accelerated Reader Program. They are: 1) assessment, 2) aesthetics and text interaction, 3) motivation, and 4) book selection
Including Disabled People in Sanitation and Hygiene Services
The needs of disabled people in developing countries are consistently overlooked when it comes to providing sanitation and hygiene services. This reality has severe and widespread consequences for the health, dignity, education, and employment of disabled people and their caregivers. This briefing note explores these issues and suggests how more and better research could influence policy and improve programmes
An Entry Point for Formal Methods: Specification and Analysis of Event Logs
Formal specification languages have long languished, due to the grave
scalability problems faced by complete verification methods. Runtime
verification promises to use formal specifications to automate part of the more
scalable art of testing, but has not been widely applied to real systems, and
often falters due to the cost and complexity of instrumentation for online
monitoring. In this paper we discuss work in progress to apply an event-based
specification system to the logging mechanism of the Mars Science Laboratory
mission at JPL. By focusing on log analysis, we exploit the "instrumentation"
already implemented and required for communicating with the spacecraft. We
argue that this work both shows a practical method for using formal
specifications in testing and opens interesting research avenues, including a
challenging specification learning problem
- …