• FreeFem++

  • Referenced in 734 articles [sw01436]
  • several branches of physics such as fluid-structure interactions require interpolations of data on several...
  • ABACUS

  • Referenced in 114 articles [sw02948]
  • list of different enumeration and branching strategies from which the best alternative for the user ... chosen. Finally, ABACUS provides many basic data structures and useful tools for the implementation...
  • bc-prod

  • Referenced in 36 articles [sw10663]
  • prod: a specialized branch-and-cut system for lot-sizing problems. bc-prod ... demand data, etc. The problem is then solved by the XPRESS-MP branch-and-bound...
  • QNet

  • Referenced in 10 articles [sw19662]
  • topologies for a given data set, together with a branch length for each topology. These ... branch lengths must be precomputed by the user. Included in the package are two simple ... applications for generating quartet weight data. GWeight utilizes statistical geometry [2] to generate quartet weights...
  • XDuce

  • Referenced in 53 articles [sw12436]
  • programming language for XML processing. Its basic data values are XML documents, and its types ... regular expression pattern matching, integrating conditional branching, tag checking, and subtree extraction, as well...
  • PAUP*

  • Referenced in 37 articles [sw07834]
  • computer analysis of molecular, morphological and/or behavioral data to infer phylogenetic relationships has expanded well ... predecessors. In addition, the speed of the branch-and-bound algorithm has been enhanced ... agreement subtrees to tests for combinability of data and permutation tests for nonrandomness of data...
  • QuBE++

  • Referenced in 26 articles [sw00766]
  • first QBF reasoning engine that uses lazy data structures both for unit clauses propagation ... also features non-chronological backtracking and a branching heuristic that leverages the information gathered during...
  • FindSteinerTree

  • Referenced in 11 articles [sw08245]
  • This algorithm uses a branch-and-bound approach. It will therefore find the optimal tree ... increases very rapidly with increasing numbers of data points. Smith’s algorithm uses Euclidean distance ... data points entered with tree that has the shortest possible sum of branch lengths measured...
  • NaCl

  • Referenced in 6 articles [sw09914]
  • load addresses; no data flow from secrets to branch conditions; no padding oracles; centralizing randomness...
  • SNOBFIT

  • Referenced in 16 articles [sw05289]
  • SNOBFIT (Stable Noisy Optimization by Branch and FIT) is a MATLAB 6 package ... possible to use SNOBFIT with new data entered by hand, or by any automatic ... optimizing some user-specified criterion. Since multiple data points can be entered, SNOBFIT can take ... parallel function evaluations. The method combines a branching strategy to enhance the chance of finding...
  • CVXGEN

  • Referenced in 30 articles [sw07151]
  • time applications. The generated code is almost branch free, and so has highly predictable ... yields reliable performance, even with poor quality data. In this paper we describe how CVXGEN...
  • OGDF

  • Referenced in 23 articles [sw04102]
  • using a dedicated module mechanism. Sophisticated data structures that are commonly used in graph drawing ... additional libraries (except for some optional branch-and-cut algorithms). Portable C++-code that supports...
  • ALPS

  • Referenced in 13 articles [sw00036]
  • scalable manner is challenging both because of data storage requirements and communication overhead. ALPS incorporates ... ALPS. The first is the Branch, Constrain, and Price Software (BiCePS) library, a framework that ... supports the implementation of parallel branch and bound algorithms in which the bounds are obtained ... this layer, the notion of global data objects associated with the variables and constraints...
  • deBWT

  • Referenced in 1 article [sw23947]
  • large collection of genomes with de Bruijn-branch encoding. MOTIVATION: With the development of high ... Burrows-Wheeler Transform (BWT) is an important data structure of genome indexing, which has many ... construction. RESULTS: We propose de Bruijn branch-based BWT constructor (deBWT), a novel parallel ... novel data structure, de Bruijn branch encoding. This data structure takes the advantage...
  • ECOS

  • Referenced in 19 articles [sw12123]
  • integer variables by employing a simple branch and bound technique. ECOS is written entirely ... algebra computations operating on the (sparse) problem data. As a consequence, it can be used...
  • propr

  • Referenced in 1 article [sw15745]
  • metric, phi, derived from compositional data analysis, a branch of math dealing specifically with relative...
  • Jakstab

  • Referenced in 4 articles [sw25254]
  • control flow graph. Data flow information is used to resolve branch targets and discover...
  • WinGULF

  • Referenced in 14 articles [sw19224]
  • problems, current bound, branching variables and appropriate branching constraints. See more detailed information here ... variables may be integer). Data can be entered in a spreadsheet styled editor within WinGULF ... B.Martos[1] with various pivoting rules and branch-and-bound procedure (with various searching strategies...
  • TravMC

  • Referenced in 1 article [sw09396]
  • cases construct (to express program branching based on data) and non-determinism (to express abstractions...
  • EigenCFA

  • Referenced in 3 articles [sw14136]
  • accelerate high-arithmetic, data-parallel computations with a poor tolerance for branching. Taking that perspective ... fast CPU implementation. Ultimately, sparse-matrix data structures and operations turned...