• 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 user-defined ... TRANSFAC team. A public version of the Match tool is available at: http://www.gene-regulation.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 p-values...
  • 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 compile-time 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 no-match/mismatch error rate as well as the rates...
  • WNetKAT

  • Referenced in 1 article [sw25228]
  • defined networking paradigm. While OpenFlow and its match-action 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 (ta-siRNAs), 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...