Results 121 to 130 of about 11,532 (237)

SMV-2024-66: Cryotechnology for electron microscopy

The aim of the contract research was to evaluate the existing nitrogen cooling system for electron microscopes in TFS production in terms of cryotechnical design based on the documents supplied by TFS. Due to the limited scope of the dedicated SMV hours,
Urban, Pavel
core  

New DSP Benchmark based on Selectable Mode Vocoder (SMV)

, 2008
Digital signal processing (DSP) industry has been growing rapidly over the past few years; it remains the technology driver for the recovering semiconductor industry.
Bogong Su, Erh-wen Hu, Andrew T. Russo, Cyril S. Ku, Jian Wang   +4 more
core  

Implementation Of Standard Minute Value (SMV) to Achieve Bra Production Target at PT Globalindo Intimates

Standard Minute Value (SMV) is a method for measuring the standard time for completion of a production process in achieving production targets in accordance with a predetermined plan.
Atsilia, Shasna Aziizah, Isfianadewi, Dessy   +1 more
core   +1 more source

Integration of Samarium Vanadate/Halloysite Nanotubes: Electrochemical Determination of Furaltadone Using Flexible Electrode

Small Structures
In this study, a composite comprising a rare‐earth metal, samarium vanadate (SmVO4, SmV), anchored to halloysite nanotube (HNT) making SmV/HNT nanocomposite is synthesized for the sensitive electrochemical determination of furaltadone (FLD) through ...
Jayasmita Jana, Tata Sanjay Kanna Sharma, Beena Mol Babu, Sabah Ansar, Somnath Chowdhury, Balasubramanian Sriram, Sea‐Fue Wang, Sung Gu Kang, Jin Suk Chung, Won Mook Choi, Seung Hyun Hur   +10 more
doaj   +1 more source

Model Checking PSL using HOL and SMV

, 2008
. 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.
Reactive Systems Group, Mike Gordon, Klaus Schneider, Thomas Tuerk   +3 more
core  

An optimising SMV to CLP(B) compiler

, 2005
This thesis describes an optimising compiler for translating from SMV to CLP(B). The optimisation is aimed at reducing the number of required variables in order to decrease the size of the resulting BDDs. Also a partitioning of the transition relation is
Asplund, Mikael
core  

KETAHANAN VARIETAS/GENOTIPE KEDELAI UNGGUL TERHADAP SOYBEAN MOSAIC VIRUS (SMV) DAN Aphis glycines SEBAGAI VEKTOR

, 2013
Kebutuhan akan kedelai sebagai tanaman pangan utama setelah padi dan jagung di Indonesia pada setiap tahunnya terus meningkat, sementara produksi kedelai dalam negeri belum dapat mencukupi kebutuhan tersebut sehingga masih diperlukan impor kedelai ...
Satria
core   +1 more source

Genetic Analysis of Soybean Mosaic Virus (SMV) Resistance Genes in Soybean [Glycine max (L.) Merr.]

, 2016
Soybean mosaic virus (SMV) causes the most serious viral disease in soybean worldwide. Seven SMV strains, G1 - G7, and three independent multi-allelic loci for SMV resistance, Rsv1, Rsv3, and Rsv4, have been identified.
Klepadlo, Mariola
core  

Verifying VHDL Designs with Multiple Clocks in SMV

, 2006
. The paper considers the problem of model checking real-life VHDLbased hardware designs via their automated transformation to a model verifiable using the SMV model checker.
T. Vojnar, A. Smrčka
core  

Mistaken Identity: Superior Mesenteric Vein Syndrome Presenting as Superior Mesenteric Artery Syndrome. [PDF]

ACG Case Rep J
Patel P, Vinall A, Patel S, Kuwelker S, Katabathina V, Echavarria J.   +5 more
europepmc   +1 more source