BACKGROUND Genetic resistance is the most effective and sustainable approach to the control of plant pathogens that are a major constraint to agriculture worldwide. In soybean, three dominant R genes, i.e., Rsv1, Rsv3 and Rsv4, have been identified and deployed against Soybean mosaic virus (SMV) with strain-specificities. Molecular identification of virulent determinants of SMV on these resista...

UNLABELLED Treatment guidance for chronic hepatitis C (CHC) released by the American Association for the Study of Liver Diseases (AASLD) and the Infectious Diseases Society of America (IDSA) offers two options for interferon (IFN)-ineligible/intolerant individuals with genotype 1 infection: sofosbuvir/ribavirin (SOF/RBV) for 24 weeks or sofosbuvir/simeprevir (SOF/SMV) for 12 weeks. A 24-week co...

We propose an algorithm for creating a semantics-based, parameterized translator from the family of big-step modeling languages (BSMLs) to the input language of the model checker SMV. Our translator takes as input a specification in the CHTS notation and a set of user-provided parameters that encode the specification’s semantics; it produces an SMV model suitable for model checking. We use a mo...

For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the combination of the CASE tool AutoFocus with the model checker SMV. AutoFocus provides graphical description techniques for system structure and behavior. In AutoFocus, data types are specified in a functional style, whil...

Soybean is the most important legume crop in the world. Several diseases in soybean lead to serious yield losses in major soybean-producing countries. Moreover, soybean can be infected by diverse viruses. Recently, we carried out a large-scale screening to identify viruses infecting soybean using available soybean transcriptome data. Of the screened transcriptomes, a soybean transcriptome for s...

Portal vein (PV) thrombosis (PVT) is a rare condition with development of thrombosis in the PV and its branches. Further extension to the splenic and superior mesenteric vein (SMV) causes intestinal infarction, with a reported mortality of up to 50%. A variety of treatments for PVT exist including anticoagulation, thrombolysis, surgical thrombectomy, insertion of shunts, bypass surgery, and liv...

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 ...

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...