
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 twodimensional 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 webbased, 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 RungeKutta 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 Cobject tool for knowledgebased programming. An Integrated CObject Tool, namely ICOT ... particularly in complex engineering domains. For a knowledgebased 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 ondemand knowledge delivery strategy that...

ITMS
 Referenced in 1 article
[sw02408]
 based exploratory learning support system by adaptive knowledge. A problem in Webbased 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...