• 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 cross-species 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 first-order 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 cis-regulatory 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 gapped-dipeptides 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 gapped-dipeptides 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 non-coding 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 next-generation sequencing data remains difficult ... developed Sniper, a novel multi-locus 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...