Results 141 to 150 of about 8,098 (194)
, 2008 Some of the next articles are maybe not open access.
Related searches:
Related searches:
Generating the Variety of SMV-Algebras
2010 40th IEEE International Symposium on Multiple-Valued Logic, 2010In this paper we show that the variety of SMV-algebras is generated by those algebras we call hyper real tensorial SMV-algebras. These are the SMV-algebras that can be defined by an MV-algebra A, and a hyper real state, i.e. a normalized and additive map s* : A → [0, 1]* .
Tommaso Flaminio, Antonio Di Nola
exaly +2 more sources
Plant Biotechnology Reports, 2013
Soybean mosaic virus (SMV), a species of the Potyvirus genus in the Potyviridae family, is one of the most typical viral diseases and results in yield and quality loss of cultivated soybean. Due to the depletion of genetic resources for resistance breeding, a trial of genetic transformation to improve disease resistance has been performed by ...
Ho Won Jung +2 more
exaly +2 more sources
Soybean mosaic virus (SMV), a species of the Potyvirus genus in the Potyviridae family, is one of the most typical viral diseases and results in yield and quality loss of cultivated soybean. Due to the depletion of genetic resources for resistance breeding, a trial of genetic transformation to improve disease resistance has been performed by ...
Ho Won Jung +2 more
exaly +2 more sources
Dilated SMV in Colon Cancer—Is There any Significance
Journal of Gastrointestinal Cancer, 2011Changes in splanchnic circulation have been seen in patients with colorectal cancer. We have previously reported that the inferior mesenteric vein is dilated in rectal cancer. We wanted to assess whether the superior mesenteric vein (SMV) is dilated in right-sided colon cancer.From a colorectal database, three cohorts were formed: right colon cancer ...
Rajesh Botchu, Botchu Rajesh
exaly +3 more sources
Chocolat/SMV: A Translator from CafeOBJ into SMV
Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005Chocolat/SMV is a translator that takes a CafeOBJ specification of a transition system called an OTS and generates an SMV specification of a finite version of the OTS. The primary purpose of the translation is to find errors lurked in CafeOBJ specifications of OTSs with SMV.
Kazuhiro Ogata 0001 +3 more
openaire +1 more source
SMV School: A Relook at Recruitment and Retention Strategies
Asian Journal of Management Cases, 2023Cases in educational institutions, especially in schools, are relatively scarce. This case is about SMV School and is unique in the sense that it discusses the administration from a management perspective. The school needs help managing its most important resource: teachers.
Sen, S, Mehta, PP
openaire +2 more sources
Verify UML statecharts with SMV
Wuhan University Journal of Natural Sciences, 2001Formal verification has been widely needed in the development of safety critical systems. In order to introduce the design verification activity in UML developing process, we have developed a verifier of UML Statecharts by using the model checker SMV.
Chen Hai-yan +3 more
openaire +1 more source
SMV: Selective Multi-Versioning STM
2011We present Selective Multi-Versioning (SMV), a new STM that reduces the number of aborts, especially those of long read-only transactions. SMV keeps old object versions as long as they might be useful for some transaction to read. It is able to do so while still allowing reading transactions to be invisible by relying on automatic garbage collection to
Dmitri Perelman +3 more
openaire +1 more source
Medarbejderaktieordninger i SMV
2022The purpose of this master’s thesis is to clarify opportunities and challenges regarding employee stock purchase plans in SMEs’. The theoretical view is amongst other things, based on the principal-agent. The theory is relevant for this master’s thesis because the stakeholders want their employees to make decisions in a greater extent of their interest
Jensen, Rasmus +1 more
openaire +1 more source
2021
Soybean (Glycine max) is a species of legume widely grown for its edible bean which has numerous uses. It got its origin in China from where it migrated to Korea and then to Europe and America. The present study highlights the variation of susceptibility of Soybean plants to mild and severe SMV strains when treated at various temperatures before and ...
Nirmala Koranga +1 more
openaire +1 more source
Soybean (Glycine max) is a species of legume widely grown for its edible bean which has numerous uses. It got its origin in China from where it migrated to Korea and then to Europe and America. The present study highlights the variation of susceptibility of Soybean plants to mild and severe SMV strains when treated at various temperatures before and ...
Nirmala Koranga +1 more
openaire +1 more source