Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Implications of the Turing completeness of reaction-diffusion models, informed by GPGPU simulations on an XBox 360: Cardiac arrhythmias, re-entry and the Halting problem

Tools
- Tools
+ Tools

Scarle, Simon (2009) Implications of the Turing completeness of reaction-diffusion models, informed by GPGPU simulations on an XBox 360: Cardiac arrhythmias, re-entry and the Halting problem. Computational Biology and Chemistry, Vol.33 (No.4). pp. 253-260. doi:10.1016/j.compbiolchem.2009.05.001

[img] PDF
WRAP_Scarle_Turing.pdf - Requires a PDF viewer.

Download (2289Kb)
Official URL: http://dx.doi.org/10.1016/j.compbiolchem.2009.05.0...

Request Changes to record.

Abstract

In the arsenal of tools that a computational modeller can bring to bare on the study of cardiac arrhythmias, the most widely used and arguably the most successful is that of an excitable medium, a special case of a reaction-diffusion model. These are used to simulate the internal chemical reactions of a cardiac cell and the diffusion of their membrane voltages. Via a number of different methodologies it has previously been shown that reaction-diffusion systems are at multiple levels Turing complete. That is, they are capable of computation in the same manner as a universal Turing machine. However, all such computational systems are subject to a limitation known as the Halting problem. By constructing a universal logic gate using a cardiac cell model, we highlight how the Halting problem therefore could limit what it is possible to predict about cardiac tissue, arrhythmias and re-entry.

All simulations for this work were carried out on the GPU of an XBox 360 development console, and we also highlight the great gains in computational power and efficiency produced by such general purpose processing on a GPU for cardiac simulations.

Item Type: Journal Article
Subjects: R Medicine > RC Internal medicine
Divisions: Faculty of Science > Engineering
Library of Congress Subject Headings (LCSH): Arrhythmia -- Research, Xbox 360 (Video game console) -- Research, Turing (Computer program language), Heart -- Abnormalities -- Research
Journal or Publication Title: Computational Biology and Chemistry
Publisher: Elsevier Ltd
ISSN: 1476-9271
Official Date: August 2009
Dates:
DateEvent
August 2009Published
Volume: Vol.33
Number: No.4
Page Range: pp. 253-260
DOI: 10.1016/j.compbiolchem.2009.05.001
Status: Peer Reviewed
Access rights to Published version: Open Access

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us