67,225 Hits in 5.6 sec

Computation in an algebra of test selection criteria [article]

Jan Pachl, Shmuel Zaks
1999 arXiv   pre-print
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

Barbara K. Flexer
1984 Journal for Research in Mathematics Education  
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]

Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
2006 Lecture Notes in Computer Science  
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  
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

William Hudson Dunn
1937 The Journal of educational research (Washington, D.C.)  
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  
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]

L. Bougé, N. Choquet, L. Fribourg, M. C. Gaudel
1985 Lecture Notes in Computer Science  
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  
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  
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  
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  
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

Taylor R. Harrison, Hollylynne S. Lee
2018 International Journal of Education in Mathematics Science and Technology  
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

Christian Bokhove, Paul Drijvers
2010 International Journal of Computers for Mathematical Learning  
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

L. Globa, O. Koval, R. Novogrudska
2018 Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems»  
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]

Rakebul Hasan
2014 Lecture Notes in Computer Science  
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