Search Results - CCS Concepts 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

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

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

The Emergence of Applied Artificial Intelligence in the Realm of Value Based Musculoskeletal Care.

Authors: Hunter, Jefferson Dentino, Philippe Jayakumar, Prakash

Source: Current Reviews in Musculoskeletal Medicine; Oct2025, Vol. 18 Issue 10, p379-397, 19p

Interactively Assessing Disentanglement in GANs.

Authors: Jeong, Sangwon Liu, Shusen Berger, Matthew

Source: Computer Graphics Forum. Jun2022, Vol. 41 Issue 3, p85-95. 11p. 1 Color Photograph, 10 Diagrams, 1 Graph.

Subject Terms: *GENERATIVE adversarial networks, *VISUAL analytics, *ARTIFICIAL intelligence, *DATA distribution, *SEMANTICS

Global Daily Discharge Estimation Based on Grid Long Short‐Term Memory (LSTM) Model and River Routing.

Authors: Yang, Yuan Feng, Dapeng Beck, Hylke E. et al.

Source: Water Resources Research; Jun2025, Vol. 61 Issue 6, p1-18, 18p

Subject Terms: GRID cells, RUNOFF, DATA quality, GAGING, MEMORY

The Liver Meeting: 2025 Abstracts.

Source: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p

State-of-the-Art Decarbonization in Sludge Thermal Treatments for Electrical Power Generation Considering Sensors and the Application of Artificial Intelligence.

Authors: Muniz, Rafael Ninno Buratto, William Gouvêa Cardoso, Rodolfo et al.

Source: Water (20734441); Jul2025, Vol. 17 Issue 13, p1946, 35p

Subject Terms: ARTIFICIAL intelligence, SUSTAINABILITY, CARBON dioxide mitigation, ELECTRIC power production, CIRCULAR economy, DETECTORS, HEAT recovery, WASTE recycling

A multi-mechanism numerical simulation model for CO2-EOR and storage in fractured shale oil reservoirs.

Authors: Yuan-Zheng Wang Ren-Yi Cao Zhi-Hao Jia et al.

Source: Petroleum Science (KeAi Communications Co.); Jun2024, Vol. 21 Issue 3, p1814-1828, 15p

Subject Terms: SHALE oils, PETROLEUM reservoirs, FINITE volume method, CARBON sequestration, POROSITY

A Road-Map to Readily Available Early Validation and Verification of System Behaviour in Model-Based Systems Engineering using Software Engineering Best Practices.

Authors: Cederbladh, Johan Cicchetti, Antonio Jongeling, Robbert

Source: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-30, 30p

Subject Terms: SYSTEMS engineering, TECHNOLOGICAL innovations, SOFTWARE engineering, NATURAL languages, MARKET timing

A Fluid Flow‐Based Deep Learning (FFDL) Architecture for Subsurface Flow Systems With Application to Geologic CO2 Storage.

Authors: Qin, Zhen Liu, Yingxiang Zheng, Fangning et al.

Source: Water Resources Research; Jan2025, Vol. 61 Issue 1, p1-33, 33p

Subject Terms: FLUID flow, DEEP learning, MULTIPHASE flow, COMPLEX fluids, CARBON sequestration

Contract Embeddings for Layered Control Architectures.

Authors: Naik, Nikhil Vijay Pinto, Alessandro Nuzzo, Pierluigi

Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-24, 24p

Subject Terms: CYBER physical systems, ENGINEERING contracts, MODEL validation, SOFTWARE architecture

AI safety for everyone.

Authors: Gyevnár, Bálint Kasirzadeh, Atoosa

Source: Nature Machine Intelligence; Apr2025, Vol. 7 Issue 4, p531-542, 12p

eMamba: Efficient Acceleration Framework for Mamba Models in Edge Computing.

Authors: Kim, Jiyong Lee, Jaeho Lin, Jiahao et al.

Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-22, 22p

Subject Terms: EDGE computing, MACHINE learning, COMPUTER engineering, STATISTICAL models, MATHEMATICAL optimization

Security Implications of the Morello Platform: An Empirical Threat Model-Based Analysis.

Authors: Ullah, Sami Rashid, Awais

Source: ACM Transactions on Privacy & Security; Aug2025, Vol. 28 Issue 3, p1-41, 41p

Subject Terms: DENIAL of service attacks, COMPUTER security vulnerabilities, DESIGN, COMPUTING platforms, SECURITY management, SOFTWARE engineering, ARM microprocessors

Mathematics-Inspired Models: A Green and Interpretable Learning Paradigm for Multimedia Computing.

Authors: Gao, Lei Liu, Kai Guo, Zheng et al.

Source: ACM Transactions on Multimedia Computing, Communications & Applications; Jul2025, Vol. 21 Issue 7, p1-22, 22p

Subject Terms: ARTIFICIAL neural networks, MACHINE learning, MULTIMEDIA systems, ARTIFICIAL intelligence, SUSPICION

Cloud computing needs to explore into sky computing.

Authors: Ullah, Arif Remmach, Hassnae Aznaoui, Hanane et al.

Source: Computer Science & Information Technologies; Nov2025, Vol. 6 Issue 3, p294-306, 13p

Subject Terms: CLOUD computing, DISTRIBUTED computing, TECHNOLOGICAL innovations, SCALABILITY

Application of EM-transformer hybrid model in real-time detection of directed DDoS attacks on botnet devices.

Authors: Hao, Liping Wang, Xuesong

Source: Discover Internet of Things; 11/25/2025, Vol. 5 Issue 1, p1-18, 18p

Subject Terms: BOTNETS, INTERNET of things, REAL-time computing, GAUSSIAN mixture models, MACHINE learning, EXPECTATION-maximization algorithms, INTERNET security, DENIAL of service attacks

Evaluating high-resolution global NWP model day-1 precipitation forecasts for the Indian monsoon: Potential to use in real-time applications.

Authors: Reddy, Mannem Venkatarami Mitra, Ashis K Kumar, Kondapalli Niranjan et al.

Source: Journal of Earth System Science; Dec2025, Vol. 134 Issue 4, p1-26, 26p

Subject Terms: PRECIPITATION forecasting, NUMERICAL weather forecasting, ENVIRONMENTAL monitoring, HIGH resolution imaging, DATA assimilation, PRECIPITATION (Chemistry), MONSOONS, REAL-time computing

Geographic Terms: INDIA

Company/Entity: INDIA. Meteorological Dept.

Development of Dynamic System Applications Using Distributed Quantum-Centric Computing.

Authors: Letia, Tiberiu Stefan Avram, Camelia Al-Janabi, Dahlia et al.

Source: Mathematics (2227-7390); Oct2025, Vol. 13 Issue 19, p3159, 38p

Subject Terms: QUANTUM computing, DYNAMICAL systems, DISTRIBUTED computing, EVOLUTIONARY algorithms, MATHEMATICAL optimization, PETRI nets