Functional analysis of a real-time protocol for networked control systems

Traditional real-time control systems are tightly integrated into the industrial processes they govern. Now, however, there is increasing interest in networked control systems. These provide greater flexibility and cost savings by allowing real-time controllers to interact with industrial processes over existing communications networks. New data packet queuing protocols are currently being developed to enable precise real-time control over a network with variable propagation delays. We show how one such protocol was formally modelled using timed automata, and how model checking was used to reveal subtle aspects of the control system's dynamic behaviour.

Brain activity during automatic semantic priming revealed by event-related functional magnetic resonance imaging

Semantic priming occurs when a subject is faster in recognising a target word when it is preceded by a related word compared to an unrelated word. The effect is attributed to automatic or controlled processing mechanisms elicited by short or long interstimulus intervals (ISIs) between primes and targets. We employed event-related functional magnetic resonance imaging (fMRI) to investigate blood oxygen level dependent (BOLD) responses associated with automatic semantic priming using an experimental design identical to that used in standard behavioural priming tasks. Prime-target semantic strength was manipulated by using lexical ambiguity primes (e.g., bank) and target words related to dominant or subordinate meaning of the ambiguity. Subjects made speeded lexical decisions (word/nonword) on dominant related, subordinate related, and unrelated word pairs presented randomly with a short ISI. The major finding was a pattern of reduced activity in middle temporal and inferior prefrontal regions for dominant versus unrelated and subordinate versus unrelated comparisons, respectively. These findings are consistent with both a dual process model of semantic priming and recent repetition priming data that suggest that reductions in BOLD responses represent neural priming associated with automatic semantic activation and implicate the left middle temporal cortex and inferior prefrontal cortex in more automatic aspects of semantic processing.

Investigating the functional properties of the somatosensory cortex during experimental visceral pain using magnetoencephalography

Background The somatosensory cortex has been inconsistently activated in pain studies and the functional properties of subregions within this cortical area are poorly understood. To address this we used magnetoencephalography (MEG), a brain imaging technique capable of recording changes in cortical neural activity in real-time, to investigate the functional properties of the somatosensory cortex during different phases of the visceral pain experience. Methods In eight participants (4 male), 151-channel whole cortex MEG was used to detect cortical neural activity during 25 trials lasting 20 seconds each. Each trial comprised four separate periods of 5 seconds in duration. During each of the periods, different visual cues were presented, indicating that period 1=rest, period 2=anticipation, period 3=pain and period 4=post pain. During period 3, participants received painful oesophageal balloon distensions (four at 1 Hz). Regions of cortical activity were identified using Synthetic Aperture Magnetometry (SAM) and by the placement of virtual electrodes in regions of interest within the somatosensory cortex, time-frequency wavelet plots were generated. Results SAM analysis revealed significant activation with the primary (S1) and secondary (S2) somatosensory cortices. The time-frequency wavelet spectrograms showed that activation in S1 increased during the anticipation phase and continued during the presentation of the stimulus. In S2, activation was tightly time and phase-locked to the stimulus within the pain period. Activations in both regions predominantly occurred within the 10–15 Hz and 20–30 Hz frequency bandwidths. Discussion These data are consistent with the role of S1 and S2 in the sensory discriminatory aspects of pain processing. Activation of S1 during anticipation and then pain may be linked to its proposed role in attentional as well as sensory processing. The stimulus-related phasic activity seen in S2 demonstrates that this region predominantly encodes information pertaining to the nature and intensity of the stimulus.

A type system with usage aspects

