Results of experimental investigations of aerodynamic characteristics of a sharp cone aimed at creating a validation basis for testing computer programs and models

Authors: Bosnyakov, S. M.^Aff1, Glazkov, S. A.^{Aff1, IDS0869864324050019_cor1}, Gorbushin, A. R.^{Aff1, IDS0869864324050019_cor2}, Gusev, D. Yu.^Aff1, Klemeshova, M. N.^Aff1, Krapivina, E. A.^Aff1, Mikhailov, S. V.^Aff1, Semenov, A. V.^Aff1, Shvalev, Yu. G.^Aff1

Source: Thermophysics and Aeromechanics. 31(5):915-928

Mission driven scene understanding: candidate model training and validation / by Arnold Tunick.

Authors: Tunick, Arnold

Subject Terms: Context-aware computing., Photography, Military -- Computer programs., Pattern recognition systems., Optical data processing., Content-based image retrieval., Artificial intelligence -- Military applications.

Online Access: https://purl.fdlp.gov/GPO/gpo124985
https://www.arl.army.mil/arlreports/2016/ARL-TN-0781.pdf
https://catalog.gpo.gov/fdlpdir/locate.jsp?ItemNumber=0324-A-03&SYS=001103807

Validation and modification of the 4SIGHT computer program / Kenneth A. Snyder.

Authors: Snyder, Kenneth A.

Online Access: https://purl.fdlp.gov/GPO/gpo95601
https://doi.org/10.6028/NIST.IR.6747
https://www.govinfo.gov/content/pkg/GOVPUB-C13-1eac22770b97504f6f4ca33333e76b96/pdf/GOVPUB-C13-1eac22770b97504f6f4ca33333e76b96.pdf

Security content automation protocol (SCAP) version 1.2 validation program test requirements : / John F. Banghart.

Subject Terms: Computer systems technology.

Online Access: https://purl.fdlp.gov/GPO/gpo101179
https://doi.org/10.6028/NIST.IR.7511
https://www.govinfo.gov/content/pkg/GOVPUB-C13-9ecd8eae582935c93d7f410e955dabb6/pdf/GOVPUB-C13-9ecd8eae582935c93d7f410e955dabb6.pdf

SootImage: An image recreation, post-processing validation procedure for sooting axisymmetric flames

Authors: Chernov, V. ^{a, ⁎}, Escudero, F. ^b, Cruz, J.J. ^{c, b}, Eaves, N.A. ^d, Fuentes, A. ^b

Source: In Computer Physics Communications July 2024 300

Verification and validation of the open-source plasma fluid code: Zapdos

Authors: DeChant, Corey ^{a, ⁎}, Icenhour, Casey ^{a, b}, Keniley, Shane ^c, Gall, Grayson ^a, Lindsay, Alexander ^b, Curreli, Davide ^c, Shannon, Steven ^a

Source: In Computer Physics Communications October 2023 291

Independent verification and validation (computer programs)

Authors: Krauskopf, R., Rash, F.

Source: IEEE Potentials Potentials, IEEE. 9(2):12-14 Apr, 1990

Introduction to Machine Learning

Source: Machine Learning for Civil and Environmental Engineers. Apr 04, 2025

Validation of computer programs in geotechnical design

Authors: Bond, Andrew, primary

Source: Geotechnical Engineering for Transportation Infrastructure. 2017/11/22

Computer Science and Technology: Validation, Verification, and Testing for the Individual Programmer.

Authors: Branstad, Martha A., National Bureau of Standards (DOC), Washington, DC. Inst. for Computer Sciences and Technology.

Peer Reviewed: N

Page Count: 26

Descriptors: Computer Programs, Design, Evaluation Methods, Evaluation Needs, Formative Evaluation, Guidelines, Program Development, Program Evaluation, Program Validation, Programing, Testing

Geographic Terms: U.S.; District of Columbia

Journal Code: RIEFEB1981

