verification mode - PMC

Ioannis D Gallos, Argyro Papadopoulou, Rebecca Man, Nikolaos Athanasopoulos, Aurelio Tobias, Malcolm J Price, Myfanwy J Williams, Virginia Diaz, Julia Pasquale, Monica Chamillard, Mariana Widmer, Özge Tunçalp, G Justus Hofmeyr, Fernando Althabe, Ahmet Metin Gülmezoglu, Joshua P Vogel, Olufemi T Oladapo, Arri Coomarasamy, Cochrane Pregnancy and Childbirth Group

Cochrane Database Syst Rev. 2018; 2018(12): CD011689. Published online 2018 Dec 19. doi: 10.1002/14651858.CD011689.pub3

PMCID:: PMC6388086

Abstract Article PDF–10M

Select item 94600004.

On the Design and Implementation of the External Data Integrity Tracking and Verification System for Stream Computing System in IoT

Hongyuan Wang, Baokai Zu, Wanting Zhu, Yafang Li, Jingbang Wu

Sensors (Basel) 2022 Sep; 22(17): 6496. Published online 2022 Aug 29. doi: 10.3390/s22176496

PMCID:: PMC9460000

Abstract Article PDF–2.4M

Select item 77998565.

Verification-phase tests show low reliability and add little value in determining equation M1

O₂max in young trained adults

Jonathan Wagner, Max Niemeyer, Denis Infanger, Timo Hinrichs, Clement Guerra, Christopher Klenk, Karsten Königstein, Christian Cajochen, Arno Schmidt-Trucksäss, Raphael Knaier

PLoS One. 2021; 16(1): e0245306. Published online 2021 Jan 11. doi: 10.1371/journal.pone.0245306

PMCID:: PMC7799856

Abstract Article PDF–1.2M

Select item 109823826.

Benefit analysis of the auto-verification system of intelligent inspection for microorganisms

Yu-Hsiang Ou, Yung-Ta Chang, Ding-Ping Chen, Chun-Wei Chuang, Kuo-Chien Tsao, Chiu-Hsiang Wu, An-Jing Kuo, Huey-Ling You, Chung-Guei Huang

Front Microbiol. 2024; 15: 1334897. Published online 2024 Mar 18. doi: 10.3389/fmicb.2024.1334897

PMCID:: PMC10982382

Abstract Article PDF–3.2M

Select item 92504467.

Deformation Adjustment with Single Real Signature Image for Biometric Verification Using CNN

Rakesh Kumar, Mala Saraswat, Danish Ather, Muhammad Nasir Mumtaz Bhutta, Shakila Basheer, R. N. Thakur

Comput Intell Neurosci. 2022; 2022: 4406101. Published online 2022 Jun 25. doi: 10.1155/2022/4406101

Retraction in:: Comput Intell Neurosci. 2023; 2023: 9803869.

PMCID:: PMC9250446

Abstract Article

Select item 57210978.

The Maximal Oxygen Uptake Verification Phase: a Light at the End of the Tunnel?

Gustavo Z. Schaun

Sports Med Open. 2017 Dec; 3: 44. Published online 2017 Dec 8. doi: 10.1186/s40798-017-0112-1

PMCID:: PMC5721097

Abstract Article PDF–1.2M

Select item 86703739.

Kinship verification and recognition based on handcrafted and deep learning feature-based techniques

Nermeen Nader, Fatma El-Zahraa El-Gamal, Shaker El-Sappagh, Kyung Sup Kwak, Mohammed Elmogy

PeerJ Comput Sci. 2021; 7: e735. Published online 2021 Dec 6. doi: 10.7717/peerj-cs.735

PMCID:: PMC8670373

Abstract Article PDF–37M

Select item 747204610.

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking

Aaditya Prakash Chouhan, Gourinath Banda

Sensors (Basel) 2020 Aug; 20(16): 4506. Published online 2020 Aug 12. doi: 10.3390/s20164506

PMCID:: PMC7472046

Abstract Article PDF–824K

Select item 757081411.

Formal Verification of Control Modules in Cyber-Physical Systems

Iwona Grobelna

Sensors (Basel) 2020 Sep; 20(18): 5154. Published online 2020 Sep 10. doi: 10.3390/s20185154

PMCID:: PMC7570814

Abstract Article PDF–2.4M

Select item 1022013012.

The verification of wildland–urban interface fire evacuation models

E. Ronchi, J. Wahlqvist, A. Ardinge, A. Rohaert, S. M. V. Gwynne, G. Rein, H. Mitchell, N. Kalogeropoulos, M. Kinateder, N. Bénichou, E. Kuligowski, A. Kimball

Nat Hazards (Dordr) 2023; 117(2): 1493–1519. Published online 2023 Mar 28. doi: 10.1007/s11069-023-05913-2

PMCID:: PMC10220130

Abstract Article PDF–1.9M

Select item 1042248013.

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic

Wesley R. Bezerra, Jean E. Martina, Carlos B. Westphall

Sensors (Basel) 2023 Aug; 23(15): 6933. Published online 2023 Aug 3. doi: 10.3390/s23156933

PMCID:: PMC10422480

Abstract Article PDF–786K

Select item 1041181314.

Recommendations for finite element modelling of nickel-titanium stents—Verification and validation activities

Martina Bernini, Rudolf Hellmuth, Craig Dunlop, William Ronan, Ted J. Vaughan

PLoS One. 2023; 18(8): e0283492. Published online 2023 Aug 9. doi: 10.1371/journal.pone.0283492

