• N3Logic

  • Referenced in 9 articles [sw02003]
  • nested graphs and quantified variables and with predicates for implication and accessing resources...
  • ArgoCLP

  • Referenced in 12 articles [sw07192]
  • restricted to the universal quantification of an implication in which the antecedent is a conjunction ... succedent is a disjunction of existentially quantified formulae which are conjunctions of atoms.par Coherent logic...
  • Curvatubes

  • Referenced in 1 article [sw41818]
  • unifying theory will have several implications, in biology for quantifying tubular shapes or designing...
  • Ratsnake

  • Referenced in 1 article [sw21961]
  • kidney biopsy images. Accurate annotation identifying and quantifying such structures in microscopy images can provide ... severe implication in children and infants. However a tool for detecting and quantifying the disease...
  • casper

  • Referenced in 5 articles [sw09370]
  • Quantifying alternative splicing from paired-end RNA-sequencing data. RNA-sequencing has revolutionized biomedical research ... gene alternative splicing. The problem has important implications for human health, as alternative splicing...
  • PoPMuSiC

  • Referenced in 4 articles [sw16879]
  • data is also expected to have significant implications in the prediction and the analysis ... average concentration of structural weaknesses is detected, quantifying how these sites have been optimized...
  • Prodepth

  • Referenced in 0 articles [sw25085]
  • approach that uses support vector regression to quantify the relationship between RD and protein sequence ... this approach. We also discuss the potential implications of this new structural parameter...
  • Coq

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

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

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

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • QuBE++

  • Referenced in 27 articles [sw00766]
  • In this paper we describe QuBE++, an efficient...
  • R

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

  • Referenced in 1504 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • GOLOG

  • Referenced in 172 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • SQEMA

  • Referenced in 39 articles [sw03056]
  • Algorithmic correspondence and completeness in modal logic. IV...
  • Haskell

  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • REDLOG

  • Referenced in 166 articles [sw04250]
  • REDLOG is a package that extends the computer...