
PySP
 Referenced in 20 articles
[sw04921]
 deterministic model in that language (Pyomo), we are able to provide completely generic and highly...

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

DALEX
 Referenced in 12 articles
[sw26094]
 prediction to particular variables used in the model. It is a wrapper over ’breakDown’ package ... plotted with generic plot() function and compared across different models...

SMILE
 Referenced in 11 articles
[sw29063]
 interface, and includes sophisticated models of real gas effects. A generic description of the system...

ConQAT
 Referenced in 4 articles
[sw09195]
 dependencies between software components. Its generic architectural model allows the assessment of various types...

CAESAR_SOLVE
 Referenced in 14 articles
[sw10194]
 CAESAR_SOLVE: A generic library for onthefly resolution of alternationfree Boolean equation ... systems (Bess) provide a useful framework for modeling various verification problems on finitestate concurrent ... systems, such as equivalence checking and model checking. These problems can be solved ... this article, we present a generic software library dedicated to onthefly resolution...

OCTBEC
 Referenced in 7 articles
[sw14253]
 method for bosons, and on generic fewmode models, as well as optimization problems. These...

GBrowse
 Referenced in 2 articles
[sw17333]
 browser developed as part of the Generic Model Organism Database project (Stein...

epydemic
 Referenced in 2 articles
[sw31397]
 manipulate networks. It supports a generic model for compartmented models of disease with several standard...

UMM
 Referenced in 8 articles
[sw10132]
 support memory model verification: (i) it employs a simple and generic memory abstraction that...

broom
 Referenced in 8 articles
[sw18937]
 package provides three S3 generics: tidy, which summarizes a model’s statistical findings such...

nextnano
 Referenced in 5 articles
[sw11317]
 provide a robust and generic framework for modeling device applications in the field of nanosized...

NeuroGaz
 Referenced in 2 articles
[sw06585]
 Modelling structures in generic space, a condition for adaptiveness of monitoring cognitive agent The adaptiveness ... whole knowledge corpus is generic. In other words, modeling a process within a generic space...

XVCL
 Referenced in 7 articles
[sw02100]
 assets (including the domain model, product line architecture and generic components...

MARS
 Referenced in 8 articles
[sw14516]
 this paper presents MARS, a generic framework for analyzing interface tracking (IT) methods via mapping ... adjusting regular semialgebraic sets. Our mathematical model for moving material regions is the metric space ... propose a generic IT method by concatenating three unitary operations on the modeling space, bound...

ELEMD
 Referenced in 4 articles
[sw09262]
 Electrochemical modelling and software genericity. This contribution presents the major design abstractions identified ... application area of this project is electrochemical modelling where the complex interaction between electrochemical mass...

HeteroMPI
 Referenced in 3 articles
[sw00404]
 implemented algorithm in a generic form. This model allows the specification of all the main...

McCad
 Referenced in 1 article
[sw35395]
 some representative test models and a generic model of a DEMO fusion power reactor...

GrAL
 Referenced in 20 articles
[sw00375]
 mesh) data structures. GrAL is a generic library for grid (or mesh) data structures ... GrAL include computational geometry and topology, geometric modeling, computer graphics, or geographic information systems...

HaExcel
 Referenced in 2 articles
[sw29433]
 contains an algebraic data type to model a (generic) spreadsheet and functions to transform...