To link or not to link: a test of the case linkage principles using serial car theft data

The purpose of the present study is to test the case linkage principles of behavioural consistency and behavioural distinctiveness using serial vehicle theft data. Data from 386 solved vehicle thefts committed by 193 offenders were analysed using Jaccard's, regression and Receiver Operating Characteristic analyses to determine whether objectively observable aspects of crime scene behaviour could be used to distinguish crimes committed by the same offender from those committed by different offenders. The findings indicate that spatial behaviour, specifically the distance between theft locations and between dump locations, is a highly consistent and distinctive aspect of vehicle theft behaviour; thus, intercrime and interdump distance represent the most useful aspects of vehicle theft for the purpose of case linkage analysis. The findings have theoretical and practical implications for understanding of criminal behaviour and for the development of decision-support tools to assist police investigation and apprehension of serial vehicle theft offenders.

Laminar distribution of ballooned neurons and tau positive neurons with inclusions in patients with corticobasal degeneration

The laminar distribution of ballooned neurons (BN) and tau positive neurons with inclusions (tau+ neurons) was studied in the frontal and temporal cortex in twelve patients with corticobasal degeneration (CBD). In the majority of brain areas, the density of BN and tau+ neurons was maximal in the lower and upper cortical laminae respectively. The densities of tau+ neurons in the upper and lower cortex were positively correlated. In the majority of brain areas, however, no correlations were observed between the densities of BN and tau+ neurons. The laminar distribution of the BN may reflect the degeneration of the feedback cortico-cortical and/or the efferent cortical pathways. By contrast, the distribution of the tau+ neurons may reflect the degeneration of the feed-forward cortico-cortical pathways. In addition, BN and tau+ neurons may arise as a result of distinct pathological processes.

Degeneration of cortical neurons associated with diffuse beta-amyloid (Abeta) deposits in Alzheimer’s disease

The frequency of morphological abnormalities in neuronal perikarya which were in contact with diffuse beta-amyloid (Abeta) deposits in patients with Alzheimer’s disease (AD) was compared with neurons located adjacent to the deposits. Morphological abnormalities were also studied in elderly, non-demented (ND) cases with and without diffuse Abeta deposits. In AD and ND cases with Abeta deposits, an increased proportion of neurons in contact with diffuse deposits exhibited at least one abnormality compared with neurons located adjacent to the deposits. Neurons in contact with diffuse deposits exhibited a greater frequency of abnormalities of shape, nuclei, nissl substance and had a higher frequency of cytoplasmic vacuoles compared with adjacent neurons. A greater frequency of abnormalities of shape, nissl substance and in the frequency of displaced nuclei were also observed in neurons adjacent to diffuse deposits in AD compared with ND cases. With the exception of absent nuclei, morphological abnormalities adjacent to diffuse deposits in ND cases were similar to those of ND cases without Abeta deposits. These results suggest that neuronal degeneration is associated with the earliest stages of Abeta deposit formation and is not specifically related to the formation of mature senile plaques.

Enhanced information transmission with signal dependent noise in an array of LIF neurons

Sensory cells usually transmit information to afferent neurons via chemical synapses, in which the level of noise is dependent on an applied stimulus. Taking into account such dependence, we model a sensory system as an array of LIF neurons with a common signal. We show that information transmission is enhanced by a nonzero level of noise. Moreover, we demonstrate a phenomenon similar to suprathreshold stochastic resonance with additive noise. We remark that many properties of information transmission found for the LIF neurons was predicted by us before with simple binary units [Phys. Rev. E 75, 021121 (2007)]. This confirmation of our predictions allows us to point out identical roots of the phenomena found in the simple threshold systems and more complex LIF neurons.

Information and behavioural instruction along the health-care pathway:the perspective of people undergoing hernia repair surgery and the role of formal and informal information sources

