email: tkenney@mathstat.dal.ca

Teaching

MATH 3090: Advanced Calculus - Fall 2006

MATH/CSCI 2112: Discrete Structures I - Winter 2007

MATH 2051: Problems in Geometry - Fall 2007

MATH/CSCI 2113: Discrete Structures II - Winter 2008

MATH/STAT 2600: Theory of interest - Fall 2010

MATH 1115: Mathematics for Commerce - Winter 2011

Research

Publications

  • T. Kenney. Injective Power Objects and the Axiom of Choice Journal of Pure and Applied Algebra 215 (2011), 131-144 (Available online at: http://dx.doi.org/10.1016/j.jpaa.2010.04.004)
  • H. Gu, T. Kenney, M. Zhu. Partial Generalized Additive Models: an Information-Theoretic Approach to Selecting Variables and Dealing with Concurvity. Journal of computational and graphical statistics 19 (2010), 531-551
  • T. Kenney. The General Theory of Diads Appl. Cat. Struct. 18 (2010), 523-572
  • T. Kenney and R. J. Wood. Tensor Products of Sup Lattices and generalized sup-arrows. Theory and Applications of Categories 24 (2010), 266-287
  • T. Kenney. Diads and Their Application to Topoi, Appl. Cat. Struct. 17 (2009), 567-590
  • T. Kenney. Copower Objects and their applications to Finiteness in Topoi, Theory and Applications of Categories 16 (2006), 923-956
  • T. Kenney. Generating Families in a Topos, Theory and Applications of Categories 16 (2006), 896-922
  • T. Kenney. Graphical algebras - a new approach to congruence lattices (To appear in Algebra Universalis, 25 pages)
  • T. Kenney and R. Paré. The Quantale of a Category. (To appear in Cahiers de Topologie et Géométrie Différentielle Catégoriques, 31 pages)
  • T. Kenney. The Path Relation for Directed Planar Graphs, and its Relation to the Free Diad. (to appear in Discrete Mathematics, 26 pages)
  • Papers submitted or under revision

  • T. Kenney. Induction Principles for Russell-Finiteness (Under revision, 11 pages)
  • T. Kenney, H.Gu. Hessian Calculation for Phylogenetic Algorithm based on the Pruning Algorithm (Submitted to Systematic Biology, 51 pages)
  • T. Kenney. Coxeter Groups, Coxeter Monoids and the Bruhat Order. (Submitted to Advances in Mathematics, 17 pages)
  • Papers in preparation

  • T. Kenney and D. Pronk. Iterated Span Constructions: Different Ways to Compose Spans
  • T. Kenney, H. Gu and J.Bielawski. Generalised Parametric Codon Models for Phylogeny.
  • T. Kenney, H. Gu. A Guide for Using Flexible Codon Modelling Software.
  • T. Kenney, H. Gu. Improved Implementation for Likelihood-Based Clustering for Codon models.
  • T. Kenney, H. Gu. Statistical Inference for Phylogenetic Maximum Likelihood, Based on Generalised Parametric Codon Models.
  • Software

  • COLD (latest version: 1.1.1)
  • COLD (Codon Optimal Likelihood Discoverer) is a program for estimating phylogenetic parameters using maximum likelihood for codon models.