Results 201 to 210 of about 11,532 (237)

SMV — Symbolic Model Checking

2001
SMV has been developed by K. L. McMillan under the guidance of E. M. Clarke at Carnegie-Mellon University (Pittsburgh, PA, USA). It performs (BDD-based) symbolic model checking of CTL formulae on networks of automata with shared variables. The tool is available via the Internet 1.
Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre Mckenzie   +7 more
openaire   +1 more source

Corrected TMJ tomography: Effectiveness of alternatives to SMV tracing

American Journal of Orthodontics and Dentofacial Orthopedics, 1991
An axial (SMV) radiograph has been widely used to determine parasagittal head position in TMJ tomograms. The purpose of this study was to investigate the efficacy of alternative anatomic methods for patient positioning in TMJ tomograms. The positioning methods studied included (1) rotation of the patient's head toward the film plane on the basis of the
R A, Danforth, L L, Otis, V, Kipnis, S H, Ong, R, Voss   +4 more
openaire   +2 more sources

The SMV algorithm selected by TIA and 3GPP2 for CDMA applications

2001 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.01CH37221), 2002
During the years 1999 and 2000, the Telecommunication Industry Association (TIA) and the 3rd Generation Partnership Project 2 (3GPP2), managed a competition and a selection process for a new speech coding standard for CDMA applications. The new speech coding standard, which is coined Selectable Mode Vocoder (SMV), will become a service option in CDMA ...
Yang Gao, Eyal Shlomot, Adil Benyassine, Jes Thyssen, Huan-yu Su, Carlo Murgia   +5 more
openaire   +1 more source

(SMV) and the SMV Resistance Gene ()

Crop Science, 2002
Gwen Koning, Dennis M. TeKrony, Said A. Ghabrial, Todd W. Pfeiffer   +3 more
openaire   +1 more source

SMV-forskning i syltekrukken

Erhvervs-Bladet, 2005
Udgivelsesdato: 26 ...
Poulfelt, Flemming, Mønsted, Mette
openaire   +1 more source

From Livingstone to SMV

2001
Charles Pecheur, Reid Simmons
openaire   +2 more sources

IFRS for SMV: Konsekvenser for danske virksomheder i ejendomsbranchen ved implementering af IFRS for SMV

2011
The purpose of our thesis is to analyse the significance of the implementation of IFRS for small and medium-sized businesses (SMEs) in the Danish real property industry.
Spure, Christina, Galsgaard, Regitze
openaire   +1 more source

Identification and fine-mapping of a genetic locus underlying soybean tolerance to SMV infections

Plant Science, 2020
Dagang Wang, Mengchen Zhang, Haijian Zhi   +2 more
exaly  

An Approach Converting XMI to SMV

International Journal of Security and Its Applications, 2015
Rongshang Chen, Jinyu Kai, Ming Xu, Lei Xiao   +3 more
openaire   +1 more source

Salicylic acid and broad spectrum of NBS-LRR family genes are involved in SMV-soybean interactions

Plant Physiology and Biochemistry, 2018
Qiqi Zhao, Hongyu Sun, Ruonan Yu
exaly