• KEGG

  • Referenced in 250 articles [sw13866]
  • substances (chemical information) that are integrated with the knowledge on molecular wiring diagrams of interaction...
  • STRING

  • Referenced in 26 articles [sw23938]
  • interaction networks, with increased coverage and integration. Complete knowledge of all direct and indirect interactions ... Known and predicted associations are scored and integrated, resulting in comprehensive protein networks covering...
  • GeoThms

  • Referenced in 24 articles [sw06216]
  • based framework for exploring geometrical knowledge that integrates dynamic geometry software (DGS), automatic theorem provers...
  • Apron

  • Referenced in 66 articles [sw00045]
  • integration and comparison, and provide teaching and demonstration tools to disseminate knowledge on abstract interpretation...
  • NESTOR

  • Referenced in 25 articles [sw22096]
  • Based Medical Diagnostic Aid that Integrates Causal and Probabilistic Knowledge. n order to address some...
  • HDECAY

  • Referenced in 41 articles [sw00401]
  • current theoretical knowledge. Solution method: One- and two-dimensional numerical integration of analytic formulae...
  • MBase

  • Referenced in 17 articles [sw08724]
  • MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. We describe ... MBase system, a web-based, distributed mathematical knowledge base. This system is a mathematical service...
  • SUNDIALS

  • Referenced in 208 articles [sw00927]
  • with the goal of providing robust time integrators and nonlinear solvers that can easily ... other operations within the solvers require knowledge of parallelism. Thus, using a solver in parallel...
  • BioPortal

  • Referenced in 12 articles [sw22917]
  • Biomedical ontologies provide essential domain knowledge to drive data integration, information retrieval, data annotation, natural...
  • LIMbook

  • Referenced in 36 articles [sw14520]
  • differential equations within the framework of geometric integration, a branch of numerical analysis that devises ... problems, particularly Hamiltonian systems. Assuming only basic knowledge of numerical quadrature and Runge-Kutta methods ... begins with an introduction to the line integral methods. It describes numerous Hamiltonian problems encountered...
  • REVE

  • Referenced in 68 articles [sw28907]
  • called automatic because termination is fully integrated into the algorithms. REVE uses an incremental termination ... equations and which requires little knowledge of termination methods from the user. All examples from...
  • Bunch

  • Referenced in 8 articles [sw21162]
  • feature that enables the integration of designer knowledge about the system structure into an otherwise...
  • DIADEM

  • Referenced in 3 articles [sw27494]
  • challenge by combining phenomenological and ontological knowledge. Integrating these components is the second challenge. diadem...
  • Nasari

  • Referenced in 4 articles [sw24669]
  • Nasari: integrating explicit knowledge and corpus statistics for a multilingual representation of concepts and entities...
  • ICOT

  • Referenced in 3 articles [sw00432]
  • integrated C-object tool for knowledge-based programming. An Integrated C-Object Tool, namely ICOT ... particularly in complex engineering domains. For a knowledge-based approach to be effective, both ... integrated into one framework. The framework may also need to support manipulation of fuzzy knowledge...
  • MIKS

  • Referenced in 3 articles [sw02359]
  • within the MIKS (Mediator agent for Integration of Knowledge Sources) system and it is completely...
  • TRANSPATH

  • Referenced in 7 articles [sw08272]
  • integral part of the BIOBASE Knowledge Library (BKL)/ PROTEOME Database, but can also be obtained...
  • MILOS

  • Referenced in 3 articles [sw19242]
  • Integrating process support and knowledge management for virtual software development teams. We describe how knowledge ... presented here integrates a process enactment environment with an on-demand knowledge delivery strategy that...
  • ITMS

  • Referenced in 1 article [sw02408]
  • based exploratory learning support system by adaptive knowledge. A problem in Web-based exploratory learning ... open Web, (2) it adaptively integrates the knowledge that they learned into an arbitrary page ... their latest knowledge states from their knowledge integration...
  • CONTENT

  • Referenced in 33 articles [sw01058]
  • package CONTENT (continuation environment) combines numerical methods (integration, numerical continuation etcetera) with symbolic methods ... Sacker points. To the best of our knowledge content is the only softwaxe that allows ... defined by the time integration of a three - dimensional dynamical system over a fixed time...