Formal Verification of Three-Valued Digital Waveforms by Nina Yu. Kutsak, Vladislav V. Podymov

Subjects: “…formal verification…”
Get full text

The value of source data verification in a cancer clinical trial. by Catrin Tudur Smith, Deborah D Stocken, Janet Dunn, Trevor Cox, Paula Ghaneh, David Cunningham, John P Neoptolemos

Get full text

VP_TT: A value propagation based equivalence checker for testability transformations by Ramanuj Chouksey, Sachin Kumar Maddheshiya, Chandan Karfa

“…Experimental results confirm the usefulness of VP_TT in the verification of testability transformations.…”
Get full text

Distribution of local curvature values as a structural feature for off-line handwritten signature verification by V. V. Starovoitov, U. Akhundjanov

“…A normalized histogram of distributions of local curvature values for 40 bins is formed. The frequency values recorded as a 40-dimensional vector are called the local curvature code of the signature.During verification, the proximity of signature pairs is determined by correlation between curvature codes and LBP codes described by the authors in [23]. …”
Get full text

Multiple-Valued Logic, Vocabulary Structure, and Linked List for Data Verification in Dialog Communications of Agents by Alexey Bykovsky

Subjects: “…data verification…”
Get full text

Functional Verification and Prognostic Value of Neutrophil Extracellular Trap-Related Genes in Pancreatic Cancer Progression by Jiaxin Xu, Liying Tu, Lijing Ma, Qisheng Tang, Yu Cao, Lihong Jiang

Get full text

Log traceability and supply-chain verification by DNA markers in Fagus sylvatica L. in Italy by Angela Teani, Giovanbattista de Dato

Get full text

The value of nucleoporin 188 in diagnosis, prognosis and immunoregulation: from pan-cancer analysis to gastric cancer verification by Zhengfeng Zhu, Ru Peng, Huanhuan Cai

Get full text

Verification of Coordinate Measuring Machine Using a Gauge Block by Tóth Teodor, Dovica Miroslav, Buša Ján, Buša Ján

Get full text

Make carbon footprints available – And it is not just one value by Ari Nissinen, Jyri Seppälä, Tero Heinonen

Get full text

VERIFICATION OF SUSPECTED PLAGIARISM/SELF-PLAGIARISM AND WITHDRAWAL OF DOCTORAL DEGREE. ANTI-PLAGIARISM PROGRAMS AND THE VALUE OF SIMILARITY REPORTS by Luminița-Sorina BAROȘ

Get full text

The Impact of Modifications in the Testing Method for Determining Lean Meat Content in Carcasses on Pig Slaughter Value in Poland by Dariusz Lisiak, Piotr Janiszewski, Karol Borzuta, Eugenia Grześkowiak, Krzysztof Powałowski, Łukasz Samardakiewicz, Beata Lisiak

Get full text

EMPIRICAL VERIFICATION OF THE STRUCTURAL MODEL RELATING EQUILIBRIUM VALUES OF COSTS, QUALITY, AND COMFORT OF MEDICAL SERVICES WITH INDIVIDUALIZED ELASTICITIES OF DEMAND by Oleg Klymenyuk, Oleksandr Ocheredko, Volodymyr Klymenyuk, Anastasiia Rudenko

“…The research aims at performing empirical verification of the structural model relating equilibrium values of costs, quality, and comfort of medical services with individualized elasticities of demand. …”
Get full text

Theoretical Analysis and Experimental Verification of Top Orthogonal to Bottom Arrays of Conducting Strips on Piezoelectric Slab by Jurij TASINKEVYCH, Ihor TROTS, Ryszard TYMKIEWICZ

Get full text

The diagnostic value of the p16ink marker for verification of tumors of unknown primary site in women with isolated lesion of inguinal lymph nodes. by О. V. Poslavska, I. S. Shponka, H. S. Babiy

Get full text

Verification Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova

“…It is the part of the intellectual system for supporting verification of behavioural properties of these processes. …”
Get full text

Verification-phase tests show low reliability and add little value in determining [Formula: see text]O2max in young trained adults. by Jonathan Wagner, Max Niemeyer, Denis Infanger, Timo Hinrichs, Clement Guerra, Christopher Klenk, Karsten Königstein, Christian Cajochen, Arno Schmidt-Trucksäss, Raphael Knaier

“…In 66% of the tests, performing the verification-phase added no value, while, in 32% and 2%, it added uncertain value and certain value, respectively, in the determination of [Formula: see text].…”
Get full text

Risk factors and diagnostic value of urinary N-terminal pro-brain natriuretic peptide for verification of heart failure in human immunodeficiency virus-infected patients by O. G. Goryacheva, N. A. Koziolova

“…To determine the risk factors and diagnostic value of urinary N-terminal probrain natriuretic peptide (NT-proBNP) for verification of heart failure in human immunodeficiency virus (HIV)-infected patientsMaterial and methods. …”
Get full text

Verification of Okun’s Law on Russian Data by Yu. K. Zaitsev

Get full text

Verification of Psychodiagnostic Capabilities of Handwritten Texts by Віталій Бочелюк, Микита Панов, Валентина Зайцева

Get full text