• CellML

  • Referenced in 22 articles [sw05635]
  • those variables, and metadata. Variables may be local to a component, or made visible ... such as metadata, for adding context information to a model, and component grouping. These assist...
  • MetaKlaim

  • Referenced in 5 articles [sw01810]
  • parameterised mobile components and to enforce security policies dynamically: types are metadata that are extracted ... maintained whenever computations interoperate with potentially untrusted components...
  • S-CREAM

  • Referenced in 12 articles [sw02354]
  • major techniques for creating metadata on the web. The implementation of S-CREAM, OntoMat supports ... annotation is based on the information extraction component Amilcare. OntoMat extract with the help...
  • gcamdata

  • Referenced in 1 article [sw28100]
  • visualization, and enforces metadata, documentation, and flexibility in its component data-processing subunits. Although this...
  • MOAB

  • Referenced in 3 articles [sw17502]
  • MOAB is a component for representing and evaluating mesh data. MOAB can store structured ... allowing the representation of most types of metadata commonly found on the mesh. MOAB...
  • RusDML

  • Referenced in 5 articles [sw01774]
  • logical (printed) and physical page numbers. Metadata from different sources (for example from the ”Zentralblatt ... editing of scanned images). Furthermore the components for a distributed workflow management will be integrated...
  • PANGAEA

  • Referenced in 1 article [sw30455]
  • publication of data and the dissemination of metadata according to international standards. Data managers ... number of comprehensive clients and middleware components controlling the information flow and quality...
  • JOSS

  • Referenced in 1 article [sw20857]
  • rigorous peer review targets the software components: functionality, documentation, tests, continuous integration, and the license ... JOSS gives it a DOI, deposits its metadata in Crossref, and the article can begin...
  • Coq

  • Referenced in 1751 articles [sw00161]
  • Coq is a formal proof management system. It...
  • D-Finder

  • Referenced in 14 articles [sw00200]
  • D-Finder tool implements a compositional method for...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • HSL

  • Referenced in 265 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Matlab

  • Referenced in 11496 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Normaliz

  • Referenced in 143 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • R

  • Referenced in 7624 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1507 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • rCOS

  • Referenced in 14 articles [sw01502]
  • rCOS: Theory and tool for component-based model...
  • AutoCAD

  • Referenced in 38 articles [sw01741]
  • Formen und gestalten Sie die Welt, die Sie...
  • WordNet

  • Referenced in 381 articles [sw01777]
  • WordNet® is a large lexical database of English...