
B2000++
 Referenced in 1 article
[sw18323]
 B2000++ is a Finite Element problem solving environment made primarly to analyze the behaviour of structures. With B2000++, you can predict with a high degree ...

B2Z
 Referenced in 1 article
[sw11812]
 B2Z: Bayesian TwoZone Model: This package fits the Bayesian twoZone Models.B2Z: An R Package for Bayesian TwoZone Models.

B4Free
 Referenced in 5 articles
[sw07085]
 Academic tool enabling the operational use of formal Method B for proven software development.

b4m
 Referenced in 5 articles
[sw04005]
 b4m (BIAS for Matlab): Interval Arithmetic Toolbox

ba5.2
 Referenced in 2 articles
[sw10445]
 A program to compute exact hydrogenic radial integrals and Einstein coefficients. An exact expression for the dipole radial integral of hydrogen has been given by ...

BAAC
 Referenced in 1 article
[sw20858]
 BAAC: a Prolog system for action description and agents coordination. The paper presents a system for knowledge representation and coordination, where autonomous agents reason and ...

BABAR
 Referenced in 1 article
[sw18997]
 BABAR: an R package to simplify the normalisation of common reference design microarraybased transcriptomic datasets. Background: The development of DNA microarrays has facilitated the generation ...

BabaYaga@NLO
 Referenced in 1 article
[sw10853]
 BabaYaga is a Monte Carlo event generator for e+e > e+e, μ+μ, γγ and π+π processes at flavour factories, i.e. for energies below 1012 GeV. ...

BABDCR
 Referenced in 4 articles
[sw04399]
 Algorithm 859: BABDCR  a Fortran 90 package for the solution of bordered ABD linear systems. BABDCR is a package of Fortran 90 subroutines for ...

babel
 Referenced in 1 article
[sw14594]
 babel – Multilingual support for Plain TeX or LaTeX. The package manages culturallydetermined typographical (and other) rules, and hyphenation patterns for a wide range of ...

BABEL
 Referenced in 66 articles
[sw03018]
 Logic programming with functions and predicates: The language BABEL. We investigate the experimental programming language BABEL, designed to achieve integration of functional programming (as embodied ...

BaBooN
 Referenced in 1 article
[sw19481]
 R package BaBooN: Bayesian Bootstrap Predictive Mean Matching  Multiple and Single Imputation for Discrete Data. Included are two variants of Bayesian Bootstrap Predictive Mean ...

babynames
 Referenced in 1 article
[sw19349]
 R package babynames: US Baby Names 18802014. US baby names provided by the SSA. This package contains all names used for at least 5 children ...

BacArena
 Referenced in 0 articles
[sw15883]
 R package BacArena. Can be used for simulation of organisms living in communities. Each organism is represented individually and genome scale metabolic models determine the ...

BACC
 Referenced in 1 article
[sw03149]
 Using the BACC software for Bayesian inference The BACC software provides its users with tools for Bayesian analysis, computation and communication. The current version of ...

BACCO
 Referenced in 2 articles
[sw10536]
 Introducing BACCO, an R Bundle for Bayesian Analysis of Computer Code Output. This paper introduces the BACCO bundle of R routines for carrying out Bayesian ...

BACCT
 Referenced in 0 articles
[sw15607]
 R package BACCT: Bayesian Augmented Control for Clinical Trials. Implements the Bayesian Augmented Control (BAC, a.k.a. Bayesian historical data borrowing) method under clinical trial setting ...

BaCelLo
 Referenced in 1 article
[sw17174]
 BaCelLo: a balanced subcellular localization predictor. Motivation. The knowledge of the subcellular localization of a protein is fundamental for elucidating its function. It is difficult ...

BACH
 Referenced in 2 articles
[sw11906]
 BACH: bounded reachability checker for linear hybrid automata. Hybrid automata are well studied formal models for hybrid systems with both discrete and continuous state changes. ...

BACK
 Referenced in 1 article
[sw11408]
 New developments in dynamical adaptive backstepping control. In this survey paper the authors consider a number of adaptive backstepping control algorithms for observable nonminimum phase ...