
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 abinitio 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 graphtheoretic metrics in mind, a computational task not easily accessible using currently...

hsSim
 Referenced in 1 article
[sw36148]
 tasks, and in mixedcriticality scenarios. Most theory and practice focuses on twolevel 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 wellvalidated 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 problemsolving 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 nonstrict functional language with polymorphic...