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.
Gene Mining For Novel Molecular Determinants Of The Skeleton
Funder
National Health and Medical Research Council
Funding Amount
$633,447.00
Summary
Musculoskeletal conditions affect over 6 million Australians and research has shown that genetic background strongly influences development of these disorders. This project will identify genes that have a role in controlling bone and joint architecture. Identification of these genes will assist in the development of treatments targeting bone disorders and allow screening for these genes to provide an opportunity for people to take preventative action to improve bone and joint health.
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
Making better decisions about built assets: learning by doing. This research will assist the built environment professions and their clients to make better decisions about new developments through a novel 'learning by doing' approach. Used successfully in other fields such as natural resource management, this idea will capitalise on the large number of asset investments undertaken to benchmark original stakeholder intentions and aspirations against the reality of current performance. Decisions w ....Making better decisions about built assets: learning by doing. This research will assist the built environment professions and their clients to make better decisions about new developments through a novel 'learning by doing' approach. Used successfully in other fields such as natural resource management, this idea will capitalise on the large number of asset investments undertaken to benchmark original stakeholder intentions and aspirations against the reality of current performance. Decisions will be re-evaluated in the context of contemporary economic, social and environmental criteria to enable existing multi-criteria models to deliver more sustainable outcomes that are also feasible and in the national interest, and consequently minimise the industry's current exposure to future climate change.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
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