Microscale mesoarrays created by dip-pen nanolithography for screening of protein-protein interactions

Using microarrays to probe protein-protein interactions is becoming increasingly attractive due to their compatibility with highly sensitive detection techniques, selectivity of interaction, robustness and capacity for examining multiple proteins simultaneously. The major drawback to using this approach is the relatively large volumes and high concentrations necessary. Reducing the protein array spot size should allow for smaller volumes and lower concentrations to be used as well as opening the way for combination with more sensitive detection technologies. Dip-Pen Nanolithography (DPN) is a recently developed technique for structure creation on the nano to microscale with the capacity to create biological architectures. Here we describe the creation of miniaturised microarrays, 'mesoarrays', using DPN with protein spots 400× smaller by area compared to conventional microarrays. The mesoarrays were then used to probe the ERK2-KSR binding event of the Ras/Raf/MEK/ERK signalling pathway at a physical scale below that previously reported. Whilst the overall assay efficiency was determined to be low, the mesoarrays could detect KSR binding to ERK2 repeatedly and with low non-specific binding. This study serves as a first step towards an approach that can be used for analysis of proteins at a concentration level comparable to that found in the cellular environment.

The transformational implementation of JSD process specifications via finite automata representation

Conventional structured methods of software engineering are often based on the use of functional decomposition coupled with the Waterfall development process model. This approach is argued to be inadequate for coping with the evolutionary nature of large software systems. Alternative development paradigms, including the operational paradigm and the transformational paradigm, have been proposed to address the inadequacies of this conventional view of software developement, and these are reviewed. JSD is presented as an example of an operational approach to software engineering, and is contrasted with other well documented examples. The thesis shows how aspects of JSD can be characterised with reference to formal language theory and automata theory. In particular, it is noted that Jackson structure diagrams are equivalent to regular expressions and can be thought of as specifying corresponding finite automata. The thesis discusses the automatic transformation of structure diagrams into finite automata using an algorithm adapted from compiler theory, and then extends the technique to deal with areas of JSD which are not strictly formalisable in terms of regular languages. In particular, an elegant and novel method for dealing with so called recognition (or parsing) difficulties is described,. Various applications of the extended technique are described. They include a new method of automatically implementing the dismemberment transformation; an efficient way of implementing inversion in languages lacking a goto-statement; and a new in-the-large implementation strategy.

The design of a support department simulator for use in the design of manufacturing systems

Manufacturing firms are driven by competitive pressures to continually improve the effectiveness and efficiency of their organisations. For this reason, manufacturing engineers often implement changes to existing processes, or design new production facilities, with the expectation of making further gains in manufacturing system performance. This thesis relates to how the likely outcome of this type of decision should be predicted prior to its implementation. The thesis argues that since manufacturing systems must also interact with many other parts of an organisation, the expected performance improvements can often be significantly hampered by constraints that arise elsewhere in the business. As a result, decision-makers should attempt to predict just how well a proposed design will perform when these other factors, or 'support departments', are taken into consideration. However, the thesis also demonstrates that, in practice, where quantitative analysis is used to evaluate design decisions, the analysis model invariably ignores the potential impact of support functions on a system's overall performance. A more comprehensive modelling approach is therefore required. A study of how various business functions interact establishes that to properly represent the kind of delays that give rise to support department constraints, a model should actually portray the dynamic and stochastic behaviour of entities in both the manufacturing and non-manufacturing aspects of a business. This implies that computer simulation be used to model design decisions but current simulation software does not provide a sufficient range of functionality to enable the behaviour of all of these entities to be represented in this way. The main objective of the research has therefore been the development of a new simulator that will overcome limitations of existing software and so enable decision-makers to conduct a more holistic evaluation of design decisions. It is argued that the application of object-oriented techniques offers a potentially better way of fulfilling both the functional and ease-of-use issues relating to development of the new simulator. An object-oriented analysis and design of the system, called WBS/Office, are therefore presented that extends to modelling a firm's administrative and other support activities in the context of the manufacturing system design process. A particularly novel feature of the design is the ability for decision-makers to model how a firm's specific information and document processing requirements might hamper shop-floor performance. The simulator is primarily intended for modelling make-to-order batch manufacturing systems and the thesis presents example models created using a working version of WBS/Office that demonstrate the feasibility of using the system to analyse manufacturing system designs in this way.

Shaping acoustic fields as a toolset for microfluidic manipulations in diagnostic technologies

Ultrasonics offers the possibility of developing sophisticated fluid manipulation tools in lab-on-a-chip technologies. Here we demonstrate the ability to shape ultrasonic fields by using phononic lattices, patterned on a disposable chip, to carry out the complex sequence of fluidic manipulations required to detect the rodent malaria parasite Plasmodium berghei in blood. To illustrate the different tools that are available to us, we used acoustic fields to produce the required rotational vortices that mechanically lyse both the red blood cells and the parasitic cells present in a drop of blood. This procedure was followed by the amplification of parasitic genomic sequences using different acoustic fields and frequencies to heat the sample and perform a real-time PCR amplification. The system does not require the use of lytic reagents nor enrichment steps, making it suitable for further integration into lab-on-a-chip point-of-care devices. This acoustic sample preparation and PCR enables us to detect ca. 30 parasites in a microliter-sized blood sample, which is the same order of magnitude in sensitivity as lab-based PCR tests. Unlike other lab-on-a-chip methods, where the sample moves through channels, here we use our ability to shape the acoustic fields in a frequency-dependent manner to provide different analytical functions. The methods also provide a clear route toward the integration of PCR to detect pathogens in a single handheld system.

Quantification of functionalised gold nanoparticle-targeted knockdown of gene expression in HeLa cells

Introduction: Gene therapy continues to grow as an important area of research, primarily because of its potential in the treatment of disease. One significant area where there is a need for better understanding is in improving the efficiency of oligonucleotide delivery to the cell and indeed, following delivery, the characterization of the effects on the cell. Methods: In this report, we compare different transfection reagents as delivery vehicles for gold nanoparticles functionalized with DNA oligonucleotides, and quantify their relative transfection efficiencies. The inhibitory properties of small interfering RNA (siRNA), single-stranded RNA (ssRNA) and single-stranded DNA (ssDNA) sequences targeted to human metallothionein hMT-IIa are also quantified in HeLa cells. Techniques used in this study include fluorescence and confocal microscopy, qPCR and Western analysis. Findings: We show that the use of transfection reagents does significantly increase nanoparticle transfection efficiencies. Furthermore, siRNA, ssRNA and ssDNA sequences all have comparable inhibitory properties to ssDNA sequences immobilized onto gold nanoparticles. We also show that functionalized gold nanoparticles can co-localize with autophagosomes and illustrate other factors that can affect data collection and interpretation when performing studies with functionalized nanoparticles. Conclusions: The desired outcome for biological knockdown studies is the efficient reduction of a specific target; which we demonstrate by using ssDNA inhibitory sequences targeted to human metallothionein IIa gene transcripts that result in the knockdown of both the mRNA transcript and the target protein. © 2014 Jiwaji et al.