Large language models are comparable with commonly used statistical software: A validation of GPT 5.1 for frequentist meta‐analysis in orthopaedics.

Συγγραφείς: Salzmann, Mikhail^1,2 (AUTHOR) m.salzmann@uk-brandenburg.de, Ramadanov, Nikolai^1,2 (AUTHOR) nikolai.ramadanov@gmail.com, Prill, Robert^1,2 (AUTHOR), Hable, Robert³ (AUTHOR), Becker, Roland^1,2 (AUTHOR)

Πηγή: Knee Surgery, Sports Traumatology, Arthroscopy. Aug2026, Vol. 34 Issue 8, p3002-3010. 9p.

Θεματικοί όροι: *ChatGPT, *Software validation, *Language models, *Orthopedics, *Heterogeneity, *Mathematical statistics, *Random effects model

Design and evaluation of testing protocols for rectangularly discretized ground-water simulation models, The

Συγγραφείς: Kanzer, David A.

Συνεισφορές: Turner, A. Keith, 1941-

Θεματικοί όροι: Groundwater flow -- Computer programs, Computer programs -- Testing, Computer programs -- Validation

Περιγραφή αρχείου: masters theses; application/pdf

Relation: 1990-1999 - Mines Theses & Dissertations; T 4570; https://hdl.handle.net/11124/175487

Διαθεσιμότητα: https://hdl.handle.net/11124/175487

VDA-SDLC: Validation-Driven Adaptive Agentic Software Development Life Cycle Framework for Autonomous Software Engineering.

Συγγραφείς: K., Deepthi¹, Chalageri, Sunita¹

Πηγή: International Scientific Journal of Engineering & Management. May2026, Vol. 5 Issue 5, p1-6. 6p.

Θεματικοί όροι: *Intelligent agents, Software validation, Automation software, Language models, Multiagent systems, Code generators, Requirements engineering

SomatoMetrics: Validity and Reliability of a Next-Generation Program Providing High Accuracy in Numerical, Categorical, and Graphical Somatotype Assessment.

Συγγραφείς: Kaya, Seren¹ (AUTHOR), Şenol, Deniz¹ (AUTHOR) denizanatomi@gmail.com

Πηγή: Measurement in Physical Education & Exercise Science. Mar2026, p1-11. 11p. 5 Illustrations.

Θεματικοί όροι: *Software validation, *Test validity, *Data analysis, *Anthropometry, *Statistical reliability, *Somatotypes

Evaluating Spanish Translations of Emergency Department Discharge Instructions by a Large Language Model: Tool Validation and Reliability Study.

Συγγραφείς: Carreras Tartak JA; Department of Emergency Medicine, Beth Israel Deaconess Medical Center, Boston, MA, United States., Brewster RC; Department of Pediatrics, Beth Israel Deaconess Medical Center, Boston, MA, United States., Arango Isaza D; Department of Medicine, Beth Israel Deaconess Medical Center, Boston, MA, United States., Berumen Martinez A; Department of Medicine, Beth Israel Deaconess Medical Center, Boston, MA, United States., Grafals A; Department of Emergency Medicine, Beth Israel Deaconess Medical Center, Boston, MA, United States., Adusumilli P; Department of Technology and Innovation, Beth Israel Lahey Health, Boston, MA, United States., Fitzgerald T; Department of Technology and Innovation, Beth Israel Lahey Health, Boston, MA, United States., Orcutt R; Department of Emergency Medicine, Beth Israel Deaconess Medical Center, Boston, MA, United States., Nathanson LA; Department of Emergency Medicine, Beth Israel Deaconess Medical Center, Boston, MA, United States., Haimovich AD; Department of Emergency Medicine, Beth Israel Deaconess Medical Center, Boston, MA, United States.

Πηγή: JMIR formative research [JMIR Form Res] 2026 Jan 12; Vol. 10, pp. e79676. Date of Electronic Publication: 2026 Jan 12.

Τύπος έκδοσης: Evaluation Study; Journal Article; Validation Study

Στοιχεία περιοδικού: Publisher: JMIR Publications Country of Publication: Canada NLM ID: 101726394 Publication Model: Electronic Cited Medium: Internet ISSN: 2561-326X (Electronic) Linking ISSN: 2561326X NLM ISO Abbreviation: JMIR Form Res Subsets: MEDLINE

