• Reconstructor

  • Referenced in 1 article [sw32101]
  • three-valued 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 non-informative priors...
  • PhyloWS

  • Referenced in 3 articles [sw08275]
  • Bininda-Emonds (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 multi-generational 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...
  • Meraculous-2D

  • 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 Two-Phase 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 low-level routines allow: reading, parsing, and modifying FITS ... writing images as 16-bit 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...