Improving early childhood care and development, HIV testing, treatment and support, and nutrition in Mokhotlong, Lesotho: study protocol for a cluster randomized controlled trial

Background Since 1990, the lives of 48 million children under the age of 5 have been saved because of increased investments in reducing child mortality. However, despite these unprecedented gains, more than 200 million children in low and middle income countries (LMIC) cannot meet their developmental potential due to poverty, poor health and nutrition, and lack of necessary stimulation and care. Lesotho has high levels of poverty, HIV and malnutrition, all of which affect child development outcomes. There is a unique opportunity to address these complex issues through the widespread network of informal preschools in rural villages in the country, which provide a setting for inclusive, integrated Early Childhood Care and Development (ECCD), HIV and nutrition interventions. Methods We are conducting a cluster randomised controlled trial in Mokhotlong district, Lesotho, to evaluate a newly developed community-based intervention programme to integrate HIV testing and treatment services, ECCD, and nutrition education for caregivers with children aged 1-5 years living in rural villages. Caregivers and their children are randomly assigned by village to intervention or control condition. We select, train, and supervise community health workers recruited to implement the intervention, which consists of nine group-based sessions with caregivers and children over 12 weeks (eight weekly sessions, and a ninth top up session one month later), followed by a locally hosted community health outreach day event. Group-based sessions focus on using early dialogic booksharing to promote cognitive development and caregiver-child interaction, health-related messages, including motivation for HIV-testing and treatment uptake for young children, and locally appropriate nutrition education. All children aged 1-5 years and their primary caregivers living in study villages are eligible for participation. Caregivers and their children will be interviewed and assessed at baseline, immediately after completion of the intervention, and 12 months post intervention. Discussion This study provides a unique opportunity to assess the potential of an integrated early childhood development intervention to prevent or mitigate developmental delays in children living in a context of extreme poverty and high HIV rates in rural Lesotho. This paper presents the intervention content and research protocol for the study

Checking Signal Transition Graph Implementability by Symbolic BDD Traversal

This paper defines conditions for a Signal Transition Graph to be implemented by an asynchronous circuit. A hierarchy of the implementability classes is presented. Our main concern is the implementability of the specification under the restricted input-output interface between the design and the environment, i.e., when no additional interface signals are allowed to be added to the design. We develop algorithms and present experimental results of using BDD-traversal for checking STG implementability. These results demonstrate efficiency of the symbolic approach and show a way of improving existing tools for STG-based asynchronous circuit design