Differential patterns of myosin Va expression during the ontogenesis of the rat hippocampus

Myosin Va is an actin-based, processive molecular motor protein highly enriched in the nervous tissue of vertebrates. It has been associated with processes of cellular motility, which include organelle transport and neurite outgrowth. The in vivo expression of myosin Va protein in the developing nervous system of mammals has not yet been reported. We describe here the immunolocalization of myosin Va in the developing rat hippocampus. Coronal sections of the embryonic and postnatal rat hippocampus were probed with an affinity-purified, polyclonal anti-myosin Va antibody. Myosin Va was localized in the cytoplasm of granule cells in the dentate gyrus and of pyramidal cells in Ammon's horn formation. Myosin Va expression changed during development, being higher in differentiating rather than already differentiated granule and pyramidal cells. Some of these cells presented a typical migratory profile, while others resembled neurons that were in the process of differentiation. Myosin Va was also transiently expressed in fibers present in the fimbria. Myosin Va was not detected in germinative matrices of the hippocampus proper or of the dentate gyrus. In conclusion, myosin Va expression in both granule and pyramidal cells showed both position and time dependency during hippocampal development, indicating that this motor protein is under developmental regulation.

Myosin Va is developmentally regulated and expressed in the human cerebellum from birth to old age

Myosin Va functions as a processive, actin-based motor molecule highly enriched in the nervous system, which transports and/or tethers organelles, vesicles, and mRNA and protein translation machinery. Mutation of myosin Va leads to Griscelli disease that is associated with severe neurological deficits and a short life span. Despite playing a critical role in development, the expression of myosin Va in the central nervous system throughout the human life span has not been reported. To address this issue, the cerebellar expression of myosin Va from newborns to elderly humans was studied by immunohistochemistry using an affinity-purified anti-myosin Va antibody. Myosin Va was expressed at all ages from the 10th postnatal day to the 98th year of life, in molecular, Purkinje and granular cerebellar layers. Cerebellar myosin Va expression did not differ essentially in localization or intensity from childhood to old age, except during the postnatal developmental period. Structures resembling granules and climbing fibers in Purkinje cells were deeply stained. In dentate neurons, long processes were deeply stained by anti-myosin Va, as were punctate nuclear structures. During the first postnatal year, myosin Va was differentially expressed in the external granular layer (EGL). In the EGL, proliferating prospective granule cells were not stained by anti-myosin Va antibody. In contrast, premigratory granule cells in the EGL stained moderately. Granule cells exhibiting a migratory profile in the molecular layer were also moderately stained. In conclusion, neuronal myosin Va is developmentally regulated, and appears to be required for cerebellar function from early postnatal life to senescence.

Impairment of locomotor activity induced by the novelN-acylhydrazone derivatives LASSBio-785 and LASSBio-786 in mice

The N-acylhydrazone (NAH) analogues N-methyl 2-thienylidene 3,4-benzoylhydrazine (LASSBio-785) and N-benzyl 2-thienylidene 3,4-benzoylhydrazine (LASSBio-786) were prepared from 2-thienylidene 3,4-methylenedioxybenzoylhydrazine (LASSBio-294). The ability of LASSBio-785 and LASSBio-786 to decrease central nervous system activity was investigated in male Swiss mice. LASSBio-785 or LASSBio-786 (30 mg/kg, ip) reduced locomotor activity from 209 ± 26 (control) to 140 ± 18 (P < 0.05) or 146 ± 15 crossings/min (P < 0.05), respectively. LASSBio-785 (15 or 30 mg/kg, iv) also reduced locomotor activity from 200 ± 15 to 116 ± 29 (P < 0.05) or 60 ± 16 crossings/min (P < 0.01), respectively. Likewise, LASSBio-786 (15 or 30 mg/kg, iv) reduced locomotor activity from 200 ± 15 to 127 ± 10 (P < 0.01) or 96 ± 14 crossings/min (P < 0.01), respectively. Pretreatment with flumazenil (20 mg/kg,ip) prevented the locomotor impairment induced by NAH analogues (15 mg/kg, iv), providing evidence that the benzodiazepine (BDZ) receptor is involved. This finding was supported by the structural similarity of NAH analogues to midazolam. However, LASSBio-785 showed weak binding to the BDZ receptor. LASSBio-785 or LASSBio-786 (30 mg/kg,ip, n = 10) increased pentobarbital-induced sleeping time from 42 ± 5 (DMSO) to 66 ± 6 (P < 0.05) or 75 ± 4 min (P < 0.05), respectively. The dose required to achieve 50% hypnosis (HD50) following iv injection of LASSBio-785 or LASSBio-786 was 15.8 or 9.5 mg/kg, respectively. These data suggest that both NAH analogues might be useful for the development of new neuroactive drugs for the treatment of insomnia or for use in conjunction with general anesthesia.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Prions: the danger of biochemical weapons

