The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
Computation in an algebra of test selection criteria
[article]
1999
arXiv
pre-print
Preserved Fulltext
One of the key concepts in testing is that of adequate test sets. A test selection criterion decides which test sets are adequate. ...
In this paper, a language schema for specifying a large class of test selection criteria is developed; the schema is based on two operations for building complex criteria from simple ones. ...
The schema is based on two operations for combining selection criteria; with these two operations, test selection criteria form a well-behaved algebra. ...
arXiv:cs/9912018v1
fatcat:ljbvpayl4zcdhprqwqbo7swzsa
Predicting Eighth-Grade Algebra Achievement
1984
Journal for Research in Mathematics Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
An important first step in attempting to reduce the incidence of such trauma would be to gain some insights regarding the correlates of success in eighth-grade algebra. ...
In many schools, superior mathematics students are given the opportunity to study first-year algebra in the eighth grade as the first course of an accelerated mathematics program that culminates with Advanced ...
DISCUSSION Of the variables included in the present study, an algebra prognosis test was identified as the best overall predictor of success in an eighth-grade algebra course. ...
doi:10.2307/748425
fatcat:acih4lgb3raanpizzng6fy2tvu
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper deals with test data set selection from algebraic specifications. Test data set are generated from selection criteria which are usually defined to cover specification axioms. ...
The unfolding selection criterion consists in covering the input domain of an operation using case analysis. ...
In this paper, we are interested in the process of selecting test sets from algebraic specifications. ...
doi:10.1007/11759744_14
fatcat:2ggl3ncekrhxxeldulrp67k6ta
Page 2431 of Mathematical Reviews Vol. 57, Issue 6
[page]
1979
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The authors define some basic properties of a thorough test: reliability, validity and completeness, and outline a possible approach to developing reliable tests, in which the selection criteria consist ...
They analyze the sources of failure in programs and demonstrate that the criteria for test data selection based solely on internal Program structure are too weak to reveal many types of errors.
57 #18189 ...
The Influence of the Teacher Factor in Predicting Success in Ninth Grade Algebra
1937
The Journal of educational research (Washington, D.C.)
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In an effort to explain ailure on the part of pupils to achieve in accordance with the pre e inferences of objectively obtained criteria three possible causes >)
nvestigated: {1) errors in statistical ...
criteria taken separately and in combinations. ...
doi:10.1080/00220671.1937.10880701
fatcat:apambco6rzg2vbej6libwojloi
Page 7077 of Mathematical Reviews Vol. , Issue 99j
[page]
1999
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Process algebras and specification languages are usually endowed with an operational semantics in the form of a transition system specification (TSS). ...
An extension of the mentioned criteria to a setting with inequalities has been also proposed. ...
Application of PROLOG to test sets generation from algebraic specifications
[chapter]
1985
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We give formal definitions of the basic concepts required in our approach of functional testing. Then we discuss the problem of testing algebraic data types implementations. ...
This allows the introduction of additional hypotheses and thus the description of an effective method for generating test sets. The method can be improved by using PROLOG. ...
Gaudel thanks the members of IFIP-WG2.2 for fruitful discussions and comments. This research is supported by CIT-Alcatet. ...
doi:10.1007/3-540-15199-0_17
fatcat:gfjrc3kcijccpimohvlog5xgn4
Page 133 of California Journal of Educational Research Vol. 10, Issue 3
[page]
1959
California Journal of Educational Research
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The objective test used as a criterion of algebra success was the Lankton Algebra Achievement Test. ...
The validation population consisted of 173 mentally retarded boys and girls selected on the same criteria. ...
Page 252 of Journal of Applied Psychology Vol. 26, Issue 2
[page]
1942
Journal of Applied Psychology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
On the basis of an analysis of the reading demands made by typical material, to prepare tests of the comprehension of explanatory passages and problems in ninth grade algebra. 2. ...
Since no existing tests suited exactly the author’s purpose, she selected passages according to definite criteria for testing these abilities. ...
Page 5696 of Mathematical Reviews Vol. , Issue 89J
[page]
1989
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Summary: “We propose two variable selection criteria for con- verting a decision table to a near-optimum decision tree in the sense of minimal average cost of testing. ...
Helmut Prodinger (A-TUWN-B)
89j:68069 68Q25 68T10
Miyakawa, Masahiro
Criteria for selecting a variable in the construction of efficient decision trees.
IEEE Trans. Comput. 38 (1989), no. 1, 130-141. ...
Page 317 of The Arithmetic Teacher Vol. 6, Issue 6
[page]
1959
The Arithmetic Teacher
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Based on the combined studies, we can then be confident at the 2% level that further computations of multiple correlations based on this same population with the same prognosis and criteria vari- ables ...
of the Cooperative Elementary Algebra Test. ...
iPads in the Mathematics Classroom: Developing Criteria for Selecting Appropriate Learning Apps
2018
International Journal of Education in Mathematics Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This research presents a set of sixteen criteria that can be used to evaluate the potential of an iPad app to be an effective mathematical learning tool. ...
The evaluation instrument is presented, along with a discussion of each of the sixteen criteria. The instrument is then applied to seven apps designed for learning algebraic concepts. ...
So, while there are many factors that can ultimately determine the benefit an iPad app will have on students' learning of mathematics, this instrument can assist designers in developing, and researchers ...
doi:10.18404/ijemst.408939
fatcat:uka43ilhbnbkfnsxt3byappcrm
Digital Tools for Algebra Education: Criteria and Evaluation
2010
International Journal of Computers for Mathematical Learning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In the Netherlands, as in many other countries, the algebraic expertise of students graduating from secondary education is an issue. ...
Therefore, a study was set up to investigate in what way the use of ICT in upper secondary education might enhance the algebraic expertise of students. ...
Open Access This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided ...
doi:10.1007/s10758-010-9162-x
fatcat:t3jh3jub7bfprmfxqtlibzo5eq
The Simplification Method of Engineering Task Sequences used for Engineering Knowledge Portals
2018
Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems»
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The specific algebraic system for designing the sequence of engineering tasks based on the simplification method of engineering task sequences that realized classification and minimization of computation ...
The quantitative evaluation of the efficiency increase in the engineering tasks of the "Strength of materials" subject domain is given. ...
The aim of optimization process is to minimize the criteria: { }, The properties of algebraic system operations allow us to held an equivalent conversion of engineering tasks formulas. ...
doaj:d2e20a105dbf418ba09b83572214915a
fatcat:ox7nq74xhve6fpi2d2u2dk34xi
Predicting SPARQL Query Performance and Explaining Linked Data
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper, firstly we address the problem of SPARQL query performance prediction. Secondly we discuss how to explain Linked Data in a decentralized fashion. ...
As the complexity of the Semantic Web increases, efficient ways to query the Semantic Web data is becoming increasingly important. ...
In our final experiment, we train the regression variant of k -NN algorithm with SPARQL algebra and query pattern features. We achieve an R 2 value of 0.837 on the test dataset. ...
doi:10.1007/978-3-319-07443-6_53
fatcat:h7xxf6wr4bfcjmysyiruee22im
« Previous
Showing results 1 — 15 out of 67,225 results