• SCIP

  • Referenced in 476 articles [sw01091]
  • SoPlex, the modelling language ZIMPL, the parallelization framework UG and the generic column generation solver...
  • micrOMEGAs

  • Referenced in 60 articles [sw01425]
  • stable massive particle in a generic model. First developed to compute the relic density...
  • Julia

  • Referenced in 306 articles [sw13986]
  • generic functions and a rich type system simultaneously enables an expressive programming model and successful...
  • MicrOMEGAs 2.0

  • Referenced in 42 articles [sw01426]
  • density of dark matter in a generic model micrOMEGAs 2.0 is a code which calculates...
  • VIATRA2

  • Referenced in 33 articles [sw03511]
  • recursive graph patterns) and manipulating models (e.g. generic transformation and meta-transformation rules) in unidirectional...
  • MSVMpack

  • Referenced in 13 articles [sw08063]
  • source software package dedicated to our generic model of multi-class support vector machine...
  • lmtest

  • Referenced in 16 articles [sw04478]
  • diagnostic checking in linear regression models. Furthermore, some generic tools for inference in parametric models...
  • BacSim

  • Referenced in 21 articles [sw17261]
  • simulator for individual-based modeling of bacterial colony growth. The generic, quantitative, spatially explicit, individual ... cell sizes correctly. For maintenance, the Herbert model (constant specific rate of biomass consumption ... compared. The authors propose a new generic measure of growth synchrony to quantify the loss...
  • LoTREC

  • Referenced in 25 articles [sw07684]
  • paper we describe a generic tableaux system for building models or counter-models and testing...
  • SSpace

  • Referenced in 6 articles [sw12433]
  • selected and the manner in which generic models are straightforwardly translated into MATLAB code. With...
  • HYST

  • Referenced in 8 articles [sw20137]
  • tool, currently taking input in the SpaceEx model format, and translating to the formats ... dReach. Internally, the tool supports generic model-to-model transformation passes that serve to both...
  • GME

  • Referenced in 5 articles [sw33604]
  • Generic Modeling Environment is a configurable toolkit for creating domain-specific modeling and program synthesis...
  • Chronos

  • Referenced in 5 articles [sw00125]
  • specialized benchmark. Chronos uses a parameter-based model and characterizes the machine and the program ... each program block, according to a generic model of cache memory which simulates most...
  • FormCalc

  • Referenced in 60 articles [sw06475]
  • subroutine in the framework of FormCalc. The model file does not depend on the latter ... rules have been entered in a very generic way to allow, e.g., scenarios with complex...
  • KRAKATOA

  • Referenced in 86 articles [sw03159]
  • annotated with JML specifications. Our method is generic with respect to the API, and thus ... post-conditions, the CQQ proof assistant for modeling the program semantics and conducting the development...
  • Captum

  • Referenced in 3 articles [sw35075]
  • Captum: A unified and generic model interpretability library for PyTorch. In this paper we introduce ... open-source model interpretability library for PyTorch [12]. The library contains generic implementations ... used for both classification and non-classification models including graph-structured models built on Neural...
  • GemCell

  • Referenced in 3 articles [sw01995]
  • GemCell: A generic platform for modeling multi-cellular biological systems The mass and complexity ... have not yet led to a satisfactory model of working cell in silico. We have ... user-friendly generic platform, GemCell, for Generic Executable Modeling of Cells, based on whole, functioning ... generic part of GemCell, built using Statecharts, is a fully dynamic model of a cell...
  • GluCat

  • Referenced in 13 articles [sw04959]
  • GluCat: Generic library of universal Clifford algebra templates GluCat is a library of template classes ... which model the universal Clifford algebras over the field of real numbers, with arbitrary dimension...
  • Kleene Algebra

  • Referenced in 7 articles [sw32203]
  • this algebraic hierarchy and its models as a generic algebraic middle-layer from which programming...
  • Charge!

  • Referenced in 9 articles [sw22731]
  • exposed. The development is generic in the choice of heap model, and most...