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
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less
Special Research Initiatives - Grant ID: SR0354823
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
National network for the study of cognitive processes and treatment across the phases of schizophrenia. Schizophrenia is associated with great costs to the community and individual. Controlled studies have demonstrated Cognitive Behaviour Therapy (CBT) is efficacious in treating symptoms of schizophrenia. Studies of cognitive processes have also advanced understanding of psychotic phenomena. This initiative affords the opportunity to
1) Improve treatment efficacy by developing, testing and appl ....National network for the study of cognitive processes and treatment across the phases of schizophrenia. Schizophrenia is associated with great costs to the community and individual. Controlled studies have demonstrated Cognitive Behaviour Therapy (CBT) is efficacious in treating symptoms of schizophrenia. Studies of cognitive processes have also advanced understanding of psychotic phenomena. This initiative affords the opportunity to
1) Improve treatment efficacy by developing, testing and applying theoretically-driven models of psychotic symptoms.
2) Disseminate the findings of research on CBT for psychotic disorders in clinical settings by (a) training the work-force, and (b) facilitating CBT delivery in routine practice.
3) Apply CBT in various settings with a variety of psychotic populations to test its effectiveness in routine clinical settings.
Read moreRead less
Child health and developmental inequities: Evidence for precision policy. The project aims to use cutting edge analytic approaches applied to existing data to identify how policy interventions related to parents’ mental health, preschool programs, and the built environment can be optimised to reduce inequities in children’s mental, academic, and physical health outcomes. The project will be informed by our partners and advisers from across government portfolios and service delivery, ensuring tha ....Child health and developmental inequities: Evidence for precision policy. The project aims to use cutting edge analytic approaches applied to existing data to identify how policy interventions related to parents’ mental health, preschool programs, and the built environment can be optimised to reduce inequities in children’s mental, academic, and physical health outcomes. The project will be informed by our partners and advisers from across government portfolios and service delivery, ensuring that the evidence generated has contemporary policy relevance. The project expects to identify clear and actionable policy pathways to reduce child inequities in Australia, which can benefit decision makers by helping them to direct limited public funds towards intervention opportunities that will have the greatest impact.Read moreRead less
Internet technologies, health informatics and statistical methods, and new delivery platforms in call centres. Although depression is the major cause of health disability, 60% of Australians with depression do not receive professional help. There are few systems for delivering health information and resilience skills to members of the community. This project aims to develop a workable system to reduce unmet need. It will provide a model of information delivery applicable to other areas of the ....Internet technologies, health informatics and statistical methods, and new delivery platforms in call centres. Although depression is the major cause of health disability, 60% of Australians with depression do not receive professional help. There are few systems for delivering health information and resilience skills to members of the community. This project aims to develop a workable system to reduce unmet need. It will provide a model of information delivery applicable to other areas of the health industry, particularly those involving chronic disease. It has applicability to education and other sectors which involve the delivery of information to the public. Because e-health is an emerging field, the project also has the capacity to build expertise in an area which is under-resourced. Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE150100637
Funder
Australian Research Council
Funding Amount
$322,534.00
Summary
Finding the Path: Service access and navigation for serious mental illness. This project aims to inform health system change to ensure people with serious mental illness can access quality services. While improved access to quality mental health services has been a key target in Australian health policy for over 20 years, people with mental illness continue to report problems accessing and navigating the complex service system. The project aims to study consumers' mental health service experienc ....Finding the Path: Service access and navigation for serious mental illness. This project aims to inform health system change to ensure people with serious mental illness can access quality services. While improved access to quality mental health services has been a key target in Australian health policy for over 20 years, people with mental illness continue to report problems accessing and navigating the complex service system. The project aims to study consumers' mental health service experiences using policy, qualitative, quantitative and geographic analysis to identify systemic problems. Mental health consumers and service providers will be actively involved in developing final policy recommendations to ensure system change reflects their knowledge.Read moreRead less
A new quality of life instrument with older people for economic evaluation. This project aims to develop and validate a new preference-based quality-of-life instrument with applications in aged-care. The new instrument will be developed with older people receiving aged care services, and will focus upon incorporating their values into the measurement and valuation of quality of life for economic evaluation. The new instrument will have immediate applications in quality assessment and economic ev ....A new quality of life instrument with older people for economic evaluation. This project aims to develop and validate a new preference-based quality-of-life instrument with applications in aged-care. The new instrument will be developed with older people receiving aged care services, and will focus upon incorporating their values into the measurement and valuation of quality of life for economic evaluation. The new instrument will have immediate applications in quality assessment and economic evaluation, improving the quality of life and wellbeing of older Australians, and will assist in determining the relative cost effectiveness of new and existing services.
Read moreRead less
Ageing in China and Australia: Promoting health, productivity and wellbeing. This project aims to provide insights into the ways in which life-span development and social change in China have influenced the development of policies to support the health, productivity and wellbeing of people entering later life. China’s population is rapidly ageing, bringing pressure on intergenerational support arising from smaller families, migration, urbanisation, and growing social inequalities. It may also br ....Ageing in China and Australia: Promoting health, productivity and wellbeing. This project aims to provide insights into the ways in which life-span development and social change in China have influenced the development of policies to support the health, productivity and wellbeing of people entering later life. China’s population is rapidly ageing, bringing pressure on intergenerational support arising from smaller families, migration, urbanisation, and growing social inequalities. It may also bring opportunities. Using an understanding of social determinants, cultural context and policy responses, the project plans to undertake cross-national comparisons with Australia and examine historical influences and social variations within China. The project aims to deliver a better understanding of how public policy can enhance productivity, health and wellbeing of an ageing population.Read moreRead less
Trust makers, breakers and brokers: building trust in the Australian food system. This research will compare and contrast the way that food trust is managed in Australia and the United Kingdom, with a particular focus on how trust is damaged and repaired. Using consensus-testing processes, best practice models will be developed to assist government, industry, media and consumer groups to build and maintain trust in the food supply.