• 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 on-the-fly resolution of alternation-free Boolean equation ... systems (Bess) provide a useful framework for modeling various verification problems on finite-state concurrent ... systems, such as equivalence checking and model checking. These problems can be solved ... this article, we present a generic software library dedicated to on-the-fly resolution...
  • OCTBEC

  • Referenced in 7 articles [sw14253]
  • method for bosons, and on generic few-mode 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...