Sage Journals: Discover world-class research

Free access

Other

First published 2011-10

A Simple Method for Validation and Verification of Pipettes Mounted on Automated Liquid Handlers

Michael Stangegaard, Anders J. Hansen, Tobias G. Frøslev [...]

Journal of Laboratory Automation

Retricted access

Research article

First published 2002-3

Formal Verification of Human-Automation Interaction

Asaf Degani, Michael Heymann

Human Factors: The Journal of the Human Factors and Ergonomics Society

Retricted access

Research article

First published 2008-1

Automated Vehicle Occupancy Verification Systems

David Ungemah, John Lowery, John Wikander [...]

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 1996-10

Automation Bias,Accountability,and Verification Behaviors

Kathleen L. Mosier, Linda J. Skitka, Mark D. Burdick [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Open access

Research article

First published 2025-11

PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL

Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim D Brucker [...]

Journal of Computer Security

Open access

Research article

First published 2015-9

Automated Verification Methodology of Security Events Based on Heuristic Analysis

Jungsuk Song, Younsu Lee, Kyuil Kim [...]

International Journal of Distributed Sensor Networks

Free access

Research article

First published 2020-9

A KNIME Workflow for Automated Structure Verification

James A. Lumley, Gary Sharman, Thomas Wilkin [...]

Journal of Biomolecular Screening

Retricted access

Research article

First published 2025-8

Development of Chimp Optimization Algorithm and Adaptive Shuffle Attention Net for Automated Bank Cheque and Signature Verification

Rajashekar Salagar, Pushpa B Patil

Web Intelligence

Retricted access

Research article

First published 2007-1

Automated Consensus-Based Data Verification in Caltrans Detector Testbed

C. Arthur MacCarley, John Slonaker

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Other

First published 2007-10

Reliance on Automation as a Function of Expectation of Reliability,Cost of Verification,and Age

Neta Ezer, Arthur D. Fisk, Wendy A. Rogers

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Search results