
PRIX
 Referenced in 11 articles
[sw18898]
 processing, a twig pattern is also transformed into its Prufer sequence. By performing subsequence matching ... database, and performing a series of refinement phases that we have developed, we can find ... database. Our approach allows holistic processing of a twig pattern without breaking the twig into...

Reveal
 Referenced in 20 articles
[sw00801]
 much smaller state space. This approximation is subsequently used to verify the correctness of control ... automatically refined based on the spurious counterexample it generates. Such refinement can be viewed ... modern Boolean satisfiability solvers. The abstraction/refinement process is iterated until the design is shown...

REBA
 Referenced in 2 articles
[sw29435]
 resolution transition diagram being defined as a refinement of the coarseresolution transition diagram ... construct a partially observable Markov decision process (POMDP). The policy obtained by solving the POMDP ... coarseresolution history and used for subsequent coarseresolution reasoning. The architecture thus combines...

ADOLC
 Referenced in 230 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

gmp
 Referenced in 263 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Mathematica
 Referenced in 5857 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11969 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 8180 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1598 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

UMFPACK
 Referenced in 347 articles
[sw00989]
 An ANSI C code for sparse LU factorization...

AUTO
 Referenced in 864 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

ADINA
 Referenced in 127 articles
[sw01175]
 ADINA R&D, Inc. was founded in 1986...

CUDA
 Referenced in 1169 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

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

Concorde
 Referenced in 301 articles
[sw04770]
 Concorde is a computer code for the symmetric...

OpenCL
 Referenced in 216 articles
[sw07060]
 OpenCL™ is the first open, royaltyfree standard...

LISP
 Referenced in 126 articles
[sw07201]
 Lisp (historically, LISP) is a family of computer...

OEIS
 Referenced in 3337 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

Ptolemy
 Referenced in 77 articles
[sw07459]
 A modular formal semantics for Ptolemy. Ptolemy is...

Cilk
 Referenced in 66 articles
[sw08400]
 Intel® Cilk™ Plus is the easiest, quickest way...