Kenneth D. Harris

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Methods for predicting cortical up and down states from the phase of deep layer local field potentials	2020-11-17	Paper
Characterizing the invariances of learning algorithms using category theory	2019-05-06	Paper
Supervised learning with decision margins in pools of spiking neurons Journal of Computational Neuroscience	2019-03-25	Paper
Boolean algebra approximations Transactions of the American Mathematical Society	2014-09-19	Paper
On the $n$-back-and-forth types of Boolean algebras Transactions of the American Mathematical Society	2012-02-24	Paper
η-representation of sets and degrees Journal of Symbolic Logic	2009-01-09	Paper
Valuations for Spike Train Prediction Neural Computation	2008-04-02	Paper
Firing rate modulation: A simple statistical view of memory trace reactivation Neural Networks	2006-04-28	Paper
Shortest axiomatizations of implicational S4 and S5 Notre Dame Journal of Formal Logic	2004-05-27	Paper
Short single axioms for Boolean algebra Journal of Automated Reasoning	2003-04-28	Paper
Comments on some completeness theorems of Urquhart and Méndez \& Salto Journal of Philosophical Logic	2002-09-25	Paper
Distributivity in Ł$_{\aleph_0}$ and other sentential logics Journal of Automated Reasoning	2002-01-07	Paper
scientific article; zbMATH DE number 2024621 (Why is no real title available?)	2001-01-01	Paper
Superspace group descriptions of the symmetries of incommensurate urea inclusion compounds Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences	1997-08-21	Paper
Stochastic models for guest–guest interactions in one–dimensional inclusion compounds Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences	1997-08-03	Paper
A mathematical model of one-dimensional inclusion compounds: a new approach towards understanding commensurate and incommensurate behaviour Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences	1990-01-01	Paper

Research outcomes over time

This page was built for person: Kenneth D. Harris