Validation issues in educational data mining:the case of HTML-Tutor and iHelp [PDF]
, 2010 Validation is one of the key aspects in data mining and even more so in educational data mining (EDM) owing to the nature of the data. In this chapter, a brief overview of validation in the context of EDM is given and a case study is presented. The field
Cocea, Mihaela, Weibelzahl, Stephan
core +1 more source
Designing the Soilbag Columns: An Analytical Approach and Numerical Validation [PDF]
Journal of Rehabilitation in Civil EngineeringThe use of wrapping geosystems such as soilbags as reinforcement has been increasingly studied. Soilbag columns may be utilized as an alternative method for improving the weak soil under the footing.
Abdollah Sadr, Nader Hataf
doaj +1 more source
Validation by Measurements of a IC Modeling Approach for SiP Applications [PDF]
, 2011 The growing importance of signal integrity (SI) analysis in integrated circuits (ICs), revealed by modern systemin-package methods, is demanding for new models for the IC sub-systems which are both accurate, efficient and extractable by simple ...
Canavero, Flavio +8 more
core +1 more source
Enterprise model verification and validation : an approach [PDF]
, 2003 This article presents a verification and validation approach which is used here in order to complete the classical tool box the industrial user may utilize in enterprise modeling and integration domain. This approach, which has been defined independently
Chapurlat, Vincent +2 more
core +3 more sources
BMC Medical Genomics, 2019 Background Colorectal cancer (CRC) is one of the leading causes of death by cancer worldwide and in need of novel potential diagnostic biomarkers for early discovery. Methods We conducted a two-step study.
Nina Hauptman +4 more
doaj +1 more source
Patch Validation Approach Combining Doc2Vec and BERT Embedding Technologies [PDF]
Jisuanji kexue, 2022 Automatic program repair is a research hotspot in recent years and has made some progress.Most of the existing automatic program repair methods use the test suite to validate patch correctness.However,using the test suite to validate a large number of ...
HUANG Ying, JIANG Shu-juan, JIANG Ting-ting
doaj +1 more source
Validating multi-photon quantum interference with finite data
, 2020 Multi-particle interference is a key resource for quantum information processing, as exemplified by Boson Sampling. Hence, given its fragile nature, an essential desideratum is a solid and reliable framework for its validation.
Buchleitner, Andreas +5 more
core +3 more sources
A formal verification framework and associated tools for enterprise modeling : application to UEML [PDF]
, 2005 The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and ...
Allen +34 more
core +3 more sources
Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof [PDF]
, 2017 In this paper, we present and apply a computer-assisted method to study steady states of a triangular cross-diffusion system. Our approach consist in an a posteriori validation procedure, that is based on using a fxed point argument around a numerically ...
Breden, Maxime, Castelli, Roberto
core +6 more sources
Development and validation of integrated yoga module for obesity in adolescents
International Journal of Yoga, 2018 Background: Obesity is a growing global epidemic and cause of noncommunicable diseases. Yoga is one of the effective ways to reduce stress which is one of the causes of obesity.
Sunanada Surendra Rathi +4 more
doaj +1 more source