Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude an ....Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude analysis. The modular analysis proposed in this project matches the analysis technique to the structure of the model. Preliminary results are promising and motivate the extension of the technique to a larger class of modular descriptions.Read moreRead less
Monopoles, instantons and metrics. This Project is pure basic research in the general area of differential geometry or the study of manifolds. Manifolds are higher dimensional analogues of surfaces such as the surface of the sphere or the surface of a doughnut. This Project studies monopoles and instantons which are solutions of partial differential equations arising in physics. These solutions and the so-called moduli spaces of all solutions have been used in the last two decades by the worlds ....Monopoles, instantons and metrics. This Project is pure basic research in the general area of differential geometry or the study of manifolds. Manifolds are higher dimensional analogues of surfaces such as the surface of the sphere or the surface of a doughnut. This Project studies monopoles and instantons which are solutions of partial differential equations arising in physics. These solutions and the so-called moduli spaces of all solutions have been used in the last two decades by the worlds leading mathematicians to revolutionize the study of three and four dimensional manifolds.Read moreRead less
Characterizing and classifying ovoids, flocks and generalized quadrangles. This project lies within the framework of the classification and characterization of fundamental structures in finite geometry. This research area is the site of much international activity, in which the proposed research team plays a central role. The aim of the project is to pursue twin goals: the classification of ovoids in three dimensional projective space, a famous long-standing problem; and the classification of ce ....Characterizing and classifying ovoids, flocks and generalized quadrangles. This project lies within the framework of the classification and characterization of fundamental structures in finite geometry. This research area is the site of much international activity, in which the proposed research team plays a central role. The aim of the project is to pursue twin goals: the classification of ovoids in three dimensional projective space, a famous long-standing problem; and the classification of certain generalized quadrangles. Our approach is novel as it utilises recently discovered links between these areas. The expected outcomes are significant progress towards these goals, as well as the development of new techniques in finite geometry.Read moreRead less
Liquidity in financial markets. This project aims to develop a theory which models the effect of liquidity on option prices under different market conditions. Economic or financial crises are inevitable and affect economics. During or after a major financial crisis, market liquidity usually becomes risky and needs to be studied. Through both empirical and theoretical explorations, this project will quantify and measure liquidity risk and its effect on the options markets. It will develop a frame ....Liquidity in financial markets. This project aims to develop a theory which models the effect of liquidity on option prices under different market conditions. Economic or financial crises are inevitable and affect economics. During or after a major financial crisis, market liquidity usually becomes risky and needs to be studied. Through both empirical and theoretical explorations, this project will quantify and measure liquidity risk and its effect on the options markets. It will develop a framework to help market regulators manage illiquidity, enhance the efficiency of option trading in illiquid markets and help in the detection of market manipulation.Read moreRead less
Communication and information storage mechanisms in complex dynamical brain networks. Recordings of electrical activity in the brain often cycle repetitively. The aim of this research is to explain how these brain rhythms assist the brain to coordinate simultaneous activity in several regions. Australian socioeconomic benefits include: (i) contributions to the knowledge base of theoretical neuroscience, enhancing Australia's reputation for cutting-edge research; (ii) strengthening of internation ....Communication and information storage mechanisms in complex dynamical brain networks. Recordings of electrical activity in the brain often cycle repetitively. The aim of this research is to explain how these brain rhythms assist the brain to coordinate simultaneous activity in several regions. Australian socioeconomic benefits include: (i) contributions to the knowledge base of theoretical neuroscience, enhancing Australia's reputation for cutting-edge research; (ii) strengthening of international collaborations with Europe and Japan; (iii) outcomes will ultimately impact on improved medical bionics and future interfaces between brain activity and machines or computers; and (iv) commercialization and technology transfer opportunities, via the transfer of results to biologically inspired engineering.Read moreRead less
Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented i ....Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented is very important in their design. This project will develop leading-edge performance analysis techniques and tools for an important class of practical systems. There is potential to commercialise the resulting tools and methodology and to transfer the expertise to industry.Read moreRead less
Root-to-shoot: modeling the salt stress response of a plant vascular system. Salt and drought are the two major abiotic stresses affecting crop plant health, growth and development. We aim to understand salt and water transport in plants and the physiological effects of soil salinity. Using biophysical models, we will quantify the movement of salt through plant organs, tissues and cells, from root to leaf. We aim to answer the question of how salt moves across the different tissues and major org ....Root-to-shoot: modeling the salt stress response of a plant vascular system. Salt and drought are the two major abiotic stresses affecting crop plant health, growth and development. We aim to understand salt and water transport in plants and the physiological effects of soil salinity. Using biophysical models, we will quantify the movement of salt through plant organs, tissues and cells, from root to leaf. We aim to answer the question of how salt moves across the different tissues and major organs, how salt accumulates in root, leaf and shoot cells, and how movement and accumulation is controlled by the diversity of transport mechanisms operating in plants. We aim to quantify tissue tolerance, osmotic tolerance and ionic tolerance and discover new mechanisms by which plants can stave off the effect of salt stress.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE240100097
Funder
Australian Research Council
Funding Amount
$389,670.00
Summary
Mathematical models for actin scavenging and biofilm removal. The project aims to develop mathematical models for actin scavenging and biofilm removal, processes that combine to alleviate tissue damage and inflammation. Actin scavenging eliminates the protein F-actin which is released during cell death, but this process is not fully-understood. Biofilms are colonies of micro-organisms, for example bacteria, that are highly resistant to antimicrobial treatment. This project expects to generate ne ....Mathematical models for actin scavenging and biofilm removal. The project aims to develop mathematical models for actin scavenging and biofilm removal, processes that combine to alleviate tissue damage and inflammation. Actin scavenging eliminates the protein F-actin which is released during cell death, but this process is not fully-understood. Biofilms are colonies of micro-organisms, for example bacteria, that are highly resistant to antimicrobial treatment. This project expects to generate new knowledge, using an innovative combination of mathematical modelling and cell biology experiments. Expected outcomes include new theory and software, yielding the benefits of increased understanding of cell biology, and potential to enhance development of smart materials that eliminate biofilms.Read moreRead less
New mathematics for lipids and cells: structured models for atherosclerosis. The project aims to create new mathematical theory for immune cell behaviour which leads to heart attacks and strokes. This includes formulation and analysis of new types of mathematical models for atherosclerotic plaque development, leading to the creation of new mathematical tools to investigate cell fate in plaques and to generate new hypotheses for experimental research. Expected outcomes of this project include po ....New mathematics for lipids and cells: structured models for atherosclerosis. The project aims to create new mathematical theory for immune cell behaviour which leads to heart attacks and strokes. This includes formulation and analysis of new types of mathematical models for atherosclerotic plaque development, leading to the creation of new mathematical tools to investigate cell fate in plaques and to generate new hypotheses for experimental research. Expected outcomes of this project include powerful and reliable mathematical models ready for application, and national and international collaborations with scientists and mathematicians. This should provide significant benefits including increased capacity to use mathematical models in vascular biology and training young researchers in interdisciplinary methods.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE130100031
Funder
Australian Research Council
Funding Amount
$333,684.00
Summary
Mathematical modelling of the complex mechanics of biological materials and their role in tissue function and development. The mechanics of biological materials is complicated because they consist of many components such as fibres, proteins and polymers. We aim to use mathematical tools to understand how these components interact in tissues such as the spinal disc which will aid the development of new treatments to reverse the effects of injury, disease or aging.