Linear typing schemes can be used to guarantee non-interference and so the soundness of in-place update with respect to a functional semantics. But linear schemes are restrictive in practice, and more restrictive than necessary to guarantee soundness of in-place update. This limitation has prompted research into static analysis and more sophisticated typing disciplines to determine when in-place update may be safely used, or to combine linear and non-linear schemes. Here we contribute to this direction by defining a new typing scheme that better approximates the semantic property of soundness of in-place update for a functional semantics. We begin from the observation that some data are used only in a read-only context, after which it may be safely re-used before being destroyed. Formalising the in-place update interpretation in a machine model semantics allows us to refine this observation, motivating three usage aspects apparent from the semantics that are used to annotate function argument types. The aspects are (1) used destructively, (2), used read-only but shared with result, and (3) used read-only and not shared with the result. The main novelty is aspect (2), which allows a linear value to be safely read and even aliased with a result of a function without being consumed. This novelty makes our type system more expressive than previous systems for functional languages in the literature. The system remains simple and intuitive, but it enjoys a strong soundness property whose proof is non-trivial. Moreover, our analysis features principal types and feasible type reconstruction, as shown in M. Konen'y (In TYPES 2002 workshop, Nijmegen, Proceedings, Springer-Verlag, 2003).

Functional proteomics to dissect tyrosine kinase signalling pathways in cancer

Advances in the generation and interpretation of proteomics data have spurred a transition from focusing on protein identification to functional analysis. Here we review recent proteomics results that have elucidated new aspects of the roles and regulation of signal transduction pathways in cancer using the epidermal growth factor receptor (EGFR), ERK and breakpoint cluster region (BCR)-ABL1 networks as examples. The emerging theme is to understand cancer signalling as networks of multiprotein machines which process information in a highly dynamic environment that is shaped by changing protein interactions and post-translational modifications (PTMs). Cancerous genetic mutations derange these protein networks in complex ways that are tractable by proteomics.

Myopia: structural and functional correlates

Ocular dimensions are widely recognised as key variants of refractive error. Previously, accurate depiction of eye shape in vivo was largely restricted by limitations in the imaging techniques available. This thesis describes unique applications of the recently introduced 3-dimensional magnetic resonance imaging (MRI) approach to evaluate human eye shape in a group of young adult subjects (n=76) with a range of ametropia (MSE= -19.76 to +4.38D). Specific MRI derived parameters of ocular shape are then correlated with measures of visual function. Key findings include the significant homogeneity of ocular volume in the anterior eye for a range of refractive errors, whilst significant volume changes occur in the posterior eye as a function of ametropia. Anterior vs. posterior eye differences have also been shown through evaluations of equivalent spherical radius; the posterior 25% cap of the eye was shown to be relatively steeper in myopes compared to emmetropes. Further analyses showed differences in retinal quadrant profiles; assessments of the maximum distance from the retinal surface to the presumed visual axes showed exaggerated growth of the temporal quadrant in myopic eyes. Comparisons of retinal contour values derived from transformation of peripheral refraction data were made with MRI; flatter retinal curvature values were noted when using the MRI technique. A distinctive feature of this work is the evaluation of the relationship between ocular structure and visual function. Multiple aspects of visual function were evaluated through several vehicles: multifocal electroretinogram testing, visual field sensitivity testing, and the use of psychophysical methods to determine ganglion cell density. The results show that many quadrantic structural and functional variations exist. In general, the data could not demonstrate a significant correlation between visual function and associated measures of ocular conformation either within or between myopic and emmetropic groups.

An investigation into formal and functional characteristics of qualifications in legislative writing and its application to English for academic legal purposes.

The present investigation is based on a linguistic analysis of the 'Housing Act 1980' and attempts to examine the role of qualifications in the structuring of the legislative statement. The introductory chapter isolates legislative writing as a "sub-variety “of legal language and provides an overview of the controversies surrounding the way it is written and the problems it poses to its readers. Chapter two emphasizes the limitations of the available work on the description of language-varieties for the analysis of legislative writing and outlines the approach adopted for the present analysis. This chapter also gives some idea of the information-structuring of legislative provisions and establishes qualification as a key element in their textualisation. The next three chapters offer a detailed account of the ten major qualification-types identified in the corpus, concentrating on the surface form they take, the features of legislative statements they textualize and the syntactic positions to which they are generally assigned in the statement of legislative provisions. The emerging hypotheses in these chapters have often been verified through a specialist reaction from a Parliamentary Counsel, largely responsible for the writing of the ‘Housing Act 1980’• The findings suggest useful correlations between a number of qualificational initiators and the various aspects of the legislative statement. They also reveal that many of these qualifications typically occur in those clause-medial syntactic positions which are sparingly used in other specialist discourse, thus creating syntactic discontinuity in the legislative sentence. Such syntactic discontinuities, on the evidence from psycholinguistic experiments reported in chapter six, create special problems in the processing and comprehension of legislative statements. The final chapter converts the main linguistic findings into a series of pedagogical generalizations, offers indications of how this may be applied in EALP situations and concludes with other considerations of possible applications.

