Choosing the target loci : heat shock factors HSF1 and HSF2 as regulators of cell stress and development

Heat shock factors (HSFs) are an evolutionarily well conserved family of transcription factors that coordinate stress-induced gene expression and direct versatile physiological processes in eukaryote organisms. The essentiality of HSFs for cellular homeostasis has been well demonstrated, mainly through HSF1-induced transcription of heat shock protein (HSP) genes. HSFs are important regulators of many fundamental processes such as gametogenesis, metabolic control and aging, and are involved in pathological conditions including cancer progression and neurodegenerative diseases. In each of the HSF-mediated processes, however, the detailed mechanisms of HSF family members and their complete set of target genes have remained unknown. Recently, rapid advances in chromatin studies have enabled genome-wide characterization of protein binding sites in a high resolution and in an unbiased manner. In this PhD thesis, these novel methods that base on chromatin immunoprecipitation (ChIP) are utilized and the genome-wide target loci for HSF1 and HSF2 are identified in cellular stress responses and in developmental processes. The thesis and its original publications characterize the individual and shared target genes of HSF1 and HSF2, describe HSF1 as a potent transactivator, and discover HSF2 as an epigenetic regulator that coordinates gene expression throughout the cell cycle progression. In male gametogenesis, novel physiological functions for HSF1 and HSF2 are revealed and HSFs are demonstrated to control the expression of X- and Y-chromosomal multicopy genes in a silenced chromatin environment. In stressed human cells, HSF1 and HSF2 are shown to coordinate the expression of a wide variety of genes including genes for chaperone machinery, ubiquitin, regulators of cell cycle progression and signaling. These results highlight the importance of cell type and cell cycle phase in transcriptional responses, reveal the myriad of processes that are adjusted in a stressed cell and describe novel mechanisms that maintain transcriptional memory in mitotic cell division.

The role of cathepsin K in lung development and newborn chronic lung injury.

Chronic lung diseases, specifically bronchopulmonary dysplasia (BPD), are still causing mortality and morbidity amongst newborn infants. High protease activity has been suggested to have a deleterious role in oxygen-induced lung injuries. Cathepsin K (CatK) is a potent protease found in fetal lungs, degrading collagen and elastin. We hypothesized that CatK may be an important modulator of chronic lung injury in newborn infants and neonatal mice. First we measured CatK protein levels in repeated tracheal aspirate fluid samples from 13 intubated preterm infants during the first two weeks of life. The amount of CatK at 9-13 days was low in infants developing chronic lung disease. Consequently, we studied CatK mRNA expression in oxygen-exposed wild-type (WT) rats at postnatal day (PN) 14 and found decreased pulmonary mRNA expression of CatK in whole lung samples. Thereafter we demonstrated that CatK deficiency modifies lung development by accelerating the thinning of alveolar walls in newborn mice. In hyperoxia-exposed newborn mice CatK deficiency resulted in increased number of pulmonary foam cells, macrophages and amount of reduced glutathione in lung homogenates indicating intensified pulmonary oxidative stress and worse pulmonary outcome due to CatK deficiency. Conversely, transgenic overexpression of CatK caused slight enlargement of distal airspaces with increased alveolar chord length in room air in neonatal mice. While hyperoxic exposure inhibited alveolarization and resulted in enlarged airspaces in wild-type mice, these changes were significantly milder in CatK overexpressing mice at PN7. Finally, we showed that the expression of macrophage scavenger receptor 2 (MSR2) mRNA was down-regulated in oxygen-exposed CatK-deficient mice analyzed by microarray analysis. Our results demonstrate that CatK seems to participate in normal lung development and its expression is altered during pulmonary injury. In the presence of pulmonary risk factors, like high oxygen exposure, low amount of CatK may contribute to aggravated lung injury while sustained or slightly elevated amount of CatK may even protect the newborn lungs from excessive injury. Besides collagen degrading and antifibrotic function of CatK in the lungs, it is obvious that CatK may affect macrophage activity and modify oxidative stress response. In conclusion, pulmonary proteases, specifically CatK, have distinct roles in lung homeostasis and injury development, and although suggested, broad range inhibition of proteases may not be beneficial in newborn lung injury.

