• CArtAgO

  • Referenced in 14 articles [sw11700]
  • based on interdisciplinary studies involving Activity Theory and Distributed Cognition as main conceptual background frameworks ... Languages based on a strong notion of agency – intelligent agents – in particular those based...
  • QFTCT

  • Referenced in 3 articles [sw21882]
  • friendly CAD tool for QFT (Quantitative Feedback Theory) robust control systems design. Developed by Prof ... Reserve University (USA) and the European Space Agency ESA-ESTEC (The Netherlands) among others...
  • A502

  • Referenced in 1 article [sw19889]
  • Center. The contract was funded by several agencies of the Department of Defense along with ... supersonic speeds, using linearized potential flow theory. The A502 code was never intended for wide...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • SQG

  • Referenced in 19 articles [sw00907]
  • This paper describes an implementation of a complementary...
  • VPI

  • Referenced in 14 articles [sw01007]
  • The VPI (Variable Precision Interval) software package is...
  • GOLOG

  • Referenced in 172 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • AIMSUN

  • Referenced in 6 articles [sw02979]
  • Aimsun is traffic simulation software that allows you...
  • SQEMA

  • Referenced in 39 articles [sw03056]
  • Algorithmic correspondence and completeness in modal logic. IV...
  • MPFR

  • Referenced in 226 articles [sw03312]
  • The MPFR library is a C library for...
  • Pajek

  • Referenced in 154 articles [sw03707]
  • Pajek -- analysis and visualization of large networks. Pajek...
  • LINDO

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

  • Referenced in 319 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • PaGMO/PyGMO

  • Referenced in 12 articles [sw05070]
  • PaGMO/PyGMO. Parallel Global Multiobjective Optimizer (and its Python...
  • AgentSpeak

  • Referenced in 102 articles [sw06186]
  • AgentSpeak is an agent-oriented programming language. It...
  • MCNP

  • Referenced in 36 articles [sw07836]
  • MCNP-A General Monte Carlo N-Particle Transport...
  • sdcMicro

  • Referenced in 9 articles [sw07953]
  • R package sdcMicro: Statistical Disclosure Control methods for...
  • DIMACS

  • Referenced in 571 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...
  • NetLogo

  • Referenced in 116 articles [sw09150]
  • NetLogo, a Multi-agent Simulation Environment. NetLogo [Wilensky...
  • spBayes

  • Referenced in 365 articles [sw10160]
  • spBayes: An R Package for Univariate and Multivariate...