A formal mathematical framework for physiological observations, experiments and analyses

Journal of the Royal Society Interface

Volumn 9, Issue 70, 2012, Pages 1040-1050

  Nielsen, Thomas A ^a   Nilsson, Henrik ^b   Matheson, Tom ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

Bio ontologies; Functional programming; Insect vision, dynamic clamp; Neuroinformatics

Indexed keywords

FUNCTIONAL PROGRAMMING; MATHEMATICAL MODELS; PHYSIOLOGY;

BIO-ONTOLOGIES; HETEROGENEOUS DATA; INSECT VISION; MATHEMATICAL EQUATIONS; MATHEMATICAL FRAMEWORKS; META-ANALYSIS; NEUROINFORMATICS; NEURONAL RESPONSE; NON-TRIVIAL; PHYSIOLOGICAL OBSERVATION; THEORETICAL BASIS; TIME-DEPENDENT;

EXPERIMENTS;

ARTICLE; DATA ANALYSIS; HUMAN; INFORMATION PROCESSING; MATHEMATICAL ANALYSIS; MATHEMATICAL MODEL; NERVE CELL; NEUROPHYSIOLOGY;

HEXAPODA; VERTEBRATA;

EID: 84860730555     PISSN: 17425689     EISSN: 17425662     Source Type: Journal    
DOI: 10.1098/rsif.2011.0616     Document Type: Article

References (63)

