• Uppaal

  • Referenced in 617 articles [sw04702]
  • real-time systems, developed jointly by Basic Research in Computer Science at Aalborg University ... modeled as a collection of non-deterministic processes with finite control structure and real-valued...
  • 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 ... post-conditions, 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 continuous-time 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]
  • real-time systems, developed jointly by Basic Research in Computer Science at Aalborg University ... modeled as a collection of non-deterministic processes with finite control structure and real-valued...
  • UPPAAL TIGA

  • Referenced in 38 articles [sw12913]
  • Smolka [LS98] for linear-time model-checking of finite-state 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...
  • CC-Pi

  • 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: name-passing 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...
  • SBML-shorthand

  • 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]
  • linear-in-parameter 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 GEMM-based 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...