• Nucleolus

  • Referenced in 1 article [sw40377]
  • desirable payoff-sharing solution in cooperative games, thanks to its attractive properties -- it always exists ... lexicographically minimizes the dissatisfactions among all coalitions. Although computing the nucleolus is very challenging ... solution is the nucleolus in relatively small games (i.e. with the number of players ... approach, however, becomes more challenging for larger games because of the need to form...
  • NEGEXT

  • Referenced in 1 article [sw09761]
  • possibility of representing learning from game to game, by sequential and parallel composition ... individual or a specific coalition can achieve a given objective...
  • 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...
  • PSPLIB

  • Referenced in 277 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • 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...
  • GraphBase

  • Referenced in 138 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...
  • 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...
  • NuSMV

  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • 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...
  • Qhull

  • Referenced in 332 articles [sw04419]
  • The convex hull of a point set P...
  • CUDD

  • Referenced in 158 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • azove

  • Referenced in 13 articles [sw04634]
  • On threshold BDDs and the optimal variable ordering...
  • Optgame

  • Referenced in 6 articles [sw04936]
  • Solving dynamic macroeconomic policy games using the algorithm...
  • CliffMath

  • Referenced in 23 articles [sw04955]
  • Operator calculus on graphs. Theory and applications in...