Megaspore germination and initial development of Regnellidium diphyllum Lindman (Pteridophyta, Marsileaceae) sporophytes in the presence of cadmium

Regnellidium diphyllum has its distribution restricted to Southern Brazil and adjoining localities in Uruguay and Argentina. Currently it is on the list of threatened species of Rio Grande do Sul. The conversion of wetlands into agricultural areas or soil contamination by the introduction of waste products and fertilizers may compromise the establishment and survival of this species. Among the pollutants are heavy metals, such as cadmium (Cd). Megaspores were germinated in liquid culture medium, with concentrations 0 (control), 0.39; 0.78; 1.56; 3.12; 6.25; 12.5; 25; 50 and 100 mg L-1 of Cd, starting from a standard solution of Titrisol® at 1000 mg L-1. The increase of Cd in the growth medium to 50 mg L-1 resulted in low germinability (58%), and no germination was observed on 100 mg L-1. In apomictical sporophytes, the growth of primary root and leaf was significantly reduced and no secondary leaf was formed at Cd concentrations of 12.5 and higher than this. The results indicated that R. diphyllum is tolerant to the presence of Cd up to considerably higher concentrations (0.78 mg L-1) than that normally found in unpolluted aquatic ecosystems (0.01 mg L-1), although the sensitivity to higher concentrations might endanger the establishment and permanence of this species in habitats exposed to contamination with this metal.

The interplay of JNK and SCG10 during cortical development and in excitotoxic responses in brain

Initially identified as stress activated protein kinases (SAPKs), the c-Jun Nterminal kinases (JNKs) are currently accepted as potent regulators of various physiologically important cellular events. Named after their competence to phosphorylate transcription factor c-Jun in response to UVtreatment, JNKs play a key role in cell proliferation, cell death or cell migration. Interestingly, these functions are crucial for proper brain formation. The family consists of three JNK isoforms, JNK1, JNK2 and JNK3. Unlike brain specific JNK3 isoform, JNK1 and JNK2 are ubiquitously expressed. It is estimated that ten splice variants exist. However, the detailed cellular functions of these remain undetermined. In addition, physiological conditions keep the activities of JNK2 and JNK3 low in comparison with JNK1, whereas cellular stress raises the activity of these isoforms dramatically. Importantly, JNK1 activity is constitutively high in neurons, yet it does not stimulate cell death. This suggests a valuable role for JNK1 in brain development, but also as an important mediator of cell wellbeing. The aim of this thesis was to characterize the functional relationship between JNK1 and SCG10. We found that SCG10 is a bona fide target for JNK. By employing differential centrifugation we showed that SCG10 co-localized with active JNK, MKK7 and JIP1 in a fraction containing endosomes and Golgi vesicles. Investigation of JNK knockout tissues using phosphospecific antibodies recognizing JNK-specific phosphorylation sites on SCG10 (Ser 62/Ser 73) showed that phosphorylation of endogenous SCG10 was dramatically decreased in Jnk1-/- brains. Moreover, we found that JNK and SCG10 co-express during early embryonic days in brain regions that undergo extensive neuronal migration. Our study revealed that selective inhibition of JNK in the cytoplasm significantly increased both the frequency of exit from the multipolar stage and radial migration rate. However, as a consequence, it led to ill-defined cellular organization. Furthermore, we found that multipolar exit and radial migration in Jnk1 deficient mice can be connected to changes in phosphorylation state of SCG10. Also, the expression of a pseudo-phosphorylated mutant form of SCG10, mimicking the JNK1- phopshorylated form, brings migration rate back to normal in Jnk1 knockout mouse embryos. Furthermore, we investigated the role of SCG10 and JNK in regulation of Golgi apparatus (GA) biogenesis and whether pathological JNK action could be discernible by its deregulation. We found that SCG10 maintains GA integrity as with the absence of SCG10 neurons present more compact fragmented GA structure, as shown by the knockdown approach. Interestingly, neurons isolated from Jnk1-/- mice show similar characteristics. Block of ER to GA is believed to be involved in development of Parkinson's disease. Hence, by using a pharmacological approach (Brefeldin A treatment), we showed that GA recovery is delayed upon removal of the drug in Jnk1-/- neurons to an extent similar to the shRNA SCG10-treated cells. Finally, we investigated the role of the JNK1-SCG10 duo in the maintenance of GA biogenesis following excitotoxic insult. Although the GA underwent fragmentation in response to NMDA treatment, we observed a substantial delay in GA disintegration in neurons lacking either JNK1 or SCG10.