The knowledge of biotechnology increases the risk of using biochemical weapons for mass destruction. Prions are unprecedented infectious pathogens that cause a group of fatal neurodegenerative diseases by a novel mechanism. They are transmissible particles that are devoid of nucleic acid. Due to their singular characteristics, Prions emerge as potential danger since they can be used in the development of such weapons. Prions cause fatal infectious diseases, and to date there is no therapeutic or prophylactic approach against these diseases. Furthermore, Prions are resistant to food-preparation treatments such as high heat and can find their way from the digestive system into the nervous system; recombinant Prions are infectious either bound to soil particles or in aerosols. Therefore, lethal Prions can be developed by malicious researchers who could use it to attack political enemies since such weapons cause diseases that could be above suspicion.

Natural born weight gainers: The mechanisms of obesity in transgenic mice overexpressing neuropeptide Y

Neuropeptide Y (NPY) is a neurotransmitter promoting energy storage by activating Y-receptors and thus affecting food intake, thermogenesis and adipose tissue metabolism. NPY is expressed both in the central and sympathetic nervous system. Hypothalamic NPY is known to stimulate feeding, but the effects of noradrenergic neuron NPY are more ambiguous. Chronic stress stimulates fat accumulation via NPY release from noradrenergic neurons. Furthermore, polymorphism in the human Npy gene has been associated with metabolic disturbances and increased NPY secretion after sympathetic stimulation. The main objective of this study was to clarify the mechanisms of noradrenergic neuron NPY in the development of obesity. The metabolic phenotype of a homozygous mouse overexpressing NPY in the brain noradrenergic neurons and sympathetic nervous system (OE-NPYDβH mouse) was characterized. OE-NPYDβH mice had an increased fat mass and body weight, which caused impairments of glucose metabolism and hyperinsulinaemia with age. There were no differences in energy intake or expenditure, but the sympathetic tone was down-regulated and the endocannabinoid system activated. Furthermore, peripheral Y2-receptors in energy-rich conditions played an important role in mediating the fat-accumulating effect of NPY. These results indicate that noradrenergic neuron NPY promotes obesity via direct effects in the periphery and by modulating the sympatho-adrenal and endocannabinoid systems. Additionally, NPY in the central noradrenergic neurons is believed to possess many important roles. The phenotype of the OE-NPYDβH mouse resembles the situations of chronic stress and Npy gene polymorphism and thus these mice may be exploited in testing novel drug candidates for the treatment of obesity.

Product Assurance in Agile Space Systems Development

Product assurance is an essential part of product development process if developers want to ensure that final product is safe and reliable. Product assurance can be supported withrisk management and with different failure analysis methods. Product assurance is emphasized in system development process of mission critical systems. The product assurance process in systems of this kind requires extra attention. Inthis thesis, mission critical systems are space systems and the product assurance processof these systems is presented with help of space standards. The product assurance process can be supported with agile development because agile emphasizes transparency of the process and fast response to changes. Even if the development process of space systems is highly standardized and reminds waterfall model, it is still possible to adapt agile development in space systems development. This thesisaims to support the product assurance process of space systems with agile developmentso that the final product would be as safe and reliable as possible. The main purpose of this thesis is to examine how well product assurance is performed in Finnish space organizations and how product assurance tasks and activities can besupported with agile development. The research part of this thesis is performed in survey form.

Product assurance in agile space systems development

Product assurance is an essential part of product development process if developers want to ensure that final product is safe and reliable. Product assurance can be supported with risk management and with different failure analysis methods. Product assurance is emphasized in system development process of mission critical systems. The product assurance process in systems of this kind requires extra attention. In this thesis, mission critical systems are space systems and the product assurance process of these systems is presented with help of space standards. The product assurance process can be supported with agile development because agile emphasizes transparency of the process and fast response to changes. Even if the development process of space systems is highly standardized and reminds waterfall model, it is still possible to adapt agile development in space systems development. This thesis aims to support the product assurance process of space systems with agile development so that the final product would be as safe and reliable as possible. The main purpose of this thesis is to examine how well product assurance is performed in Finnish space organizations and how product assurance tasks and activities can be supported with agile development. The research part of this thesis is performed in survey form.