Provision of information and behavioural instruction has been demonstrated to improve recovery after surgery. However, patients draw on a range of information sources and it is important to establish which sources patients use and how this influences perceptions and behaviour as they progress along the surgical pathway. In this qualitative, exploratory and longitudinal study, the use of information and instruction were explored from the perspective of people undergoing inguinal hernia repair surgery. Seven participants undergoing inguinal hernia repair surgery were interviewed using semi-structured interviews 2 weeks before surgery and 2 weeks and 4 months post-surgery. Nineteen interviews were conducted in total. Topic guides included sources of knowledge, reasons for help-seeking and opting for surgery and factors influencing return to activity. Data were analysed thematically according to Interpretative Phenomenological Analysis. Participants sought information from a range of sources, focusing on informal information sources before surgery and using information and instruction from health-care professionals post-surgery. This information influenced behaviours including deciding to undergo surgery, use of pain medication and returning to usual activity. Anxiety and help-seeking resulted when unexpected post-surgical events occurred such as extensive bruising. Findings were consistent with psychological and sociological theories. Overall, participants were positive about the information and instruction they received but expressed a desire for more timely information on post-operative adverse events.

A quantitative study of the pathological changes in cortical neurons in sporadic Creutzfeldt-Jakob disease

The frequency of morphological abnormalities in neuronal perikarya was studied in the cerebral cortex in cases of sporadic CJD (sCJD) and in elderly control patients. Three hypotheses were tested, namely that the proportion of neurons exhibiting abnormal morphology was increased: (i) in sCJD compared with control patients; (ii) in sCJD, in areas with significant prion protein (PrP) deposition compared with regions with little or no PrP deposition; and (iii) when neurons were spatially associated with a PrP deposit compared with neurons between PrP deposits. Changes in cell shape (swollen or atrophic cell bodies), nuclei (displaced, indistinct, shrunken or absent nuclei; absence of nucleolus), and cytoplasm (dense or pale cytoplasm, PrP positive cytoplasm, vacuolation) were commonly observed in all of the cortical areas studied in the sCJD cases. The proportion of neurons exhibiting each type of morphological change was significantly increased in sCJD compared with age-matched control cases. In sCJD, neuronal abnormalities were present in areas with little PrP deposition, but at significantly lower frequencies compared with areas with significant densities of PrP deposits. Abnormalities of cell shape, nucleus and the presence of cytoplasmic vacuolation were increased when the neurons were associated with a PrP deposit, but fewer of these neurons were PrP-positive compared with neurons between deposits. The data suggest significant neuronal degeneration in the cerebral cortex in sCJD in areas without significant PrP deposition and a further phase of neuronal degeneration associated with the appearance of PrP deposits.

Development of real-time process control systems using formal techniques

A major application of computers has been to control physical processes in which the computer is embedded within some large physical process and is required to control concurrent physical processes. The main difficulty with these systems is their event-driven characteristics, which complicate their modelling and analysis. Although a number of researchers in the process system community have approached the problems of modelling and analysis of such systems, there is still a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which software is used to control concurrent physical processes. The general objective of the research in this thesis is to investigate the use of formal techniques in the analysis of such systems at their early stages of development, with a particular bias towards an application to high speed machinery. Specifically, the research aims to generate a standardised software development formalism for real-time process-control systems, particularly for software controller synthesis. In this research, a graphical modelling formalism called Sequential Function Chart (SFC), a variant of Grafcet, is examined. SFC, which is defined in the international standard IEC1131 as a graphical description language, has been used widely in industry and has achieved an acceptable level of maturity and acceptance. A comparative study between SFC and Petri nets is presented in this thesis. To overcome identified inaccuracies in the SFC, a formal definition of the firing rules for SFC is given. To provide a framework in which SFC models can be analysed formally, an extended time-related Petri net model for SFC is proposed and the transformation method is defined. The SFC notation lacks a systematic way of synthesising system models from the real world systems. Thus a standardised approach to the development of real-time process control systems is required such that the system (software) functional requirements can be identified, captured, analysed. A rule-based approach and a method called system behaviour driven method (SBDM) are proposed as a development formalism for real-time process-control systems.

A formal methodology for the verification of concurrent systems

