• TPtool

  • Referenced in 6 articles [sw11769]
  • model transformation, different optimization and convexity constraints can be considered, and transformations can be executed ... from physical considerations, as an outcome of soft computing based identification techniques such as neural...
  • bgmm

  • Referenced in 5 articles [sw19104]
  • Modeling. Two partially supervised mixture modeling methods: soft-label and belief-based modeling are implemented ... models with different component numbers or constraints on their structures. For detailed introduction see: Przemyslaw...
  • PATOMA

  • Referenced in 4 articles [sw25553]
  • shape blocks under tight fixed-outline area constraints and a wirelength objective. Dramatic improvement over ... PATOMA runs significantly faster. With all blocks soft, PATOMA produces wirelength 9% shorter on average...
  • foxPSL

  • Referenced in 2 articles [sw13725]
  • capability to represent soft truth values, allowing the expression of complex domain knowledge, like degrees ... configurable optimizations, like optimized grounding of constraints and lazy inference, that improve grounding and inference...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 357 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 196 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CGAL

  • Referenced in 396 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • GAP

  • Referenced in 3190 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Maple

  • Referenced in 5375 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

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

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

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

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

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Paramils

  • Referenced in 87 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • PARDISO

  • Referenced in 287 articles [sw00679]
  • The package PARDISO is a thread-safe, high...