
MuRoCo
 Referenced in 1 article
[sw06548]
 framework for capability and situationaware coalition formation in cooperative multirobot systems One problem ... among the robots the formation of adequate subteams, socalled coalitions, is needed which ... framework is presented, which solves the coalition formation problem for cooperative heterogeneous multirobot 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 highlevel language and interactive...

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

RelView
 Referenced in 102 articles
[sw00798]
 The RelViewSystem is an interactive tool for...

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

UCIml
 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 conflictdriven answer set solver. clasp...

OEIS
 Referenced in 4285 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...