• 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 Two-Zone Model: This package fits the Bayesian two-Zone Models.B2Z: An R Package for Bayesian Two-Zone 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 microarray-based 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 10-12 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 pack­age man­ages cul­tur­ally-de­ter­mined ty­po­graph­i­cal (and other) rules, and hy­phen­ation pat­terns 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 1880-2014. 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 non-minimum phase ...