
Reconstructor
 Referenced in 1 article
[sw32101]
 threevalued logics to represent lack of information in empirical scientific contexts. In this article ... second innovation is the introduction of incomplete models (for which the denotation of some terms ... order to represent cases of missing information. I specify the paracomplete semantics built into Reconstructor...

bayesCT
 Referenced in 1 article
[sw40839]
 loss to follow up, and imputation of incomplete data. The package has the functionality ... analysis via the power prior or noninformative priors...

PhyloWS
 Referenced in 3 articles
[sw08275]
 BinindaEmonds (ed.), Phylogenetic supertrees. Combining information to reveal the tree of life. Dordrecht: Kluwer ... applications and repositories. To date, only very incomplete implementations of PhyloWS have been realized; this...

sequoia
 Referenced in 0 articles
[sw18945]
 sequoia. Fast multigenerational pedigree inference from incomplete data on hundreds of SNPs, including parentage ... Ecol Res, under review) for more information...

SINE
 Referenced in 1 article
[sw32344]
 SINE) algorithm for learning node representations from incomplete graphs. SINE formulates a probabilistic learning framework ... flexibility to make the best of useful information and mitigate negative effects of missing information...

ttime
 Referenced in 0 articles
[sw19007]
 given set of mammalian species can provide information about both neural development and evolution ... data available from the published literature are incomplete, particularly for humans. Experimental documentation of unknown...

FourierSAT
 Referenced in 1 article
[sw40459]
 issue above, we design FourierSAT an incomplete SAT solver based on Fourier Analysis (also known ... constraints. The idea is to leverage gradient information to guide the search process...

Meraculous2D
 Referenced in 1 article
[sw19474]
 thus result in highly fragmented and incomplete assemblies. Here we present an enhancement of Meraculous2 ... maintain and report phased haplotype variant information...

robustrao
 Referenced in 0 articles
[sw15794]
 into disciplines. Thus, it fails for a incomplete categorization; in this case, the robust extension ... uncertainty interval. Classification / ACM  2012: Information systems Similarity measures, Theory of computation Quadratic programming, Applied...

infoDecompuTE
 Referenced in 0 articles
[sw19182]
 package infoDecompuTE. Information Decomposition of TwoPhase Experiments. The main purpose of this package ... expected mean squares. Thus, the balanced incomplete block design and provides the efficiency factors...

FITSio
 Referenced in 0 articles
[sw17925]
 en.wikipedia.org/wiki/FITS> for more information). Present lowlevel routines allow: reading, parsing, and modifying FITS ... writing images as 16bit integers. Known incompletenesses are reading random group extensions, as well...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

CSDP
 Referenced in 202 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

Diffpack
 Referenced in 115 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

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

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

KNITRO
 Referenced in 196 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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