
dstat
 Referenced in 1 article
[sw36865]
 treatments. A dstatistic focuses on subsets of matched pairs that demonstrate insensitivity to unmeasured...

dameflame
 Referenced in 1 article
[sw36876]
 Exactly (FLAME) algorithms, which match treatment and control units on subsets of the covariates...

Maximum Cardinality Matching
 Referenced in 1 article
[sw29532]
 Cardinality Matching. A matching in a graph G is a subset M of the edges ... that no two share an endpoint. A matching has maximum cardinality if its cardinality...

Leon
 Referenced in 11 articles
[sw09159]
 present the Leon verification system for a subset of the Scala programming language. Along with ... finds bugs or proves completeness of pattern matching as well as validity of function postconditions...

MatchingFrontier
 Referenced in 1 article
[sw23426]
 Size Frontier in Matching Methods for Causal Inference. Returns the subset of the data with...

MATCH
 Referenced in 5 articles
[sw23010]
 together with the TRANSFAC database. In particular, Match uses the matrix library collected in TRANSFAC ... his/her specific user profiles which are selected subsets of matrices including default or userdefined ... TRANSFAC team. A public version of the Match tool is available at: http://www.generegulation.com/pub/programs.html#match....

SPINAL
 Referenced in 5 articles
[sw08319]
 similarity scores based on pairwise local neighborhood matchings. Employing the produced similarity scores, the fine ... iteratively growing a locally improved solution subset. Both phases make use of the construction...

gtools
 Referenced in 3 articles
[sw30324]
 rdirichlet’, ’ddirichlet’),  apply a function over adjacent subsets of a vector (’running’),  modify ... even if the column names don’t match (’smartbind’),  generate significance stars from pvalues...

PyMiniSolvers
 Referenced in 1 article
[sw25462]
 efficient incremental solving. Its interfaces closely match the interfaces of each tool’s Solver class ... provided for each tool, simplifying reasoning about subsets of a constraint set (e.g., solving arbitrary...

SOPRA
 Referenced in 8 articles
[sw12607]
 algorithm is selecting a sufficiently large subset of simultaneously satisfiable mate pair constraints to achieve ... assembly, we report the nomatch/mismatch error rate as well as the rates...

SAFECode
 Referenced in 4 articles
[sw13323]
 correctness of our approach for a subset of C. Our semantics provide the foundation ... time partitioning of memory that matches the compiletime memory partitioning in a points...

LINNAEUS
 Referenced in 2 articles
[sw23132]
 across several servers), allowing clients to request matching over a network. A package with files ... available for download below. The internal dictionaries (subsets of the external dictionaries, containing...

CCR
 Referenced in 1 article
[sw37246]
 While several techniques exist (e.g., minimization, pairmatching, stratification), the covariateconstrained randomization (CCR) approach proposed ... implementation of CCR for a particular subset of possible designs (those with two arms, small...

WNetKAT
 Referenced in 1 article
[sw25228]
 defined networking paradigm. While OpenFlow and its matchaction concept provide primitive operations to manipulate ... initiate the discussion of decidable subsets of the whole language...

pyGWAnalysis
 Referenced in 1 article
[sw38110]
 continuous coordinate values via interpolation. A subset of features includes:  interpolation/resampling,  pointwise addition, subtraction, multiplication ... signaltonoise ratios and best/minmax (mis)matches for (ad)LIGO, (ad)Virgo and LISA...

psRNATarget
 Referenced in 1 article
[sw34140]
 including microRNAs (miRNAs) and a subset of small interfering RNAs (tasiRNAs), play important role ... important analysis functions: (i) reverse complementary matching between small RNA and target transcript using...

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

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

LAPACK
 Referenced in 1649 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1758 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...