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
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
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
Special Research Initiatives - Grant ID: SR0354693
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in ....Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in other RNs linking to their motivating applications, enhancing prospects for research and integration. They participate in the APAC Grid program, leveraging 75 HPC staff nationally. A key aim is interoperability with "real-world Grids": eg e-learning & e-health programs.Read moreRead less
Lightweight security solutions for wearable healthcare sensor devices. The aim of this project is to develop new methods to secure the data and context associated with body-wearable health monitoring devices. The novelty of the scheme is in making the methods work on resource-poor devices, by combining new security capabilities derived from the operating environment with conventional cryptographic techniques. This project aims to increase the trust that medical practitioners and insurance provid ....Lightweight security solutions for wearable healthcare sensor devices. The aim of this project is to develop new methods to secure the data and context associated with body-wearable health monitoring devices. The novelty of the scheme is in making the methods work on resource-poor devices, by combining new security capabilities derived from the operating environment with conventional cryptographic techniques. This project aims to increase the trust that medical practitioners and insurance providers can place on health data from wearable devices, and showcase Australian innovation in developing world-class security solutions. The outcome of this project is expected to be the development and demonstration of ultra-lightweight algorithms and mechanisms that execute in wearable devices to safeguard the integrity of the data.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0989347
Funder
Australian Research Council
Funding Amount
$350,000.00
Summary
CYCLOPS - A Better Way to Find Extrasolar Planets. The primary scientific driver for this new facility is the search for planets orbiting other stars. Australian astronomers, and the Anglo-Australian Telescope, have played a leading role in this new frontier for astronomy, detecting 25 of the 250-odd extrasolar planets known to orbit nearby stars. The CYCLOPS project brings together a team of leading Australian astronomers to build on this track record with a new facility that further advances A ....CYCLOPS - A Better Way to Find Extrasolar Planets. The primary scientific driver for this new facility is the search for planets orbiting other stars. Australian astronomers, and the Anglo-Australian Telescope, have played a leading role in this new frontier for astronomy, detecting 25 of the 250-odd extrasolar planets known to orbit nearby stars. The CYCLOPS project brings together a team of leading Australian astronomers to build on this track record with a new facility that further advances Australia's capabilities in both this field, and several other high-profile astronomical endeavours: including the study of seismology in stellar interiors, the detailed measurement of elemental abundances in stars throughout our Galaxy, and the mapping of spot features on the surfaces of stars.Read moreRead less
Unifying Modern Approaches in Machine Learning. The proposed research will lead to better algorithms for some important machine learning problems that could lead to better tools for extracting useful knowledge from data such as in bioinformatics and sensor networks; it will strengthen an international collaboration with one of the world's top centres of machine learning research; it will contribute to an open source toolkit of machine learning algorithms which will put Australia on the map as a ....Unifying Modern Approaches in Machine Learning. The proposed research will lead to better algorithms for some important machine learning problems that could lead to better tools for extracting useful knowledge from data such as in bioinformatics and sensor networks; it will strengthen an international collaboration with one of the world's top centres of machine learning research; it will contribute to an open source toolkit of machine learning algorithms which will put Australia on the map as a provider of sophisticated machine learning software; it will provide training opportunities for several PhD students and a postdoc to work with some of the best machine learning researchers in the world.Read moreRead less