The Library
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. ISSN 1476-9271
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1016/j.compbiolchem.2009.05.0...
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. (C) 2009 Elsevier Ltd. All rights reserved.
| Item Type: | Journal Article |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software Q Science > QH Natural history > QH301 Biology |
| Divisions: | Faculty of Science > WMG (Formerly the Warwick Manufacturing Group) |
| Journal or Publication Title: | Computational Biology and Chemistry |
| Publisher: | Elsevier Ltd |
| ISSN: | 1476-9271 |
| Date: | August 2009 |
| Volume: | Vol.33 |
| Number: | No.4 |
| Number of Pages: | 8 |
| Page Range: | pp. 253-260 |
| Identification Number: | 10.1016/j.compbiolchem.2009.05.001 |
| Status: | Peer Reviewed |
| Publication Status: | Published |
| Access rights to Published version: | Restricted or Subscription Access |
| URI: | http://wrap.warwick.ac.uk/id/eprint/17298 |
Data sourced from Thomson Reuters' Web of Knowledge
Actions (login required)
 |
View Item |