There is an increasing emphasis on the use of software to control safety critical plants for a wide area of applications. The importance of ensuring the correct operation of such potentially hazardous systems points to an emphasis on the verification of the system relative to a suitably secure specification. However, the process of verification is often made more complex by the concurrency and real-time considerations which are inherent in many applications. A response to this is the use of formal methods for the specification and verification of safety critical control systems. These provide a mathematical representation of a system which permits reasoning about its properties. This thesis investigates the use of the formal method Communicating Sequential Processes (CSP) for the verification of a safety critical control application. CSP is a discrete event based process algebra which has a compositional axiomatic semantics that supports verification by formal proof. The application is an industrial case study which concerns the concurrent control of a real-time high speed mechanism. It is seen from the case study that the axiomatic verification method employed is complex. It requires the user to have a relatively comprehensive understanding of the nature of the proof system and the application. By making a series of observations the thesis notes that CSP possesses the scope to support a more procedural approach to verification in the form of testing. This thesis investigates the technique of testing and proposes the method of Ideal Test Sets. By exploiting the underlying structure of the CSP semantic model it is shown that for certain processes and specifications the obligation of verification can be reduced to that of testing the specification over a finite subset of the behaviours of the process.

Simultaneous estimation of global background synaptic inhibition and excitation from membrane potential fluctuations in layer III neurons of the rat entorhinal cortex in vitro

It is becoming clear that the detection and integration of synaptic input and its conversion into an output signal in cortical neurons are strongly influenced by background synaptic activity or "noise." The majority of this noise results from the spontaneous release of synaptic transmitters, interacting with ligand-gated ion channels in the postsynaptic neuron [Berretta N, Jones RSG (1996); A comparison of spontaneous synaptic EPSCs in layer V and layer II neurones in the rat entorhinal cortex in vitro. J Neurophysiol 76:1089-1110; Jones RSG, Woodhall GL (2005) Background synaptic activity in rat entorhinal cortical neurons: differential control of transmitter release by presynaptic receptors. J Physiol 562:107-120; LoTurco JJ, Mody I, Kriegstein AR (1990) Differential activation of glutamate receptors by spontaneously released transmitter in slices of neocortex. Neurosci Lett 114:265-271; Otis TS, Staley KJ, Mody I (1991) Perpetual inhibitory activity in mammalian brain slices generated by spontaneous GABA release. Brain Res 545:142-150; Ropert N, Miles R, Korn H (1990) Characteristics of miniature inhibitory postsynaptic currents in CA1 pyramidal neurones of rat hippocampus. J Physiol 428:707-722; Salin PA, Prince DA (1996) Spontaneous GABAA receptor-mediated inhibitory currents in adult rat somatosensory cortex. J Neurophysiol 75:1573-1588; Staley KJ (1999) Quantal GABA release: noise or not? Nat Neurosci 2:494-495; Woodhall GL, Bailey SJ, Thompson SE, Evans DIP, Stacey AE, Jones RSG (2005) Fundamental differences in spontaneous synaptic inhibition between deep and superficial layers of the rat entorhinal cortex. Hippocampus 15:232-245]. The function of synaptic noise has been the subject of debate for some years, but there is increasing evidence that it modifies or controls neuronal excitability and, thus, the integrative properties of cortical neurons. In the present study we have investigated a novel approach [Rudolph M, Piwkowska Z, Badoual M, Bal T, Destexhe A (2004) A method to estimate synaptic conductances from membrane potential fluctuations. J Neurophysiol 91:2884-2896] to simultaneously quantify synaptic inhibitory and excitatory synaptic noise, together with postsynaptic excitability, in rat entorhinal cortical neurons in vitro. The results suggest that this is a viable and useful approach to the study of the function of synaptic noise in cortical networks. © 2007 IBRO.

Teenage mothers' experiences of stigma and formal support services

