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

• B3muRGA

• Referenced in 1 article [sw22538]
• B3muRGA. MATLAB File Exchange 26548. Bidirectional Branch and Bound for Multiobjective Pairing Selection. A bidirectional branch and bound code to perform multiobjective input-output pairing selection. ...

• B4Free

• Referenced in 6 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 5 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 67 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 2 articles [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 5 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. ...