Practical Automated Deduction. This project will develop, implement and validate improved methods for automated deduction in decidable fragments of first order logic, also incorporating reasoning in special theories such as arithmetic. It will significantly extend previous work on the model evolution calculus and dynamic semantic resolution, and introduce new techniques that combine these reasoning methods. This work has direct application to reasoning about business rules and about industrial o ....Practical Automated Deduction. This project will develop, implement and validate improved methods for automated deduction in decidable fragments of first order logic, also incorporating reasoning in special theories such as arithmetic. It will significantly extend previous work on the model evolution calculus and dynamic semantic resolution, and introduce new techniques that combine these reasoning methods. This work has direct application to reasoning about business rules and about industrial optimisation problems, and it will motivate and test our systems by means of case studies from both of these areas.Read moreRead less
Visual Analytics for Next Generation Sequencing. Next-generation sequencing technologies have brought a revolution in biology and healthcare, while taxing the ability of scientists and clinicians to identify and process relevant data, to make sense of it all and communicate it to others in a concise and meaningful way. This project aims to tackle this problem through fundamentally new approaches to data selection and visualisation at very large scale, actively encoding for insight into underlyin ....Visual Analytics for Next Generation Sequencing. Next-generation sequencing technologies have brought a revolution in biology and healthcare, while taxing the ability of scientists and clinicians to identify and process relevant data, to make sense of it all and communicate it to others in a concise and meaningful way. This project aims to tackle this problem through fundamentally new approaches to data selection and visualisation at very large scale, actively encoding for insight into underlying biological and biomedical processes, bringing sustainable discovery of new relationships and variations within the data. The project aims to support new approaches to medical diagnosis and treatment, and offer crucial lessons to address the broader challenge of understanding large, complex data sets.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE170101081
Funder
Australian Research Council
Funding Amount
$360,000.00
Summary
Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis t ....Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis to efficiently and precisely analyse large-scale programs according to clients’ needs, thereby allowing compilers to generate safe, reliable and secure code. This project is expected to advance value-flow analysis for industrial-sized software, improve software reliability and security, and benefit Australian software systems and industries.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0347131
Funder
Australian Research Council
Funding Amount
$115,490.00
Summary
Intelligent Computer System to Access Information Directly from the Brain Using High Resolution Electroencephalography and Repetitive Transcranial Magnetic Stimulation. The ambitious aim of this project is to create a novel intelligent computer system which accesss information from the brain. To do this we use repetitive Transcranial Magnetic Stimulation and high resolution Electroencephalography.
User-task co-adaptation for effective interactive simulation environments. This project aims to deliver smart interactive simulation environments in which users and simulation tasks work together. This project aims to create novel adaptive algorithms to automatically discover those user and task features that vary together to smartly adapt users and simulation tasks to work together harmoniously, seamlessly and effectively. Interactive simulation environments are the backbone for evaluating conc ....User-task co-adaptation for effective interactive simulation environments. This project aims to deliver smart interactive simulation environments in which users and simulation tasks work together. This project aims to create novel adaptive algorithms to automatically discover those user and task features that vary together to smartly adapt users and simulation tasks to work together harmoniously, seamlessly and effectively. Interactive simulation environments are the backbone for evaluating concepts, designs, products and advanced training systems in industry and government organisations. By bringing the user naturally inside the simulation as a task's component, users can improve their experience while task performance is simultaneously optimised. Intended outcomes include novel dynamic user-task profiling algorithms and new adaptive algorithms for user-task co-adaptation. Practical outcomes may include robust and highly effective simulation environments.Read moreRead less
ARC Complex Open Systems Research Network. Complexity is the common frontier in the physical, biological and social sciences. This Network will link specialists in all three sciences through five generic conceptual and mathematical theme activities. It will promote research into how subsystems self-organise into new emergent structures when assembled into an open, non-equilibrium system. Outcomes will include new technologies and software tools and deeper understanding of fundamental questions i ....ARC Complex Open Systems Research Network. Complexity is the common frontier in the physical, biological and social sciences. This Network will link specialists in all three sciences through five generic conceptual and mathematical theme activities. It will promote research into how subsystems self-organise into new emergent structures when assembled into an open, non-equilibrium system. Outcomes will include new technologies and software tools and deeper understanding of fundamental questions in science. An essential function of the network will be introducing researchers end users to new tools and broadening the horizons of graduate students.Read moreRead less
Special Research Initiatives - Grant ID: SR0354741
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Quantum Many-Body Systems Network: Breakthrough Science and Frontier Technologies. This Initiative will bring together leading researchers with complementary expertise in mathematics and the enabling sciences to form a Network fostering world leading fundamental research and innovation in quantum many-body systems. The collaborative effort between mathematicians with powerful and sophisticated new techniques and physicists and chemists with deep insight into the challenges and opportunities of t ....Quantum Many-Body Systems Network: Breakthrough Science and Frontier Technologies. This Initiative will bring together leading researchers with complementary expertise in mathematics and the enabling sciences to form a Network fostering world leading fundamental research and innovation in quantum many-body systems. The collaborative effort between mathematicians with powerful and sophisticated new techniques and physicists and chemists with deep insight into the challenges and opportunities of the quantum realm will lead to breakthrough science of vital importance to the development of frontier technologies in Australia. This Network will also place a strong emphasis on research training, the mentoring of early career researchers and establishing collaborations with leading international research groups and networks.
Read moreRead less
Understanding somatic mutation in plants: new methods, new software, new data. Somatic mutations accumulate as plants grow, affecting everything from short-term ecological interactions to long-term evolutionary dynamics. These mutations have important consequences for plant industry and conservation, but because they are so hard to measure almost nothing is known about them. This project aims to develop new methods and software to detect, analyse, and compare the genome-wide history of somatic m ....Understanding somatic mutation in plants: new methods, new software, new data. Somatic mutations accumulate as plants grow, affecting everything from short-term ecological interactions to long-term evolutionary dynamics. These mutations have important consequences for plant industry and conservation, but because they are so hard to measure almost nothing is known about them. This project aims to develop new methods and software to detect, analyse, and compare the genome-wide history of somatic mutation in individual plants, providing an unprecedented level of detail into an important but understudied source of biological variation. By applying these methods to an iconic experimental population, This project aims to provide the first insights into the genome-wide causes and consequences of somatic mutation in plants.Read moreRead less
Biofocussed Prostate Cancer RadioTherapy (BiRT): A Personalised Approach To Delivering The Right Dose To The Right Place
Funder
National Health and Medical Research Council
Funding Amount
$753,565.00
Summary
We propose a new approach to treating prostate cancer with radiotherapy to move from the standard whole prostate treatment to a personalised treatment that varies radiation intensity throughout the prostate. We will mathematically combine features that influence radiotherapy effect from advanced imaging, clinical and biopsy information. This model will map out the radiotherapy dose required at each part of the prostate, to maximise killing of the cancer whilst minimising harm to normal tissue
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0347797
Funder
Australian Research Council
Funding Amount
$263,000.00
Summary
A Versatile High-resolution X-ray Diffractometer for Materials Research. The aim of this project is to establish a state-of-the-art triple-axis x-ray diffraction facility capable of non-destructively analysing complex semiconductor materials and structures investigated by all Australian semiconductor-growing groups. Growers and device engineers will be able to control growth processes accurately and correlate device performance with structural analysis. Modern triple-axis instruments can also b ....A Versatile High-resolution X-ray Diffractometer for Materials Research. The aim of this project is to establish a state-of-the-art triple-axis x-ray diffraction facility capable of non-destructively analysing complex semiconductor materials and structures investigated by all Australian semiconductor-growing groups. Growers and device engineers will be able to control growth processes accurately and correlate device performance with structural analysis. Modern triple-axis instruments can also be used for high-resolution texture analysis and surface reflectivity measurements on numerous types of materials. Thus chemists, geologists, and materials scientists with interests outside of the semiconductor growth community will gain substantial benefit from this instrument for the investigation of materials of technological and economic importance.Read moreRead less