Design practice research: uncovering the role of spatial intelligence in designing and in reviewing design of the built environment. This project will result in the identification and methodical analysis of spatial intelligence as deployed by Architects, Landscape Architects and Urban Designer practitioners. It will also explore improvements and invention of new design policies and design procurement procedures which are informed by deeper understandings of Spatial Intelligence.
Learning to Pinpoint Emerging Software Vulnerabilities. This project aims to develop learning-based software vulnerability detection techniques to improve the reliability and security of modern software systems. The existing techniques relying on conventional yet rigid software analysis and testing techniques are ineffective and/or inefficient when detecting a wide variety of emerging software vulnerabilities. The outcomes of this project will be a deep-learning-based detection approach and an ....Learning to Pinpoint Emerging Software Vulnerabilities. This project aims to develop learning-based software vulnerability detection techniques to improve the reliability and security of modern software systems. The existing techniques relying on conventional yet rigid software analysis and testing techniques are ineffective and/or inefficient when detecting a wide variety of emerging software vulnerabilities. The outcomes of this project will be a deep-learning-based detection approach and an open-source tool that can capture precision correlations between deep code features and diverse vulnerabilities to pinpoint emerging vulnerabilities without the need for bug specifications. Significant benefits include greatly improved quality, reliability and security for modern software systems.Read moreRead less
Drivers and barriers to sustainability in residential and commercial buildings. In acknowledging that climate change is one of the greatest moral and economic challenges of our time, the federal Government is committed to Australia's internationally agreed target of limiting greenhouse gas emissions. In its efforts to achieve this, the Government is supporting various initiatives including the development of renewable energy technology. In Australia, buildings contribute almost one-quarter of ou ....Drivers and barriers to sustainability in residential and commercial buildings. In acknowledging that climate change is one of the greatest moral and economic challenges of our time, the federal Government is committed to Australia's internationally agreed target of limiting greenhouse gas emissions. In its efforts to achieve this, the Government is supporting various initiatives including the development of renewable energy technology. In Australia, buildings contribute almost one-quarter of our greenhouse gas emissions. This research will identify methods that assist in the nationwide uptake of sustainability practices, including the use of micro-generation technology, to help improve building performance and reduce greenhouse gas emissions.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
Analysis of two-phase effects in sloshing of liquids in marine tanks. One of the winners in the current greenhouse debate is natural gas, and the global market will see the need for transporting large volumes of LNG. Australia's North West Shelf is one of the largest offshore gas reserves in the world. The gas market is one of the biggest contributors for the country's economy. Australia leads the world in the use of tankers for transport of Liquefied Natural Gas (LNG). However, consistent re ....Analysis of two-phase effects in sloshing of liquids in marine tanks. One of the winners in the current greenhouse debate is natural gas, and the global market will see the need for transporting large volumes of LNG. Australia's North West Shelf is one of the largest offshore gas reserves in the world. The gas market is one of the biggest contributors for the country's economy. Australia leads the world in the use of tankers for transport of Liquefied Natural Gas (LNG). However, consistent research in LNG is lacking. This research is a fundamental inquiry into the physics of liquid sloshing and the importance of two-phase effects on sloshing. The research can provide answers that ensure safe operation and transport of LNG from Australia.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
Redesigning the Suburb: A Landscape Architectural Inquiry. A Perth-based multi-disciplinary design project is to seek out ways in which new practices in suburban development can improve a sense of place in new suburbs in accord with community aspirations. Current development codes will be explored and challenged, focussing on infrastructure and ecology. Perth is a city in the bush, eating into its famous flora, but the outcomes of this project will just as easily apply to Queensland or Tasmania ....Redesigning the Suburb: A Landscape Architectural Inquiry. A Perth-based multi-disciplinary design project is to seek out ways in which new practices in suburban development can improve a sense of place in new suburbs in accord with community aspirations. Current development codes will be explored and challenged, focussing on infrastructure and ecology. Perth is a city in the bush, eating into its famous flora, but the outcomes of this project will just as easily apply to Queensland or Tasmania in regard to improving biodiversity, maintaining a sense of original topography, improving wise water use, and influencing the conception and construction of new suburban areas by the development industry.
Read moreRead less
Four South Pacific Museums: New Museums and Public Culture. The last decade has witnessed a global explosion in the development of new museums. Nowhere is this more striking than in our region where four major new museum buildings opened between 1998 and 2001.
FOUR SOUTH PACIFIC MUSEUMS will explore these regional developments by asking:
-How are they renovating their institutions through exhibitionary, architectural, technological, commercial and entertainment strategies?
-How are they re-n ....Four South Pacific Museums: New Museums and Public Culture. The last decade has witnessed a global explosion in the development of new museums. Nowhere is this more striking than in our region where four major new museum buildings opened between 1998 and 2001.
FOUR SOUTH PACIFIC MUSEUMS will explore these regional developments by asking:
-How are they renovating their institutions through exhibitionary, architectural, technological, commercial and entertainment strategies?
-How are they re-negotiating relationships between indigenous people and museums in post-colonial nations?
This interdisciplinary project will generate significant publications, evaluate contemporary museum practices, enrich debate about the cultural and civic roles of museums, and contribute productively to imagining their future.
Read moreRead less