
MM5
 Referenced in 35 articles
[sw25176]
 limitedarea, nonhydrostatic, terrainfollowing sigmacoordinate 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 itemsfor 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 opensource model checking tool for verification of location privacy ... comparable. We propose the sigmacalculus, a process calculus to model LPPMs and their privacy ... model checking tool to verify location privacy properties of LPPMs using the sigmacalculus. LP3Verif...

SIGMA
 Referenced in 4 articles
[sw31363]
 implemented in the computeraided 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 meanmean, meansigma, Haebara and StockingLord 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...

sigma GTTM
 Referenced in 2 articles
[sw22132]
 σGTTM III: Learning based Timespan Tree Generator...

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