
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 (dseparation 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 proteinprotein...

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 wellarchitected, 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...

TorchStruct
 Referenced in 1 article
[sw31805]
 autodifferentiation 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 highlevel language and interactive...

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