The Kilimanjaro Centre for Community Ophthalmology (KCCO) has been involved in a five-year pilot project to improve low vision services for children in Tanzania.Low vision services were limited to a few tertiary hospitals and were accessible to only a few children. Children with low vision were usually enrolled in schools for the blind, most of them without having received an eye examination or...

The Kilimanjaro Centre for Community Ophthalmology (KCCO) has been involved in a five-year pilot project to improve low vision services for children in Tanzania.Low vision services were limited to a few tertiary hospitals and were accessible to only a few children. Children with low vision were usually enrolled in schools for the blind, most of them without having received an eye examination or...

A session type is an abstraction of a sequence of heterogeneous values sent over one communication channel. Session types can be used for specifying stream-based Internet protocols. We consider session types in a setting with asynchronous communication over buffered channels. Due to buffering, a process may write ahead before the reading process picks up the data. Thus the types of the two ends...

Extensive work has been carried out by the U.S. Department of Energy (DOE) in the development of a proposed geologic repository at Yucca Mountain (YM), Nevada, for the disposal of high-level radioactive waste. In support of this development and an associated license application to the U.S. Nuclear Regulatory Commission (NRC), the DOE completed an extensive performance assessment (PA) for the pr...

Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semantic gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we defin...

The US Coast Guard (USCG) is charged with maintaining an acceptable level of safety in US ports and waterways. Allocating resources to solve safety problems is difficult because multiple attributes of a port or waterway affect its safety and determine whether a particular safety measure will improve it. We based the ports and waterways safety assessment (PAWSA) model on multiattribute decision ...

During the past decades, aqueous rechargeable batteries have been receiving much attention on account of merits cost efficiency, high safety, and environmental benignity. Compared to metal-ions (such as Li+, Na+, K+, Mg2+, Zn2+, Al3+ etc.) charge carriers in ion batteries, nonmetal not only form covalent–ionic bonds framework, but also act reversible redox centers. Moreover, advantages low cost...