Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,059,347 papers from all fields of science
Search
Sign In
Create Free Account
act - Verification
Known as:
Verification
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
An Online Verification Framework for Motion Planning of Self-driving Vehicles with Safety Guarantees
Markus Koschi Christian Pek
,
M. Althoff
2019
Corpus ID: 181504441
Self-driving vehicles must be able to safely navigate in any traffic scenario. However, all situations are different; even when…
Expand
2017
2017
Concealment and verification over environmental regulations: a game-theoretic analysis
Dongryul Lee
,
K. Baik
2017
Corpus ID: 73678718
We consider a strategic situation in which a firm may conceal the illegal activity of violating environmental regulations and a…
Expand
2015
2015
Development and Verification of Nested PCR Assay for Detection of Tobacco rattle virus in Plant Quarantine
Si-Hyeon Lee
,
Jin-Young Lee
,
Su-Heon Lee
,
T. Ahn
2015
Corpus ID: 84373249
Tobacco rattle virus (TRV) is a plant pathogen belonging to the Group IV positive-sense single-stranded RNA viruses. TRV causes…
Expand
2011
2011
Verification of the effectiveness of SCAR (sequence characterized amplified region) primers for the identification of Polish strains of Fusarium culmorum and their potential ability to produce B…
A. Baturo-Cieśniewska
,
M. Suchorzyńska
Journal of food microbiology
2011
Corpus ID: 205251257
2009
2009
Ultracentrifugation of the virus of foot-and-mouth disease. III. Verification of the existence of two particles of different size carrying the complement-fixing antigen.
A. Randrup
Acta pathologica et microbiologica Scandinavica
2009
Corpus ID: 42850341
2008
2008
Extension and Experimental Verification of a New 'First Contact' Method to Model Performance of Multilayer Contact Interfaces
M. Myers
,
M. Leidner
,
H. Schmidt
,
H. Schlaak
Proceedings of the 54th IEEE Holm Conference on…
2008
Corpus ID: 39582478
As the connector industry moves towards the use of smaller and smaller contact designs, achievable contact normal forces have…
Expand
Review
2006
Review
2006
Verification of single-peptide protein identifications by the application of complementary database search algorithms.
James G Rohrbough
,
Linda A. Breci
,
Nirav C. Merchant
,
Susan Miller
,
P. Haynes
Journal of Biomolecular Techniques
2006
Corpus ID: 13549855
Data produced from the MudPIT analysis of yeast (S. cerevisiae) and rice (O. sativa) were used to develop a technique to validate…
Expand
2002
2002
Self-enhancement, self-verification or self-assessment? The intricate role of trait modifiability in the self-evaluation process
D. Dauenheimer
,
D. Stahlberg
,
Sandra Spreemann
,
C. Sedikides
2002
Corpus ID: 59466387
What is the interplay of three self-evaluation motives (i.e., self-enhancement, self-assessment, self-verification) in the…
Expand
2002
2002
Verification of the existence of human-induced horizontal forces due to vertical jumping
A. Pavic
,
Cheah Hung Yu
,
J. Brownjohn
,
P. Reynolds
2002
Corpus ID: 114839178
It is well known that jumping of humans on horizontal surfaces creates considerable dynamic forces in the vertical direction…
Expand
1991
1991
Verification of HTLV‐I Infection in the Solomon Islands by Virus Isolation and Gene Amplification
R. Yanagihara
,
A. Ajdukiewicz
,
V. Nerurkar
,
R. Garruto
,
D. Gajdusek
Japanese journal of cancer research : Gann
1991
Corpus ID: 13702844
We report the detection of human T‐lymphotropic virus type I (HTLV‐I) genomic sequences by polymerase chain reaction in…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE