• Tabu search

  • Referenced in 1060 articles [sw08556]
  • useful aspects of tabu search is the ability to adapt a rudimentary prototype implementation ... discrete optimization problems to illustrate the strategic concerns of tabu search, and to show...
  • i*

  • Referenced in 15 articles [sw04447]
  • goals, beliefs, abilities, commitments) to each other and reason about strategic relationships. Dependencies between agents...
  • SilviLab

  • Referenced in 2 articles [sw26946]
  • used by all actors involved in the strategic forest planning. Silvilab provides a graphical representation ... system, the strength of Silvilab is the ability to assess the impact of forest planning ... application can assess the impact of existing strategic plans but also produce a new plan...
  • Matlab

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

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

  • Referenced in 434 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • LINDO

  • Referenced in 548 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • LINGO

  • Referenced in 311 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • Stata

  • Referenced in 825 articles [sw06029]
  • Stata is a complete, integrated statistical package that...
  • Jason

  • Referenced in 62 articles [sw06187]
  • Programming multi-agent systems in AgentSpeak using Jason...
  • SAS

  • Referenced in 1533 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • PORGY

  • Referenced in 13 articles [sw06923]
  • PORGY aims at designing relevant graphical representations and...
  • OEIS

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

  • Referenced in 73 articles [sw09463]
  • MCMAS: A Model Checker for the Verification of...
  • MCK

  • Referenced in 31 articles [sw09465]
  • MCK: Model checking knowledge. MCK is a model...
  • Z-Tree

  • Referenced in 624 articles [sw11707]
  • Z-Tree: Zurich Toolbox for ready-made economic...
  • ORSEE

  • Referenced in 171 articles [sw11710]
  • ORSEE is a web-based Online Recruitment System...
  • MOCHA

  • Referenced in 91 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a...
  • Python

  • Referenced in 1935 articles [sw14460]
  • Python is a widely used high-level, general...