-
Biq Mac
- Referenced in 88 articles
[sw10532]
- problem of finding a cut of maximum weight in a weighted graph ... optimal” solution of the basic semidefinite Max-Cut relaxation, strengthened by triangle inequalities. The expensive...
-
sdpt3r
- Referenced in 5 articles
[sw27792]
- graph theory problems including the maximum cut problem. Technical details surrounding SDPT3 can be found...
-
ordinal
- Referenced in 28 articles
[sw12561]
- ordered logit/probit/... models. Estimation is via maximum likelihood and mixed models are fitted with ... equidistance can be imposed on the thresholds (cut-points/intercepts). Standard model methods are available...
-
MFMC_Countable
- Referenced in 1 article
[sw38014]
- formalises a proof of the maximum-flow minimal-cut theorem for networks with countably many...
-
PipLib
- Referenced in 19 articles
[sw23763]
- software that finds the lexicographic minimum (or maximum) in the set of integer points belonging ... parametrized Gomory’s cuts algorithm followed by the parameterized dual simplex method. The PIP Library...
-
PPCI
- Referenced in 2 articles
[sw36581]
- /papers/volume17/15-307/15-307.pdf>; minimum normalised cut, Hofmeyr (2017) ; and maximum variance ratio clusterability, Hofmeyr...
-
revisiting_mp_conditions
- Referenced in 3 articles
[sw34864]
- handling bids with a minimum profit or maximum payment condition in a uniform and computationally ... exact decomposition procedure with sparse strengthened Benders cuts derived from the MILP formulation is also...
-
Peklo
- Referenced in 0 articles
[sw05763]
- balanced flows), minimum cuts, shortest path, minimum spanning tree, and maximum matching...
-
HapCUT
- Referenced in 6 articles
[sw35352]
- haplotype assembly problem based on computing max-cuts in certain graphs derived from the sequenced ... significantly more accurate (20–25% lower maximum error correction scores for all chromosomes) than...
-
Xeggora
- Referenced in 2 articles
[sw35050]
- Statistical Relational Models. We present improvements in maximum a-posteriori inference for Markov Logic ... hard in general. Several approaches, including Cutting Plane Aggregation (CPA), perform inference through translation...
-
Kink-detector
- Referenced in 3 articles
[sw29680]
- helices with applications. Motivated by a cutting edge problem related to the shape of (alpha ... straight (alpha)-helix and derive the maximum likelihood estimation procedure. The cylinder is an accepted...
-
Power-Spectral-Clustering
- Referenced in 1 article
[sw36494]
- varGamma)-convergence, which is an amalgamation of maximum spanning tree clustering and spectral clustering. This ... combinatorial grouping is used, where the normalized cut is replaced with the proposed algorithm...
-
C2
- Referenced in 1 article
[sw41653]
- factor analysis, modern analogue technique (MAT) and maximum likelihood regression and calibration (ML), all with ... units (mm) or fit to page, and cut & paste diagrams to a favourite drawing package...
-
ADOL-C
- Referenced in 249 articles
[sw00019]
- ADOL-C: Automatic Differentiation of C/C++. We present...
-
CCSP
- Referenced in 14 articles
[sw00111]
- CCSP: A formal system for distributed program debugging...
-
cdd
- Referenced in 115 articles
[sw00114]
- The program cdd+ (cdd, respectively) is a C...
-
CGAL
- Referenced in 384 articles
[sw00118]
- The goal of the CGAL Open Source Project...
-
CoCoA
- Referenced in 654 articles
[sw00143]
- CoCoA is a system for Computations in Commutative...
-
Coq
- Referenced in 1880 articles
[sw00161]
- Coq is a formal proof management system. It...
-
CSDP
- Referenced in 202 articles
[sw00169]
- CSDP, A C Library for Semidefinite Programming. This...