
A+
 Referenced in 0 articles
[sw05333]
 A+ is a powerful and efficient programming language. It is freely available under the GNU General Public License. It embodies a rich set of functions ...

a4Classif
 Referenced in 1 article
[sw06337]
 Automated Affymetrix Array Analysis Classification Package

AABC
 Referenced in 3 articles
[sw16116]
 AABC: approximate approximate Bayesian computation when simulating a large number of data sets is computationally infeasible. Approximate Bayesian computation (ABC) methods perform inference on modelspecific ...

AAFAC
 Referenced in 10 articles
[sw07858]
 AAFAC: A Package of Fortran77 Subprograms for Solving A’Ax= c

AALDPC
 Referenced in 1 article
[sw03190]
 A novel design methodology for highperformance programmable decoder cores for AALDPC codes

AARON
 Referenced in 18 articles
[sw11565]
 Refined restricted permutations. Derangements (and more generally the notion of ”fixed points of a permutation”) are concepts related to the cyclestructre, i.e. twoline notation, i.e. ...

AAR toolbox
 Referenced in 1 article
[sw15518]
 Automatic Artifact Removal (AAR) toolbox for MATLAB. This MATLAB toolbox integrates several stateoftheart methods for automatic removal of artifacts in the electroencephalogram (EEG). The methods ...

ABACUS
 Referenced in 105 articles
[sw02948]
 ABACUS is a software system written in C++ that provides a framework for the implementation of branchandbound algorithms using linear programming relaxations. Cutting planes or ...

ABAQUS
 Referenced in 948 articles
[sw04215]
 The Abaqus Unified FEA product suite offers powerful and complete solutions for both routine and sophisticated engineering problems covering a vast spectrum of industrial applications. ...

ABAQUS/Explicit
 Referenced in 60 articles
[sw07160]
 Abaqus/Explicit is a finite element analysis product that is particularly wellsuited to simulate brief transient dynamic events such as consumer electronics drop testing, automotive crashworthiness, ...

ABAQUS/Standard
 Referenced in 109 articles
[sw07161]
 Abaqus/Standard employs solution technology ideal for static and lowspeed dynamic events where highly accurate stress solutions are critically important. Examples include sealing pressure in a ...

ABASH
 Referenced in 2 articles
[sw19236]
 ABASH: finding bugs in bash scripts. This paper describes the design and implementation of ABASH, a tool for statically analyzing programs written in the bash ...

abbyyR
 Referenced in 0 articles
[sw15465]
 R package abbyyR: Access to Abbyy Optical Character Recognition (OCR) API. Get text from images of text using Abbyy Cloud Optical Character Recognition (OCR) API. ...

abc
 Referenced in 9 articles
[sw14871]
 abc: Tools for Approximate Bayesian Computation (ABC). Implements several ABC algorithms for performing parameter estimation, model selection, and goodnessoffit. Crossvalidation tools are also available for ...

ABC
 Referenced in 4 articles
[sw09004]
 ABC: a quantum reactive scattering program. This article describes a quantum mechanical reactive scattering program for atomdiatom chemical reactions that we have written during the ...

ABC
 Referenced in 4 articles
[sw09721]
 ABC: algebraic bound computation for loops. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested ...

ABC
 Referenced in 134 articles
[sw10950]
 A powerful and efficient algorithm for numerical function optimization: artificial bee colony (ABC) algorithm. Swarm intelligence is a research branch that models the population of ...

ABC
 Referenced in 10 articles
[sw12910]
 ABC: An Academic IndustrialStrength Verification Tool. ABC is a publicdomain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware ...

ABCanalysis
 Referenced in 0 articles
[sw15509]
 R package ABCanalysis: Computed ABC Analysis. For a given data set, the package provides a novel method of computing precise limits to acquire subsets which ...

ABCD
 Referenced in 2 articles
[sw19402]
 This is the compact BDD library ABCD, which is the standard BDD backend for our mucalculus model checker Mucke. During the design of ABCD we ...