
T2EQ
 Referenced in 0 articles
[sw16708]
 R package T2EQ. Contains functions for applying the T^2test for equivalence. The T^2test for equivalence is a multivariate twosample equivalence test. Distance measure of the ...

T3C
 Referenced in 1 article
[sw23234]
 T3C: Improving a decision tree classification algorithms interval splits on continuous attributes. This paper proposes, describes and evaluates T3C, a classification algorithm that builds decision ...

TABARIS
 Referenced in 16 articles
[sw02534]
 TABARIS: An exact algorithm based on tabu search for finding a maximum independent set in a graph. A technique for finding in a graph an ...

TABASCO
 Referenced in 2 articles
[sw20856]
 TABASCO: A single molecule basepair resolved gene expression simulator. TABASCO is a simulator created to address the problem of simulating gene expression at singlebase resolution. ...

TABI
 Referenced in 16 articles
[sw18194]
 A treecodeaccelerated boundary integral PoissonBoltzmann solver for electrostatics of solvated biomolecules. We present a treecodeaccelerated boundary integral (TABI) solver for electrostatics of solvated biomolecules described ...

TABLEAUX
 Referenced in 10 articles
[sw11674]
 TABLEAUX: A general theorem prover for modal logics. We present a general theorem proving system for propositional modal logics, called TABLEAUX. The main feature of ...

TableButler
 Referenced in 2 articles
[sw24596]
 TableButler  A Windows Based Tool for Processing Large Data Tables Generated with HighThroughput Methods. TableButler is a monolithic Windows application. It is implemented to ...

TableCurve 3D
 Referenced in 2 articles
[sw13179]
 TableCurve 3D is the first and only program that combines a powerful surface fitter with the ability to find the ideal equation to describe three ...

tableMatrix
 Referenced in 0 articles
[sw16674]
 R package tableMatrix. Provides two classes extending ’data.table’ class. Simple ’tableList’ class wraps ’data.table’ and any additional structures together. More complex ’tableMatrix’ class combines strengths ...

tables
 Referenced in 1 article
[sw24094]
 R package tables: FormulaDriven Table Generation. Computes and displays complex tables of summary statistics. Output may be in LaTeX, HTML, plain text, or an R ...

TableSeer
 Referenced in 3 articles
[sw17615]
 TableSeer: automatic table metadata extraction and searching in digital libraries. Tables are ubiquitous in digital libraries. In scientific documents, tables are widely used to present ...

tabplot
 Referenced in 1 article
[sw10643]
 tabplot: Tableplot, a visualization of large datasets. A tableplot is a visualisation of a (large) dataset with a dozen of variables, both numeric and categorical. ...

TabSQL
 Referenced in 1 article
[sw18563]
 TabSQL: a MySQL tool to facilitate mapping user data to public databases. Background: With advances in highthroughput genomics and proteomics, it is challenging for biologists ...

Tabu search
 Referenced in 961 articles
[sw08556]
 A user’s guide to tabu search. We describe the main features of tabu search, emphasizing a perspective for guiding a user to understand basic implementation ...

Tac
 Referenced in 7 articles
[sw09455]
 Focused inductive theorem proving. Focused proof systems provide means for reducing and structuring the nondeterminism involved in searching for sequent calculus proofs. We present a ...

TAC++
 Referenced in 2 articles
[sw01438]
 Development and first application of TAC++ The paper describes the development of the software tool Transformation of Algorithms in C++ (TAC++) for automatic differentiation (AD) ...

tacg
 Referenced in 2 articles
[sw14127]
 tacg – a grep for DNA. Background: Pattern matching is the core of bioinformatics; it is used in database searching, restriction enzyme mapping, and finding ...

Tachyon
 Referenced in 1 article
[sw15018]
 The Tachyon 3D Ray Tracer. Given any 3D graphics object one can compute a raytraced representation by typing show(viewer=’tachyon’). For example, we draw two translucent ...

TACO
 Referenced in 4 articles
[sw07668]
 Analysis of invariants for efficient bounded verification. SATbased bounded verification of annotated code consists of translating the code together with the annotations to a propositional ...

TACO
 Referenced in 1 article
[sw10169]
 TACO: a toolkit for AMPL control optimization. We describe a set of extensions to the AMPL modeling language to conveniently model mixedinteger optimal control problems ...