Learn More
BACKGROUND The clinical manifestations of neurocysticercosis (NCC) are poorly understood. This systematic review aims to estimate the frequencies of different manifestations, complications and disabilities associated with NCC. METHODS A systematic search of the literature published from January 1, 1990, to June 1, 2008, in 24 different electronic(More)
BACKGROUND The objective of this study is to conduct a systematic review of studies reporting the frequency of neurocysticercosis (NCC) worldwide. METHODS/PRINCIPAL FINDINGS PubMed, Commonwealth Agricultural Bureau (CAB) abstracts and 23 international databases were systematically searched for articles published from January 1, 1990 to June 1, 2008.(More)
Many people with mobility impairments, who require the use of powered wheelchairs, have difficulty completing basic maneuvering tasks during their activities of daily living (ADL). In order to provide assistance to this population, robotic and intelligent system technologies have been used to design an intelligent powered wheelchair (IPW). This paper(More)
A cross-lingual Vieinamese-English retrieval system should enable Vietnamese speaker.s to retrieve documents written in English, and likewise English speakers should be able to retrieve documents written in Vietnamese. We have conducted preliminary experiment, s to investigate such possibilities. Using a simple language transformation algorithm that we have(More)
Despite their popularity and importance, pointer-based programs remain a major challenge for program verification. In recent years, separation logic has emerged as a contender for formal reasoning of pointer-based programs. Recent works have focused on specialized provers that are mostly based on fixed sets of predicates. In this paper, we propose an(More)
  • 1