PMCID:: PMC10411813

Abstract Article PDF–5.1M

Select item 805114515.

Object-based verification of a prototype Warn-on-Forecast system

Patrick S. Skinner, Dustan M. Wheatley, Kent H. Knopfmeier, Anthony E. Reinhart, Jessica J. Choate, Thomas A. Jones, Gerald J. Creager, David C. Dowell, Curtis R. Alexander, Therese T. Ladwig, Louis J. Wicker, Pamela L. Heinselman, Patrick Minnis, Rabindra Palikonda

Weather Forecast. Author manuscript; available in PMC 2021 Apr 16.

Published in final edited form as: Weather Forecast. 2018 Oct; 33(5): 1225–1250. Published online 2018 Oct 1. doi: 10.1175/WAF-D-18-0020.1

PMCID:: PMC8051145

Abstract Article PDF–6.0M

Select item 882911516.

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal

Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao

Front Robot AI. 2021; 8: 639282. Published online 2022 Jan 27. doi: 10.3389/frobt.2021.639282

PMCID:: PMC8829115

Abstract Article PDF–2.9M

Select item 788484417.

Web of lies: a tool for determining the limits of verification in preventing the spread of false information on networks

Kinga Makovi, Manuel Muñoz-Herrera

Sci Rep. 2021; 11: 3845. Published online 2021 Feb 15. doi: 10.1038/s41598-021-82844-7

Correction in:: Sci Rep. 2021; 11: 15758.

PMCID:: PMC7884844

Abstract Article PDF–1.0M

Select item 827199418.

Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents

Wiktor B. Daszczuk

Sensors (Basel) 2021 Jul; 21(13): 4541. Published online 2021 Jul 2. doi: 10.3390/s21134541

PMCID:: PMC8271994

Abstract Article PDF–6.2M

Select item 782743519.

Quantification and Verification of Cardiorespiratory Fitness in Adults with Prehypertension

Dharini M. Bhammar, Lung-Chang Chien

Sports (Basel) 2021 Jan; 9(1): 9. Published online 2021 Jan 11. doi: 10.3390/sports9010009

PMCID:: PMC7827435

Abstract Article PDF–283K

Select item 1014624420.

Contactless Size Reference in Forensic Photography—Design and Verification of the Novel FreeRef-1 System

Luuk A. H. Schiks, Maura Cook, Laurentius R. Lipman, Arjan P. van Dijke, Kim Hutchinson, Paul van den Hoven, Arjo J. Loeve

Sensors (Basel) 2023 Apr; 23(8): 3790. Published online 2023 Apr 7. doi: 10.3390/s23083790

PMCID:: PMC10146244

Abstract Article PDF–15M

<< First< Prev

Page of 4220

Next >Last >>

Supplemental Content

Filter your results:

Manage Filters

PMC Images search for verification mode

Figure 4

Partial Least Squares Discriminant Analysis (PLS-DA) analysis of intestinal contents. (A) PLS-DA scores plots depicting obvious difference between the Lactobacillus rhamnosus GG (LGG)-1 group and the natural recovery (NR)-1 group in positive ion mode. (B) PLS-DA scores plots depicting obvious difference between the LGG-1 group and the NR-1 group in negative ion mode. (C) PLS-DA scores plots depicting obvious difference between the LGG-2 group and the β-CG group in positive ion mode. (D) PLS-DA scores plots depicting obvious difference between the LGG-2 group and the β-CG group in negative ion mode. (E) Sorting verification chart depicting obvious difference between the LGG-1 group and the NR-1 group in positive ion mode. (F) Sorting verification chart depicting obvious difference between the LGG-1 group and the NR-1 group in negative ion mode. (G) Sorting verification chart depicting obvious difference between the LGG-2 group and the β-CG group in positive ion mode. (H) Sorting verification chart depicting obvious difference between the LGG-2 group and the β-CG group in negative ion mode.

Lactobacillus rhamnosus GG Reduces β-conglycinin-Allergy-Induced Apoptotic Cells by Regulating Bacteroides and Bile Secretion Pathway in Intestinal Contents of BALB/c Mice

Nutrients. 2021 Jan;13(1):55.
FIGURE 4

OPLS-DA model verification. (A) Verification diagram of the corresponding grouping OPLSDA model in the positive ion mode; (B) verification diagram of the corresponding grouping OPLSDA model in the negative ion mode.

Metabonomic Characteristics of Myocardial Diastolic Dysfunction in Type 2 Diabetic Cardiomyopathy Patients

Front Physiol. 2022;13:863347.
Figure 7

PLS-DA sorting verification diagram ((A): positive mode; (B): negative mode). The scores for R2 and Q2 make up the ordinate, while the abscissa represents the correlation between the original grouping Y and the random grouping Y.

Metabolomic Analysis and MRM Verification of Coarse and Fine Skin Tissues of Liaoning Cashmere Goat

Molecules. 2022 Sep;27(17):5483.
Figure 8

Receiver operating characteristic (ROC) curves and measurements of the area under the curve (AUC) as a means of evaluating model accuracy. (a) 3-year AUC in standard mode. (b) 5-year AUC in standard mode. (c) 3-year AUC in verification mode. (d) 5-year AUC in verification mode.

Epidemiological Analysis and Prognosis of Conjunctival Cancer in the Past Twenty Years: A Population-Based Retrospective Study Using SEER Data

Biomed Res Int. 2020;2020:1203938.