Threat modeling a factory environment using Microsoft Security Development Lifecycle methodology

The number of security violations is increasing and a security breach could have irreversible impacts to business. There are several ways to improve organization security, but some of them may be difficult to comprehend. This thesis demystifies threat modeling as part of secure system development. Threat modeling enables developers to reveal previously undetected security issues from computer systems. It offers a structured approach for organizations to find and address threats against vulnerabilities. When implemented correctly threat modeling will reduce the amount of defects and malicious attempts against the target environment. In this thesis Microsoft Security Development Lifecycle (SDL) is introduced as an effective methodology for reducing defects in the target system. SDL is traditionally meant to be used in software development, principles can be however partially adapted to IT-infrastructure development. Microsoft threat modeling methodology is an important part of SDL and it is utilized in this thesis to find threats from the Acme Corporation’s factory environment. Acme Corporation is used as a pseudonym for a company providing high-technology consumer electronics. Target for threat modeling is the IT-infrastructure of factory’s manufacturing execution system. Microsoft threat modeling methodology utilizes STRIDE –mnemonic and data flow diagrams to find threats. Threat modeling in this thesis returned results that were important for the organization. Acme Corporation now has more comprehensive understanding concerning IT-infrastructure of the manufacturing execution system. On top of vulnerability related results threat modeling provided coherent views of the target system. Subject matter experts from different areas can now agree upon functions and dependencies of the target system. Threat modeling was recognized as a useful activity for improving security.

The alpha2C-adrenoceptor as a neuropsychiatric drug tar-get - PET studies in human subjects

Positron emission tomography imaging has both academic and applied uses in revealing the distribution and density of different molecular targets in the central nervous system. Following the significant progress made with the dopamine D2 receptor, advances have been made in developing PET tracers to allow analysis of receptor occupancy of many other receptor types as well as evaluating changes in endogenous synaptic transmitter concentrations of transmitters e.g. serotonin and noradrenaline. Noradrenergic receptors are divided into α1-, α2- and β-adrenoceptor subfamilies, in humans each of which is composed of three receptor subtypes. The α2-adrenoceptors have an important presynaptic auto-inhibitory function on noradrenaline release but they also have postsynaptic roles in modulating the release of other neurotransmitters, such as serotonin and dopamine. One of the subtypes, the α2C-adrenoceptor, has been detected at distinct locations in the central nervous system, most notably the dorsal striatum. Several serious neurological conditions causing dementia, Alzheimer’s disease and Parkinson’s disease have been linked to disturbed noradrenergic signaling. Furthermore, altered noradrenergic signaling has also been implicated in conditions like ADHD, depression, anxiety and schizophrenia. In order to benefit future research into these central nervous system disorders as well as being useful in the clinical development of drugs affecting brain noradrenergic neurotransmission, validation work of a novel tracer for positron emission tomography studies in humans was performed. Altogether 85 PET imaging experiments were performed during four separate clinical trials. The repeatability of [11C]ORM-13070 binding was tested in healthy individuals, followed by a study to evaluate the dose-dependent displacement of [11C]ORM-13070 from α2C-adrenoceptors by a competing ligand, and the final two studies examined the sensitivity of [11C]ORM-13070 binding to reflect changes in endogenous noradrenaline levels. The repeatability of [11C]ORM-13070 binding was very high. The binding properties of the tracer allowed for a reliable estimation of α2C-AR occupancy by using the reference tissue ratio method with low test-retest variability. [11C]ORM-13070 was dose-dependently displaced from its specific binding sites by the subtype-nonselective α2-adrenoceptor antagonist atipamezole, and thus it proved suitable for use in clinical drug development of novel α2C-adrenoceptor ligands e.g. to determine the best doses and dosing intervals for clinical trials. Convincing experimental evidence was gained to support the suitability of [11C]ORM-13070 for detecting an increase in endogenous synaptic noradrenaline in the human brain. Tracer binding in the thalamus tended to increase in accordance with reduced activity of noradrenergic projections from the locus coeruleus, although statistical significance was not reached. Thus, the investigation was unable to fully validate [11C]ORM-13070 for the detection of pharmacologically evoked reductions in noradrenaline levels.

