Weakly rationalizable implementation represents a generalization of robust implementation to dynamic mechanisms. It is so conservative that virtual implementation in weakly rationalizable strategies is characterized by the same conditions as robust virtual implementation by static mechanisms. We show that despite that, (exact) weakly rationalizable implementation is more permissive than (exact)...

OBJECTIVE To develop a new sampling medium for detecting of bioaerosols. METHODS The sampling media were tested by using Escherichia coli, Staphylococcus aureus and Serratia marcescens under static and active conditions, preliminary applications were performed using AGI-10 and high volume sampler. RESULTS The average recovery rates were raised to 24.7%, 58.2%, 40.5%, 44.1%, 20.5%, and 15.4%...

Program verification environments increasingly rely on hybrid methods that combine static analyses and verification condition generation. While such verification environments operate on source programs, it is often preferable to achieve guarantees about executable code. We show that, for a hybrid verification method based on numerical static analysis and verification condition generation, compi...

Existing laparoscopic box trainers consist only of static tasks and do not adequately prepare surgeons to navigate the dynamic surgical environment. This paper describes an innovative design using controlled motorized target movements to enhance the training of dynamic motor skills. The prototype was tested using 15 subjects with different surgical experience levels. The task required accurate ...

this study was accomplished to examine the efficiency of natural zeolite in preventing acute toxicity of total ammonia to huso huso. the study was performed using water static method in 96 hours. fish averaged 46 ? 5 g in weight and 22 ? 4 cm in total length were exposed to four different concentrations (15, 30, 50, 75 mgl-1) of ammonia and a group was considered as control. under stable condit...