The European Union and Assembling Biofuel Development – topological investigations concerning the associations between law, policy and space

Biofuels for transport are a renewable source of energy that were once heralded as a solution to multiple problems associated with poor urban air quality, the overproduction of agricultural commodities, the energy security of the European Union (EU) and climate change. It was only after the Union had implemented an incentivizing framework of legal and political instruments for the production, trade and consumption of biofuels that the problems of weakening food security, environmental degradation and increasing greenhouse gases through land-use changes began to unfold. In other words, the difference between political aims for why biofuels are promoted and their consequences has grown – which is also recognized by the EU policy-makers. Therefore, the global networks of producing, trading and consuming biofuels may face a complete restructure if the European Commission accomplishes its pursuit to sideline crop-based biofuels after 2020. My aim with this dissertation is not only to trace the manifold evolutions of the instruments used by the Union to govern biofuels but also to reveal how this evolution has influenced the dynamics of biofuel development. Therefore, I study the ways the EU’s legal and political instruments of steering biofuels are coconstitutive with the globalized spaces of biofuel development. My analytical strategy can be outlined through three concepts. I use the term ‘assemblage’ to approach the operations of the loose entity of actors and non-human elements that are the constituents of multi-scalar and -sectorial biofuel development. ‘Topology’ refers to the spatiality of this European biofuel assemblage and its parts whose evolving relations are treated as the active constituents of space, instead of simply being located in space. I apply the concept of ‘nomosphere’ to characterize the framework of policies, laws and other instruments that the EU applies and construes while attempting to govern biofuels. Even though both the materials and methods vary in the independent articles, these three concepts characterize my analytical strategy that allows me to study law, policy and space associated with each other. The results of my examinations underscore the importance of the instruments of governance of the EU constituting and stabilizing the spaces of producing and, on the other hand, how topological ruptures in biofuel development have enforced the need to reform policies. This analysis maps the vast scope of actors that are influenced by the mechanism of EU biofuel governance and, what is more, shows how they are actively engaging in the Union’s institutional policy formulation. By examining the consequences of fast biofuel development that are spatially dislocated from the established spaces of producing, trading and consuming biofuels such as indirect land use changes, I unfold the processes not tackled by the instruments of the EU. Indeed, it is these spatially dislocated processes that have pushed the Commission construing a new type of governing biofuels: transferring the instruments of climate change mitigation to land-use policies. Although efficient in mitigating these dislocated consequences, these instruments have also created peculiar ontological scaffolding for governing biofuels. According to this mode of governance, the spatiality of biofuel development appears to be already determined and the agency that could dampen the negative consequences originating from land-use practices is treated as irrelevant.

Fibronectin in the ascitic fluid of cirrhotic patients: correlation with biochemical risk factors for the development of spontaneous bacterial peritonitis

