
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 ...

A3PAT
 Referenced in 7 articles
[sw21587]
 A3PAT, an approach for certified automated termination proofs. Software engineering, automated reasoning, rulebased programming or specifications often use rewriting systems for which termination, among other ...

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

A502
 Referenced in 1 article
[sw19889]
 Input PreProcessor for PanAir. The input file for PanAir is errorprone and unforgiving. This program accepts a freeform file and creates a properly formatted input ...

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 ...

AADL
 Referenced in 4 articles
[sw20835]
 A number of cyberphysical systems are hierarchical distributed control systems whose components operate with different rates, and that should behave in a virtually synchronous way. ...

AAFAC
 Referenced in 11 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 111 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 ...

ABAKO/RAPCAL
 Referenced in 1 article
[sw20547]
 Collisionalradiative calculations of optically thin and thick plasmas using the computational package ABAKO/RAPCAL. Nonlocal thermodynamic equilibrium (NLTE) conditions are universal in laboratory and astrophysical plasmas ...

ABAQUS
 Referenced in 1135 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. ...

Abaqus2Matlab
 Referenced in 1 article
[sw22079]
 Abaqus2Matlab: A suitable tool for finite element postprocessing. A suitable piece of software is presented to connect Abaqus, a sophisticated finite element package, with Matlab, ...

ABAQUS/Explicit
 Referenced in 66 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 145 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 13 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 ...