
FreeFem++
 Referenced in 734 articles
[sw01436]
 several branches of physics such as fluidstructure 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...

bcprod
 Referenced in 36 articles
[sw10663]
 prod: a specialized branchandcut system for lotsizing problems. bcprod ... demand data, etc. The problem is then solved by the XPRESSMP branchandbound...

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 branchandbound 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 nonchronological backtracking and a branching heuristic that leverages the information gathered during...

FindSteinerTree
 Referenced in 11 articles
[sw08245]
 This algorithm uses a branchandbound 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 userspecified 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 branchandcut 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 Bruijnbranch encoding. MOTIVATION: With the development of high ... BurrowsWheeler Transform (BWT) is an important data structure of genome indexing, which has many ... construction. RESULTS: We propose de Bruijn branchbased 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 branchandbound procedure (with various searching strategies...

TravMC
 Referenced in 1 article
[sw09396]
 cases construct (to express program branching based on data) and nondeterminism (to express abstractions...

EigenCFA
 Referenced in 3 articles
[sw14136]
 accelerate higharithmetic, dataparallel computations with a poor tolerance for branching. Taking that perspective ... fast CPU implementation. Ultimately, sparsematrix data structures and operations turned...