• CAP3

  • Referenced in 17 articles [sw08935]
  • generation of consensus sequences. The program also uses forward–reverse constraints to correct assembly errors ... whereas CAP3 often produces fewer errors in consensus sequences than PHRAP. It is easier ... pass data with forward–reverse constraints...
  • D-ADMM

  • Referenced in 25 articles [sw28440]
  • intersection of all the constraint sets. D-ADMM is proven to converge when the network ... problems from signal processing and control: average consensus, compressed sensing, and support vector machines...
  • PuFFIN

  • Referenced in 2 articles [sw22390]
  • function, PuFFIN produces a consensus set that satisfies non-overlapping constraints and maximizes the number...
  • PROMALS3D

  • Referenced in 3 articles [sw16918]
  • structures, and combines them with sequence-based constraints of profile–profile alignments in a consistency ... multiple sequence alignments. PROMALS3D output is a consensus alignment enriched with sequence and structural information...
  • foxPSL

  • Referenced in 2 articles [sw13725]
  • Alternating Direction Method of Multipliers (ADMM) consensus optimization. It provides a Domain Specific Language that ... configurable optimizations, like optimized grounding of constraints and lazy inference, that improve grounding and inference ... state-of-the-art implementation of ADMM consensus optimization in GraphLab, and show an improvement...
  • tangle-network-particle-filter

  • Referenced in 1 article [sw38321]
  • techniques have been devised, which relax this constraint while yet maintaining a number of desired ... statistical properties like consistency and convergence to consensus. Here, we present a methodological approach...
  • AutoGrader

  • Referenced in 0 articles [sw30353]
  • significant losses. Therefore, it is a common consensus in academia and industry to find ... sample program is used as a constraint to ensure the correctness of the synthesized code...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • DEA

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KNITRO

  • Referenced in 197 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • mclust

  • Referenced in 309 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • RelView

  • Referenced in 102 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • Sostools

  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...