BACKGROUND Northern Uganda experienced severe civil conflict for over 20 years and is also a region of high HIV prevalence. This study examined knowledge of, access to, and factors associated with use of family planning services among people living with HIV (PLHIV) in this region. METHODS Between February and May 2009, a total of 476 HIV clinic attendees from three health facilities in Gulu, ...

Institut für Informationssysteme, TU Wien A-1040 Wien, Austria feiter,[email protected], fleone,pfeifer,[email protected] Abstract. We propose a new logic-based planning language, called K. Transitions between states of knowledge can be described in K, and the language is well suited for planning under incomplete knowledge. Nonetheless, K also supports the representation of trans...

Production planning and control (PPC) systems have to deal with rising complexity and dynamics. The complexity of planning tasks is due to some existing multiple variables and dynamic factors derived from uncertainties surrounding the PPC. Although literatures on exact scheduling algorithms, simulation approaches, and heuristic methods are extensive in production planning, they seem to be ineff...

T paper gives an overview of the theory and practice of planning and scheduling in supply chains. It first gives an overview of the various planning and scheduling models that have been studied in the literature, including lot sizing models and machine scheduling models. It subsequently categorizes the various industrial sectors in which planning and scheduling in the supply chains are importan...

To reduce the losses caused by natural disasters such as hurricanes, it is necessary to build effective and efficient emergency management/planning systems for cities. With increases in volume, variety and acquisition rate of urban data, major opportunities exist to implement data-oriented emergency management/planning. New York/New Jersey metropolitan area is selected as the study area. Large ...

Evidence for a dichotomy between the planning of an action and its on-line control in humans is reviewed. This evidence suggests that planning and control each serve a specialized purpose utilizing distinct visual representations. Evidence from behavioral studies suggests that planning is influenced by a large array of visual and cognitive information, whereas control is influenced solely by th...

My research is in the area of robotics, computer animation and graphics. A focus of my research deals with integrating aspects of robotic motion planning with animation applications. The main applications include pursuit-evasion scenarios, evacuation planning and motion planning in dynamic and complex environments. We have shown that the behavior of a group of agents can be improved by utilizin...

“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the univ operator and higher-order logic programming techniques. We pay attention to the particularities of Prolog. For instance, we deal with traversal of non-ground terms. We also develop an alternative model of SYB-like trave...

The effects of 'natural' disasters in cities can be worse than in other environments, with poor and marginalised urban communities in the developing world being most at risk. To avoid post-disaster destruction and the forced eviction of these communities, proactive and preventive urban planning, including housing, is required. This paper examines current perceptions and practices within interna...

The plans that planning systems generate for solvable planning tasks are routinely verified by independent validation tools. For unsolvable planning tasks, no such validation capabilities currently exist. We describe a family of certificates of unsolvability for classical planning tasks that can be efficiently verified and are sufficiently general for a wide range of planning approaches includi...