
Uppaal
 Referenced in 617 articles
[sw04702]
 realtime systems, developed jointly by Basic Research in Computer Science at Aalborg University ... modeled as a collection of nondeterministic processes with finite control structure and realvalued...

KernSmooth
 Referenced in 878 articles
[sw04586]
 underlying structure in data sets without the imposition of a parametric model. The main goal ... study of the book only a basic knowledge of statistics, calculus and matrix algebra...

psych
 Referenced in 25 articles
[sw04549]
 analysis and reliability analysis, although others provide basic descriptive statistics. Item Response Theory is done ... structures are included. Several functions serve as a useful front end for structural equation modeling ... diagrams, factor analysis and structural equation models are created using basic graphics. Some...

CellML
 Referenced in 22 articles
[sw05635]
 models based on the definition of model structure given in a CellML document ... wide variety of models may be built. The basic constituents and structure are simple, providing...

Miranda
 Referenced in 148 articles
[sw04986]
 design decisions. The basic ideas of Miranda are closely modelled on those of the earlier ... polymorphic type system and (ii) a library structure with type secure facilities for separate compilation...

KRAKATOA
 Referenced in 86 articles
[sw03159]
 annotated in JML. We describe the basic structure of an environment for proving JAVA programs ... postconditions, the CQQ proof assistant for modeling the program semantics and conducting the development...

MIM
 Referenced in 120 articles
[sw26139]
 structure of dependencies, both associational and causal, between the variables in the model. This textbook ... provides an introduction to graphical modelling with emphasis on applications and practicalities rather than ... popular software package for graphical modelling, MIM, a freeware version of which can be downloaded ... scene and describes some of the basic ideas of graphical modelling, subsequent chapters describe particular...

GTAEXPRESS
 Referenced in 4 articles
[sw06520]
 package, called GTAexpress, to handle structured continuoustime Markovian models expressed using Generalized Tensor Algebra ... solutions as well as some basic structural properties of models represented ... bounded to a specific modeling formalism. The basic idea of GTAexpress is to provide Kronecker...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 realtime systems, developed jointly by Basic Research in Computer Science at Aalborg University ... modeled as a collection of nondeterministic processes with finite control structure and realvalued...

UPPAAL TIGA
 Referenced in 38 articles
[sw12913]
 Smolka [LS98] for lineartime modelchecking of finitestate systems. Being ... underlying data structure. Our tool implements various optimizations of the basic symbolic algorithm, as well...

Unicorn
 Referenced in 11 articles
[sw08542]
 element computation of turbulent flow and fluid–structure interaction, with focus on general algorithms that ... geometry and deforming domains. We give basic models and finite element discretization methods, adaptive algorithms...

PIKAIA
 Referenced in 11 articles
[sw04744]
 Stellar structure modeling using a parallel genetic algorithm for objective global optimization. Genetic algorithms ... class of heuristic search techniques that apply basic evolutionary operators in a computational setting ... given model against an observational data set. We have used this modeling tool ... science of extracting physical and structural information about these stars from observations of their oscillation...

CCPi
 Referenced in 26 articles
[sw15033]
 this work we propose a simple model of contracts for QoS and SLAs that also ... different SLA requirements. Our language combines two basic programming paradigms: namepassing calculi and concurrent ... names in terms of restriction and structural axioms closer to nominal calculi than to variables...

ASKALON
 Referenced in 17 articles
[sw08430]
 language. The PerformanceProphet enables the user to model and predict the performance of parallel applications ... outline the basic functionality of the four constituent tools. The structure of each tool...

SBMLshorthand
 Referenced in 1 article
[sw27071]
 rapid building of essential model structure. Once the basics are defined, you can translate...

PANACEA
 Referenced in 16 articles
[sw00673]
 processors with modest memory. The modular structure of this software package, along with the automatic ... This paper provides an overview of two basic versions of PANACEA, versions ... closed” networks only. A description of its model language is given from the point...

nlr
 Referenced in 9 articles
[sw05244]
 linearinparameter multinomial probit models. The basic method, a generalization of the NL2SOL algorithm ... scheme for computing trial steps, exploits special structure by maintaining a secant approximation...

GEMM
 Referenced in 30 articles
[sw02792]
 Level 2 BLAS operations. The level 3 Basic Linear Algebra Subprograms (BLAS) are designed ... model implementations in Fortran 77 of the GEMMbased level 3 BLAS are structured...

GlimmerHMM
 Referenced in 5 articles
[sw21670]
 coding and noncoding models . Currently, GlimmerHMM’s GHMM structure includes introns of each phase, intergenic ... exons (initial, internal, final, and single). A basic user manual can be consulted here...

Elmer
 Referenced in 8 articles
[sw11696]
 become international. Elmer includes physical models of fluid dynamics, structural mechanics, electromagnetics, heat transfer ... These pages are intended to give basic information on the Elmer software. The content...