Damien Woods


Old technical reports, short conference abstracts, etc.

N. Murphy, D. Woods. "The Computational Complexity of Uniformity and Semi-uniformity in Membrane Systems", Unrefereed report in the 7th Brainstorming Week on Membrane Computing, 2009. [pdf] Newer version appeared at DNA16, 2010.

N. Murphy, D. Woods. "A characterisation of NL using membrane systems without charges and dissolution", Technical Report NUIM-CS-TR-2008-01, Jan 2008, Department of Computer Science, National University of Ireland Maynooth, Ireland. [pdf]

N. Murphy, D. Woods, T.J. Naughton, "Stable Sorting Using Special-Purpose Physical Devices", BCRI Preprint 06/2006, May 2006, Boole Centre for Research in Informatics, University College Cork, Ireland. [pdf] [.ps]

T. Neary, D. Woods, "P-completeness of cellular automaton Rule 110", BCRI Preprint 04/2006, April 2006, Boole Centre for Research in Informatics, University College Cork, Ireland. [pdf] [.ps]

T. Neary, D. Woods, "A small fast universal Turing machine" Technical Report NUIM-CS-TR-2005-12, CS Dept., NUI Maynooth, 2005. [pdf] [.ps]

T. Neary, D. Woods, "Small fast universal Turing machines" Technical Report NUIM-CS-TR-2005-11, CS Dept., NUI Maynooth, 2005. [pdf] [.ps]

N. Murphy, D. Woods, T. J. Naughton, "On the computational power of photosynthesis," Technical Report NUIM-CS-TR-2005-03, CS Dept., NUI Maynooth, July 2005. [pdf]

D. Woods, "Computational complexity of an optical model of computation," (Invited.) International workshop on computations on the continuum. Lisbon, Portugal, June 27-28, 2005.

T. Neary, D. Woods, "Simulating Turing machines using switching map systems" Technical Report NUIM-CS-TR-2003-11, NUI Maynooth, December 2003. [pdf] [.ps]

D. Woods, T. J. Naughton, J. P. Gibson, "Continuous-space model of computation," (Invited.) American Mathematical Society - Spring Western Section Meeting #987, Special Session on Beyond Classical Boundaries of Computability, M. Burgin, P. Wegner, Eds., San Francisco, California, 3-4 May 2003. Reprinted in Abstracts of Papers Presented to the American Mathematical Society, vol. 24, no. 3, p. 484, September 2003.

A. Delaney, T. J. Naughton, D.Woods, "Towards a minimal computational power operating system." In British Colloquium for Theoretical Computer Science, number 19, Leicester, UK, April 2003. [.ps] [.pdf]

D. Woods, T. J. Naughton, "Analog recurrent neural network simulation and (log₂ n) unordered search with an optically inspired model of computation" Technical Report NUIM-CS-TR-2003-04, NUI Maynooth, March 2003. [pdf] [.ps]

D. Woods, T. J. Naughton, J. Paul Gibson, "Analog recurrent neural network simulation, (log₂ n) unordered search, and bitonic sort with an optically-inspired model of computation" Technical Report NUIM-CS-TR-2001-06, NUI Maynooth, October 2001. (This report is a preliminary version of NUIM-CS-TR-2003-04 above.) [pdf]

T. J. Naughton, D. Woods, "On the computational power of a continuous-space optical model of computation" Technical Report NUIM-CS-TR-2001-01, NUI Maynooth, January 2001. [pdf]