The simultaneous multiple volume (SMV) approach in navigator-gated MRI allows the use of the whole motion range or the entire scan time for the reconstruction of final images by simultaneously acquiring different image volumes at different motion states. The motion tolerance range for each volume is kept small, thus SMV substantially increases the scan efficiency of navigator methods while main...

We study Express, a system that uses template semantics to map specifications to SMV models. We investigate the efficiency of the generated SMV models. We consider two case studies and compare manually created SMV models with models generated by Express. The generated models are more complex and have larger state spaces, and consequently longer verification times. We also analyze the effect of ...

Background. Cardiac ischemia is the major cause of morbidity and mortality which can be increased by Statins. This study aimed to increase effectiveness simvastatin in form niosomes. Methods. In this study, 25 male Wistar rats were divided into 5 groups: control, (induced closed LAD), receiving nano-niosomes, simvastatin, simvastatin-loaded nano-niosomes. One month after drug injection, RNA was...

Aim: To determine the efficacy of subinguinal microvaricocelectomy versus retroperitoneal varicocelectomy in symptomatic varicocele. Methods: 44 subjects were enrolled for this study, two groups consisting of 22 each by simple random sampling, done by balloting method. Postoperative Pain was observed using Visual Analog scaling and Infection was observed using Southampton scoring system. Result...

Despite the existence of the slow-moving vehicle (SMV) emblem for almost 50 years, there continues to be a large number of preventable accidents between SMVs and other motorists. In this study, the current SMV emblem was tested against other common road signs as well as alternative slow-moving vehicle emblems to determine motorist comprehension of the signs. An open-ended test method was used t...

The biochemical function of the potyviral P3 protein is not known, although it is known to regulate virus replication, movement, and pathogenesis. We show that P3, the putative virulence determinant of soybean mosaic virus (SMV), targets a component of the translation elongation complex in soybean. Eukaryotic elongation factor 1A (eEF1A), a well-known host factor in viral pathogenesis, is essen...

MODEL IMPLEMENTION COMPONENT REFINEMENT MAPS Figure 1: Re nement maps interfaces and structures in the low-level design. This makes it possible to verify small parts of the low-level design in the context of the abstract model. Thus, the proof obligations can be reduced to a small enough scale to be veri ed by model checking. SMV supports this methodology by allowing one to specify many abstrac...

Pancreatic cancers frequently invade the portomesenteric veins. Venous resection during pancreaticoduodenectomy with curative intent is more common now than it was in the past. Most venous resections can be repaired primarily, but some require vascular grafts. Here, we describe the use of an autologous parietal peritoneum graft instead of vascular grafts for repairing a superior mesenteric vein...

Introduction: This study was designed to investigate the effects of music in Wistar rats after sub-chronic treatment of simvastatin. The rats were orally administered with either simvastatin or saline (controls). After 4 weeks of drug treatment, the rats were selected for behavioral studies. The rats were exposed to music 24 hours before behavioral tests (Mozart’s piano sonata, KV361, Largo). R...

BACKGROUND The long-term antibody response to measles vaccine (MV) administered at age 6 months with or without subsequent doses is not well documented. METHODS Measles serum antibody responses were evaluated after a supplemental dose of measles vaccine (sMV) administered at a median age of 20 months among Malawian children who had previously received 2 doses of measles vaccine (MV) at ages 6...