Some aspects of system design for production management in the rolling-mill industry

Case studies in copper-alloy rolling mill companies showed that existing planning systems suffer from numerous shortcomings. Where computerised systems are in use, these tend to simply emulate older manual systems and still rely heavily on modification by experienced planners on the shopfloor. As the size and number of orders increase, the task of process planners, while seeking to optimise the manufacturing objectives and keep within the production constraints, becomes extremely complicated because of the number of options for mixing or splitting the orders into batches. This thesis develops a modular approach to computerisation of the production management and planning functions. The full functional specification of each module is discussed, together with practical problems associated with their phased implementation. By adapting the Distributed Bill of Material concept from Material Requirements Planning (MRP) philosophy, the production routes generated by the planning system are broken down to identify the rolling stages required. Then to optimise the use of material at each rolling stage, the system generates an optimal cutting pattern using a new algorithm that produces practical solutions to the cutting stock problem. It is shown that the proposed system can be accommodated on a micro-computer, which brings it into the reach of typical companies in the copper-alloy rolling industry, where profit margins are traditionally low and the cost of widespread use of mainframe computers would be prohibitive.

Aspects of tonic accommodation and tonic vergence

Under conditions of reduced visual stimulation, the systems of accommodation and vergence tend towards physiological resting states that are intermediate within their functional range. The terms tonic accommodation (TA) and tonic vergence (TV) are used in the study to describe these stimulus-free, intermediate adjustments and to represent the systems as being in a state of innervational tonicity. The literature relating to TA and TV and the various experiments of this thesis are reviewed. Methodology has been developed enabling the determination of TA and TV under conditions of total darknessl laser optometry for TA and ~ernier-alignment for TV. The thesis describes a series of experiments designed to investigate various aspects of TA and TV, and their role in ametropia, binocular vision and their adaptation to sustained visual tasks. Measurements of TA were also utilised to investigate the effect of various autonomic effector drugs on the ciliary muscle. The effects of ethanol on binocular function are shown to be directly proportional to the .initial level of TVJ which is itself unaffected. These results support the concept of TV as the reference point for normal vergence responses. The results of the pharmacological investigations indicate the presence of a small but significant, beta-receptor mediated inhibitory sympathetic input to the ciliary muscle, and that the wide distribution in TA is a consequence of inter-observer variations in parasympathetic, rather than sympathetic tone. Following interaction with visual tasks of t5mins duration, the levels of TA and TV are found to be biased in the direction of, and proportional to, the task position: except during near-task viewing where the task-to-TA stimulus-distance exceeds 1.5D (for TA) and 3.5deg (for TV). Under these conditions the expected level of bias is attenuated, Adaptive models are discussed, proposing TA and TV as the reference points of the accommodative and vergence system.

The functional organisation of the fronto-temporal language system:evidence from syntactic and semantic ambiguity

Spoken language comprehension is known to involve a large left-dominant network of fronto-temporal brain regions, but there is still little consensus about how the syntactic and semantic aspects of language are processed within this network. In an fMRI study, volunteers heard spoken sentences that contained either syntactic or semantic ambiguities as well as carefully matched low-ambiguity sentences. Results showed ambiguity-related responses in the posterior left inferior frontal gyrus (pLIFG) and posterior left middle temporal regions. The pLIFG activations were present for both syntactic and semantic ambiguities suggesting that this region is not specialised for processing either semantic or syntactic information, but instead performs cognitive operations that are required to resolve different types of ambiguity irrespective of their linguistic nature, for example by selecting between possible interpretations or reinterpreting misparsed sentences. Syntactic ambiguities also produced activation in the posterior middle temporal gyrus. These data confirm the functional relationship between these two brain regions and their importance in constructing grammatical representations of spoken language.

