Daniel Richardson

Telephone: +44 1225 826105
Fax: +44 1225 383493

E-mail Address: masdr@bath.ac.uk

Postal Address:

• Computer Science
• University of Bath
• Bath
• BA2 7AY
• United Kingdom

CV

long CV

Research Interests

• Real Algebraic and Analytic Geometry
  • Link to RAAG site
  • UK RAAG team
  • RAAG Bibliography
• Exact real computations
  • Uniformity Conjecture link
  • Robust Computation in geometry link
  • Recognizing Zero (from JSC, 24, 1997)
  • Multiplicative Independence and the uniformity conjecture (Journal of Pure and Applied Algebra)
  • The Uniformity Conjecture (Springer Lecture Notes in Computer Science 2064)
  • Testing The Uniformity Conjecture (Draft)
  • (with Simon Langley) Observations about familiar numbers (ISSAC 2002)
  • (with Simon Langley) What can we do with a solution?
  • (with Ahmed El-Sonbaty) Use of algebraically independent numbers for zero recognition of polynomisl terms
  • (with Ahmed El-Sonbaty) Counterexamples to the Uniformity Conjecture
  • Zero Tests for Constants (Mathematics in Computer Science, December 2007)
  • Near Integral points of sets defined in O minimal structures
  • Zero recognition talk at Zero07 KIAS, Seoul, July, 2007
  • Zero test for implicitly defined elementary numbers
• Artificial Intelligence link
• Spiking Neural Nets
  • Detecting Mutual Information Nearest Neighbour Method
  • Computing with phase difference (with Andrew Carnell ) Parallel computation in Spiking Neural Nets
  • Spiking Neural Nets with Symbolic internal state (with Carl O'Dwyer) Symbolic implementation
  • Computing Entropy A measure and a metric for spike trains
  • Discussion of simulation and training of a simple liquid state machine Liquid state machine
  • Linear Algebra for Time Series of Spikes (with Andrew Carnell) Linear Algebra for Time Series of Spikes, ESANN2005
  • STDP An Analysis of the use of Hebbian and Anti Hebbian Spike Time Dependent Plasticity within the context of spiking neural nets (by Andrew Carnell)

  ---

  Courses

  • Foundations of Pattern Analysis CM20220

    The patterns which we intend to analyse and detect, take apart and put together again could be in the quality of a voice or a piece of music of some kind, or they could be visual patterns or patterns in any sort of data. Here are some of the topics in this course, with some links.

    • Fourier approximation and transform and related things.
      • Dave Marshall's notes. An introduction to computer vision and to Fourier transform
      • An introduction to digital signal processing.
    • Bayesian inference. Reasoning with uncertainty. Refer to Wikipedia. And Peter Hall's notes.
    • Neural nets and genetic algorithms, and related subjects.
    • Principal component analysis. See A tutorial introduction.
    • You are strongly advised to review John Power's notes for CM10197. November 2008 version.
    • Coursework and dates. Available here.
    • Peter Hall's notes for this course, unfinished. Here
    • Notes1. First set of notes

    • Notes2. Second set of notes

    • Notes3. third set of notes

    • Quiz. informal mid semester quiz

    • Notes4. fourth set of notes
    • Notes5. fifth set of notes
    • Notes6. sixth set of notes
    • Notes 7. seventh set of notes
    • Revision scheme. last set of notes

  ---

• Formal Logic and Semantics Comp20019 Logic and Semantics (postscript)
• Solutions Coursework Comp20019 Parts 1,2,3 (postscript)
• Formal Logic and Semantics Comp20019 Logic and Semantics (pdf)
• 2003 Formal Logic Final Exam (postscript format)
• 2003 Formal Logic Final Exam (pdf format)
• Computer Algebra notes
• Reduce documentation

Literary Interests

• Short Stories, such as: Fishing for Eagles
• Links to literary sites
  • Sara Macaulay
  • Douglas Clarke