• CoNoteS2

  • Referenced in 2 articles [sw13833]
  • Second, we build on this theory to describe features of CoNoteS2 (a prototype electronic notebook ... learning. Our intent is to illustrate how contemporary learning theory can be used to drive...
  • anthem

  • Referenced in 4 articles [sw30423]
  • anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). In a recent paper ... stable models conforms with their intentions. If a formal specification for the program is available...
  • BIGHORN

  • Referenced in 1 article [sw31834]
  • BIGHORN Computational Fluid Dynamics Theory, Methodology, and Code Verification & Validation Benchmark Problems. This document presents ... validation benchmark test problems for BIGHORN. The intent for this suite of problems...
  • DensToolKit

  • Referenced in 0 articles [sw20061]
  • electron density, under the framework of Quantum Theory of Atoms in Molecules. DensToolKit also evaluates ... release the code with the intent of establishing an open-source collaborative project. The style...
  • Matlab

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

  • Referenced in 75 articles [sw00973]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • WordNet

  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • NEURON

  • Referenced in 189 articles [sw03059]
  • Parallel network simulations with NEURON. The NEURON simulation...
  • CPLEX

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

  • Referenced in 123 articles [sw04598]
  • The Spec# programming system is a new attempt...
  • HOL

  • Referenced in 594 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • DELORES

  • Referenced in 26 articles [sw05546]
  • DELORES (DEfeasible LOgic REasoning System) is a forward...
  • AgentSpeak

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

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

  • Referenced in 134 articles [sw06484]
  • Decision Making in Manufacturing Environment Using Graph Theory...
  • METATEM

  • Referenced in 55 articles [sw06568]
  • MetateM: An introduction. A methodology for the use...
  • AGRAPH

  • Referenced in 1 article [sw06722]
  • The software AGRAPH, as presented at the Space...
  • Excel

  • Referenced in 786 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that...
  • EQS

  • Referenced in 140 articles [sw07678]
  • EQS - Structural Equation Modeling Software ...
  • GEPASI

  • Referenced in 34 articles [sw07916]
  • Gepasi is a software package for modeling biochemical...