
LUMPY
 Referenced in 2 articles
[sw33128]
 LUMPY: A probabilistic framework for structural variant discovery. Comprehensive discovery of structural variation ... inherent technical challenges, most existing SV discovery approaches utilize only one signal and consequently suffer ... present a novel and extremely flexible probabilistic SV discovery framework that is capable of integrating ... broader utility of this approach for probabilistic integration of diverse genomic interval datasets...

TSMining
 Referenced in 1 article
[sw29030]
 Chiu, E. Keogh, S. Lonardi, Probabilistic discovery of time series motifs, ACM SIGKDD, Washington...

PhyME
 Referenced in 10 articles
[sw35645]
 overrepresentation and crossspecies conservation – into one probabilistic score. The algorithm allows the input orthologous ... demonstrate that the new approach improves motif discovery by exploiting multiple species information...

SNVMix
 Referenced in 4 articles
[sw29569]
 expectations of SNV discovery. Results: We developed three implementations of a probabilistic Binomial mixture model...

ProPPR
 Referenced in 1 article
[sw32915]
 ProPPR: efficient firstorder probabilistic logic programming for structure discovery, parameter learning, and scalable inference ... semantically rich formalism that supports efficient probabilistic reasoning using large collections of extracted information. This...

ProTraS
 Referenced in 2 articles
[sw33763]
 ProTraS: A probabilistic traversing sampling algorithm. In the process of knowledge discovery in big data...

Varun
 Referenced in 4 articles
[sw13191]
 Discovering Extensible Motifs under Saturation Constraints. The discovery of motifs in biosequences is frequently torn ... appropriate saturation conditions and the monotonicity of probabilistic scores over regions of constant frequency afford ... programs called Varun¹ is described, implementing the discovery of extensible motifs of the type considered...

INCLUSive
 Referenced in 4 articles
[sw17183]
 analysis of gene expression data and the discovery of cisregulatory sequence elements. The tools ... known and unknown regulatory elements using probabilistic sequence models and Gibbs sampling. All tools...

PSLDoc
 Referenced in 1 article
[sw24765]
 localization prediction based on gappeddipeptides and probabilistic latent semantic analysis. Prediction of protein subcellular ... genome annotation, protein function prediction, and drug discovery. Many computational approaches for PSL prediction based ... method based on gappeddipeptides and probabilistic latent semantic analysis (PLSA) to solve this problem...

CMfinder
 Referenced in 6 articles
[sw17265]
 motif finding algorithm. Motivation: The recent discoveries of large numbers of noncoding RNAs ... alternative methods. More importantly, the resulting probabilistic model can be directly used for homology search...

Sniper
 Referenced in 1 article
[sw33991]
 deep sequenced reads. SNP (single nucleotide polymorphism) discovery using nextgeneration sequencing data remains difficult ... developed Sniper, a novel multilocus Bayesian probabilistic model and a computationally efficient algorithm that...

ReactomeFIViz
 Referenced in 1 article
[sw25625]
 scattered large data sets and assist knowledge discovery related to cancer and other complex diseases ... data types into a pathway context using probabilistic graphical models. We believe our app will...

abn
 Referenced in 1 article
[sw31036]
 Bayesian network analysis is a form of probabilistic graphical models which derives from empirical data ... describe this model selection process is structure discovery. The core functionality is concerned with model...

Cinderella
 Referenced in 144 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CLAN
 Referenced in 8 articles
[sw00129]
 CLAN: A tool for contract analysis and conflict...

Coq
 Referenced in 1783 articles
[sw00161]
 Coq is a formal proof management system. It...

FCLib
 Referenced in 2 articles
[sw00267]
 We describe a data analysis toolkit constructed to...

Isabelle
 Referenced in 606 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Maple
 Referenced in 5036 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 250 articles
[sw00546]
 MapReduce is a new parallel programming model initially...