English
Related papers

Related papers: About one 3-parameter Model of Testing

200 papers

Software model checking, as an undecidable problem, has three possible outcomes: (1) the program satisfies the specification, (2) the program does not satisfy the specification, and (3) the model checker fails. The third outcome usually…

Software Engineering · Computer Science 2015-03-19 Dirk Beyer , Thomas A. Henzinger , M. Erkan Keremoglu , Philipp Wendler

This paper introduces a novel multi-stage decision-making model that integrates hypothesis testing and dynamic programming algorithms to address complex decision-making scenarios.Initially,we develop a sampling inspection scheme that…

Systems and Control · Electrical Eng. & Systems 2025-03-11 Ziyang Liu , Yurui Hu , Yihan Deng

The educability model is a computational model that has been recently proposed to describe the cognitive capability that makes humans unique among existing biological species on Earth in being able to create advanced civilizations.…

Artificial Intelligence · Computer Science 2024-12-13 Leslie G. Valiant

Part of the theoretical motivation for improving the present level of testing of the equivalence principle is reviewed. The general rationale for optimizing the choice of pairs of materials to be tested is presented. One introduces a…

General Relativity and Quantum Cosmology · Physics 2010-04-06 Thibault Damour

Estimation problems in the presence of deterministic linear nuisance parameters arise in a variety of fields. To cope with those, three common methods are widely considered: (1) jointly estimating the parameters of interest and the nuisance…

Optimization and Control · Mathematics 2018-07-05 Yongchang Hu , Geert Leus

Performance metrics (error measures) are vital components of the evaluation frameworks in various fields. The intention of this study was to overview of a variety of performance metrics and approaches to their classification. The main goal…

Methodology · Statistics 2019-01-29 Alexei Botchkarev

A methodology that seeks to enhance model prediction performance is presented. The method involves generating multiple auxiliary models that capture relationships between attributes as a function of each other. Such information serves to…

Machine Learning · Computer Science 2024-02-06 Francisco Javier Lobo-Cabrera

In this paper we apply a two-stage sequential design to item calibration problems under a three-parameter logistic model assumption. The measurement errors of the estimates of the latent trait levels of examinees are considered in our…

Applications · Statistics 2013-05-23 Yuan-chin Ivan Chang

Analyzed models of learning, which take into account that: 1) the rate of increase of student's knowledge is proportional to the difference between levels of teacher's requirements and prior knowledge; 2) if the requirements are too high,…

Other Computer Science · Computer Science 2013-12-10 R. V. Mayer

The problem of assessing the value of a candidate is viewed here as a multiple combination problem. On the one hand a candidate can be evaluated according to different criteria, and on the other hand several experts are supposed to assess…

Artificial Intelligence · Computer Science 2013-01-30 Didier Dubois , Michel Grabisch , Henri Prade , Philippe Smets

Hypothesis testing in the linear regression model is a fundamental statistical problem. We consider linear regression in the high-dimensional regime where the number of parameters exceeds the number of samples ($p> n$). In order to make…

Statistics Theory · Mathematics 2019-09-24 Adel Javanmard , Jason D. Lee

Positive predictive value and negative predictive value are two widely used parameters to assess the clinical usefulness of a medical diagnostic test. When there are two diagnostic tests, it is recommendable to make a comparative assessment…

Methodology · Statistics 2024-05-29 Antonio Martín Andrés , Pedro Femia Marzo

The ability to develop or evolve software or software-based systems/services with defined and guaranteed quality in a predictable way is becoming increasingly important. Essential - though not exclusive - prerequisites for this are the…

Software Engineering · Computer Science 2014-01-10 Adam Trendowicz , Michael Kläs , Constanza Lampasona , Jürgen Münch , Christian Körner , Matthias Saft

The article describes the main problems concerned with using expert assessment method in consumer preference researches. The author proved the expediency of using a 3-point measurement scale. The author suggested an algorithm for…

Other Computer Science · Computer Science 2009-06-05 Vasiliy Saiko

A comprehensive class of models is proposed that can be used for continuous, binary, ordered categorical and count type responses. The difficulty of items is described by difficulty functions, which replace the item difficulty parameters…

Methodology · Statistics 2021-06-25 Gerhard Tutz

One of the fastest evolving field among teaching and learning research is students' performance evaluation. Computer based testing systems are increasingly adopted by universities. However, the implementation and maintenance of such a…

Computers and Society · Computer Science 2016-08-14 Margit Antal , Levente Erős , Attila Imre

The methods for parameter estimation under assumption of agreement between observation and model are reviewed. The distribution parameters are obtained for one set of experimental data by using different estimation methods under assumption…

Methodology · Statistics 2009-07-17 Lorentz Jantschi

A personalized learning system needs a large pool of items for learners to solve. When working with a large pool of items, it is useful to measure the similarity of items. We outline a general approach to measuring the similarity of items…

Computers and Society · Computer Science 2018-06-11 Radek Pelánek , Tomáš Effenberger , Matěj Vaněk , Vojtěch Sassmann , Dominik Gmiterko

The empirical likelihood is a powerful nonparametric tool, that emulates its parametric counterpart -- the parametric likelihood -- preserving many of its large-sample properties. This article tackles the problem of assessing the…

Methodology · Statistics 2023-05-29 Duc-Khanh To , Gianfranco Adimari , Monica Chiogna

A two-parameter model of word length measured by the number of syllables comprising it is proposed. The first parameter is dependent on language type, the second one - on text genre and reflects the degree of completion of synergetic…

Computation and Language · Computer Science 2007-05-23 Victor Kromer