• Society Visualiser

  • Referenced in 10 articles [sw20845]
  • such societies are agent heterogeneity, conflicting individual goals and unpredictable behavior. Members of such societies...
  • Flappy

  • Referenced in 2 articles [sw38067]
  • capabilities and can simultaneously master seemingly conflicting goals: stable hovering and aggressive maneuvering, unmatched...
  • margrave

  • Referenced in 4 articles [sw28803]
  • conflicts among rules, tracing firewall behavior to specific rules, and verification against security goals. Margrave...
  • i*

  • Referenced in 15 articles [sw04447]
  • agent. Agents attribute intentional properties (such as goals, beliefs, abilities, commitments) to each other ... strategic interests which may be reinforcing or conflicting in relation to each other. Examples...
  • MERGEXPLAIN

  • Referenced in 1 article [sw24976]
  • computation of minimal conflict sets is a central task when the goal is to find ... paper we propose MERGEXPLAIN, a non-intrusive conflict detection algorithm which implements a divide...
  • Triplet MaxCut

  • Referenced in 1 article [sw29615]
  • from various, possibly conflicting, sources into a single tree. The goal of a supertree algorithm...
  • Densityfold

  • Referenced in 1 article [sw12673]
  • energy minimization. Here the goal is to compute a non-conflicting collection of structural elements...
  • Lalr

  • Referenced in 1 article [sw36321]
  • very fast and powerful parsers. The design goals have been to generate portable, table-driven ... Modula-2. In case of LR-conflicts, a derivation tree is printed instead...
  • CasCADe

  • Referenced in 1 article [sw27247]
  • schedule and make inconsistencies readily apparent. The goal of this paper is to apply best ... made evident schedule uncertainties, identified work-space conflicts and helped analyze other constructability issues...
  • BARON

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

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

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

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

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

  • Referenced in 315 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • VAMPIRE

  • Referenced in 239 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • AMPL

  • Referenced in 594 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • MIPLIB

  • Referenced in 310 articles [sw04067]
  • A mixed integer (linear) program (mip) is an...
  • UCI-ml

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

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