• MARTE

  • Referenced in 21 articles [sw21826]
  • embedded characteristics of systems. MARTE concerns also model-based analysis. In this sense, the intent ... them. Hence, it provides facilities to annotate models with information required to perform specific analysis...
  • KRAKATOA

  • Referenced in 86 articles [sw03159]
  • language annotated with pre- and post-conditions, the CQQ proof assistant for modeling the program...
  • BioModels

  • Referenced in 30 articles [sw13610]
  • models of biochemical and cellular systems. Each model is carefully curated to verify that ... numerical results. Curators also annotate the components of the models with terms from controlled vocabularies...
  • Scilab

  • Referenced in 166 articles [sw00834]
  • Visualization: Graphics functions to visualize, annotate and export data and many ways to create ... Statistics: Tools to perform data analysis and modeling Control System Design & Analysis: Standard algorithms...
  • RegulonDB

  • Referenced in 51 articles [sw25948]
  • gene regulation model of Escherichia coli K-12 beyond transcription, active (experimental) annotated promoters...
  • UPPAAL CORA

  • Referenced in 9 articles [sw25660]
  • user to convey additional insight about the model to the tool, which in turn ... particular, it is possible to annotate the model with an estimate of the remaining cost...
  • TagProp

  • Referenced in 16 articles [sw11682]
  • metric learning in nearest neighbor models for image auto-annotation. Image auto-annotation ... propose TagProp, a discriminatively trained nearest neighbor model. Tags of test images are predicted using...
  • ShapeNet

  • Referenced in 6 articles [sw35059]
  • Information-Rich 3D Model Repository. We present ShapeNet: a richly-annotated, large-scale repository ... models of objects. ShapeNet contains 3D models from a multitude of semantic categories and organizes ... datasets providing many semantic annotations for each 3D model such as consistent rigid alignments, parts ... sizes, keywords, as well as other planned annotations. Annotations are made available through a public...
  • Cytoscape

  • Referenced in 69 articles [sw09080]
  • that are increasingly available for humans and model organisms. Cytoscape’s software Core provides basic ... link the network to databases of functional annotations. The Core is extensible through a straightforward ... interface to detailed stochastic/kinetic gene regulatory models...
  • Infernal

  • Referenced in 11 articles [sw17000]
  • family called covariance models (CMs) from structurally annotated multiple sequence alignments given as input. Infernal ... search based on accelerated profile hidden Markov model (HMM) methods and HMM-banded CM alignment...
  • SimMechanics

  • Referenced in 8 articles [sw04349]
  • phase power transmission lines; and SimMechanics develops models of mechanical systems such as robots ... describes numerous tested, annotated, and reusable models and blocks to help readers apply the book...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • model analysis. From the source code of the application, an ESTEREL program annotated with temporal ... other hand a timed model of the application. This model is again composed with...
  • STRING

  • Referenced in 26 articles [sw23938]
  • certain model organisms and functional systems. Currently, protein interactions and associations are annotated at various ... algorithm for transferring interactions from one model organism to the other; and (iii) we provide...
  • Cellss

  • Referenced in 15 articles [sw08912]
  • with annotations. The focus is on the flexibility and simplicity of the programming model. Although...
  • HOL-Boogie

  • Referenced in 14 articles [sw00409]
  • types used in annotations as well as memory and machine models underlying the verification method...
  • JASPAR

  • Referenced in 40 articles [sw18502]
  • potential transcription factor binding sites. The preferred models for representation of transcription factor binding specificity ... JASPAR is an open‐access database of annotated, high‐quality, matrix‐based transcription factor binding...
  • Evigan

  • Referenced in 5 articles [sw14331]
  • Evigan: a hidden variable model for integrating gene evidence for eukaryotic gene prediction. MOTIVATION ... variable quality of evidence relevant to gene annotation argues for a probabilistic framework that automatically ... yield candidate gene models. RESULTS: Evigan is an automated gene annotation program for eukaryotic genomes ... annotation is available. The ability to produce a ranked list of alternative gene models...
  • PanoContext

  • Referenced in 3 articles [sw32555]
  • context information. To train our model, we construct an annotated panorama dataset and reconstruct ... model from single-view using manual annotation. Experiments show that solely based on 3D context...
  • Mint

  • Referenced in 6 articles [sw12752]
  • stencil methods with Annotated C. We present Mint, a programming model that enables ... applications. We have implemented the Mint programming model with a source-to-source translator that ... traditional C source. The translator relies on annotations to guide translation at a high level ... pragmas is small, and the model is compact and simple. Yet, Mint is able...
  • SyncSpecCnn

  • Referenced in 4 articles [sw26163]
  • study the problem of semantic annotation on 3D models that are represented as shape graphs ... represent localized information on graphs, so that annotations such as part segment or keypoint...