PURPOSE To determine if, with use of magnetic resonance (MR) imaging guidance alone, transcaval puncture of the superior mesenteric vein (SMV) and/or portal vein is feasible with a percutaneous femoral vein approach. MATERIALS AND METHODS The Institutional Animal Care and Use Committee approved the animal studies. Ten inferior vena cava (IVC)-SMV punctures were performed in six pigs. An activ...

In this paper we study the performance of various model checkers in test case generation scenario. The model checkers we consider are Cadence SMV, NuSMV, NuSMV’s Bounded Model Checker (BMC), the explicit state model checker SPIN and CMU’s SMV. The test cases are generated from specifications written in the SCR language. We suggest a strategy for minimizing the test generation time while ensurin...

Gurevich's Abstract State Machines (ASM) constitute a high-level speciication language for a wide range of applications. The existing tool support for ASM|currently including type-checking, simulation and debugging|should be extended to support computer-aided veriication, in particular by model checking. In this paper we introduce an interface from our existing tool environment to the model che...

In order to study the effect of salt stress on the Rhizobium-common bean symbiosis, we investigated the response of both partners, separately and in symbiosis. The comparison of the behaviour of five cultivars of Phaseolus vulgaris differing in seed colour, growing on nitrates and different concentrations of NaCl, showed genotypic variation with respect to salt tolerance. Coco Blanc was the mos...

In order to overcome the accommodation and convergence (A-C) conflict that commonly causes visual fatigue in AR display, we propose a Maxwellian-viewing-super-multi-view (MV-SMV) near-eye display system based on Pancharatnam-Berry optical element (PBOE). The PBOE, which is constituted with an array of high-efficiency polarization gratings, implemented direct different views directions simultane...

Inhalation or intravenous anesthesia along with controlled or assisted mask ventilation is frequently used for interventions with short duration in pediatric patients, especially in surgical centers with high turnover and when laryngeal mask airways do not fit. To achieve one-handed mask ventilation the anesthesiologist has to stand behind the head, and the mask is held with one hand against th...

Soybean Mosaic Disease (SMD) is one of the most serious, devastating, and widespread diseases Glycine max (L.) Merry. caused by Virus (SMV). It more prevalent in low-lying ...

Abstract Soybean mosaic virus (SMV; Potyvirus , Potyviridae ) is one of the most prevalent and destructive viral pathogens in world. The P1 protein first N-terminal product potyvirus genome shows a high sequence variability that may be related to adaptation hosts. In this work, we focused on different functions proteins two SMV isolates GZL NB during their infection plants. Isolate induced weak...