General Aspects of Constructing an Autonomous Adaptive Agent

There are a great deal of approaches in artificial intelligence, some of them also coming from biology and neirophysiology. In this paper we are making a review, discussing many of them, and arranging our discussion around the autonomous agent research. We highlight three aspect in our classification: type of abstraction applied for representing agent knowledge, the implementation of hypothesis processing mechanism, allowed degree of freedom in behaviour and self-organizing. Using this classification many approaches in artificial intelligence are evaluated. Then we summarize all discussed ideas and propose a series of general principles for building an autonomous adaptive agent.

The development of functional astrocyte-neuron networks derived from stem cells

There is currently great scientific and medical interest in the potential of tissue grown from stem cells. These cells present opportunities for generating model systems for drug screening and toxicological testing which would be expected to be more relevant to human outcomes than animal based tissue preparations. Newly realised astrocytic roles in the brain have fundamental implications within the context of stem cell derived neuronal networks. If the aim of stem cell neuroscience is to generate functional neuronal networks that behave as networks do in the brain, then it becomes clear that we must include and understand all the cellular components that comprise that network, and which are important to support synaptic integrity and cell to cell signalling. We have shown that stem cell derived neurons exhibit spontaneous and coordinated calcium elevations in clusters and in extended processes, indicating local and long distance signalling (1). Tetrodotoxin sensitive network activity could also be evoked by electrical stimulation. Similarly, astrocytes exhibit morphology and functional properties consistent with this glial cell type. Astrocytes also respond to neuronal activity and to exogenously applied neurotransmitters with calcium elevations, and in contrast to neurons, also exhibited spontaneous rhythmic calcium oscillations. Astroctyes also generate propagating calcium waves that are gap junction and purinergic signalling dependent. Our results show that stem cell derived astrocytes exhibit appropriate functionality and that stem cell neuronal networks interact with astrocytic networks in co-culture. Using mixed cultures of stem cell derived neurons and astrocytes, we have also shown both cell types also modulate their glucose uptake, glycogen turnover and lactate production in response to glutamate as well as increased neuronal activity (2). This finding is consistent with their neuron-astrocyte metabolic coupling thus demonstrating a tractable human model, which will facilitate the study of the metabolic coupling between neurons and astrocytes and its relationship with CNS functional issues ranging from plasticity to neurodegeneration. Indeed, cultures treated with oligomers of amyloid beta 1-42 (Aβ1-42) also display a clear hypometabolism, particularly with regard to utilization of substrates such as glucose (3). Both co-cultures of neurons and astrocytes and purified cultures of astrocytes showed a significant decrease in glucose uptake after treatment with 2 and 0.2 μmol/L Aβ at all time points investigated (p <0.01). In addition, a significant increase in the glycogen content of cells was also measured. Mixed neuron and astrocyte co-cultures as well as pure astrocyte cultures showed an initial decrease in glycogen levels at 6 hours compared with control at 0.2 μmol/L and 2 μmol/L P <0.01. These changes were accompanied by changes in NAD+/NADH (P<0.05), ATP (P<0.05), and glutathione levels (P<0.05), suggesting a disruption in the energy-redox axis within these cultures. The high energy demands associated with neuronal functions such as memory formation and protection from oxidative stress put these cells at particular risk from Aβ-induced hypometabolism. As numerous cell types interact in the brain it is important that any in vitro model developed reflects this arrangement. Our findings indicate that stem cell derived neuron and astrocyte networks can communicate, and so have the potential to interact in a tripartite manner as is seen in vivo. This study therefore lays the foundation for further development of stem cell derived neurons and astrocytes into therapeutic cell replacement and human toxicology/disease models. More recently our data provides evidence for a detrimental effect of Aβ on carbohydrate metabolism in both neurons and astrocytes. As a purely in vitro system, human stem cell models can be readily manipulated and maintained in culture for a period of months without the use of animals. In our laboratory cultures can be maintained in culture for up to 12 months months thus providing the opportunity to study the consequences of these changes over extended periods of time relevant to aspects of the disease progression time frame in vivo. In addition, their human origin provides a more realistic in vitro model as well as informing other human in vitro models such as patient-derived iPSC.

