Sage Journals: Discover world-class research

Retricted access

Research article

First published 2004

Development of a High-Level Algorithm Verification and Validation Procedure for Traffic Microsimulation Models

David Reinke, Richard Dowling, Robert Hranac [...]

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2021

Development of an Artificial Neural Network-Based Procedure for the Verification of Traffic Speed Deflectometer Measurements

Hossam Abohamer, Mostafa A. Elseifi, Zia U. A. Zihan [...]

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Review article

First published 2000-7

Digital Human Modelling Systems: A Procedure for Verification and Validation Using the F-16 Crew Station

Jeffrey A. Hudson, Aernout Oudenhuijzen, Gregory F. Zehner

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2015-11

Numerical determination of reliability in probabilistic design

Dobrivoje M Catic, Ruzica R Nikolic, Jasna D Glisovic

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 1991-9

Verification Procedures for Non-Staff News Items

Lamar W. Bridges, Janet A. Bridges

News Research Journal

Retricted access

Other

First published 2011-3

Experimental verification of the damage localization procedure based on modal filtering

Krzysztof Mendrok, Tadeusz Uhl

Structural Health Monitoring

Retricted access

Research article

First published 1992-12

Numerical Verification of a Procedure for Calculation of Elastic Constants in Microcracking Composite Laminates

Peter Gudmundson, Sören Östlund

Journal of Composite Materials

Retricted access

Other

First published 2006-2

Efficient decision procedures for the integration of planning and formal verification in advanced systems

Marco Maratea

The European Journal on Artificial Intelligence

Free access

Research article

First published 2017-03

Validation and Verification of Steam Sterilization Procedures for the Decontamination of Biological Waste in a Biocontainment Laboratory

Jeremy J. Bearss, Shelley P. Honnold, Edwin S. Picado [...]

Applied Biosafety

Retricted access

Research article

First published 2022-03

Ultrasound Verification of Laparoscopic-Assisted Transversus Abdominis Plane Blocks in Children Undergoing Laparoscopic Procedures

Jordan S. Taylor, R.J. Ramamurthi, John Austin [...]

Journal of Laparoendoscopic & Advanced Surgical Techniques

Search results