• LANGAGE

  • Referenced in 38 articles [sw00501]
  • given by its minimal automaton is piecewise testable, locally testable, strictly locally testable, or strongly ... locally testable. New polynomial algorithms are implemented for the two last properties. This package...
  • TESTAS

  • Referenced in 19 articles [sw00957]
  • syntactic semigroup is locally testable, right or left locally testable, threshold locally testable, strictly locally ... testable, or piecewise testable. The bounds on order of local testability of transition graph ... order of local testability of transition semigroup are also found. For given ... testability of transition graph is verified. Some new effective polynomial time algorithms are used. These...
  • dagitty

  • Referenced in 6 articles [sw16593]
  • estimating causal effects, enumerates instrumental variables, derives testable implications (d-separation and vanishing tetrads), generates...
  • SAVARA

  • Referenced in 3 articles [sw21465]
  • create tool support around the concept of Testable Architecture. To understand more about Testable Architecture ... please read the ”What is Testable Architecture?” page, but in a nutshell it is about...
  • VirtualLeaf

  • Referenced in 4 articles [sw28766]
  • design new hypotheses and produce experimentally testable insights. However, the required mathematics and programming experience...
  • NOXclass

  • Referenced in 3 articles [sw35408]
  • protein quaternary structures. In particular, it generates testable hypotheses regarding the nature of protein-protein...
  • LANGAGEA

  • Referenced in 1 article [sw15338]
  • given by its minimal automaton is piecewise testable, locally testable, strictly locally testable, or strongly ... locally testable. New polynomial algorithms are implemented for the two last properties. This package...
  • RAM Commander FTA

  • Referenced in 2 articles [sw12551]
  • Assessment, Spare Parts optimization, Derating, FMECA and Testability Analysis, Process&Design FMEA and more...
  • Spring

  • Referenced in 2 articles [sw21448]
  • systems and applications. Build Anything: Write clean, testable code against the infrastructure components of your...
  • MetNet

  • Referenced in 2 articles [sw25662]
  • provide a framework for the formulation of testable hypotheses regarding the function of specific genes...
  • RLgraph

  • Referenced in 2 articles [sw31155]
  • paradigms. The resulting implementations are robust, incrementally testable, and yield high performance across different deep...
  • KAnalyze

  • Referenced in 1 article [sw20509]
  • development efforts through well-architected, documented and testable code. Currently, KAnalyze can output...
  • ZOOjl

  • Referenced in 1 article [sw22397]
  • local minima, or even unknown but only testable...
  • NPCovSepTest

  • Referenced in 1 article [sw29095]
  • matrices of the covariance matrix), which are testable using a permutation based procedure. We then...
  • Torch-Struct

  • Referenced in 1 article [sw31805]
  • auto-differentiation to produce readable, fast, and testable code. Internally, we also include a number...
  • Glob3 Mobile

  • Referenced in 1 article [sw37556]
  • Glob3 Mobile, an efficient virtual globe framework, testable and freely accessible from...
  • DTRON

  • Referenced in 0 articles [sw23642]
  • online distributed testing. The notion of $Delta$-testability required to guarantee the controllability of distributed...
  • GAP

  • Referenced in 3068 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Matlab

  • Referenced in 13100 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9188 articles [sw00771]
  • R is a language and environment for statistical...