• 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 ... Step-by-step 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 100-year-old 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 high-dimensional observations...
  • solverALL

  • Referenced in 1 article [sw33799]
  • Clubs in Graph-Based Data Clustering: Theory and Algorithm Engineering. Editing a graph into ... graph-based data clustering. Here, complementing classic work where the clusters shall be cliques ... fixed-parameter 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 goodness-of-fit 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...
  • C-XSC

  • Referenced in 108 articles [sw00181]
  • C-XSC. 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...