In critical domains, the acceptance of a given intelligent monitoring system owes much to the validation process. Formal methods for validating those systems are frequently required. However there is not a generally accepted methodology to perform the task. In this paper the authors present the methodology and results obtained from the validation process of PATRICIA, an intelligent monitoring s...

rice is the world's most important food crop. to decrease the damage of  rice pests, development of insect pest management strategies in rice is necessary. biennial results for determination of a suitable method to control striped stem borer in rice showed that integration of two methods of control (biological and mechanical) is a feasible effort to reduce stem borer infestation. to assure...