An integrated functional mapping and source localization platform for brain research

The premise of this dissertation is to create a highly integrated platform that combines the most current recording technologies for brain research through the development of new algorithms for three-dimensional (3D) functional mapping and 3D source localization. The recording modalities that were integrated include: Electroencephalography (EEG), Optical Topographic Maps (OTM), Magnetic Resonance Imaging (MRI), and Diffusion Tensor Imaging (DTI). This work can be divided into two parts: The first part involves the integration of OTM with MRI, where the topographic maps are mapped to both the skull and cortical surface of the brain. This integration process is made possible through the development of new algorithms that determine the probes location on the MRI head model and warping the 2D topographic maps onto the 3D MRI head/brain model. Dynamic changes of the brain activation can be visualized on the MRI head model through a graphical user interface. The second part of this research involves augmenting a fiber tracking system, by adding the ability to integrate the source localization results generated by commercial software named Curry. This task involved registering the EEG electrodes and the dipole results to the MRI data. Such Integration will allow the visualization of fiber tracts, along with the source of the EEG, in a 3D transparent brain structure. The research findings of this dissertation were tested and validated through the participation of patients from Miami Children Hospital (MCH). Such an integrated platform presented to the medical professionals in the form of a user-friendly graphical interface is viewed as a major contribution of this dissertation. It should be emphasized that there are two main aspects to this research endeavor: (1) if a dipole could be situated in time at its different positions, its trajectory may reveal additional information on the extent and nature of the brain malfunction; (2) situating such a dipole trajectory with respect to the fiber tracks could ensure the preservation of these fiber tracks (axons) during surgical interventions, preserving as a consequence these parts of the brain that are responsible for information transmission.

Functional genomic and molecular analyses of transcripts related to glycerol synthesis and trafficking in rainbow smelt (Osmerus mordax) using cold temperature-induced models of glycerol production

The rainbow smelt (Osmerus mordax) is an anadromous teleost that produces type II antifreeze protein (AFP) and accumulates modest urea and high glycerol levels in plasma and tissues as adaptive cryoprotectant mechanisms in sub-zero temperatures. It is known that glyceroneogenesis occurs in liver via a branch in glycolysis and gluconeogenesis and is activated by low temperature; however, the precise mechanisms of glycerol synthesis and trafficking in smelt remain to be elucidated. The objective of this thesis was to provide further insight using functional genomic techniques [e.g. suppression subtractive hybridization (SSH) cDNA library construction, microarray analyses] and molecular analyses [e.g. cloning, quantitative reverse transcription - polymerase chain reaction (QPCR)]. Novel molecular mechanisms related to glyceroneogenesis were deciphered by comparing the transcript expression profiles of glycerol (cold temperature) and non-glycerol (warm temperature) accumulating hepatocytes (Chapter 2) and livers from intact smelt (Chapter 3). Briefly, glycerol synthesis can be initiated from both amino acids and carbohydrate; however carbohydrate appears to be the preferred source when it is readily available. In glycerol accumulating hepatocytes, levels of the hepatic glucose transporter (GLUT2) plummeted and transcript levels of a suite of genes (PEPCK, MDH2, AAT2, GDH and AQP9) associated with the mobilization of amino acids to fuel glycerol synthesis were all transiently higher. In contrast, in glycerol accumulating livers from intact smelt, glycerol synthesis was primarily fuelled by glycogen degradation with higher PGM and PFK (glycolysis) transcript levels. Whether initiated from amino acids or carbohydrate, there were common metabolic underpinnings. Increased PDK2 (an inhibitor of PDH) transcript levels would direct pyruvate derived from amino acids and / or DHAP derived from G6P to glycerol as opposed to oxidation via the citric acid cycle. Robust LIPL (triglyceride catabolism) transcript levels would provide free fatty acids that could be oxidized to fuel ATP synthesis. Increased cGPDH (glyceroneogenesis) transcript levels were not required for increased glycerol production, suggesting that regulation is more likely by post-translational modification. Finally, levels of a transcript potentially encoding glycerol-3-phosphatase, an enzyme not yet characterized in any vertebrate species, were transiently higher. These comparisons also led to the novel discoveries that increased G6Pase (glucose synthesis) and increased GS (glutamine synthesis) transcript levels were part of the low temperature response in smelt. Glucose may provide increased colligative protection against freezing; whereas glutamine could serve to store nitrogen released from amino acid catabolism in a non-toxic form and / or be used to synthesize urea via purine synthesis-uricolysis. Novel key aspects of cryoprotectant osmolyte (glycerol and urea) trafficking were elucidated by cloning and characterizing three aquaglyceroporin (GLP)-encoding genes from smelt at the gene and cDNA levels in Chapter 4. GLPs are integral membrane proteins that facilitate passive movement of water, glycerol and urea across cellular membranes. The highlight was the discovery that AQP10ba transcript levels always increase in posterior kidney only at low temperature. This AQP10b gene paralogue may have evolved to aid in the reabsorption of urea from the proximal tubule. This research has contributed significantly to a general understanding of the cold adaptation response in smelt, and more specifically to the development of a working scenario for the mechanisms involved in glycerol synthesis and trafficking in this species.

