Results 1 to 10 of about 11,532 (237)
Corrosion inhibition of carbon steel by sodium metavanadate [PDF]
Journal of Electrochemical Science and Engineering, 2012 The inhibition efficiency of sodium metavanadate (SMV)-adipic acid (AA) system in controlling corrosion of carbon steel in an aqueous solution containing 60 ppm of Cl- has been evaluated by weight-loss method; 250 ppm of SMV exhibits inhibition ...
VIJAYA GOPAL SRIBHARATHY +1 more
doaj +3 more sources
Molecular Plant-Microbe Interactions, 2013 The complex Rsv1 locus in soybean plant introduction (PI) ‘PI96983’ confers extreme resistance (ER) against Soybean mosaic virus (SMV) strain N but not SMV-G7 and SMV-G7d.
R.-H. Wen +4 more
doaj +1 more source
AMB Express, 2020 Soybean mosaic virus (SMV) is one of the most destructive viral diseases in soybean and causes severe reduction of soybean yield and destroys the seed quality.
Hexiang Luan +5 more
doaj +1 more source
Phylogenetic Analysis Using an SMV Tool
, 2011 The need for general methods to verify biological properties in phylogenetics motivates research in formal frameworks so that biologists can focus their efforts exclusively in evolution modeling and property specification. Model checking is proposed to this end.
José Ignacio Requeno +3 more
openaire +2 more sources
Electronic Journal of Plant Breeding, 2016 Soybean mosaic virus (SMV) disease is one of the major diseases of soybean globally that hampers soybean productivity. In India, SMV disease is gaining importance and there is a need to breed the soybean cultivars resistant to SMV.
S. K. Gupta and, J. G. Manjaya
doaj +1 more source
Combatting infectious diarrhea: innovations in treatment and vaccination strategies
Expert Review of VaccinesIntroduction The escalating prevalence of infectious diseases is an important cause of concern in society. Particularly in several developing countries, infectious diarrhea poses a major problem, with a high fatality rate, especially among young children.
Vivek P. Chavda +9 more
doaj +1 more source
Soybean Cytochrome b5 Is a Restriction Factor for Soybean Mosaic Virus
Viruses, 2019 Soybean mosaic virus (SMV) is one of the most destructive viral diseases in soybeans (Glycine max). In this study, an interaction between the SMV P3 protein and cytochrome b5 was detected by yeast two-hybrid assay, and bimolecular fluorescence ...
Hexiang Luan +3 more
doaj +1 more source
An Operational Semantics for Activity Diagrams using SMV
CoRR, 2014 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.
Shahar Maoz +2 more
openaire +2 more sources
An Agent-Mediated Knowledge Management System in Call Centers Using SMV and TROPOS
International Journal of Information and Communication Technology Research, 2009 Call centers have become one of the most cost effective ways of selling products to customers and giving services to them in different industries. By applying knowledge management solutions, we can meet call centers' challenges and gain benefits of ...
Kaveh Pashaei +2 more
doaj
Model Checking PSL Using HOL and SMV [PDF]
, 2007 In our previous work, we formally validated the correctness of a translation from a subset of Accellera's Property Specification Language (PSL) to linear temporal logic (LTL) using the HOL theorem prover. We also built an interface from HOL to the SMV model checker based on a formal translation of LTL to ω-automata.
Thomas Tuerk +2 more
openaire +1 more source