• OptiRisk

  • Referenced in 9 articles [sw06238]
  • Specialists in Risk Analysis and Optimum Decision Making OptiRisk Systems is a UK-based company ... area of Optimisation, Risk Modelling, Portfolio Planning, Asset and Liability Management, Supply Chain Management, Strategic...
  • KraljicMatrix

  • Referenced in 1 article [sw29160]
  • firm’s purchasing portfolio. It combines multi-objective decision analysis to measure purchasing characteristics...
  • Bayesia

  • Referenced in 1 article [sw13960]
  • Bayesia’s software portfolio focuses on all aspects of decision support with Bayesian networks ... applications ranges from individual decision support to large-scale policy analysis and risk assessment...
  • Equity3

  • Referenced in 1 article [sw16176]
  • Criteria Decision Analysis (MCDA) tool for the PC that assists individual decision makers and organisations ... problem areas including R&D Investment, Marketing Portfolio Management, Project Prioritisation, Resource Allocation, Capital...
  • HiPriority

  • Referenced in 1 article [sw16180]
  • Project Prioritisation and Design to best Value decisions. At its heart, a Benefit to Cost ... amongst those involved so that the best portfolio can be found within the available budget ... powerful inspection window, which allows immediate visual analysis and understanding of the changes...
  • BARON

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

  • Referenced in 41 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • CGAL

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

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

  • Referenced in 72 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • DEA

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

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

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

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • March_eq

  • Referenced in 13 articles [sw00548]
  • March_eq: Implementing additional reasoning into an efficient...
  • Mathematica

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

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

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

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • Paramils

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