Output details
11 - Computer Science and Informatics
University of Nottingham
A formal mathematical framework for physiological observations, experiments and analyses
<08> This paper addresses the general question of describing physical experiments in a way that allows automation, repetition and formal verification, while also being accessible to scientists. To that end, through a neuroscience case study, we develop a calculus of physiological evidence. This is an original, even radical, approach, quite technical for the target audience. Yet, as of August 2013, the abstract had been downloaded 1800 times and the full text 1000, demonstrating significant interest. RSIF is a prestigious journal, ranked fourth by ISI impact factor after Nature and Science in Multidisciplinary Sciences and in top 10% of science publications.