In this paper, we investigate model checking algorithms for variants of strategy logic over pushdown multi-agent systems, modeled by pushdown game structures (PGSs). We consider various fragments of strategy logic, i.e., SL[CG], SL[DG], SL[1G] and BSIL. We show that the model checking problems on PGSs for SL[CG], SL[DG] and SL[1G] are 3EXTIME-complete, which are not harder than the problem for ...

background: obesity is a major problem in both developed and underdeveloped countries. the aim of this study is to investigate the effects of a physical education program (pep) on promoting health belief model (hbm) scores, increasing physical activity (pa), and reducing obesity among iranian high school students. methods: this quasi‑experimental study was accomplished at four high schools that...

Abstract: In this paper, a novel integrated high precision vacuum microelectronic accelerometer is put forward based on the theory of field emission, the accelerometer consists of sensitive structure and interface ASIC. The sensitive structure has a mass of a cathode cone tips array, a folded beam, an emitter electrode and a feedback electrode. The sensor is fabricated on a double side polished...

PURPOSE OF REVIEW The musculoskeletal system is largely regulated through dynamic physical activity and is compromised by cessation of physical loading. There is a need to recreate the anabolic effects of loading on the musculoskeletal system, especially in frail individuals who cannot exercise. Vibration therapy is designed to be a nonpharmacological analogue of physical activity, with an inte...

Neural substrates for processing constant speed visual motion have been extensively studied. Less is known about the brain activity patterns when the target speed changes continuously, for instance under the influence of gravity. Using functional MRI (fMRI), here we compared brain responses to accelerating/decelerating targets with the responses to constant speed targets. The target could move ...

To investigate the effects of matrix metalloproteinase-1 (MMP-1) gene polymorphisms on the onset of osteomyelitis in Chinese Han population.In all, 80 osteomyelitis patients (case group) and 81 healthy people (control group) were recruited into this case-control study. Polymerase chain reaction-restriction fragment length polymorphism method was utilized to examine the genotypes of MMP-1 polymo...