Cirrhotic patients (23 with alcoholic cirrhosis, 5 with posthepatitic cirrhosis and 2 with cryptogenic cirrhosis) with ascites and portal hypertension were studied and divided into two groups corresponding to high or low risk to develop spontaneous bacterial peritonitis (SBP) related to the concentration of total protein in the ascitic fluid (A-TP): group I (high risk): A-TP£1.5 g/dl and group II (low risk): A-TP>1.5 g/dl. Fibronectin (FN), C3 and C4 concentrations were measured by radial immunodiffusion while total protein was measured by the biuret method. The mean values (group I vs group II) of C3 (12.59 ± 4.72 vs 24.53 ± 15.58 mg/dl), C4 (4.26 ± 3.87 vs 7.26 ± 4.14 mg/dl) and FN (50.47 ± 12.49 vs 75.89 ± 24.70 mg/dl) in the ascitic fluid were significantly lower (P<0.05) in the group considered to be at high risk for SBP. No significant difference was observed in the plasma/ascites fibronectin ratio (3.91 ± 1.21 vs 3.80 ± 1.26) or gradient (131.46 ± 64.01 vs 196.96 ± 57.38) between groups. Fibronectin in ascites was significantly correlated to C3 (r = 0.76), C4 (r = 0.58), total protein (r = 0.73) and plasma FN (r = 0.58) (P<0.05). The data suggest that the FN concentration in ascites is related to the opsonic capacity of this fluid, and that its concentration in the ascitic fluid may be a biochemical risk factor indicator for the development of spontaneous bacterial peritonitis

Development of agnostic mobile applications with cross-platform cloud computing platforms

Smart phones became part and parcel of our life, where mobility provides a freedom of not being bounded by time and space. In addition, number of smartphones produced each year is skyrocketing. However, this also created discrepancies or fragmentation among devices and OSes, which in turn made an exceeding hard for developers to deliver hundreds of similar featured applications with various versions for the market consumption. This thesis is an attempt to investigate whether cloud based mobile development platforms can mitigate and eventually eliminate fragmentation challenges. During this research, we have selected and analyzed the most popular cloud based development platforms and tested integrated cloud features. This research showed that cloud based mobile development platforms may able to reduce mobile fragmentation and enable to utilize single codebase to deliver a mobile application for different platforms.

Postnatal development of rats exposed to fluoxetine or venlafaxine during the third week of pregnancy

The aim of the present study was to compare the toxic effects of fluoxetine (F) (8 and 16 mg/kg) and venlafaxine (V) (40 and 80 mg/kg) administered during the third week of pregnancy on early development of rats. Both antidepressants were administered by gavage on pregnancy days 15 to 20 to groups of 10 to 12 animals each. Duration of gestation, food and water consumption, number of live pups and birth weight were recorded. Litters were culled to six pups at birth (day 1) and followed for growth until weaning (day 25). On day 60, a male and a female from each litter were injected with the 5-HT1 agonist, 5-methoxy-N,N-dimethyltryptamine (6 mg/kg, ip) and the serotonergic syndrome was graded. Fluoxetine but not venlafaxine reduced the duration of pregnancy when compared to the control (C) group (F = 21.1 days and C = 21.6 days, mean, P<0.02; maximum = 22 days and minimum = 21 days in both groups). The highest doses of both fluoxetine, 16 mg/kg (F16), and venlafaxine, 80 mg/kg (V80), reduced the food intake of pregnant rats, resulting in different rates of body weight gain during treatment (from pregnancy day 15 to day 20): F16 = 29.0 g, V80 = 28.7 g vs C = 39.5 g (median). Birth weight was influenced by treatment and sex (P<0.05; two-way ANOVA). Both doses of fluoxetine or venlafaxine reduced the body weight of litters; however, the body weight of litters from treated dams was equal to the weight of control litters by the time of weaning. At weaning there was no significant difference in weight between sexes. There was no difference among groups in number of live pups at birth, stillbirths, mortality during the lactation period or in the manifestation of serotonergic syndrome in adult rats. The occurrence of low birth weight among pups born to dams which did not show reduced food ingestion or reduction of body weight gain during treatment with lower doses of fluoxetine or venlafaxine suggests that these drugs may have a deleterious effect on prenatal development when administered during pregnancy. In addition, fluoxetine slightly but significantly affected the duration of pregnancy (about half a day), an effect not observed in the venlafaxine-treated groups.

