Search Results - "Models verification and validation"

Accident Damage Analysis Module (ADAM): Novel European Commission tool for consequence assessment—Scientific evaluation of performance by Fabbri, Luciano, Wood, Maureen Heraty

“…This paper summarises the scientific evaluation of the performance of a novel modelling tool, the Accident Damage Assessment Module (ADAM), developed by the…”
Get full text

Making explicit domain knowledge in formal system development by Ait-Ameur, Yamine, Méry, Dominique

“…Modeling languages are concerned with providing techniques and tool support for the design, synthesis and analysis of the models resulting from a given…”
Get full text

Confronting the Challenge of Modeling Cloud and Precipitation Microphysics by Morrison, Hugh, Lier‐Walqui, Marcus, Fridlind, Ann M., Grabowski, Wojciech W., Harrington, Jerry Y., Hoose, Corinna, Korolev, Alexei, Kumjian, Matthew R., Milbrandt, Jason A., Pawlowska, Hanna, Posselt, Derek J., Prat, Olivier P., Reimel, Karly J., Shima, Shin‐Ichiro, Diedenhoven, Bastiaan, Xue, Lulin

“…In the atmosphere, microphysics refers to the microscale processes that affect cloud and precipitation particles and is a key linkage among the various…”
Get full text

A high-resolution global flood hazard model by Sampson, Christopher C., Smith, Andrew M., Bates, Paul D., Neal, Jeffrey C., Alfieri, Lorenzo, Freer, Jim E.

“…Floods are a natural hazard that affect communities worldwide, but to date the vast majority of flood hazard research and mapping has been undertaken by…”
Get full text

An enhanced correlation for gas-particle heat and mass transfer in packed and fluidized bed reactors by Zhu, Li-Tao, Liu, Yuan-Xing, Luo, Zheng-Hong

“…[Display omitted] •A Nusselt correlation for gas-particle transfer in packed bed and fluidized bed.•Particle-resolved data points (ε = [0.35, 1], Rep = [0,…”
Get full text

Modelling crystallization: When the normal growth velocity depends on the supersaturation by Ivanov, V.V., Tielemann, C., Avramova, K., Reinsch, S., Tonchev, V.

“…The crystallization proceeds by the advance of the crystal faces into the disordered phase at the expense of the material excess, the supersaturation. Using a…”
Get full text

A discrete source model of powder bed fusion additive manufacturing thermal history by Schwalbach, Edwin J., Donegan, Sean P., Chapman, Michael G., Chaput, Kevin J., Groeber, Michael A.

“…Significant attention has been focused on modeling of metallic additive manufacturing (AM) processes, with the initial aim of predicting local thermal history,…”
Get full text

VISLIX: An XAI Framework for Validating Vision Models with Slice Discovery and Analysis by Yan, Xinyuan, Xuan, Xiwei, Ono, Jorge Piazentin, Guo, Jiajing, Mohanty, Vikram, Kumar, Shekar Arvind, Gou, Liang, Wang, Bei, Ren, Liu

“…Real‐world machine learning models require rigorous evaluation before deployment, especially in safety‐critical domains like autonomous driving and…”
Get full text

Bayesian Machine Learning Meets Formal Methods: An Application to Spatio-Temporal Data by Vana-Gür, Laura, Visconti, Ennio, Nenzi, Laura, Cadonna, Annalisa, Kastner, Gregor

“…We propose an interdisciplinary framework that combines Bayesian predictive inference, a well-established tool in machine learning, with formal methods, rooted…”
Get full text

Interactively Assessing Disentanglement in GANs by Jeong, Sangwon, Liu, Shusen, Berger, Matthew

“…Generative adversarial networks (GAN) have witnessed tremendous growth in recent years, demonstrating wide applicability in many domains. However, GANs remain…”
Get full text

Recurrent neural network implementation of digital integrated circuits to mitigate challenges in design verification by Yeong, Ming Keat, Ho, Eric Tatt Wei

“…Design verification is the dominant stage that consumes the most resources in the digital integrated circuit (IC) design process. Design verification is…”
Get full text

Evaluation of the Hippocampal Normal Tissue Complication Model in a Prospective Cohort of Low Grade Glioma Patients—An Analysis Within the EORTC 22033 Clinical Trial by Jaspers, Jaap, Mèndez Romero, Alejandra, Hoogeman, Mischa S., van den Bent, Martin, Wiggenraad, Ruud G. J., Taphoorn, Martin J. B., Eekers, Danielle B. P., Lagerwaard, Frank J., Lucas Calduch, Anna Maria, Baumert, Brigitta G., Klein, Martin

“…To evaluate the performance of the hippocampal normal tissue complication model that relates dose to the bilateral hippocampus to memory impairment at 18…”
Get full text

Character navigation in dynamic environments based on optical flow by López, Axel, Chaumette, François, Marchand, Eric, Pettré, Julien

“…Steering and navigation are important components of character animation systems to enable them to autonomously move in their environment. In this work, we…”
Get full text

Research on permeability coefficient of a polyethylene controlled-release film coating for urea and relevant nutrient release pathways by Wei, Ya, Li, Juan, Li, Yanting, Zhao, Bingqiang, Zhang, Ligan, Yang, Xiangdong, Chang, Jiang

“…The permeability coefficient is a key factor that reflects the nutrient release capability of polymer-coated fertilizers. To investigate the permeability…”
Get full text

Verification and validation of software process simulation models: A systematic mapping study by Li, Yue, Zhang, He, Liu, Bohan, Dong, Liming, Gong, Haojie, Rong, Guoping

“…Software process simulation models (SPSMs) that are based on descriptive process models offer the executability that can demonstrate dynamic changes of…”
Get full text

Bridging the semantic gap between qualitative and quantitative models of distributed systems by Liu, Si, Meseguer, Jose, Ölveczky, Peter Csaba, Zhang, Min, Basin, David

“…Today’s distributed systems must satisfy both qualitative and quantitative properties. These properties are analyzed using very different formal frameworks:…”
Get full text

Impact of consistency between modeling detail and physical uncertainties on severe accident predictions by Podowski, Michael Z., Podowski, Raf M., Kim, Dong Ha, Bae, Jun Ho, Son, Dong Gun

“…•Limited experimental evidence affects prediction accuracy of severe accident progression.•Modeling consistency and proper understanding of uncertainties are…”
Get full text

Interannual variability of tropical cyclone activity and regional Hadley circulation over the Northeastern Pacific by Zhang, Gan, Wang, Zhuo

“…The interannual variability of the regional Hadley circulation (HC) and tropical cyclone (TC) activity over the Northeastern Pacific (NEP) was investigated…”
Get full text

Slab Ocean Component of the Energy Exascale Earth System Model (E3SM): Development, Evaluation, and Application to Understanding Earth System Sensitivity by Garuba, Oluwayemi, Rasch, Philip J., Leung, L. Ruby, Wang, Hailong, Hagos, Samson, Singh, Balwinder

“…This work describes the implementation and evaluation of the Slab Ocean Model component of the Energy Exascale Earth System Model version 2 (E3SMv2‐SOM) and…”
Get full text

Enhancing Mathematical Knowledge Graphs with Large Language Models by Lobo-Santos, Antonio, Borrego-Díaz, Joaquín

“…The rapid growth in scientific knowledge has created a critical need for advanced systems capable of managing mathematical knowledge at scale. This study…”
Get full text