• Orange4WS

  • Referenced in 4 articles [sw27294]
  • form of ontologies, enabling automated composition of complex knowledge discovery workflows for a given data ... algorithms; a knowledge discovery ontology to describe workflow components (data, knowledge and data mining services ... planner that enables automated composition of data mining workflows. These new features are showcased...
  • ROSETTA

  • Referenced in 23 articles [sw10969]
  • front-end developed for knowledge discovery in an interactive setting. Issues springing from the overall ... testing of new algorithms and for partial automation of the overall KDD process. Various design...
  • MPTP 0.2

  • Referenced in 50 articles [sw02589]
  • Library (MML) available to current first-order automated theorem provers (ATPs) (and vice versa ... boost the development of domain-based, knowledge-based, and generally AI-based ATP methods. This ... than MML authors and usable for general discovery in mathematics...
  • MotifMiner

  • Referenced in 7 articles [sw35523]
  • occurring structural patterns in molecules. Previous automated substructure discovery approaches have each introduced variations ... similar underlying techniques and have embedded domain knowledge. While doing so improves performance...
  • MemHyb

  • Referenced in 15 articles [sw25194]
  • available drugs are targeted against membrane proteins. Knowledge of membrane protein’s structure and function ... biological and pharmacological research. Therefore, an automated method is exceedingly advantageous, which can help ... researchers/academicians working in the field of drug discovery, cell biology, and bioinformatics. The web server...
  • PKDE4J

  • Referenced in 1 article [sw28775]
  • entity and relation extraction for public knowledge discovery. Due to an enormous number of scientific ... rising interest in text-mining techniques for automated information extraction, especially in the biomedical field ... provide effective means of information search, knowledge discovery, and hypothesis generation. Most previous studies have...
  • Fake Game

  • Referenced in 0 articles [sw23756]
  • Prague. The FAKE GAME (Fully Automated Knowledge Extraction using Group of Adaptive Models Evolution) tool ... streamline the Knowledge Discovery process. Knowledge Extraction from data is being automated! See the About...
  • MATHsAiD

  • Referenced in 4 articles [sw21355]
  • Theorem Discovery Tool. In the field of automated reasoning, one of the most challenging (even ... known for their predilection towards designating certain discoveries as theorems, lemmas, corollaries, etc., whilst relegating ... would otherwise be an overwhelming amount of knowledge. MATHsAiD is a system intended...
  • DSProlog

  • Referenced in 0 articles [sw19636]
  • knowledge discovery support environment (KDSE) for knowledge discovery in PCM-data. Also ... database access to classifier decisions (SQL supported), automated annotation of deterministic events in PCM-signals...
  • Cinderella

  • Referenced in 153 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 262 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 304 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • MiniSat

  • Referenced in 565 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...