Digital signal processing (DSP) industry has been growing rapidly over the past few years; it remains the technology driver for the recovering semiconductor industry. Performance evaluation is essential for the users and manufacturers of DSP processors. Since DSP application programs become larger and more complicated, people need new benchmarks for performance evaluation of different DSP proce...

Development of Web Applications (WA) needs new methods, techniques and tools to support an engineered project during all the phases of its life cycle. To ensure the reliability of WA it is important they be validated and verified at early design phase. We use Model Checking techniques to perform automated verification of the UML design of a WA. We propose a mathematical model of a WA partitioni...

Transient gene expression approaches are valuable tools for rapid introduction of genes of interest and characterization of their functions in plants. Although agroinfiltration is the most effectively and routinely used method for transient expression of multiple genes in various plant species, this approach has been largely unsuccessful in soybean. In this study, we engineered soybean mosaic v...

The nucleotide sequences of the coat protein genes and 3' non-coding regions of two aphid-transmissible isolates (G2 and G7) of soybean mosaic virus (SMV) were determined. The coat protein of the G2 isolate differs from that of the aphid non-transmissible N isolate by a single amino acid at position 12 (aspartic acid in N, glycine in G2 and G7). The G7 isolate differs from G2 and N at three and...

BOWERS, G. R., Jr., and R. M. GOODMAN. 1979. Soybean mosaic virus: Infection of soybean seed parts and seed transmission. Phytopathology 69: 569-572. The presence of soybean mosaic virus (SMV) (Illinois severe isolate) in cotyledons, and embryos from immature seeds of both Midwest and Merit. reproductive plant parts was compared in field-grown, manually inoculated In mature seeds, infectious vi...

BACKGROUND Studies have described the effects of segmental muscle vibration (SMV) on brain plasticity and corticomotor excitability. Information on the treatment-induced effects of SMV in stroke patients is, however, still limited. OBJECTIVES To assess whether the application of SMV to ankle dorsiflexor muscles of chronic stroke patients can improve walking. METHODS Forty-four patients were...

Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards an implementation, an executable specifications related in some fashion to the MSC-based requirements must be obtained. The MSCs can be used effectively to specify the bus protocol in the way where high-level transition...

This paper describes the rst results of a joint project between CMU and IRST whose goal is to produce a reimplementation of Smv. The idea is that this new model checker, called NuSmv, should be usable, customizable and extensible, with as little eeort as possible, also by people diierent from the developers. A further goal is to produce a system which is very robust, and close to the standards ...

Serotonin (5-HT, 5-hydroxytryptamine) reduces blood pressure of the conscious rat when administered chronically (1 week). 5-HT does not directly relax isolated arteries, and microsphere experiments in 5-HT-infused rats suggested that 5-HT increased flow to the splanchnic bed. We hypothesized that 5-HT increased splanchnic flow because of direct venous relaxation; our focus was thus on the super...

This study aimed to test the hypothesis that a segmental bioelectrical impedance (BI) analysis can predict whole body skeletal muscle (SM) volume more accurately than a whole body BI analysis. Thirty males (19-34 yr) participated in this study. They were divided into validation (n = 20) and cross-validation groups (n = 10). The BI values were obtained using two methods: whole body BI analysis, ...