• MM5

  • Referenced in 35 articles [sw25176]
  • limited-area, nonhydrostatic, terrain-following sigma-coordinate model designed to simulate or predict mesoscale atmospheric...
  • Sigma*

  • Referenced in 11 articles [sw21731]
  • novel technique for learning symbolic models of software behavior. Sigma* addresses the challenge of synthesizing ... data items---for which Sigma* converges to a complete model if abstraction refinement eventually builds ... other words, Sigma* is complete relative to abstraction. To represent inferred symbolic models ... experimentally. We also show how models inferred by Sigma* can boost performance of stream programs...
  • lmvar

  • Referenced in 0 articles [sw19443]
  • standard deviation sigma follows the model log(sigma) = X_sigma * beta_sigma. The package comes...
  • LP3Verif

  • Referenced in 1 article [sw41471]
  • Based Services. LP3Verif is an open-source model checking tool for verification of location privacy ... comparable. We propose the sigma-calculus, a process calculus to model LPPMs and their privacy ... model checking tool to verify location privacy properties of LPPMs using the sigma-calculus. LP3Verif...
  • SIGMA

  • Referenced in 4 articles [sw31363]
  • implemented in the computer-aided software package SIGMA. The results of simulation of the hypersonic ... about the spherical nose segment of a model hypersonic vehicle are presented...
  • iSIGHT

  • Referenced in 8 articles [sw06969]
  • number of powerful enhancements for optimization, modeling and simulation integration, and postprocessing. These improvements enable ... Experiments (DOE) or Design for Six Sigma...
  • EFDC

  • Referenced in 1 article [sw18277]
  • technically defensible hydrodynamic models in the world. EFDC uses stretched or sigma vertical coordinates ... temperature are also solved. The EFDC model allows for drying and wetting in shallow areas...
  • SNSequate

  • Referenced in 3 articles [sw21191]
  • Test Equating. Contains functions to perform various models and methods for test equating. It currently ... well as the mean-mean, mean-sigma, Haebara and Stocking-Lord IRT linking methods...
  • pwr2

  • Referenced in 1 article [sw40873]
  • ANOVA Models. User friendly functions for power and sample size analysis ... take either effect size or delta and sigma as arguments. They are designed for both...
  • BAHAMAS

  • Referenced in 4 articles [sw20222]
  • results obtained by applying our BAyesian HierArchical Modeling for the Analysis of Supernova cosmology (BAHAMAS ... find Omega_M = 0.399+/-0.027, 2.8sigma higher than previously reported...
  • BayesPiecewiseICAR

  • Referenced in 0 articles [sw16051]
  • survival data using a Hierarchical Bayesian model with an Intrinsic Conditional Autoregressive formulation ... hierarchical parameters, Mu and Sigma...
  • graphsim

  • Referenced in 1 article [sw33833]
  • mvtnorm’ to take ’igraph’ structures rather than sigma matrices as input. This allows ... graph structure based on a statistical model of gene expression. For example methods to infer...
  • SequenceAnalysis

  • Referenced in 0 articles [sw16313]
  • synonymous codons. 6) Stacking Energy: The NN model for nucleic acids assumes that the stability ... neighboring base pairs. Stacking Energy = DeltaG(total) = Sigma (n(i)*DeltaG(i)) + DeltaG(init) + DeltaG...
  • Cadabra

  • Referenced in 91 articles [sw00097]
  • Cadabra is a powerful computer program for the...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Macaulay2

  • Referenced in 1904 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3296 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...