Results 1 to 20 of 741
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z all

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