Control of CD4 gene expression: connecting signals to outcomes in T cell development

The control of CD4 gene expression is essential for proper T lymphocyte development. Signals transmitted from the T-cell antigen receptor (TCR) during the thymic selection processes are believed to be linked to the regulation of CD4 gene expression during specific stages of T cell development. Thus, a study of the factors that control CD4 gene expression may lead to further insight into the molecular mechanisms that drive thymic selection. In this review, we discuss the work conducted to date to identify and characterize the cis-acting transcriptional control elements in the CD4 locus and the DNA-binding factors that mediate their function. From these studies, it is becoming clear that the molecular mechanisms controlling CD4 gene expression are very complex and differ at each stage of development. Thus, the control of CD4 expression is subject to many different influences as the thymocyte develops.

Perinatal development and adult blood pressure

A growing body of evidence supports the concept of fetal programming in cardiovascular disease in man, which asserts that an insult experienced in utero exerts a long-term influence on cardiovascular function, leading to disease in adulthood. However, this hypothesis is not universally accepted, hence animal models may be of value in determining potential physiological mechanisms which could explain how fetal undernutrition results in cardiovascular disease in later life. This review describes two major animal models of cardiovascular programming, the in utero protein-restricted rat and the cross-fostered spontaneously hypertensive rat. In the former model, moderate maternal protein restriction during pregnancy induces an increase in offspring blood pressure of 20-30 mmHg. This hypertensive effect is mediated, in part, by fetal exposure to excess maternal glucocorticoids as a result of a deficiency in placental 11-ß hydroxysteroid dehydrogenase type 2. Furthermore, nephrogenesis is impaired in this model which, coupled with increased activity of the renin-angiotensin system, could also contribute to the greater blood pressure displayed by these animals. The second model discussed is the cross-fostered spontaneously hypertensive rat. Spontaneously hypertensive rats develop severe hypertension without external intervention; however, their adult blood pressure may be lowered by 20-30 mmHg by cross-fostering pups to a normotensive dam within the first two weeks of lactation. The mechanisms responsible for this antihypertensive effect are less clear, but may also involve altered renal function and down-regulation of the renin-angiotensin system. These two models clearly show that adult blood pressure is influenced by exposure to one of a number of stimuli during critical stages of perinatal development.

Spontaneous Focusing on Numerosity in the Development of Early Mathematical Skills