Ιατρικοί όροι (MeSH): Patient Discharge Summaries*/standards , Large Language Models*/standards , Software Validation* , Emergency Service, Hospital* , Translating*, Reproducibility of Results ; Translations ; Humans ; Medical Interpreting ; Feasibility Studies

Reactor Physics Modeling Challenges for the FLEX Reactor.

Συγγραφείς: Boddington, Simon¹ (AUTHOR) simon.boddington@outlook.com, Taylor, Tom¹ (AUTHOR), Haigh, Peter¹ (AUTHOR), Cuoc, Eduardo¹ (AUTHOR), Hankinson, Chris¹ (AUTHOR), Godfrey, Luke¹ (AUTHOR)

Πηγή: Nuclear Science & Engineering. 2026 Suppl 1, Vol. 200, pS676-S692. 17p.

Θεματικοί όροι: *Molten salt reactors, *Software validation, *Safety, *Cooling systems, *Nuclear reactors, *Neutron temperature

Working out AI validation and implementation.

Πηγή: CAP Today. Dec2025, Vol. 39 Issue 12, p1-30. 4p.

Θεματικοί όροι: *Artificial intelligence, *Software validation, *Laboratories, *Statistical models, *Machine learning

Εταιρία/Οντότητα: College of American Pathologists

Validation in Thermal Analysis

Συγγραφείς: Markus Schubnell

Resource Type: eBook.

Θέματα: Computer programs--Validation, Thermal analysis--Computer programs

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General, COMPUTERS / Reference, TECHNOLOGY & ENGINEERING / Chemical & Biochemical

Runtime Verification Tool for the Calculus of Context-Aware Ambients.

Συγγραφείς: Siewe, François¹ (AUTHOR)

Πηγή: Mathematics (2227-7390). Nov2025, Vol. 13 Issue 22, p3606. 40p.

Θεματικοί όροι: *Context-aware computing, *Software validation, *Logic, *Telemetry

ADAPTATION OF SUBCAL SUBCHANNEL CODE FOR SQUARE-LATTICE ROD BUNDLES USING PSBT BENCHMARK.

Συγγραφείς: TITZOVÁ, LUCIE¹ titzoluc@cvut.cz, CAHA, VOJTECH², CÍŽEK, JIRͲ

Πηγή: Acta Polytechnica CTU Proceedings. 2025, Vol. 55, p80-88. 9p.

Θεματικοί όροι: *Software validation, *Computer simulation, *Fluid flow, *Nuclear reactor cores, *Heat transfer

Advancing real-time validation of automotive software systems via continuous integration and intelligent failure analysis.

Συγγραφείς: Abboush, Mohammad¹ (AUTHOR) mohammad.abboush@tu-clausthal.de, Knieke, Christoph¹ (AUTHOR), Rausch, Andreas¹ (AUTHOR)

Πηγή: Scientific Reports. 9/25/2025, Vol. 15 Issue 1, p1-19. 19p.

Θεματικοί όροι: *Fault diagnosis, *Software validation, *Machine learning, *Quantitative research, *Automobile software, *Hardware-in-the-loop simulation, *Test validity

Sensitivity and uncertainty analysis in hydrological modeling: a case study of South Chickamauga Creek watershed using BASINS/HSPF

Συγγραφείς: Dey, Preyanka

Πηγή: Masters Theses and Doctoral Dissertations

Θεματικοί όροι: Computer programs--Validation, Hydraulic models

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.utc.edu/theses/712; https://scholar.utc.edu/context/theses/article/1886/viewcontent/ThesisFinal_PD_4.28.21.pdf

Διαθεσιμότητα: https://scholar.utc.edu/theses/712
https://scholar.utc.edu/context/theses/article/1886/viewcontent/ThesisFinal_PD_4.28.21.pdf

Issues and Challenges in Validating Military Simulation Models

Συγγραφείς: Elmer, Michael R.

Πηγή: Theses and Dissertations

Θεματικοί όροι: Military art and science--Computer simulation, Computer programs--Validation, Operational Research

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.afit.edu/etd/6239; https://scholar.afit.edu/context/etd/article/7242/viewcontent/AFIT_GSO_ENS_95D_02_Elmer_M_ADA303046_Redacted.pdf

Διαθεσιμότητα: https://scholar.afit.edu/etd/6239
https://scholar.afit.edu/context/etd/article/7242/viewcontent/AFIT_GSO_ENS_95D_02_Elmer_M_ADA303046_Redacted.pdf

