Supporting dynamic multidimensional entrepreneurial resilience in Australia. This project aims to model entrepreneurial resilience, its formation and its influence on how creative transformation occurs, and whether ex ante adaptive capacity is in turn enhanced by having mastered crises. The project proposes a theoretical model to holistically measure resilience across the life course. Using longitudinal data for self-employed individuals in Australia the project analyses the impact of crisis and ....Supporting dynamic multidimensional entrepreneurial resilience in Australia. This project aims to model entrepreneurial resilience, its formation and its influence on how creative transformation occurs, and whether ex ante adaptive capacity is in turn enhanced by having mastered crises. The project proposes a theoretical model to holistically measure resilience across the life course. Using longitudinal data for self-employed individuals in Australia the project analyses the impact of crisis and economic policy on entrepreneur’s behaviour and SMEs entry exit decisions. The project informs policy making through employing discrete choice experiments to elicit entrepreneur’s preferences for government policy and support post crisis. Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE240100168
Funder
Australian Research Council
Funding Amount
$413,847.00
Summary
Self-Supervised Sequential Biomedical Image-Omics. This project aims to develop a self-supervised sequential biomedical image-omics model to uncover the underlying biological processes e.g., normal or abnormal. Sequential biomedical images are state-of-the-art imaging modalities which allow to depict changes in progression to the human body. New self-supervised machine learning algorithms are proposed to derive features from heterogenous and unlabelled sequential images. These derived features w ....Self-Supervised Sequential Biomedical Image-Omics. This project aims to develop a self-supervised sequential biomedical image-omics model to uncover the underlying biological processes e.g., normal or abnormal. Sequential biomedical images are state-of-the-art imaging modalities which allow to depict changes in progression to the human body. New self-supervised machine learning algorithms are proposed to derive features from heterogenous and unlabelled sequential images. These derived features will then be used to characterise the morphological and functional changes, which provide opportunities to increase understanding of progression of diseases of individual subject. The outcome from this project will provide new insights into system biology with potential future benefits in healthcare.Read moreRead less
Improving the performance of Australian social insurance schemes. Applying methods from computational social science, this project aims to develop a novel, multi-level modeling framework to assist transport injury, workplace injury and disability insurance schemes consistently achieve and maintain standards of high performance as recognised by international benchmarks. By creating a virtual laboratory for policy-makers and scheme managers, it expects to generate a comprehensive understanding of ....Improving the performance of Australian social insurance schemes. Applying methods from computational social science, this project aims to develop a novel, multi-level modeling framework to assist transport injury, workplace injury and disability insurance schemes consistently achieve and maintain standards of high performance as recognised by international benchmarks. By creating a virtual laboratory for policy-makers and scheme managers, it expects to generate a comprehensive understanding of mechanisms driving insurance scheme performance, enabling comparison of anticipated outcomes in response to legislative changes, policy changes and management decisions. The project aims to help schemes avoid human and financial failure, benefitting people with injuries and disabilities while reducing scheme costs.Read moreRead less
Software Quality Improvement Through Static Analysis and Annotation. Software forms the basis of critical infrastructure that supports industries such as electronic commerce. Flaws in the software can lead to failure of the overall system, or allow the security mechanisms of the software to be by-passed. This project is developing methods to improve the quality of software by finding common flaws that lead to security vulnerabilities or runtime failures. Within Australia, it is estimated that th ....Software Quality Improvement Through Static Analysis and Annotation. Software forms the basis of critical infrastructure that supports industries such as electronic commerce. Flaws in the software can lead to failure of the overall system, or allow the security mechanisms of the software to be by-passed. This project is developing methods to improve the quality of software by finding common flaws that lead to security vulnerabilities or runtime failures. Within Australia, it is estimated that there are approximately 75,000 software developers who make substantial use of C/C++ and who could benefit from the availability of better automatic static analysis tools to improve both the quality of the code they produce and their productivity.Read moreRead less
Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these system ....Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these systems in a way that allows one assess their dependability.
Australia industry is actively working in these areas through companies like Ansaldo Australia, in automated railway systems, and Boeing Australia, in the defence sector.Read moreRead less
Transaction Oriented Computational Models for Multi Agent Systems. Agent systems are a very promising technology for constructing complex, large-scale software. Australian researchers have made key
contributions in this area, particularly with reference to one mature and commonly adopted agent architecture known as BDI (Belief, Desire, Intention). To make this technology suitable for use in advanced applications, it has to be provided with robust and predictable behaviour. This project wil ....Transaction Oriented Computational Models for Multi Agent Systems. Agent systems are a very promising technology for constructing complex, large-scale software. Australian researchers have made key
contributions in this area, particularly with reference to one mature and commonly adopted agent architecture known as BDI (Belief, Desire, Intention). To make this technology suitable for use in advanced applications, it has to be provided with robust and predictable behaviour. This project will address that need by designing and implementing a novel agent language for BDI, based on contributions using transactional concepts for agents developed at The University of Melbourne. This will contribute to the development of robust and predictable agent software, that can be used in complex and large scale applications of the future.
Read moreRead less
Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlin ....Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlines within programs. This allows a partitioning of the development process into a machine-independent phase that derives a program to meet a high-level specification, and a machine-dependent phase that checks that the timing deadlines within the generated machine code are guaranteed to be met.Read moreRead less
A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop ver ....A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop verification methods that may be applied to guarantee systems security. Its outcomes will contribute to processes for certifying systems at very high levels of security, a requirement in defence and government settings that will become increasingly significant in the commercial sector.Read moreRead less
Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, b ....Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, based on program refinement theory, that automatically translates specification statements in programs into executable code. Such an outcome will ultimately improve the speed, accuracy and cost-effectiveness of critical software development.Read moreRead less
A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. ....A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. Increased international recognition will positively impact on future interactions with the service composition research groups in Europe and the USA.Read moreRead less