The aim of the present set of longitudinal studies was to explore 3-7-year-old children.s Spontaneous FOcusing on Numerosity (SFON) and its relation to early mathematical development. The specific goals were to capture in method and theory the distinct process by which children focus on numerosity as a part of their activities involving exact number recognition, and individual differences in this process that may be informative in the development of more complex number skills. Over the course of conducting the five studies, fifteen novel tasks were progressively developed for the SFON assessments. In the tasks, confounding effects of insufficient number recognition, verbal comprehension, other procedural skills as well as working memory capacity were aimed to be controlled. Furthermore, how children.s individual differences in SFON are related to their development of number sequence, subitizing-based enumeration, object counting and basic arithmetic skills was explored. The effect of social interaction on SFON was tested. Study I captured the first phase of the 3-year longitudinal study with 39 children. It was investigated whether there were differences in 3-year-old children.s tendency to focus on numerosity, and whether these differences were related to the children.s development of cardinality recognition skills from the age of 3 to 4 years. It was found that the two groups of children formed on the basis of their amount of SFON tendency at the age of 3 years differed in their development of recognising and producing small numbers. The children whose SFON tendency was very predominant developed faster in cardinality related skills from the age of 3 to 4 years than the children whose SFON tendency was not as predominant. Thus, children.s development in cardinality recognition skills is related to their SFON tendency. Studies II and III were conducted to investigate, firstly, children.s individual differences in SFON, and, secondly, whether children.s SFON is related to their counting development. Altogether nine tasks were designed for the assessments of spontaneous and guided focusing on numerosity. The longitudinal data of 39 children in Study II from the age of 3.5 to 6 years showed individual differences in SFON at the ages of 4, 5 and 6 years, as well as stability in children.s SFON across tasks used at different ages. The counting skills were assessed at the ages of 3.5, 5 and 6 years. Path analyses indicated a reciprocal tendency in the relationship between SFON and counting development. In Study III, these results on the individual differences in SFON tendency, the stability of SFON across different tasks and the relationship of SFON and mathematical skills were confirmed by a larger-scale cross-sectional study of 183 on average 6.5-year-old children (range 6;0-7;0 years). The significant amount of unique variance that SFON accounted for number sequence elaboration, object counting and basic arithmetic skills stayed statistically significant (partial correlations varying from .27 to .37) when the effects of non-verbal IQ and verbal comprehension were controlled. In addition, to confirm that the SFON tasks assess SFON tendency independently from enumeration skills, guided focusing tasks were used for children who had failed in SFON tasks. It was explored whether these children were able to proceed in similar tasks to SFON tasks once they were guided to focus on number. The results showed that these children.s poor performance in the SFON tasks was not caused by their deficiency in executing the tasks but on lacking focusing on numerosity. The longitudinal Study IV of 39 children aimed at increasing the knowledge of associations between children.s long-term SFON tendency, subitizing-based enumeration and verbal counting skills. Children were tested twice at the age of 4-5 years on their SFON, and once at the age of 5 on their subitizing-based enumeration, number sequence production, as well as on their skills for counting of objects. Results showed considerable stability in SFON tendency measured at different ages, and that there is a positive direct association between SFON and number sequence production. The association between SFON and object counting skills was significantly mediated by subitizing-based enumeration. These results indicate that the associations between the child.s SFON and sub-skills of verbal counting may differ on the basis of how significant a role understanding the cardinal meanings of number words plays in learning these skills. The specific goal of Study V was to investigate whether it is possible to enhance 3-year old children.s SFON tendency, and thus start children.s deliberate practice in early mathematical skills. Participants were 3-year-old children in Finnish day care. The SFON scores and cardinality-related skills of the experimental group of 17 children were compared to the corresponding results of the 17 children in the control group. The results show an experimental effect on SFON tendency and subsequent development in cardinality-related skills during the 6-month period from pretest to delayed posttest in the children with some initial SFON tendency in the experimental group. Social interaction has an effect on children.s SFON tendency. The results of the five studies assert that within a child.s existing mathematical competence, it is possible to distinguish a separate process, which refers to the child.s tendency to spontaneously focus on numerosity. Moreover, there are significant individual differences in children.s SFON at the age of 3-7 years. Moderate stability was found in this tendency across different tasks assessed both at the same and at different ages. Furthermore, SFON tendency is related to the development of early mathematical skills. Educational implications of the findings emphasise, first, the importance of regarding focusing on numerosity as a separate, essential process in the assessments of young children.s mathematical skills. Second, the substantial individual differences in SFON tendency during the childhood years suggest that uncovering and modeling this kind of mathematically meaningful perceiving of the surroundings and tasks could be an efficient tool for promoting young children.s mathematical development, and thus prevent later failures in learning mathematical skills. It is proposed to consider focusing on numerosity as one potential sub-process of activities involving exact number recognition in future studies.

Is pancreas development abnormal in the non-obese diabetic mouse, a spontaneous model of type I diabetes?

