Improper organization of the actin cytoskeleton affects protein synthesis at initiation

Although the actin cytoskeleton and the translation machinery are considered to be separate cellular complexes, growing evidence supports overlapping regulation of the two systems. Because of its interaction with actin, the eukaryotic translation elongation factor 1A (eEF1A) is proposed to be a regulator or link between these processes. Using a genetic approach with the yeast Saccharomyces cerevisiae, specific regions of eEF1A responsible for actin interactions and bundling were identified. Five new mutations were identified along one face of eEF1A. Dramatic changes in cell growth, cell morphology, and actin cable and patch formation as well as a unique effect on total translation in strains expressing the F308L or S405P eEF1A mutant form were observed. The translation effects do not correlate with reduced translation elongation but instead include an initiation defect. Biochemical analysis of the eEF1A mutant forms demonstrated reduced actin-bundling activity in vitro. Reduced total translation and/or the accumulation of 80S ribosomes in strains with either a mutation or a null allele of genes encoding actin itself or actin-regulating proteins Tpm1p, Mdm20p, and Bnirp/Bni1p was observed. Our data demonstrate that eEF1A, other actin binding proteins, and actin mutants affect translation initiation through the actin cytoskeleton.

Development of real-time process control systems using formal techniques

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

Run-time connector synthesis for autonomic systems of systems

A key objective of autonomic computing is to reduce the cost and expertise required for the management of complex IT systems. As a growing number of these systems are implemented as hierarchies or federations of lower-level systems, techniques that support the development of autonomic systems of systems are required. This article introduces one such technique, which involves the run-time synthesis of autonomic system connectors. These connectors are specified by means of a new type of autonomic computing policy termed a resource definition policy, and enable the dynamic realisation of collections of collaborating autonomic systems, as envisaged by the original vision of autonomic computing. We propose a framework for the formal specification of autonomic computing policies, and use it to define the new policy type and to describe its application to the development of autonomic system of systems. To validate the approach, we present a sample data-centre application that was built using connectors synthesised from resource-definition policies.

Synthesis and characterisation of hydrogel polymers for medical applications

A fundamental if poorly understood problem that hydrogels display is the tendency of these contact lens materials to dehydrate, causing certain complications of the corneal epithelium. However, recent studies have indicated that the evaporation rate of water from different hydrogel lenses is the same and the severity of conditions such as corneal staining is controlled by the states of water in the material. A study was therefore undertaken which concluded that increased corneal desiccating staining occurred as the proportion of water existing in the bound state decreased. The possibility of using dehydrated hydrogels as packaging materials with desiccating properties has also been investigated. As hydrogels have a high affinity for water they have adequate ability to function as a moisture scavenger in an enclosed atmosphere. It was concluded that this ability is maximised by a high total water content and an increase in the proportion of this water existing in the bound state for the material when it is fully hydrated. N-vinyl pyrrolidone has a low reactivity in vinyl polymerisation reactions which results in polymers with local domains of the same chemical type which can lead to deposition. As contact lenses comprising of this monomer are susceptible to deposition, a monomer with a higher reactivity in vinyl polymerisations is acryloylmorpholine and its incorporation in favour of NVP is encouraged. Unfortunately a large proportion of high EWC hydrogels are mechanically weak and attempts to increase this property by increasing hydrophobicity or cross-linking results in a decrease in EWC. Monomers with the potential to carry a positive charge were incorporated into a high EWC, AMO-HEMA copolymer and the physical properties were investigated. Although EWC increased, mechanical properties decreased only slightly. Therefore simultaneous incorporation of a positively charged monomer and a negatively charged monomer was investigated. The resulting copolymers showed increased water content and increased initial modulus. A technique for measuring the coefficient of friction of contact lenses during lubrication has been developed.

Synthesis and characterisation of pillared clay catalysts for hydro-cracking of heavy liquid fuels