HCL Tech enters into multi-year strategic partnership with e.solutions.

Πηγή: Ace Analyser: Company News. 6/17/2026, pN.PAG-N.PAG. 1p.

Θεματικοί όροι: *System integration, *Computer software development, *User interfaces, *Information technology, *Business partnerships, *High technology industries, Software validation

Εταιρία/Οντότητα: HCL Technologies Ltd.

Penggunaan aritmetik dalam penentuan takwim hijri oleh Syeikh Abdul Rahman gudang al-Faṭānī dalam Minhāj al-Qawīm.

Alternate Title: The use of arithmetic in determining the hijri calendar by Syeikh Abdul Rahman Gudang al-Faṭānī in Minhāj al-Qawīm.

Συγγραφείς: Syed Omar, Sharifah Hamizah¹ hamizahomar@unisza.edu, Md Shariff, Nur Nafhatun², Zainal, Baharrudin³, Hamidi, Zety Sharizat⁴

Πηγή: Ulum Islamiyyah. Aug2025, Vol. 37 Issue 2, p28-41. 14p.

Θεματικοί όροι: Software validation, Content analysis, Arithmetic, Archipelagoes, Calendar

The Effective Use of Animation in Simulation Model Validation

Συγγραφείς: Swider, Christopher L.

Πηγή: Theses and Dissertations

Θεματικοί όροι: Computer animation, Computer simulation, Computer programs--Validation, Graphics and Human Computer Interfaces, Operational Research

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.afit.edu/etd/6775; https://scholar.afit.edu/context/etd/article/7778/viewcontent/AFIT_GOR_ENS_94M_20_Swider_C_ADA278500_no_vita.pdf

Διαθεσιμότητα: https://scholar.afit.edu/etd/6775
https://scholar.afit.edu/context/etd/article/7778/viewcontent/AFIT_GOR_ENS_94M_20_Swider_C_ADA278500_no_vita.pdf

Using Animation in the Validation of Simulation Models

Συγγραφείς: Carpenter, Michael L.

Πηγή: Theses and Dissertations

Θεματικοί όροι: Computerized simulation, Computer animation, Computer programs--Validation, Operations research, Operational Research

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.afit.edu/etd/7197; https://scholar.afit.edu/context/etd/article/8200/viewcontent/AFIT_GOR_ENS_93M_02_Carpenter_M_ADA262611_no_vita.pdf

Διαθεσιμότητα: https://scholar.afit.edu/etd/7197
https://scholar.afit.edu/context/etd/article/8200/viewcontent/AFIT_GOR_ENS_93M_02_Carpenter_M_ADA262611_no_vita.pdf

A Unified Model of Program Behavior

Συγγραφείς: Michel, Douglas T.

Πηγή: Theses and Dissertations

Θεματικοί όροι: Computer programs--Validation, Program behavior, Locality of reference, Cache, Software Engineering

Περιγραφή αρχείου: application/pdf

Relation: https://scholar.afit.edu/etd/7105; https://scholar.afit.edu/context/etd/article/8108/viewcontent/AFIT_GCS_ENG_92D_09_Michel_D_ADA259142_no_vita.pdf

Διαθεσιμότητα: https://scholar.afit.edu/etd/7105
https://scholar.afit.edu/context/etd/article/8108/viewcontent/AFIT_GCS_ENG_92D_09_Michel_D_ADA259142_no_vita.pdf

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Συγγραφείς: Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler

Resource Type: eBook.

Θέματα: Computer programs--Validation, Computer programs--Verification, Electronics, Computer software--Verification, Object-oriented methods (Computer science), UML (Computer science), Computer software--Validation, Systems engineering

Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture, TECHNOLOGY & ENGINEERING / Electronics / General

Real world clinical experience of using Brainomix e-CTA software in a medium size acute National Health Service Trust.

Συγγραφείς: Merchant, Fraser¹ (AUTHOR), Choulerton, James¹ (AUTHOR), James, Richard¹ (AUTHOR), Pang, Chun Lap¹ (AUTHOR)

Πηγή: British Journal of Radiology. Apr2025, Vol. 98 Issue 1168, p592-599. 8p.

Θεματικοί όροι: *Internal carotid artery, *Software validation, *Artificial intelligence, *Computed tomography, *Trust