Search Results - Computing methodologies → Model verification and validation

Exact Computation for Robust 3D polyhedral interactive modeling

Authors: Geniet, Florent Vallet, Bruno Bredif, Mathieu et al.

Contributors: Geniet, Florent Vallet, Bruno Bredif, Mathieu et al.

Source: Web3D '25: The 30th International Conference on 3D Web Technology ; https://hal.science/hal-05288439 ; Web3D '25: The 30th International Conference on 3D Web Technology, Sep 2025, Sienne, Italy. pp.1-9, ⟨10.1145/3746237.3746298⟩

Subject Terms: Computing methodologies → Model verification and validation, CCS Concepts, rational computation, exact computation, 3D building models, Mathematics 3D reconstruction, CCS Concepts Computing methodologies → Model verification and validation, [INFO]Computer Science [cs]

Subject Geographic: Sienne, Italy

Availability: https://hal.science/hal-05288439
https://hal.science/hal-05288439v1/document
https://hal.science/hal-05288439v1/file/article_exact_math.pdf
https://doi.org/10.1145/3746237.3746298

Credibility Assessment of the Patient-Specific Modeling of the Aneurysmal Ascending Thoracic Aorta: Verification, Validation and Uncertainty Quantification.

Authors: Scuoppo, Roberta Catalano, Chiara Crascì, Fabrizio et al.

Source: Cardiovascular Engineering & Technology; Dec2025, Vol. 16 Issue 6, p663-677, 15p

VISLIX: An XAI Framework for Validating Vision Models with Slice Discovery and Analysis.

Authors: Yan, Xinyuan Xuan, Xiwei Ono, Jorge Piazentin et al.

Source: Computer Graphics Forum. Jun2025, Vol. 44 Issue 3, p1-12. 12p.

Subject Terms: *DATA analysis, *HUMAN-computer interaction, COMPUTER vision, MODEL validation, OBJECT recognition (Computer vision), VISUAL analytics, MACHINE learning

Concepts of Model Verification and Validation

Contributors: Rodriguez, E

Source: Other Information: PBD: 30 Oct 2004

File Description: Medium: ED; Size: 41 pages

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

Automation Nation: Taming Complex V&V Workflows.

Authors: Rosenlund, Erik Hällqvist, Robert Braun, Robert et al.

Source: Linköping Electronic Conference Proceedings; 2025, Issue 218, p751-764, 14p

Subject Terms: AUTOMATION, MODEL validation, SOFTWARE validation, SOFTWARE frameworks, STATISTICAL reliability, SIMULATION methods & models

A study of the collapse of spherical shells, Part II: Model Validation.

Contributors: Pepin, J [Jason E.]

Source: Conference: EURODYN 2005 Conference, September 5-7, 2005, Paris, France

File Description: Medium: ED; Size: [7] p.

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

Introduction to the Special Issue on Distributed Hybrid Systems

Authors: Abate, Alessandro Fahrenberg, Uli Fränzle, Martin

Source: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 00:1-00:3 ; 2199-2002 ; 10.4230/LITES-v008-i002

Subject Terms: Distributed hybrid systems, Computing methodologies~Model verification and validation, Computer systems organization~Embedded and cyber-physical systems, Mathematics of computing~Stochastic processes, Theory of computation~Concurrency, Theory of computation~Distributed computing models, Theory of computation~Logic and verification, Theory of computation~Program reasoning, Theory of computation~Self-organization, Theory of computation~Timed and hybrid models

File Description: application/pdf

Relation: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000/48

Availability: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000
https://doi.org/10.4230/LITES.8.2.0

Numerical Simulation of Turbulent Flows. Multiblock Techniques. Verification and Experimental Validation

Authors: Cadafalch Rabasa, Jordi

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament de Màquines i Motors Tèrmics

Thesis Advisors: Oliva, Asensio, Pérez Segarra, Carlos David

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: computational fluids dynamics (CFD), verification, multiblock technique, turbulence, 3328. Processos tecnològics

File Description: application/pdf

Access URL: http://www.tdx.cat/TDX-0317105-164845
http://hdl.handle.net/10803/6681
https://dx.doi.org/10.5821/dissertation-2117-93992

TESTING AND DEBUGGING OF EMBEDDED COMPUTING SYSTEMS BASED ON LEVEL MODELS

Authors: Pinkevich V.Yu. Platunov A.E.

Source: Научно-технический вестник информационных технологий, механики и оптики, Vol 18, Iss 5, Pp 801-808 (2018)

Subject Terms: embedded systems, testing, verification, validation, debug, high-level design, virtual machine, computing platform, Information technology, T58.5-58.64

File Description: electronic resource

Relation: https://ntv.ifmo.ru/file/article/18136.pdf; https://doaj.org/toc/2226-1494

Access URL: https://doaj.org/article/422d163c11044dffa80b52f7f5cef29b

Modelling and predicting extreme behavior in critical real-time systems with advanced statistics