A range of chromia pillared montmorillonite and tin oxide pillared laponite clay catalysts, as well as new pillared clay materials such as cerium and europium oxide pillared montmorillonites were synthesised. Methods included both conventional ion exchange techniques and microwave enhanced methods to improve performance and/or reduce preparation time. These catalytic materials were characterised in detail both before and after use in order to study the effect of the preparation parameters (starting material, preparation method, pillaring species, hydroxyl to metal ratio etc.) and the hydro cracking procedure on their properties. This led to a better understanding of the nature of their structure and catalytic operation. These catalysts were evaluated with regards to their performance in hydrocracking coal derived liquids in a conventional microbomb reactor (carried out at Imperial College). Nearly all catalysts displayed better conversions when reused. The chromia pillared montmorillonite CM3 and the tin oxide pillared laponite SL2a showed the best "conversions". The intercalation of chromium in the form of chromia (Cr203) in the interlayer clearly increased conversion. This was attributed to the redox activity of the chromia pillar. However, this increase was not proportional to the increase in chromium content or basal spacing. In the case of tin oxide pillared laponite, the catalytic activity might have been a result of better access to the acid sites due to the delaminated nature of laponite, whose activity was promoted by the presence of tin oxide. The manipulation of the structural properties of the catalysts via pillaring did not seem to have any effect on the catalysts' activity. This was probably due to the collapse of the pillars under hydrocracking conditions as indicated by the similar basal spacing of the catalysts after use. However, the type of the pillaring species had a significant effect on conversion. Whereas pillaring with chromium and tin oxides increased the conversion exhibited by the parent clays, pillaring with cerium and europium oxides appeared to have a detrimental effect. The relatively good performance of the parent clays was attributed to their acid sites, coupled with their macropores which are able to accommodate the very high molecular mass of coal derived liquids. A microwave reactor operating at moderate conditions was modified for hydro cracking coal derived liquids and tested with the conventional catalyst NiMo on alumina. It was thought that microwave irradiation could enable conversion to occur at milder conditions than those conventionally used, coupled with a more effective use of hydrogen. The latter could lead to lower operating costs making the process cost effective. However, in practice excessive coke deposition took place leading to negative total conversion. This was probably due to a very low hydrogen pressure, unable to have any hydro cracking effect even under microwave irradiation. The decomposition of bio-oil under microwave irradiation was studied, aiming to identify the extent to which the properties of bio-oil change as a function of time, temperature, mode of heating, presence of char and catalyst. This information would be helpful not only for upgrading bio-oil to transport fuels, but also for any potential fuel application. During this study the rate constants of bio-oil's decomposition were calculated assuming first order kinetics.

A formal model of the Semantic Web Service Ontology (WSMO)

Semantic Web Service, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra- and inter-enterprise integration of Web services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors present in existing documentation.

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

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

Severe visual impairment due to diabetes mellitus:can this be influenced by community & hospital retinal screening and formal hospital diabetic annual review?

Purpose: Diabetes is a leading cause of visual impairment in working age population in the UK. This study looked at the causes of Severe Visual Impairment(SVI) in the patients attending diabetic eye clinic and influence on the rate of SVI, over a 12 year period, after introducing retinal screening programmes in the hospital and the community in 1993 (review in 1992, 1998 & 2004). Methods: Medical records of all the patients attending the diabetic eye clinic over a period of 5months(April to August) in 1992, 1998 and 2004 were reviewed. The data collected for each patient included age, sex, ethnic origin, diabetes (type,duration &treatment), the best corrected visual acuity (present and at time of presentation), type and duration of retinopathy and attendance record to both diabetic clinic and diabetic eye clinic. In this study, SVI is defined as a visual acuity of 6/36 or worse in at least one eye. Results: In 1992, of a total 245 patients, 58patients(23.6%) had SVI {38 (15.5% of total) due to diabetic retinopathy [31(12.6%) maculopathy, 2(0.8%) vitreous haemorrhage and 5(2%) retinal detachment] and 20(8.1%) due to non–diabetic retinopathy causes}. In 1998, of a total 297, 77patients(25.9%) had SVI {33(11.1% of total) due to diabetic retinopathy [19(6.4%) maculopathy, 9(3%) proliferative retinopathy, 8(2.7%) vitreous haemorrhage and 3(1%) retinal detachment]and 44(14.8%)due to non–diabetic retinopathy}. In 2004, of a total 471, 72patients(15.2%) had SVI{46(9.7%of total) due to diabetic retinopathy [37(7.8%) maculopathy, 1(0.2%) proliferative retinopathy, 6(1.8%) vitreous haemorrhage and 2(0.4%) retinal detachment]and 26(5.5%) due to non– diabetic retinopathy causes}. Conclusions: Introduction of formalised annual diabetic review including retinal screening and a community retinal screening programme has reduced the rate of severe visual impairment due to diabetic retinopathy, in patients attending diabetic eye clinic, from 15.5% in1992 to 9.7% in2004. Keywords: diabetic retinopathy