The debate on human automatism in mid-Victorian England

During the 1830s, Marshall Hall carried out innumerable experiments on a great variety of animals to establish the concept of a ‘reflex arc’. In France F.L.Goltz showed that decerebrate frogs were still capable of complex behaviours. Thomas Laycock in England and Ivan Sechenov in Russia sought to apply the reflex idea to the brain. This paper follows the debate in the periodical literature of mid-Victorian England and discusses the contributions of WB Carpenter, Herbert Spencer, TH Huxley, W Clifford and others. The previous outing of this issue in the post-Cartesian seventeenth century had been largely suppressed by ecclesiastical authority. In the nineteenth century ecclesiastical power had waned, at least in England, and the debate could take a more open form. As neurophysiology and behavioural science developed, with the widespread acceptance of Darwinian evolution, it became more and more difficult to deny that brain and mind were part of the natural world and subject to the usual laws of cause and effect. This, of course, had powerful implications for the human self-image and for jurisprudence. These implications are still with us and the work of neurophysiologists such as Benjamin Libet have only reinforced them. Should humans be regarded as ‘automata’ and, if so, what becomes of ‘free will’, ‘responsibility’, and the rule of law? The Victorian debate is still useful and relevant.

A design environment for deadlock-free concurrent software

Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which avoid introducing faults (fault avoidance); then testing should be carried out to identify any faults which persist (error removal). Finally, techniques should be used which allow any undetected faults to be tolerated (fault tolerance). The verification of correctness in system design specification and performance analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large fault avoidance requires human analysis which is error prone; by reducing human involvement in the tedious aspect of modelling and analysis of the software it is hoped that fewer faults will persist into its implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of concurrent software for distributed computing systems if the communication structure is to be free of pathologies, such as deadlock. The objective of this thesis is to provide a design environment which ensures that processes are free from deadlock. A software tool was designed and used to facilitate the production of fault-tolerant software for distributed concurrent systems. Where Occam is used as a design language then state space methods, such as Petri-nets, can be used in analysis and simulation to determine the dynamic behaviour of the software, and to identify structures which may be prone to deadlock so that they may be eliminated from the design before the program is ever run. This design software tool consists of two parts. One takes an input program and translates it into a mathematical model (Petri-net), which is used for modeling and analysis of the concurrent software. The second part is the Petri-net simulator that takes the translated program as its input and starts simulation to generate the reachability tree. The tree identifies `deadlock potential' which the user can explore further. Finally, the software tool has been applied to a number of Occam programs. Two examples were taken to show how the tool works in the early design phase for fault prevention before the program is ever run.

Toward the atomistic simulation of T cell epitopes automated construction of MHC:peptide structures for free energy calculations

Epitopes mediated by T cells lie at the heart of the adaptive immune response and form the essential nucleus of anti-tumour peptide or epitope-based vaccines. Antigenic T cell epitopes are mediated by major histocompatibility complex (MHC) molecules, which present them to T cell receptors. Calculating the affinity between a given MHC molecule and an antigenic peptide using experimental approaches is both difficult and time consuming, thus various computational methods have been developed for this purpose. A server has been developed to allow a structural approach to the problem by generating specific MHC:peptide complex structures and providing configuration files to run molecular modelling simulations upon them. A system has been produced which allows the automated construction of MHC:peptide structure files and the corresponding configuration files required to execute a molecular dynamics simulation using NAMD. The system has been made available through a web-based front end and stand-alone scripts. Previous attempts at structural prediction of MHC:peptide affinity have been limited due to the paucity of structures and the computational expense in running large scale molecular dynamics simulations. The MHCsim server (http://igrid-ext.cryst.bbk.ac.uk/MHCsim) allows the user to rapidly generate any desired MHC:peptide complex and will facilitate molecular modelling simulation of MHC complexes on an unprecedented scale.

Text messaging forensics : Txt 4n6: idiolect free authorship analysis?

Current debate within forensic authorship analysis has tended to polarise those who argue that analysis methods should reflect a strong cognitive theory of idiolect and others who see less of a need to look behind the stylistic variation of the texts they are examining. This chapter examines theories of idiolect and asks how useful or necessary they are to the practice of forensic authorship analysis. Taking a specific text messaging case the chapter demonstrates that methodologically rigorous, theoretically informed authorship analysis need not appeal to cognitive theories of idiolect in order to be valid. By considering text messaging forensics, lessons will be drawn which can contribute to wider debates on the role of theories of idiolect in forensic casework.

Serum-free process development:improving the yield and consistency of human mesenchymal stromal cell production

Background aims: The cost-effective production of human mesenchymal stromal cells (hMSCs) for off-the-shelf and patient specific therapies will require an increasing focus on improving product yield and driving manufacturing consistency. Methods: Bone marrow-derived hMSCs (BM-hMSCs) from two donors were expanded for 36 days in monolayer with medium supplemented with either fetal bovine serum (FBS) or PRIME-XV serum-free medium (SFM). Cells were assessed throughout culture for proliferation, mean cell diameter, colony-forming potential, osteogenic potential, gene expression and metabolites. Results: Expansion of BM-hMSCs in PRIME-XV SFM resulted in a significantly higher growth rate (P < 0.001) and increased consistency between donors compared with FBS-based culture. FBS-based culture showed an inter-batch production range of 0.9 and 5 days per dose compared with 0.5 and 0.6 days in SFM for each BM-hMSC donor line. The consistency between donors was also improved by the use of PRIME-XV SFM, with a production range of 0.9 days compared with 19.4 days in FBS-based culture. Mean cell diameter has also been demonstrated as a process metric for BM-hMSC growth rate and senescence through a correlation (R² = 0.8705) across all conditions. PRIME-XV SFM has also shown increased consistency in BM-hMSC characteristics such as per cell metabolite utilization, in vitro colony-forming potential and osteogenic potential despite the higher number of population doublings. Conclusions: We have increased the yield and consistency of BM-hMSC expansion between donors, demonstrating a level of control over the product, which has the potential to increase the cost-effectiveness and reduce the risk in these manufacturing processes.