Despite extensive genetic and immunological research, the complex etiology and pathogenesis of type I diabetes remains unresolved. During the last few years, our attention has been focused on factors such as abnormalities of islet function and/or microenvironment, that could interact with immune partners in the spontaneous model of the disease, the non-obese diabetic (NOD) mouse. Intriguingly, the first anomalies that we noted in NOD mice, compared to control strains, are already present at birth and consist of 1) higher numbers of paradoxically hyperactive ß cells, assessed by in situ preproinsulin II expression; 2) high percentages of immature islets, representing islet neogenesis related to neonatal ß-cell hyperactivity and suggestive of in utero ß-cell stimulation; 3) elevated levels of some types of antigen-presenting cells and FasL+ cells, and 4) abnormalities of extracellular matrix (ECM) protein expression. However, the colocalization in all control mouse strains studied of fibroblast-like cells (anti-TR-7 labeling), some ECM proteins (particularly, fibronectin and collagen I), antigen-presenting cells and a few FasL+ cells at the periphery of islets undergoing neogenesis suggests that remodeling phenomena that normally take place during postnatal pancreas development could be disturbed in NOD mice. These data show that from birth onwards there is an intricate relationship between endocrine and immune events in the NOD mouse. They also suggest that tissue-specific autoimmune reactions could arise from developmental phenomena taking place during fetal life in which ECM-immune cell interaction(s) may play a key role.

Biochemical profile of amniotic fluid for the assessment of fetal and renal development

Creatinine plays a key role in the function and maturation of fetal kidneys throughout pregnancy. It is important to identify other markers that may help in the diagnosis of renal dysfunction. Our aim was to determine the profile of and the correlation between biochemical markers to be used to assess renal function and maturation of the fetus in the amniotic fluid during pregnancy and to determine the distribution of normal values for creatinine, N-acetyl-ß-D-glucosaminidase (NAG), ß2-microglobulin, glucose, urea, sodium, potassium, phosphorus, calcium, uric acid, albumin, and osmolality in three gestational age groups. This was a cross-section study that assessed 115 samples of amniotic fluid during three different periods of pregnancy, i.e., 13 to 20, 27 to 34, and 36 to 42 weeks. Concentrations of creatinine, NAG, urea, potassium and uric acid increased during pregnancy (P<0.05). ß2-Microglobulin, glucose, sodium, phosphorus, calcium, and albumin concentration and osmolality decreased (P<0.05), whereas ß2-microglobulin, glucose and uric acid presented significant correlations with gestational age and creatinine, respectively (r>0.6, P<0.05). Urea, potassium and phosphorus showed mild correlations with both (r>0.5, P<0.05). NAG, sodium, albumin and osmolality did not show significant correlations (r<0.5, P<0.05). These tests confirmed the important role of creatinine in terms of correlation with gestational age. ß2-Microglobulin, glucose and uric acid were significant as markers of function and maturation of fetal kidneys, whereas NAG did not demonstrate a useful role for the assessment of renal maturation.

Axonal pathfinding mechanisms at the cortical midline and in the development of the corpus callosum

The corpus callosum is a large fiber tract that connects neurons in the right and left cerebral hemispheres. Agenesis of the corpus callosum (ACC) is associated with a large number of human syndromes but little is known about why ACC occurs. In most cases of ACC, callosal axons are able to grow toward the midline but are unable to cross it, continuing to grow into large swirls of axons known as Probst bundles. This phenotype suggests that in some cases ACC may be due to defects in axonal guidance at the midline. General guidance mechanisms that influence the development of axons include chemoattraction and chemorepulsion, presented by either membrane-bound or diffusible molecules. These molecules are not only expressed by the final target but by intermediate targets along the pathway, and by pioneering axons that act as guides for later arriving axons. Midline glial populations are important intermediate targets for commissural axons in the spinal cord and brain, including the corpus callosum. The role of midline glial populations and pioneering axons in the formation of the corpus callosum are discussed. Finally the differential guidance of the ipsilaterally projecting perforating pathway and the contralaterally projecting corpus callosum is addressed. Development of the corpus callosum involves the coordination of a number of different guidance mechanisms and the probable involvement of a large number of molecules.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.