1. Gardner, D., Abato, M., Knuth, K. H. & Robert, A. 2005 Neuroinformatics for neurophysiology: the role, design, and use of databases. In Databasing the brain: from data to knowledge (eds S. H. Koslow & S. Subramaniam), p. 47-68. Hoboken, NJ: Wiley.
2. Tukey, J. W. 1962 The future of data analysis. Ann. Math. Stat. 33, 1-67. (doi:10.1214/aoms/1177704711)
3. Ioannidis, J. P. et al. 2008 Repeatability of published microarray gene expression analyses. Nat. Genet. 41, 149-155. (doi:10.1038/ng.295)
4. Baggerly, K. A. & Coombes, K. R. 2009 Deriving chemo-sensitivity from cell lines: forensic bioinformatics and reproducible research in high-throughput biology. Ann. Appl. Stat. 3, 1309-1334. (doi:10.1214/09-AOAS291)
5. McCullough, B. D. 2007 Got replicability? J. Money, Credit Bank Arch. Econ. J. Watch 4, 326-337.
6. Chang, G., Roth, C. B., Reyes, C. L., Pornillos, O., Chen, Y. & Chen, A. P. 2006 Retraction. Science 314, 1875. (doi:10.1126/science.314.5807.1875b)
7. Ioannidis, J. P. 2005 Why most published research findings are false. PLoS Med. 2, e124. (doi:10.1371/journal.pmed.0020124)
8. Merali, Z. 2010 Computational science: error. Nature 467, 775-777. (doi:10.1038/467775a)
9. Peyton Jones, S. 2002 Tackling the awkward squad: monadic input-output, concurrency, exceptions, and foreign-language calls in Haskell. In Engineering theories of software construction (eds T. Hoare, M. Broy & R. Steinbruggen), p. 47-96. Amsterdam, The Netherlands: IOS Press.
10. Wadler, P. 1995 Monads for functional programming. Lect. Notes Comput. Sci. 925, 24-52.
11. Church, A. 1941 The calculi of lambda-conversion. Princeton, NJ: Princeton University Press.
12. Elliott, C. & Hudak, P. 1997 Functional reactive animation. Int. Conf. Funct. Program. 32, 263-273.
13. Nilsson, H., Courtney, A. & Peterson, J. 2002 Functional reactive programming, continued. In Proc. 2002 ACM SIGPLAN workshop on Haskell, Pittsburgh, PA, USA, 3 October 2002, pp. 51-64. New York, NY: ACM Press.
14. Herz, A. V., Meier, R., Nawrot, M. P., Schiegel, W. & Zito, T. 2008 G-Node: an integrated tool-sharing platform to support cellular and systems neurophysiology in the age of global neuroinformatics. Neural Netw. 21, 1070-1075. (doi:10.1016/j.neunet.2008.05.011)
15. Amari, S. et al. 2002 Neuroinformatics: the integration of shared databases and tools towards integrative neuroscience. J. Integr. Neurosci. 1, 117-128. (doi:10.1142/S0219635202000128)
16. Jessop, M., Weeks, M. & Austin, J. 2010 CARMEN: a practical approach to metadata management. Phil. Trans. R. Soc. A 368, 4147-4159. (doi:10.1098/rsta.2010.0147)
17. Teeters, J. L., Harris, K. D., Millman, K. J., Olshausen, B. A. & Sommer, F. T. 2008 Data sharing for computational neuroscience. Neuroinformatics 6, 47-55. (doi:10.1007/s12021-008-9009-y)
18. Frishkoff, G., LePendu, P., Frank, R., Liu, H. & Dou, D. 2009 Development of neural electromagnetic ontologies (NEMO): ontology-based tools for representation and integration of event-related brain potentials. Nat. Precedings. (doi:10.1038/npre.2009.3458.1)
19. Katz, P. S. et al. 2010 NeuronBank: a tool for cataloging neuronal circuitry. Front. Syst. Neurosci. 4, 9. (doi:10. 3389/fnsys.2010.00009)
20. Rodriguez-Tome, P. 1996 The European Bioinformatics Institute (EBI) databases. Nucleic Acids Res. 24, 6-12. (doi:10.1093/nar/24.1.6)
21. Ascoli, G. A., Donohue, D. E.&Halavi, M. 2007 NeuroMorpho. Org: a central resource for neuronal morphologies. J. Neurosci. 27, 9247-9251. (doi:10.1523/JNEUROSCI.2055-07.2007)
22. Insel, T. R., Volkow, N. D., Li, T., Battey, J. F. & Landis, S. C. 2003 Neuroscience networks: data-sharing in an information age. PLoS Biol. 1, E17. (doi:10.1371/journal.pbio.0000017)
23. Pool, R. 2002 Bioinformatics: converting data to knowledge, workshop summary. Washington, DC: National Academy Press.
24. Mackenzie-Graham, A. J., Van Horn, J. D., Woods, R. P., Crawford, K. L. & Toga, A. W. 2008 Provenance in neuroimaging. NeuroImage 42, 178-195. (doi:10.1016/j.neuroimage.2008.04.186)
25. Van Horn, J. D. & Toga, A. W. 2009 Is it time to re-prioritize neuroimaging databases and digital repositories? NeuroImage 47, 1720-1734. (doi:10.1016/j.neuroimage.2009.03.086)
26. Bird, R. & Moor, O. D. 1996 The algebra of programming. London, UK: Prentice Hall.
27. Pierce, B. C. 2002 Types and programming languages. Cambridge, MA: MIT Press.
28. Hindley, J. R. 2008 Basic simple type theory. Cambridge, UK: Cambridge University Press.
29. Bechhofer, S. 2007 OWL web ontology language reference. W3C Recommendation. See http://www.w3.org/TR/owl-ref/
30. Whitehead, A. N. & Russell, B. 1927 Principia mathematica. Cambridge, UK: Cambridge University Press.
31. Hughes, J. 1989 Why functional programming matters? Comp. J. 32, 98. (doi:10.1093/comjnl/32.2.98)
32. Martin-Löf, P. 1985 Intuitionistic type theory. Naples, Italy: Prometheus Books.
33. Sussman, G. J. &Wisdom, J. 2001 Structure and interpretation of classical mechanics. Cambridge, MA: MIT Press.
34. Karczmarczuk, J. 2003 Structure and interpretation of quantum mechanics: a functional framework. In Proc. 2003 ACM SIGPLAN workshop on Haskell, Uppsala, Sweden, 28 August 2003, p. 50-61. New York, NY: ACM Press.
35. Fontana, W. & Buss, L. W. 1994 What would be conserved if "the tape were played twice"? Proc. Natl Acad. Sci. USA 91, 757-761. (doi:10.1073/pnas.91.2.757)
36. de Bruijn, N. G. 1968 The mathematical language AUTOMATH, its usage and some of its extensions. Lect. Notes Math. 125, 29-61.
37. Harrison, J. 2009 Handbook of practical logic and automated reasoning. Cambridge, UK: Cambridge University Press.
38. McCarthy, J. 1960 Recursive functions of symbolic expressions and their computation by machine, Part I. Commun. ACM 3, 184-195. (doi:10.1145/367177. 367199)
39. Rind, F. C. & Simmons, P. J. 1992 Orthopteran DCMD neuron: a reevaluation of responses to moving objects. I. Selective responses to approaching objects. J. Neurophysiol. 68, 1654-1666.
40. Gabbiani, F., Mo, C. & Laurent, G. 2001 Invariance of angular threshold computation in a wide-field looming-sensitive neuron. J. Neurosci. 21, 314-329. (Pubitemid 32098755)
41. O'Shea, M. & Rowell, C. H. 1976 The neuronal basis of a sensory analyser, the acridid movement detector system. II. Response decrement, convergence, and the nature of the excitatory afferents to the fan-like dendrites of the LGMD. J. Exp. Biol. 65, 289-308.
42. Hatsopoulos, N., Gabbiani, F. & Laurent, G. 1995 Elementary computation of object approach by wide-field visual neuron. Science 270, 1000-1003. (doi:10.1126/science.270.5238.1000)
43. Gibson, F. et al. 2008 Minimum information about a neuroscience investigation (MINI) electrophysiology. Nat. Precedings. (doi:10.1038/npre.2008. 1720.1)
44. Robinson, H. P. & Kawai, N. 1993 Injection of digitally synthesized synaptic conductance transients to measure the integrative properties of neurons. J. Neurosci. Methods 49, 157-165. (doi:10.1016/0165-0270(93)90119-C)
45. Sharp, A. A., O'Neil, M. B., Abbott, L. F. & Marder, E. 1993 Dynamic clamp: computer-generated conductances in real neurons. J. Neurophysiol. 69, 992-995. (Pubitemid 23102967)
46. Connor, J. A. & Stevens, C. F. 1971 Voltage clamp studies of a transient outward membrane current in gastropod neural somata. J. Physiol. 213, 21-30.
47. Mitchell, S. J. & Silver, R. A. 2003 Shunting inhibition modulates neuronal gain during synaptic excitation. Neuron 38, 433-445. (doi:10.1016/S0896-6273(03)00200-9)
48. Carnevale, N. T. & Hines, M. L. 2006 The NEURON book. Cambridge, UK: Cambridge University Press.
49. Traub, R. D.,Wong, R. K., Miles, R. & Michelson, H. 1991 A model of a CA3 hippocampal pyramidal neuron incorporating voltage-clamp data on intrinsic conductances. J. Neurophysiol. 66, 635-650.
50. Murray-Rust, P. & Rzepa, H. S. 2002 Scientific publications in XML: towards a global knowledge base. Data Sci. 1, p84-98. (doi.org/10.2481/dsj.1.84)
51. Bower,M. R., Stead,M., Brinkmann, B. H., Dufendach, K. & Worrell, G. A. 2009 Metadata and annotations for multiscale electrophysiological data. Conf. Proc. IEEE Eng. Med. Biol. Soc. 2009, 2811-2814. (doi:10.1109/IEMBS.2009. 5333570)
52. Taylor, C. F. et al. 2007 The minimum information about a proteomics experiment (MIAPE). Nat. Biotechnol. 25, 887-893. (doi:10.1038/nbt1329)
53. Raikov, I., Preyer, A. & Butera, R. J. 2004 MRCI: a flexible real-time dynamic clamp system for electrophysiology experiments. J. Neurosci. Methods 132, 109-123. (doi.org/10.1016/j.jneumeth.2003.08.002)
54. Ermentrout, B. 1987 Simulating, analyzing, and animating dynamical systems: a guide to xppaut for researchers and students. Philadelphia, PA: Society for Industrial Mathematics.
55. Kriegeskorte, N., Simmons, W. K., Bellgowan, P. S. & Baker, C. I. 2009 Circular analysis in systems neuroscience: the dangers of double dipping. Nat. Neurosci. 12, 535-540. (doi:10.1038/nn.2303)
56. Kennedy, A. J. 1997 Relational parametricity and units of measure. Proc. Symp. Princ. Program. Lang. 25, 442-455.
57. Gelman, A. & Hill, J. 2006 Data analysis using regression and multilevel/hierarchical models. Cambridge, UK: Cambridge University Press.
58. Gilks, W. R., Thomas, A. & Spiegelhalter, D. J. 1994 A language and program for complex Bayesian modelling. The Statistician 43, 169. (doi:10.2307/2348941)
59. Goldstein, H., Browne, W. & Rasbash, J. 2002 Multilevel modelling of medical data. Stat. Med. 21, 3291-315. (doi:10.1002/sim.1264)
60. Fischer, B. & Schumann, J. 2003 AutoBayes: a system for generating data analysis programs from statistical models. J. Funct. Program. 13, 483-508. (doi:10.1017/S0956796802004562)
61. Matheson, T., Rogers, S. M. & Krapp, H. G. 2004 Plasticity in the visual system is correlated with a change in lifestyle of solitarious and gregarious locusts. J. Neurophysiol. 91, 1-12. (doi:10.1152/jn.00795.2003)
62. Westerfield, M. 1994 The zebrafish book: a guide for the laboratory use of zebrafish (Danio Rerio). Eugene, OR: University of Oregon Press.
63. McDearmid, J. R., Liao, M. & Drapeau, P. 2006 Glycine receptors regulate interneuron differentiation during spinal network development. Proc. Natl Acad. Sci. USA 103, 9679-9684. (doi:10.1073/pnas.0504871103)