
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 pairedend RNAsequencing data. RNAsequencing 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 highlevel language and interactive...

MiniSat
 Referenced in 565 articles
[sw00577]
 An extensible SATsolver. 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 generalpurpose 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, generalpurpose purely functional...

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