• T2EQ

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

• TABI

• Referenced in 10 articles [sw18194]
• A treecode-accelerated boundary integral Poisson-Boltzmann solver for electrostatics of solvated biomolecules. We present a treecode-accelerated boundary integral (TABI) solver for electrostatics of solvated biomolecules described ...

• TABLEAUX

• Referenced in 8 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 ...

• 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 ...

• 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 high-throughput genomics and proteomics, it is challenging for biologists ...

• Tabu search

• Referenced in 888 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 6 articles [sw09455]
• Focused inductive theorem proving. Focused proof systems provide means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs. We present a ...

• TAC++

• Referenced in 1 article [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. SAT-based 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 mixed-integer optimal control problems ...

• Tactician

• Referenced in 1 article [sw17591]
• Tactician is a tool for helping you maintain and/or understand HOL Light proof scripts. Its main function is to refactor the ML of a tactic ...

• tadaatoolbox

• Referenced in 0 articles [sw16424]
• R package tadaatoolbox. Contains functions for the easy display of statistical tests as well as some convenience functions for recoding or data cleanup. It is ...

• TaDaPro

• Referenced in 0 articles [sw05841]
• TaDaPro (Tabular Data Processor) is a command-line utility to operate with numerical column tabulated data. It is intended for operations that are cumbersome to do ...

• TADD

• Referenced in 6 articles [sw02821]
• TADD: A computational framework for data analysis using discrete Morse theory. This paper presents a computational framework that allows for a robust extraction of the ...

• TADIFF

• Referenced in 17 articles [sw04865]
• TADIFF is a C++ program package for performing Taylor expansions on functions implemented as C++ programs