A procedure for PLC programs validation

Authors: Gergely, E. I., Popentiu-Vladicescu, Fl., Madsen, H., Mang, G.E., Nagy, Z. T., Spoiala, D.

Source: 2009 3rd International Workshop on Soft Computing Applications Soft Computing Applications, 2009. SOFA '09. 3rd International Workshop on. :171-176 Jul, 2009

Relation: 2009 3rd International Workshop on Soft Computing Applications (SOFA)

An Innovative Heuristic to Detect Special States in Concurrent Software Systems.

Authors: Pira, Einollah, Rouhi, Alireza

Source: Quality & Reliability Engineering International; Dec2025, Vol. 41 Issue 8, p3686-3697, 12p

Subject Terms: Heuristic, Verification of computer systems, Software development tools, Computer performance, State-space methods, Software validation, Parallel programs (Computer programs)

Comparisons of Asphalt Pavement Structure Interlayer Bonding Algorithms for Typical Computer Programs

Authors: Babiker, Lana Elabbas Abdelhaliem^{Aff1, Aff2, Aff3}, Jiang, Xin^{Aff1, Aff2, Aff3, IDs42947025006639_cor1}, Zhang, Mian^{Aff1, Aff2, Aff3}, Cui, Canyang^{Aff1, Aff2, Aff3}, Lu, Yangchen^{Aff1, Aff2, Aff3}, Qiu, Yanjun^{Aff1, Aff2, Aff3}

Source: International Journal of Pavement Research and Technology. :1-19

Integration and validation of the DEROB and PASOLE computer programs for the simulation of passive solar heating and cooling of buildings. Final report

Contributors: Arumi-Noe, F

File Description: Medium: ED; Size: Pages: 4

Access URL: http://www.osti.gov/scitech/servlets/purl/6825343

Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs.

Authors: Ozdemir, Alex, Wahby, Riad S., Brown, Fraser, Barrett, Clark

Source: Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p161-188, 28p

Subject Terms: Finite fields, Compilers (Computer programs), Software validation, Encryption protocols

Validation of Scientific Programs.

Authors: Howden, William E.¹

Source: ACM Computing Surveys. Jun82, Vol. 14 Issue 2, p193-227. 35p.

Subject Terms: *Computer software, *Computer software development, Software validation, FORTRAN, Errors, Debugging

Theory-Based Interactive Mathematics Instruction: Development and Validation of Computer-Video Modules.

Authors: Henderson, Ronald W., California Univ., Santa Cruz.

Peer Reviewed: N

Page Count: 99

Sponsoring Agency: National Science Foundation, Washington, DC.

Descriptors: Academic Achievement, Affective Objectives, Computer Assisted Instruction, Computer Oriented Programs, Computer Programs, Fractions, High Schools, Material Development, Mathematics Education, Mathematics Instruction, Mathematics Skills, Microcomputers, Performance Factors, Prime Numbers, Secondary School Mathematics, Student Attitudes, Videodisc Recordings

The Validation of a Synthetic Syllable Count Appropriate for Computer-Determined Readability Estimates.

Authors: Hopkins, Carol J., Moe, Alden J.

Peer Reviewed: N

Page Count: 26

Descriptors: Computer Programs, Computers, Elementary Secondary Education, Higher Education, Readability, Reading Research, Syllables

Journal Code: RIEFEB1976

Leading perturbative four-body theories for direct and inverse ion-atom and atom-atom single charge exchange collisions: Usage of detailed balance principle in various computational cross-validations

Authors: Mančev, I. ^{a, ⁎}, Milojević, N. ^a, Belkić, Dž. ^{b, c}

Source: In Atomic Data and Nuclear Data Tables August 2026 171

Application of the CIE test cases to assess the accuracy of lighting computer programs

Authors: Maamari, F. ^⁎, Fontoynont, M., Adra, N. ¹

Source: In Energy & Buildings 2006 38(7):869-877