Structural and Functional Analysis of the Caspase –dependent and –independent Domains of the X-linked Inhibitor of Apoptosis Protein in Inflammatory Breast Cancer Tumor Biology

Inflammatory breast cancer (IBC) is an extremely rare but highly aggressive form of breast cancer characterized by the rapid development of therapeutic resistance leading to particularly poor survival. Our previous work focused on the elucidation of factors that mediate therapeutic resistance in IBC and identified increased expression of the anti-apoptotic protein, X-linked inhibitor of apoptosis protein (XIAP), to correlate with the development of resistance to chemotherapeutics. Although XIAP is classically thought of as an inhibitor of caspase activation, multiple studies have revealed that XIAP can also function as a signaling intermediate in numerous pathways. Based on preliminary evidence revealing high expression of XIAP in pre-treatment IBC cells rather than only subsequent to the development of resistance, we hypothesized that XIAP could play an important signaling role in IBC pathobiology outside of its heavily published apoptotic inhibition function. Further, based on our discovery of inhibition of chemotherapeutic efficacy, we postulated that XIAP overexpression might also play a role in resistance to other forms of therapy, such as immunotherapy. Finally, we posited that targeting of specific redox adaptive mechanisms, which are observed to be a significant barrier to successful treatment of IBC, could overcome therapeutic resistance and enhance the efficacy of chemo-, radio-, and immuno- therapies. To address these hypotheses our objectives were: 1. to determine a role for XIAP in IBC pathobiology and to elucidate the upstream regulators and downstream effectors of XIAP; 2. to evaluate and describe a role for XIAP in the inhibition of immunotherapy; and 3. to develop and characterize novel redox modulatory strategies that target identified mechanisms to prevent or reverse therapeutic resistance.

Using various genomic and proteomic approaches, combined with analysis of cellular viability, proliferation, and growth parameters both in vitro and in vivo, we demonstrate that XIAP plays a central role in both IBC pathobiology in a manner mostly independent of its role as a caspase-binding protein. Modulation of XIAP expression in cells derived from patients prior to any therapeutic intervention significantly altered key aspects IBC biology including, but not limited to: IBC-specific gene signatures; the tumorigenic capacity of tumor cells; and the metastatic phenotype of IBC, all of which are revealed to functionally hinge on XIAP-mediated NFκB activation, a robust molecular determinant of IBC. Identification of the mechanism of XIAP-mediated NFκB activation led to the characterization of novel peptide-based antagonist which was further used to identify that increased NFκB activation was responsible for redox adaptation previously observed in therapy-resistant IBC cells. Lastly, we describe the targeting of this XIAP-NFκB-ROS axis using a novel redox modulatory strategy both in vitro and in vivo. Together, the data presented here characterize a novel and crucial role for XIAP both in therapeutic resistance and the pathobiology of IBC; these results confirm our previous work in acquired therapeutic resistance and establish the feasibility of targeting XIAP-NFκB and the redox adaptive phenotype of IBC as a means to enhance survival of patients.