• CLARION

  • Referenced in 8 articles [sw30592]
  • CLARION is a unified, comprehensive theory of the mind based on a hybrid architecture able...
  • FAdo

  • Referenced in 16 articles [sw10335]
  • also in mind the construction of a pedagogical tool for teaching automata theory and formal...
  • GUItar

  • Referenced in 10 articles [sw10336]
  • also in mind the construction of a pedagogical tool for teaching automata theory and formal...
  • MatContM

  • Referenced in 8 articles [sw06061]
  • Numerical bifurcation analysis of maps. From theory to software. This book combines a comprehensive state ... mind and is an invaluable reference for practitioners. Part I focuses on theory, providing...
  • OCTBEC

  • Referenced in 7 articles [sw14253]
  • control theory (OCT), of Bose–Einstein condensates (BEC). The systems we have in mind...
  • CSparseJ

  • Referenced in 1 article [sw20193]
  • five goals in mind: they must embody much of the theory behind sparse matrix algorithms...
  • fzn2smt

  • Referenced in 4 articles [sw13501]
  • formula with respect to background theories --such as linear arithmetic, arrays, etc-- for which specialized ... fzn2smt was designed with the idea in mind of help testing the adequacy...
  • SCSV_IPS

  • Referenced in 1 article [sw37772]
  • that objective in mind, we built a mathematical model upon the Theory of Internal Angular...
  • CLTDSE

  • Referenced in 2 articles [sw17634]
  • strong field ab-initio simulations specifically in mind; CLTDSE. The code makes use of finite ... test system; Hydrogen. After introducing the standard theory, and specific quantities which are calculated...
  • Algorithm 1005

  • Referenced in 1 article [sw35923]
  • corresponding BLAS, in line with theory. The emphasis is on reverse mode because ... main application that we have in mind, numerical optimization. Two examples are presented, one dealing...
  • Maple DEtools

  • Referenced in 1 article [sw38755]
  • MAPLE is used with several purposes in mind. The authors are firm believers ... then synthesizes these experiments into a general theory. Projects based on the concept of writing...
  • SpectralNET

  • Referenced in 3 articles [sw26161]
  • spectral graph analysis and visualization. Graph theory provides a computational framework for modeling a variety ... analysis of graph-theoretic metrics in mind, a computational task not easily accessible using currently...
  • hsSim

  • Referenced in 1 article [sw36148]
  • tasks, and in mixed-criticality scenarios. Most theory and practice focuses on two-level hierarchies ... goal of openness, extensibility and interoperability in mind, due care was put into the design...
  • pSpatiocyte

  • Referenced in 0 articles [sw15003]
  • program called pSpatiocyte was created bearing in mind reaction networks in biological cells operating ... diffusion and reaction rates were validated by theory and another well-validated program...
  • R

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

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

  • Referenced in 131 articles [sw01208]
  • Interactive ELLPACK: An interactive problem-solving environment for...
  • VESTA

  • Referenced in 10 articles [sw02978]
  • For substantial software systems (say, 500k source lines...
  • Gaigen

  • Referenced in 36 articles [sw04958]
  • Gaigen is a program which can generate implementations...
  • Miranda

  • Referenced in 153 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic...