
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 metatransformation rules) in unidirectional...

MSVMpack
 Referenced in 13 articles
[sw08063]
 source software package dedicated to our generic model of multiclass 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 individualbased 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 countermodels 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 modeltomodel transformation passes that serve to both...

GME
 Referenced in 5 articles
[sw33604]
 Generic Modeling Environment is a configurable toolkit for creating domainspecific modeling and program synthesis...

Chronos
 Referenced in 5 articles
[sw00125]
 specialized benchmark. Chronos uses a parameterbased 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 ... postconditions, 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 ... opensource model interpretability library for PyTorch [12]. The library contains generic implementations ... used for both classification and nonclassification models including graphstructured models built on Neural...

GemCell
 Referenced in 3 articles
[sw01995]
 GemCell: A generic platform for modeling multicellular biological systems The mass and complexity ... have not yet led to a satisfactory model of working cell in silico. We have ... userfriendly 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 middlelayer from which programming...

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