Authors: Vilardell Moreno, Sergi

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Serra Mochales, Isabel, Abella Ferrer, Jaume, Cazorla Almeida, Francisco Javier

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Àrees temàtiques de la UPC::Informàtica

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/689601
https://dx.doi.org/10.5821/dissertation-2117-398698

Noise Reduction Automation of LiDAR Point Clouds for Modeling and Representation of High Voltage Lines in a 3D Virtual Globe

Authors: Agustín Trujillo José Miguel Santana José P. Suárez et al.

Contributors: Agustín Trujillo José Miguel Santana José P. Suárez et al.

Source: CEIG '18 Proceedings of the XXVIII Spanish Computer Graphics Conference. Madrid, Spain — June 27-29, 2018. The Eurographics Association p. 87-90
accedaCRIS portal de investigación de la Universidad de las Palmas de Gran Canaria
instname

Subject Terms: Computer graphics, based models, Visualización gráfica, Proceso de señal, 13. Climate action, 330499 Otras (especificar), 120399 Otras (especificar), 7. Clean energy, Model verification and validation, Computing methodologies, Point

Access URL: http://hdl.handle.net/10553/55449
https://dblp.uni-trier.de/db/conf/ceig/ceig2018.html#SantanaOSTS18
https://diglib.eg.org/handle/10.2312/ceig20181160
https://accedacris.ulpgc.es/handle/10553/55449

Improved best estimate plus uncertainty methodology including advanced validation concepts to license evolving nuclear reactors

Contributors: Nelson, Ralph [IDAHO NATIONAL LAB]

Source: Conference: ICAPP 2011 International Congress on Advances in Nuclear Power Plants ; May 2, 2011 ; Nice, France

File Description: Medium: ED

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

ERF: Energy Research and Forecasting Model

Authors: Lattanzi, Aaron Almgren, Ann Quon, Eliot et al.

Source: Journal of Advances in Modeling Earth Systems. 17(11)

Subject Terms: 37 Earth Sciences (for-2020), 3701 Atmospheric Sciences (for-2020), 3704 Geoinformatics (for-2020), Networking and Information Technology R&D (NITRD) (rcdc), 7 Affordable and Clean Energy (sdg), atmospheric flows, fluid dynamics, GPU acceleration, 0401 Atmospheric Sciences (for), 3701 Atmospheric sciences (for-2020), 3704 Geoinformatics (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/7wf6p40q
https://escholarship.org/content/qt7wf6p40q/qt7wf6p40q.pdf

HW-SW components for parallel embedded computing on Noc-based MPSoCs

Authors: Joven Murillo, Jaume

Contributors: University/Department: Universitat Autònoma de Barcelona. Departament de Microelectrònica i Sistemes Electrònics

Thesis Advisors: Carrabina Bordoll, Jordi

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Parallel programming models, NOC-Based MPSoCs, Quality of service, Tecnologies

File Description: application/pdf

Access URL: http://www.tdx.cat/TDX-1222110-163429
http://hdl.handle.net/10803/5779

ASC Predictive Science Academic Alliance Program Verification and Validation Whitepaper

Contributors: Trucano, T

File Description: Medium: ED; Size: PDF-file: 25 pages; size: 0.3 Mbytes

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

Keystroke Authentication Methodology Accomplish Machine Learning Model Trained Using Timing Vector.

Authors: R., Veeramani MadhanMohan, R. Mahesh, C.

Source: Special Education. 2022, Vol. 1 Issue 43, p4899-4909. 11p.

Subject Terms: Machine learning, Time management, Web services, Cloud computing, Electronic authentication

Potential of statistical model verification, validation and uncertainty quantification in automotive vehicle dynamics simulations: a review.

Authors: Danquah, Benedikt Riedmaier, Stefan Lienkamp, Markus

Source: Vehicle System Dynamics; Apr2022, Vol. 60 Issue 4, p1292-1321, 30p

Subject Terms: STATISTICAL models, DECISION making, EXTRAPOLATION

Rigorous Neural Network Simulations: A Model Substantiation Methodology for Increasing the Correctness of Simulation Results in the Absence of Experimental Validation Data.

Authors: Trensch, Guido Gutzen, Robin Blundell, Inga et al.

Source: Frontiers in Neuroinformatics; 11/26/2018, pN.PAG-N.PAG, 20p

A Stratification Matrix Viewer for Analysis of Neural Network Data

Authors: Harth, Philipp Vohra, Sumit Kumar Udvary, Daniel et al.

Subject Terms: Computing methodologies → Model verification and validation, centered computing → Visual analytics, CCS Concepts: Human-centered computing → Visual analytics, Applied computing → Biological networks', Human

Permeability of Tight Carbonate Rocks from Sensitivity-Driven Evolutionary Polynomial Regression.

Authors: Gomes, Ruan G. S. Gomes, Guilherme J. C. Vrugt, Jasper A. et al.

Source: Geotechnical & Geological Engineering; Feb2025, Vol. 43 Issue 2, p1-17, 17p

Subject Terms: REGRESSION analysis, CARBONATE rocks, ROCK permeability, ARTIFICIAL intelligence, SOFT computing