This research has two focal points: experiences of stigma and experiences of formal support services among teenage mothers. Twenty teenage mothers were interviewed in depth, ten from a one-to-one support service, and ten from a group based support service. Contributions to knowledge consisted of the following. First, regarding experiences of stigma, this research integrated concepts from the social psychology literature and established the effects of stigma which are experienced by teenage mothers, offering reasons for the same. Additionally, further coping mechanisms in response to being stigmatized were discovered and grouped into two new headings: active and passive coping mechanisms. It is acknowledged that for a minority of participants, stigma does have negative effects, however, the majority experiences no such serious negative effects. Secondly, regarding experiences of support services, this research was able to directly compare one-to-one with group based support for teenage mothers. Knowledge was unearthed as to influential factors in the selection of a mode of support and the functions of each of the modes of support, which were categorised under headings for ease of comparison. It was established that there is indeed a link between these two research foci in that both the one-to-one and group based support services fulfil a stigma management function, in which teenage mothers discuss the phenomenon, share experiences and offer advice to others. However, it was also established that this function is of minor importance compared to the other functions fulfilled by the support services.

Exporting to Eastern Europe : principles and practice, including a case study of the market for fire fighting equipment

East-West trade has grown rapidly since the sixties, stimulating a parallel expansion in the literature on the subject. An extensive review of this literature shows how: (i) most of the issues involved have at their source the distinctions between East and West in political ideology and/or economic management, and (ii) there has been a tendency to keep theoretical and practical perspectives on the subject too separate. This thesis demonstrates the importance of understanding the fundamental principles implied in the first point, and represents an attempt to bridge the gap identified in the second. A detailed study of the market for fire fighting equipment in Eastern Europe is undertaken in collaboration with a medium-sized company, Angus Fire Armour Limited. Desk research methods are combined with visits to the market to assess the potential for the company's products, and recommendations for future strategy are made. The case demonstrates the scope and limitations of various research methods for the East European market, and a model for market research relevant to all companies is developed. Tne case study highlights three areas largely neglected in the literature: (i) the problems of internal company adaptation to East European conditions; (ii) the division of responsibility between foreign trade organisations; and (iii) bribery and corruption in East-West trade. Further research into the second topic - through a survey of 36 UK exporters - and the third - through analysis of publicised corruption cases - confirms the representativeness of the Angus experience, and reflects on the complexity of the Bast European import process, which does not always function as is commonly supposed. The very complexity of the problems confronting companies reaffirms the need to appreciate the principles underlying the subject, while the detailed analysis into questions of, originally, a marketing nature, reveals wider implications for East-West trade and East-West relations.

A quantitative study of abnormally enlarged neurons in cognitively normal brain and neurodegenerative disease

Abnormally enlarged neurons (AEN) occur in many neurodegenerative diseases. To define AEN more objectively, the frequency distribution of the ratio of greatest cell diameter(CD) to greatest nuclear diameter (ND) was studied in populations of cortical neurons in tissue sections of seven cognitively normal brains. The frequency distribution of CD/ND deviated from a normal distribution in 15 out of 18 populations of neurons studied and hence, the 95th percentile (95P) was used to define a limit of the CD/ND ratio excluding the5% most extreme observations. The 95P of the CD/ ND ratio varied from 2.0 to 3.0 in different cases and regions and a value of 95P = 3.0 was chosen to define the limit for normalneurons under non-pathological conditions. Based on the 95P = 3.0 criterion, the proportion of AEN with a CD/ND ≥ 3 varied from 2.6% in Alzheimer's disease (AD) to 20.3% in Pick's disease (PiD). The data suggest: (1) that a CL/ND ≥ 3.0 may be a useful morphological criterion for defining AEN, and (2) AEN were most numerous in PiD and corticobasal degeneration (CBD) and least abundant in AD and in dementia with Lewy bodies (DLB). © 2013 Dustri-Verlag Dr. K. Feistle.

On-line learning of unrealizable tasks

The dynamics of on-line learning is investigated for structurally unrealizable tasks in the context of two-layer neural networks with an arbitrary number of hidden neurons. Within a statistical mechanics framework, a closed set of differential equations describing the learning dynamics can be derived, for the general case of unrealizable isotropic tasks. In the asymptotic regime one can solve the dynamics analytically in the limit of large number of hidden neurons, providing an analytical expression for the residual generalization error, the optimal and critical asymptotic training parameters, and the corresponding prefactor of the generalization error decay.