Ontology Based Multisite Distributed Software Development. Increasingly clients in cities are developing software overseas or in regional centres. The participating companies have found existing centralized software engineering techniques inadequate for multisite development. This project produces new principles and techniques for multisite distributed software development. Thus it proposes a new methodology, a new project management approach, a new workflow tracking technique and a new concept ....Ontology Based Multisite Distributed Software Development. Increasingly clients in cities are developing software overseas or in regional centres. The participating companies have found existing centralized software engineering techniques inadequate for multisite development. This project produces new principles and techniques for multisite distributed software development. Thus it proposes a new methodology, a new project management approach, a new workflow tracking technique and a new concept of software object/component that allows differentiated access. A platform is also developed for use in field studies for validation and benchmarking. The results will help Australia become a provider of software services for international clients and permit devolution to regional centres.Read moreRead less
Preparing Australia For Genomic Medicine: A Proposal By The Australian Genomics Health Alliance
Funder
National Health and Medical Research Council
Funding Amount
$25,000,000.00
Summary
The sequencing of the human genome brings the possibility of more accurate identification of the underlying basis of many diseases. This technology has moved so rapidly, however, that clinical access has been limited. In this application, a national alliance of clinicians, researchers, health economists and policymakers will evaluate the case for clinical genomics across inherited disease and cancer, determine how best to deliver this to the patient and train a capable workforce.
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
Transcription factor – enhancer – promoter based regulatory networks. This project aims to develop new understanding on how multicellular organisms (including humans) develop, and how mutations in distant regions of the genome can affect human traits. The way the human genome is interpreted by the cellular machinery is still a mystery. We have a reference sequence and know where the majority of coding genes are, but we are far from understanding how the genome is regulated to generate the divers ....Transcription factor – enhancer – promoter based regulatory networks. This project aims to develop new understanding on how multicellular organisms (including humans) develop, and how mutations in distant regions of the genome can affect human traits. The way the human genome is interpreted by the cellular machinery is still a mystery. We have a reference sequence and know where the majority of coding genes are, but we are far from understanding how the genome is regulated to generate the diversity of cell types in our bodies. Enhancer regions interact with proximal promoters to regulate gene expression level and tissue-specificity. This project aims to develop transcriptional regulatory network models using high throughput chromatin interaction data and expression perturbation to link promoter and enhancers genome-wide.Read moreRead less
Identification Of Glaucoma Susceptibility Variants By Exome Sequencing In Extended Pedigrees Showing Prior Evidence Of Gene Segregation.
Funder
National Health and Medical Research Council
Funding Amount
$694,002.00
Summary
Primary open angle glaucoma is a chronic eye disease and one of the leading causes of visual impairment and blindness worldwide. This study will use cutting-edge genetic methods to look at the entire coding component of the human genome (exome) in 271 individuals from large glaucoma families. Our previous studies have shown that these families carry genetic variants that increase disease risk. In this investigation we aim to identify these genes, with the hope they may offer novel targets for tr ....Primary open angle glaucoma is a chronic eye disease and one of the leading causes of visual impairment and blindness worldwide. This study will use cutting-edge genetic methods to look at the entire coding component of the human genome (exome) in 271 individuals from large glaucoma families. Our previous studies have shown that these families carry genetic variants that increase disease risk. In this investigation we aim to identify these genes, with the hope they may offer novel targets for treatment or diagnosis.Read moreRead less
Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems. The project aims are:
to significantly advance our understanding of the key concepts needed to successfully exploit dynamic, run-time reconfigurable computing, a technology that is now becoming increasingly available due to developments in FPGA (Field Progammable Gate Array) devices, and
the development of an innovative high-level programming environment that will include a language, associated design method ....Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems. The project aims are:
to significantly advance our understanding of the key concepts needed to successfully exploit dynamic, run-time reconfigurable computing, a technology that is now becoming increasingly available due to developments in FPGA (Field Progammable Gate Array) devices, and
the development of an innovative high-level programming environment that will include a language, associated design methodologies, compilation techniques, and run-time support that will make dynamic reconfigurable computing accessible to a wide community of potential users.
Read moreRead less
Novel Bioinformatics approaches for genetics and data linkage. The research project will involve creation of novel data and communications formats to fulfil the vital task of integrating the vast heterogeneous biological resources available. We will apply this new infrastructure to a large data linkage project. In parallel, we will undertake methodological research in informatics to design high throughput research methods and tools to analyse and visualise genetic data. These will be applied to ....Novel Bioinformatics approaches for genetics and data linkage. The research project will involve creation of novel data and communications formats to fulfil the vital task of integrating the vast heterogeneous biological resources available. We will apply this new infrastructure to a large data linkage project. In parallel, we will undertake methodological research in informatics to design high throughput research methods and tools to analyse and visualise genetic data. These will be applied to linkage disequilibrium mapping and haplotyping in human, animal and plant diseases. Improving informatics integration and designing novel methods and implementations of algorithms will be beneficial to local and international researchers in a range of fields.Read moreRead less
Tools, methodologies and reasoning support for developing companion-toy modules. This project investigates building of modules for an intelligent Toy which can be customised and adapted over time by add-on modules. Intelligent interactive toys are growing in popularity, and the ability for such a toy to develop over a prolonged lifetime, is both a sound business idea and a mechanism for extending the useful life of the Toy.