
CTT
 Referenced in 2 articles
[sw26192]
 package CTT: Classical Test Theory Functions. A collection of common test and item analyses from ... classical test theory (CTT) framework. Analyses can be applied to both dichotomous and polytomous data...

subscore
 Referenced in 0 articles
[sw16405]
 test subscores using methods applicable to classical test theory (CTT) scores. This package enables...

CLTDSE
 Referenced in 2 articles
[sw17634]
 used is the classic test system; Hydrogen. After introducing the standard theory, and specific quantities...

Reptate
 Referenced in 1 article
[sw10653]
 rheological data. Several of the classical and latest theories of polymer dynamics are included ... Reptate, so they can be tested and fitted to the experimental data...

AnaQol
 Referenced in 4 articles
[sw11075]
 estimate the parameters of item responses theory models. %Anaqol requires the %Gammasym and the %Rasch ... Stepbystep Cronbach alpha procedure; drawing classical and cumulative traces of dichotomous and polytomous ... items; realizing fit tests under the dichotomous models; drawing information curve and map Items/scores under...

parest_dae
 Referenced in 7 articles
[sw09087]
 applying the 100yearold approach of classic QSSA model reduction cannot be carried ... even most of them. By using Galois theory, we prove that the required algebraic equations ... bimolecular reactions. We describe algorithms that can test any mechanism for solvability. We also show...

Karnak.sGbem
 Referenced in 3 articles
[sw10250]
 lower bound limit approach of the classical plasticity theory is rephrased using the Multidomain Symmetric ... optimization toolbox by MatLab. The numerical tests, compared with the iterative elastoplastic analysis...

carl
 Referenced in 2 articles
[sw29181]
 science that report the results of classical hypothesis tests or confidence intervals using the (generalized ... profile) likelihood ratio as a test statistic. At the same time, with the advance ... processes that tie parameters of an underlying theory and measurement apparatus to highdimensional observations...

solverALL
 Referenced in 1 article
[sw33799]
 Clubs in GraphBased Data Clustering: Theory and Algorithm Engineering. Editing a graph into ... graphbased data clustering. Here, complementing classic work where the clusters shall be cliques ... fixedparameter tractability result for the classic Cluster Editing problem (considering cliques instead ... most instances of an established biological test data...

popTRT
 Referenced in 2 articles
[sw30080]
 single brain region or across brain regions. Classically, such models have used spike sorted data ... classes of population models. We use the theory of marked point processes to model population ... established goodnessoffit procedures and statistical tests are available. We demonstrate the application...

ANSYS
 Referenced in 662 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ACL2
 Referenced in 279 articles
[sw00060]
 ACL2 is both a programming language in which...

CGAL
 Referenced in 360 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 631 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

CXSC
 Referenced in 108 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

Dill
 Referenced in 5 articles
[sw00205]
 An algorithm is presented that formalizes different steps...

GAP
 Referenced in 2876 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 611 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LSQR
 Referenced in 367 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...