• MuRoCo

  • Referenced in 1 article [sw06548]
  • framework for capability- and situation-aware coalition formation in cooperative multi-robot systems One problem ... among the robots the formation of adequate subteams, so-called coalitions, is needed which ... framework is presented, which solves the coalition formation problem for cooperative heterogeneous multi-robot systems...
  • CoLoSS

  • Referenced in 14 articles [sw07016]
  • logics K, KD, Pauly’s coalition logic, graded modal logic, and probabilistic modal logic. Logics ... axiomatisation of their semantics in a specific format. Moreover, CoLoSS is compositional: it synthesises decision...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

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

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

  • Referenced in 35 articles [sw02011]
  • Verics (VerICS) is our original tool for automated...
  • UCI-ml

  • Referenced in 3444 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 727 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • SNAP

  • Referenced in 179 articles [sw04184]
  • Stanford Network Analysis Platform (SNAP) is a general...
  • Bioconductor

  • Referenced in 328 articles [sw04205]
  • Bioconductor provides tools for the analysis and comprehension...
  • GAMS

  • Referenced in 881 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • VRP

  • Referenced in 1128 articles [sw05207]
  • The Vehicle Routing Problem (VRP) is one of...
  • LMI toolbox

  • Referenced in 1468 articles [sw06383]
  • Linear Matrix Inequalities (LMIs) and LMI techniques have...
  • Excel

  • Referenced in 786 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that...
  • clasp

  • Referenced in 104 articles [sw07095]
  • clasp: A conflict-driven answer set solver. clasp...
  • OEIS

  • Referenced in 4285 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...