
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 10 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...

MATCH
 Referenced in 6 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....

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

SPINAL
 Referenced in 4 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...

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

SOPRA
 Referenced in 7 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...

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

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 196 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

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

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

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

Magma
 Referenced in 2825 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5020 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 248 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Mathematica
 Referenced in 5857 articles
[sw00554]
 Almost any workflow involves computing results, and that...