PRODUCT DATA MANAGEMENT FOR FINNISH SMALL AND MEDIUM-SIZED MANUFACTURING ENTERPRISES - Towards a viable information system concept

Product Data Management (PDM) systems have been utilized within companies since the 1980s. Mainly the PDM systems have been used by large companies. This thesis presents the premise that small and medium-sized companies can also benefit from utilizing the Product Data Management systems. Furthermore, the starting point for the thesis is that the existing PDM systems are either too expensive or do not properly respond to the requirements SMEs have. The aim of this study is to investigate what kinds of requirements and special features SMEs, operating in Finnish manufacturing industry, have towards Product Data Management. Additionally, the target is to create a conceptual model that could fulfill the specified requirements. The research has been carried out as a qualitative case study, in which the research data was collected from ten Finnish companies operating in manufacturing industry. The research data is formed by interviewing key personnel from the case companies. After this, the data formed from the interviews has been processed to comprise a generic set of information system requirements and the information system concept supporting it. The commercialization of the concept is studied in the thesis from the perspective of system development. The aim was to create a conceptual model, which would be economically feasible for both, a company utilizing the system and for a company developing it. For this reason, the thesis has sought ways to scale the system development effort for multiple simultaneous cases. The main methods found were to utilize platform-based thinking and a way to generalize the system requirements, or in other words abstracting the requirements of an information system. The results of the research highlight the special features Finnish manufacturing SMEs have towards PDM. The most significant of the special features is the usage of project model to manage the order-to-delivery –process. This differs significantly from the traditional concepts of Product Data Management presented in the literature. Furthermore, as a research result, this thesis presents a conceptual model of a PDM system, which would be viable for the case companies interviewed during the research. As a by-product, this research presents a synthesized model, found from the literature, to abstract information system requirements. In addition to this, the strategic importance and categorization of information systems within companies has been discussed from the perspective of information system customizations.

Central auditory processing and the acquisition of phonology in 2-year-old children with recurrent acute otitis media

Middle ear infections (acute otitis media, AOM) are among the most common infectious diseases in childhood, their incidence being greatest at the age of 6–12 months. Approximately 10–30% of children undergo repetitive periods of AOM, referred to as recurrent acute otitis media (RAOM). Middle ear fluid during an AOM episode causes, on average, 20–30 dB of hearing loss lasting from a few days to as much as a couple of months. It is well known that even a mild permanent hearing loss has an effect on language development but so far there is no consensus regarding the consequences of RAOM on childhood language acquisition. The results of studies on middle ear infections and language development have been partly discrepant and the exact effects of RAOM on the developing central auditory nervous system are as yet unknown. This thesis aims to examine central auditory processing and speech production among 2-year-old children with RAOM. Event-related potentials (ERPs) extracted from electroencephalography can be used to objectively investigate the functioning of the central auditory nervous system. For the first time this thesis has utilized auditory ERPs to study sound encoding and preattentive auditory discrimination of speech stimuli, and neural mechanisms of involuntary auditory attention in children with RAOM. Furthermore, the level of phonological development was studied by investigating the number and the quality of consonants produced by these children. Acquisition of consonant phonemes, which are harder to hear than vowels, is a good indicator of the ability to form accurate memory representations of ambient language and has not been studied previously in Finnish-speaking children with RAOM. The results showed that the cortical sound encoding was intact but the preattentive auditory discrimination of multiple speech sound features was atypical in those children with RAOM. Furthermore, their neural mechanisms of auditory attention differed from those of their peers, thus indicating that children with RAOM are atypically sensitive to novel but meaningless sounds. The children with RAOM also produced fewer consonants than their controls. Noticeably, they had a delay in the acquisition of word-medial consonants and the Finnish phoneme /s/, which is acoustically challenging to perceive compared to the other Finnish phonemes. The findings indicate the immaturity of central auditory processing in the children with RAOM, and this might also emerge in speech production. This thesis also showed that the effects of RAOM on central auditory processing are long-lasting because the children had healthy ears at the time of the study. An effective neural network for speech sound processing is a basic requisite of language acquisition, and RAOM in early childhood should be considered as a risk factor for language development.

A comparison of cognitive processes and components of neurological maturation in 3-and-11 year-old children

