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

Συγγραφείς: 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

Πηγή: Thermophysics and Aeromechanics. 31(5):915-928

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

Συγγραφείς: Tunick, Arnold

Θεματικοί όροι: Context-aware computing., Photography, Military -- Computer programs., Pattern recognition systems., Optical data processing., Content-based image retrieval., Artificial intelligence -- Military applications.

Διαθέσιμο Online: 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.

Συγγραφείς: Snyder, Kenneth A.

Διαθέσιμο Online: 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.

Θεματικοί όροι: Computer systems technology.

Διαθέσιμο Online: 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

Συγγραφείς: Chernov, V. ^{a, ⁎}, Escudero, F. ^b, Cruz, J.J. ^{c, b}, Eaves, N.A. ^d, Fuentes, A. ^b

Πηγή: In Computer Physics Communications July 2024 300

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

Συγγραφείς: DeChant, Corey ^{a, ⁎}, Icenhour, Casey ^{a, b}, Keniley, Shane ^c, Gall, Grayson ^a, Lindsay, Alexander ^b, Curreli, Davide ^c, Shannon, Steven ^a

Πηγή: In Computer Physics Communications October 2023 291

Independent verification and validation (computer programs)

Συγγραφείς: Krauskopf, R., Rash, F.

Πηγή: IEEE Potentials Potentials, IEEE. 9(2):12-14 Apr, 1990

Introduction to Machine Learning

Πηγή: Machine Learning for Civil and Environmental Engineers. Apr 04, 2025

Validation of computer programs in geotechnical design

Συγγραφείς: Bond, Andrew, primary

Πηγή: Geotechnical Engineering for Transportation Infrastructure. 2017/11/22

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

Συγγραφείς: 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

Γεωγραφικοί όροι: U.S.; District of Columbia

Journal Code: RIEFEB1981

A procedure for PLC programs validation

Συγγραφείς: Gergely, E. I., Popentiu-Vladicescu, Fl., Madsen, H., Mang, G.E., Nagy, Z. T., Spoiala, D.

Πηγή: 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.

Συγγραφείς: Pira, Einollah, Rouhi, Alireza

Πηγή: Quality & Reliability Engineering International; Dec2025, Vol. 41 Issue 8, p3686-3697, 12p

Θεματικοί όροι: 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

Συγγραφείς: 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}

Πηγή: 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

Συνεισφορές: Arumi-Noe, F

Περιγραφή αρχείου: Medium: ED; Size: Pages: 4

Σύνδεσμος πρόσβασης: http://www.osti.gov/scitech/servlets/purl/6825343

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

Συγγραφείς: Ozdemir, Alex, Wahby, Riad S., Brown, Fraser, Barrett, Clark

Πηγή: Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p161-188, 28p

Θεματικοί όροι: Finite fields, Compilers (Computer programs), Software validation, Encryption protocols

Validation of Scientific Programs.

Συγγραφείς: Howden, William E.¹

Πηγή: ACM Computing Surveys. Jun82, Vol. 14 Issue 2, p193-227. 35p.

Θεματικοί όροι: *Computer software, *Computer software development, Software validation, FORTRAN, Errors, Debugging

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

Συγγραφείς: 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.

Συγγραφείς: 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

Συγγραφείς: Mančev, I. ^{a, ⁎}, Milojević, N. ^a, Belkić, Dž. ^{b, c}

Πηγή: In Atomic Data and Nuclear Data Tables August 2026 171

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

Συγγραφείς: Maamari, F. ^⁎, Fontoynont, M., Adra, N. ¹

Πηγή: In Energy & Buildings 2006 38(7):869-877