The architecture of networks: Characterisation and visualisation of complex systems as fluctuating networks. Complex systems comprise many mutually interacting components, characterised by a range of different interactions over time and space. They are dynamical systems, whose features are reminiscent of a web, with fluctuating links of varying strengths. The natural paradigm for such systems is a generic network, or a graph. A suite of novel measures from statistical physics, graph theory, top ....The architecture of networks: Characterisation and visualisation of complex systems as fluctuating networks. Complex systems comprise many mutually interacting components, characterised by a range of different interactions over time and space. They are dynamical systems, whose features are reminiscent of a web, with fluctuating links of varying strengths. The natural paradigm for such systems is a generic network, or a graph. A suite of novel measures from statistical physics, graph theory, topology, geometry, and computer graphics will be developed to characterise system/graph growth and stability. The aim is two-fold: first to reduce real complex systems (mainly financial systems) to computationally manageable structures (including direct visualisation) and second to construct realistic models of the evolution of such systems.Read moreRead less
Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in bu ....Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in building trusted computer applications. Process calculi and logic represent two promising disciplines in which the principles of analysis and design of secure systems can be studied systematically, out of which formal verification tools can be constructed.Read moreRead less
Can efficient algal variants of the photosynthetic CO2-fixing enzyme, Rubisco, be folded and assembled in functional forms in higher-plant plastids? We have shown that it is possible to alter the photosynthetic phenotype of a plant predictably and profoundly by engineering the plastid genome to replace the plant's CO2-fixing enzyme, Rubisco, with a bacterial homolog. Thus it may be possible to replace the plant enzyme with more efficient algal Rubiscos that would allow plants to grow with less l ....Can efficient algal variants of the photosynthetic CO2-fixing enzyme, Rubisco, be folded and assembled in functional forms in higher-plant plastids? We have shown that it is possible to alter the photosynthetic phenotype of a plant predictably and profoundly by engineering the plastid genome to replace the plant's CO2-fixing enzyme, Rubisco, with a bacterial homolog. Thus it may be possible to replace the plant enzyme with more efficient algal Rubiscos that would allow plants to grow with less light, less water or less fertiliser. Before such desirable changes to the plant phenotype can be realised, some complex issues of modification, folding and assembly of Rubisco subunits need to be resolved. This proposal addresses them.Read moreRead less
Identification of transcription factor genes involved in the regulation of aspects of photosynthetic capacity in plants. There is increasing evidence to suggest that we may be reaching a yield plateau with many agricultural plants and that future avenues for yield increases may depend on increases in photosynthetic capacity per unit leaf area. Molecular genetic technology offers the promise of the direct manipulation of photosynthetic gene expression to increase photosynthetic capacity. This pro ....Identification of transcription factor genes involved in the regulation of aspects of photosynthetic capacity in plants. There is increasing evidence to suggest that we may be reaching a yield plateau with many agricultural plants and that future avenues for yield increases may depend on increases in photosynthetic capacity per unit leaf area. Molecular genetic technology offers the promise of the direct manipulation of photosynthetic gene expression to increase photosynthetic capacity. This project aims to understand one important part of genetic regulation, the transcription factors, that may determine aspects of photosynthetic capacity. Altered expression of these transcription factors in transgenic plants will be used to test the their ability to control photosynthesis and generate agricultural intellectual property.Read moreRead less