The relationship between the child's cogni tive development and neurological maturation has been of theoretical interest for many year s. Due to diff iculties such as the lack of sophisticated techniques for measur ing neurolog ical changes and a paucity of normative data, few studies exist that have attempted to correlate the two factors. Recent theory on intellectual development has proposed that neurological maturation may be a factor in the increase of short-term memory storage space. Improved technology has allowed reliable recordings of neurolog ical maturation.. In an attempt to correlate cogni tive development and neurological maturation, this study tested 3-and II-year old children. Fine motor and gross motor short-term memory tests were used to index cogni tive development. Somatosensory evoked potentials elici ted by median nerve stimulation were used to measure the time required for the sensation to pass along the nerve to specific points on the somatosensory pathway. Times were recorded for N14, N20, and P22 interpeak latencies. Maturation of the central nervous system (brain and spinal cord) and the peripheral nervous system (outside the brain and spinal cord) was indi~ated by the recorded times. Signif icant developmental di fferences occurred between 3-and ll-year-olds in memory levels, per ipheral conduction velocity and central conduction times. Linear regression analyses showed that as age increased, memory levels increased and central conduction times decreased. Between the ll-year-old groups, there were no significant differences in central or peripheral nervous system maturation between subjects who achieved a 12 plus score on the digit span test of the WISC-R and those who scored 7 or lower on the same test. Levels achieved on the experimental gross and fine motor short-term memory tests differed significantly within the ll-year-old group.

A possible role for chemokine signalling through CXCR4 as a downstream effector of retinoic acid signalling in the regenerating tail and spinal cord of Notophthalmus viridescens

The newt, Notopthalmus viridescens is one of the few tet rapod vertebrates capable of extensive regeneration of the central nervous system, however, the factors involved in this process are still unknown. Chemokine signalling through the receptor CXCR4, has been found to be involved in the development of the central nervous system of mammals and more recently in epimorphic fin regeneration in zebrafish. We have hypothesized that the CXCR4 signalling pathway is involved in spinal cord and tail regeneration in the adul t newt , possibly as a downstream target of retinoic acid signalling. We found that CXCR4 mRNA expression was observed in the brain, spinal cord, heart, gut, liver and regenerating tail blastemas. CXCR4 expression increased over the f i rst 12 days of tail regeneration and returned to basal expression levels at day 21 of regeneration. Inhibition of CXCR4 wi th AMD3100, a specific receptor antagonist, led to a decrease in CXCR4 mRNA in the regenerating tail 14 days post amputation. Histological analysis suggests a delay in the early stages of tail and spinal cord regeneration. Spinal cord explants t reated wi th CXCL12, the ligand to CXCR4, displayed enhanced neurite outgrowth in vitro. Explants t reated wi th AMD3100 abolished any retinoic acid enhanced neurite outgrowth effects suggesting a link between these signalling pathways.

Cell-selective modulation of the neuromuscular system in Drosophila

The capacity for all living cells to sense and interact with their environment is a necessity for life. In highly evolved, eukaryotic species, like humans, signalling mechanisms are necessary to regulate the function and survival of all cells in the organism. Synchronizing systemic signalling systems at the cellular, organ and whole-organism level is a formidable task, and for most species requires a large number of signalling molecules and their receptors. One of the major types of signalling molecules used throughout the animal kingdom are modulatory substances (e.x. hormones and peptides). Modulators can act as chemical transmitters, facilitating communication at chemical synapses. There are hundreds of circulating modulators within the mammalian system, but the reason for so many remains a mystery. Recent work with the fruit fly, Drosophila melanogaster demonstrated the capacity for peptides to modulate synaptic transmission in a neuron-specific manner, suggesting that peptides are not simply redundant, but rather may have highly specific roles. Thus, the diversity of peptides may reflect cell-specific functions. The main objective of my doctoral thesis was to examine the extent to which neuromodulator substances and their receptors modulate synaptic transmission at a cell-specific level using D. melanogaster. Using three different modulatory substances, i) octopamine - a biogenic amine released from motor neuron terminals, ii) DPKQDFMRFa - a neuropeptide secreted into circulation, and iii) Proctolin - a pentapeptide released both from motor neuron terminals and into circulation, I was able to investigate not only the capacity of these various substances to work in a cell-selective manner, but also examine the different mechanisms of action and how modulatory substances work in concert to execute systemic functionality . The results support the idea that modulatory substances act in a circuit-selective manner in the central nervous system and in the periphery in order to coordinate and synchronize physiologically and behaviourally relevant outputs. The findings contribute as to why the nervous system encodes so many modulatory substances.