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

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

  • Referenced in 16 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 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 High-Throughput 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: Formula-Driven 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 high-throughput genomics and proteomics, it is challenging for biologists ...
  • Tabu search

  • Referenced in 939 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 non-determinism 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. 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 ...
  • TACOMA

  • Referenced in 1 article [sw22227]
  • Gas turbine temperature prediction using unsteady cfd and realistic non-uniform 2d combustor exit properties. Typical Computational Fluid Dynamics (CFD) studies performed on High Pressure Turbines ...