
Valmet
 Referenced in 9 articles
[sw01281]
 intersect S)/(R union S), b) probabilistic overlap measure for nonbinary segmentations, c) mean/median...

GIST
 Referenced in 11 articles
[sw09876]
 turnbased probabilistic games with ωregular objectives; and (b) synthesizes reasonable environment assumptions ... reductionbased techniques to solve turnbased probabilistic games, and uses the analysis of turn...

Pfold
 Referenced in 12 articles
[sw23813]
 Knudsen, B.; Hein, J. J.: Pfold: RNA secondary structure prediction using stochastic contextfree grammars ... explicit evolutionary model and a probabilistic model of structures. Predictions can be done...

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

jpHMM
 Referenced in 4 articles
[sw10925]
 jumping profile Hidden Markov Model) is a probabilistic approach to compare a sequence ... recombinations in HIV1 and hepatitis B virus (HBV) genomes. For a query sequence phylogenetic...

SoDA2
 Referenced in 3 articles
[sw23149]
 repertoires produced in response to infection, in Bcell neoplasms and in autoimmune disease. Often ... this article is to develop a probabilistic model of the rearrangement process and a Bayesian...

pGOLOG
 Referenced in 3 articles
[sw01479]
 effects of a candidate plan and b) to update their beliefs during online execution ... programming language GOLOG, allows the specification of probabilistic beliefs about the state of the world...

GNBSL
 Referenced in 2 articles
[sw26874]
 composition, dipeptide composition, and segment composition. Four probabilistic neural network (PNN) classifiers are used ... GNBSL is higher than those of PSORTB, CELLO, and PSLpred. A web server GNBSL...

FactInt
 Referenced in 0 articles
[sw21199]
 form bk+/1 for `small’ b. The code for accessing these tables has been contributed ... factoring methods implemented in this package are probabilistic. In particular the time needed...

ANSYS
 Referenced in 713 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ACL2
 Referenced in 291 articles
[sw00060]
 ACL2 is both a programming language in which...

BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CLPSB
 Referenced in 7 articles
[sw00132]
 This paper proposes an approach to the evaluation...

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

Expokit
 Referenced in 200 articles
[sw00258]
 Expokit provides a set of routines aimed at...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

HSL
 Referenced in 284 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

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

Kronecker
 Referenced in 119 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...