In current study, the effects of Iranian rice cooking method (Kateh) on residue levels of 41 pesticides were investigated. The pesticides were selected according to Iranian National Standards Organization (INSO) regulations and covered 18 permitted and 23 banned pesticides belonging to different chemical classes such as organophosphate, triazole, and carbamate. A 250 g portion of rice sample wa...

We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this calculus. Such development has been notoriously difficult because of the subtle interactions among generative names, processes as data, and the algebraic operations. We handle them by carefully defining the calculus and...

This paper proposes a refinement framework for Lustre. First a very general calculus is provided, which ensures correctness and reactivity for a large class of systems. Then, this calculus is adapted to provide oversampling and temporal refinement. We obtain thus an effective calculus for Lustre, which allows us to refine both computations and time. The calculus and its use in the development o...

paddy rice residue covers more than 60000 ha of the khuzestan plain. high soil moisture content (low evaporation and heavy soil texture), time limitations, and the likelihood of rainfall make conventional tillage methods unsuitable for wheat cultivation after the rice harvest. the present study investigated the best residue management method, and fuel and time savings, to produce acceptable yie...

introduction here we report an unusual case of massive stone formation in augmented urinary bladder. case presentation a 25-year-old man presented with recurrent urinary tract infection ten years after augmentation cystoplasty after a complex pelvic fracture urethral distraction defect. on evaluation by ultrasonography, x-ray, and computed tomography of abdomen showed large burden of stones in ...

Proteins are flexible, and this flexibility has an essential functional role. Flexibility can be observed in loop regions, rearrangements between secondary structure elements, and conformational changes between entire domains. However, most protein structure alignment methods treat protein structures as rigid bodies. Thus, these methods fail to identify the equivalences of residue pairs in regi...