To help make refinement more usable in practice we introduce a general, flexible model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. Our general model is expressed in terms of an operational semantics, and by exploiting the well-known isomorphism between state-based relational semantics and event-base...

BACKGROUND Control and prevention of Chagas disease rely mostly on residual spraying of insecticides. In Argentina, vector control shifted from a vertical to a fully horizontal strategy based on community participation between 1992 and 2004. The effects of such strategy on Triatoma infestans, the main domestic vector, and on disease transmission have not been assessed. METHODS AND FINDINGS Ba...

Traditional weight training programs use an exercise prescription strategy that emphasizes improving muscle strength through resistance exercises. Other factors, such as stability, endurance, movement quality, power, flexibility, speed, and agility are also essential elements to improving overall functional performance. Therefore, exercises that incorporate these additional elements may be bene...

At present, the tubular structural systems are mainly used in tall buildings to withstand earthquake loads. Although it is possible to analyse the structure by finite element methods using standard three dimensional programs, the system is generally time-consuming and expensive in the primary design work. In this paper, for the analysis of Framed-Tube systems, a simple method was studied and de...

The Indonesian government launched a garlic self-sufficiency program by 2033 to reduce imports monitoring lands in several central areas. Remote sensing using satellite imageries can assist the mapping lands. A previous study has classified Sentinel-1A identify Sembalun Lombok Indonesia decision tree C5.0 algorithm with three scenarios data input and produced model an accuracy of 78.45% two att...

At present, the tubular structural systems are mainly used in tall buildings to withstand earthquake loads. Although it is possible to analyse the structure by finite element methods using standard three dimensional programs, the system is generally time-consuming and expensive in the primary design work. In this paper, for the analysis of Framed-Tube systems, a simple method was studied and de...

This paper examines the impact of social and cultural factors on malaria control in rural Thailand. It contends that standard vertical malaria control programs tend to ignore local workplace and living conditions instead of recruiting traditional practices into the planning scenario for more effective control. Careful attention to these practices in the context of local economic capacity can se...

Abstract. Software understanding tools involve program modularization and visualization capabilities. However provided program modules do not always represent the accurate structure. Formal Concept Analysis and concept partition are methods to identify desirable program modules. Using concept partition, we define vertical and horizontal relation among partitions and cluster different abstract c...

BACKGROUND The UNSW Australia Medicine program explicitly structures peer learning in program wide mixing of students where students from two adjoining cohorts complete the same course together, including all learning activities and assessment. The purpose of this evaluation is to explore the student experience of peer learning and determine benefits and concerns for junior and senior students....