In this paper, we proposed a method for detecting consistency violation between state machine diagrams and a sequence diagram defined in UML 2.0 using SMV. We extended a method expressing these diagrams defined in UML 1.0 with boolean formulas so that it can express a sequence diagram with combined fragments introduced in UML 2.0. This extension made it possible to represent three types of comb...

The protective effect of magnesium as magnesium sulfate (MS) on sodium-metavanadate- (SMV-) induced lipid peroxidation (LPO) under in vivo and in vitro conditions was studied. The 18-week SMV intoxication (Group II, 0.125 V(end)/mL) enhanced spontaneous malondialdehyde (MDA) generation in rat liver, compared with the control (Group I) and MS-supplemented animals (Group III, 0.06 Mg(end)/mL). Co...

In this paper, we propose an efficient rate selection algorithm that can be used to transcode speech encoded by any code excited linear prediction (CELP)-type codec into a format compatible with selectable mode vocoder (SMV) via direct parameter transformation. The proposed algorithm performs rate selection using the CELP parameters. Simulation results show that while maintaining similar overal...

This document defines an operational semantics for activity diagrams (ADs) using a translation to SMV. The translation is inspired by the work of Eshuis [Esh06] and extends it with support for data. Each execution step of the SMV module obtained from an AD represents an executed action of this AD with interleaved execution of concurrent branches. An implementation of the given translation was u...

OBJECTIVES Studies on medical resource utilization (MRU) and related costs are important for evaluating the potential patient management and cost-effectiveness implications of antiviral treatments for hepatitis C virus (HCV) infection. The objectives of this study were (i) to compare the MRU and related costs for two treatment approaches; (ii) to identify the main drivers of resource use and co...

SOONG, M. M., and G. M. MILBRATH. 1980. Purification, partial characterization, and serological comparison of soybean mosaic virus and its coat protein. Phytopathology 70:388-391. An Illinois isolate of soybean mosaic virus (SMV-IL) was purified from frequent length of 675-750 nm. Infectious SMV RNA was separated from cultivar Kanrich soybean leaves, 16-18 days after inoculation by protein bydi...

The SMV system is a tool for checking nite state systems against speciications in the temporal logic CTL. The input language of SMV is designed to allow the description of nite state systems that range from completely synchronous to completely asynchronous, and from the detailed to the abstract. One can readily specify a system as a synchronous Mealy machine, or as an asychronous network of abs...

Resistance to Soybean mosaic virus (SMV; Genus Potyvirus; Family Potyviridae) in soybean (Glycine max [L.] Merr.) is controlled by single dominant genes at three distinct loci identified by genetic studies, molecular mapping, and responses to SMV pathotypes. The mechanism of resistance at the Rsv4 locus was investigated by tracking virus accumulation and movement over time. Soybean lines Peking...

BACKGROUND To analyze the midterm clinical results after stentless mitral valve (SMV) replacement. METHODS AND RESULTS Fifty one patients (68.3+/-8.4 years, 35 female) with severe mitral valve disease (stenosis 25, incompetence 17, mixed lesion 9) received a chordally supported SMV (Quattro, St. Jude Medical Inc.) since August 1997. Preoperative New York Heart Association class was 3.1+/-0.6;...

Soybean mosaic virus (SMV) and peanut mottle virus (PMV) are two potyviruses that cause yield losses and reduce seed quality in infested soybean (Glycine max (L.) Merr.) fields throughout the world. Rsv1 and Rpv1 are genes that provide soybean with resistance to SMV and PMV, respectively. Isolating and characterizing Rsv1 and Rpv1 are instrumental in providing insight into the molecular mechani...