Experimental validation of clock synchronization algorithms / Daniel L. Palumbo, R. Lynn Graham.

Συγγραφείς: Palumbo, Daniel L., author

Θεματικοί όροι: Proving., Computer systems programs., Data processing., Synchronization., Electronic data processing -- Distributed processing., Computer programs -- Validation., Computer programs -- Verification., Electronic data processing -- Distributed processing., Real-time data processing., Synchronization.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo173720
https://ntrs.nasa.gov/api/citations/19920018346/downloads/19920018346.pdf

Vibe coding and the illusion of competence: why laboratory medicine specialists shouldn’t trust their AI-generated code for clinical deployment.

Συγγραφείς: De Bruyne, Sander^1,2,3 (AUTHOR) Sander.DeBruyne@jessazh.be, Rommes, Stef⁴ (AUTHOR), Fiers, Tom⁵ (AUTHOR), Volders, Pieter-Jan^1,2 (AUTHOR), Maes, Brigitte^1,2 (AUTHOR)

Πηγή: Clinical Chemistry & Laboratory Medicine. Sep2026, p1. 14p.

Θεματικοί όροι: *Software validation, *Regulatory compliance, *Medical software, *Generative artificial intelligence, *Computer software development, *Risk management in business, *Clinical pathology, *Patient safety

Practical Integration of Open-Source Control Architectures on Custom Quadruped Robots: Simulation Validation and Hardware Interfacing.

Συγγραφείς: Kurumbaparambil, Vishnudev¹ (AUTHOR) vishnudev.kurumbaparambil@hs-anhalt.de, Rajanayagam, Subashkumar¹ (AUTHOR), Twieg, Stefan¹ (AUTHOR)

Πηγή: Sensors (14248220). Aug2026, Vol. 26 Issue 15, p4730. 36p.

Θεματικοί όροι: *Hardware-in-the-loop simulation, *Software validation, *Quadrupedalism, *Embedded computer systems, *Locomotor control

Εταιρία/Οντότητα: Massachusetts Institute of Technology

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

Adversarial Certification of Evidentiary Software.

Συγγραφείς: Vincent, Nicholas G.¹, Choi, Bryan H.², Siems, Eli³, Halbere, Clay⁴, Strandbure, Katherine J.⁵ atherine.strandburg@nyu.edu

Πηγή: Texas Law Review. Jun2026, Vol. 104 Issue 7, p1555-1617. 63p.

Θεματικοί όροι: *Standards, Software validation, Criminal trials, Adversarial machine learning, Digital forensics, Model validation, Computer software testing

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

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

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

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

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

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

Was funktioniert, was lässt sich verbessern?

Συγγραφείς: MANDZYUK, VOLODYMYR¹

Πηγή: Autocad Magazin. sep/oct2026, Issue 6, p44-46. 3p.

Θεματικοί όροι: *Automobile industry, *Intelligent agents, *Quality assurance, Software validation, Computer software testing, Automobile software

Static validation for declarative service orchestration: Enabling reliable CI/CD and MLOps pipelines.

Συγγραφείς: Horber, Konrad¹ (AUTHOR), Sotiriadis, Stelios¹ (AUTHOR) s.sotiriadis@bbk.ac.uk

Πηγή: Future Generation Computer Systems. Oct2026, Vol. 183, pN.PAG-N.PAG. 1p.

Θεματικοί όροι: *Sustainable engineering, Software validation, Sustainability

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

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

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

Patent Issued for Post-service state validator for medical devices (USPTO 12738372).

Πηγή: Pharma Business Week. 10/5/2026, p6127-6127. 1p.

Θεματικοί όροι: *Computer network security, *Quality assurance, Patient safety, Software validation, Medical equipment, Biomedical engineering

Εταιρία/Οντότητα: Koninklijke Philips NV