Recomputing the canon: using computational methods to develop an alternative understanding of the history of 20th century architecture. Because buildings are designed to last for many generations, and they represent a substantial economic investment, architecture remains one of the most tangible and persistent reflections of a culture's spiritual, social and political values. This is why it is said, to understand architecture is to understand society and its principles. This research develops an ....Recomputing the canon: using computational methods to develop an alternative understanding of the history of 20th century architecture. Because buildings are designed to last for many generations, and they represent a substantial economic investment, architecture remains one of the most tangible and persistent reflections of a culture's spiritual, social and political values. This is why it is said, to understand architecture is to understand society and its principles. This research develops an alternative history of 20th century architecture that will not only allow for a deeper understanding of, and appreciation for, our own constructed heritage, but will also inform the design and production of future buildings which are both socially and culturally responsive.Read moreRead less
A data driven paradigm for service-oriented system engineering. This project aims to design and develop a data driven paradigm for service-oriented system engineering that allows system engineers and domain experts in different domains to build software systems easily in order to enable fast technology transfer within and across domain boundaries. This model integrates and automates a suite of efficient approaches for system structure determination, validation and recommendation based on keyword ....A data driven paradigm for service-oriented system engineering. This project aims to design and develop a data driven paradigm for service-oriented system engineering that allows system engineers and domain experts in different domains to build software systems easily in order to enable fast technology transfer within and across domain boundaries. This model integrates and automates a suite of efficient approaches for system structure determination, validation and recommendation based on keyword search, subgraph isomorphism and substructure query techniques. This project is expected to significantly accelerate the application of new technologies, for example, big data analytics and Internet of Things, in many of Australia's critical domains such as e-Health, smart cities, and cybersecurity.Read moreRead less
Campus: Building Modern Australian Universities. This project plans to examine the post-World War Two evolution of the Australian university campus. Modern campuses created opportunities for the realisation of innovative solutions in urban planning, architecture and landscape. The project plans to reveal the physical impacts of political, institutional, social and cultural demands through comparative thematic investigation, digital visualisation and detailed case studies. Foregrounding landscape ....Campus: Building Modern Australian Universities. This project plans to examine the post-World War Two evolution of the Australian university campus. Modern campuses created opportunities for the realisation of innovative solutions in urban planning, architecture and landscape. The project plans to reveal the physical impacts of political, institutional, social and cultural demands through comparative thematic investigation, digital visualisation and detailed case studies. Foregrounding landscape and site, the project aims to establish new historical knowledge, identify campuses as catalysts for urban thinking, and demonstrate strategies for their conservation and adaptation to meet future needs in the tertiary sector.Read moreRead less
Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost ....Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost savings, highly beneficial to
the ICT industry. Lessons learned from the demonstration prototype,
can be directly carried over into commercial tool development. In
addition, the project strengthens links to high quality European
research laboratories.Read moreRead less
Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savin ....Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savings, highly beneficial to any industry with a significant ICT component, e.g., defense. Lessons learned from the demonstration prototype, can be directly carried over into commercial tool development. The project strengthens links to high quality European research laboratories.Read moreRead less
Rethinking housing: network analysis for digital collaboration. This project aims to understand persistent housing sector supply problems through analysis of digital collaborative practices. This project expects to generate new knowledge for an emerging housing digital economy using interdisciplinary network theory and data visualisation techniques. The housing sector has long been criticised for shortcomings in affordability, efficiency, quality, social and environmental responsiveness and appr ....Rethinking housing: network analysis for digital collaboration. This project aims to understand persistent housing sector supply problems through analysis of digital collaborative practices. This project expects to generate new knowledge for an emerging housing digital economy using interdisciplinary network theory and data visualisation techniques. The housing sector has long been criticised for shortcomings in affordability, efficiency, quality, social and environmental responsiveness and appropriateness of offerings. Expected outcomes include enhanced housing supply professionals' capability, improved knowledge among public/private sector decision makers responsible for housing supply and development of new digital collaborative behavioural theoretical and practical frameworks for the sector.Read moreRead less
Three-dimensional magnetotelluric and controlled-source electromagnetic modelling and inversion in isotropic and anisotropic media with Gaussian Quadrature Grids. Electromagnetic methods are widely used by geophysicists in many applications, including mineral, petroleum and geothermal exploration, environmental and groundwater characterisation, and in imaging of Earth and other planets. Large data-sets are routinely collected, but to interpret these carefully we need efficient computer modellin ....Three-dimensional magnetotelluric and controlled-source electromagnetic modelling and inversion in isotropic and anisotropic media with Gaussian Quadrature Grids. Electromagnetic methods are widely used by geophysicists in many applications, including mineral, petroleum and geothermal exploration, environmental and groundwater characterisation, and in imaging of Earth and other planets. Large data-sets are routinely collected, but to interpret these carefully we need efficient computer modelling tools that incorporate the complexity of the subsurface. We will develop a new computer algorithm that uses an innovative approach to model the Earth in three dimensions. Computer codes will be available through the national AuScope infrastructure facilities, so that researchers will have free access to algorithms, largely for the first time, to better interpret their data.Read moreRead less
Efficient data mining methods for evidence-based decision making. This project aims to develop efficient data mining methods for causal predictions. Evidence-based decision making (EBD), such as evidence-based medicine and policy, is always preferable. To support EBD, causal predictions forecast how outcomes change when conditions are manipulated. Progress has been made in theoretical research on causal inference based on observational data, but few methods can automatically mine causal signals ....Efficient data mining methods for evidence-based decision making. This project aims to develop efficient data mining methods for causal predictions. Evidence-based decision making (EBD), such as evidence-based medicine and policy, is always preferable. To support EBD, causal predictions forecast how outcomes change when conditions are manipulated. Progress has been made in theoretical research on causal inference based on observational data, but few methods can automatically mine causal signals from the data and methods for efficient causal predictions based on data are even fewer. This project will apply its methods to biomedical problems. The outcomes could support smart and data-driven evidence based decision making in many areas, such as therapeutics and government policy making.Read moreRead less
Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that woul ....Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that would benefit by such technology is the Australian Navy, which is increasingly being confronted with the challenge of integrating off-the-shelf components in large Naval Combat Systems. Read moreRead less
Building and Ethics: Understanding A Corpus of Contemproary Australian Award-Winning Houses as Responses to Ecological, Social and Built Contexts. The project aims to construct an understanding from an ethical framework of the interrelationships between attitudes, perceptions, rhetorical statements about and actual behaviours of a small corpus of contemporary award-winning Australian houses. The project is significant as it will create a conceptual advance in understanding the ways in which note ....Building and Ethics: Understanding A Corpus of Contemproary Australian Award-Winning Houses as Responses to Ecological, Social and Built Contexts. The project aims to construct an understanding from an ethical framework of the interrelationships between attitudes, perceptions, rhetorical statements about and actual behaviours of a small corpus of contemporary award-winning Australian houses. The project is significant as it will create a conceptual advance in understanding the ways in which noted Australian houses respond in a cohesive ethical manner to ecological, social and built contexts. The expected outcomes include documentation of an (ethical) methodology for a cohesive analysis of buildings to assist the building design and construction industry to make informed decisions in housing design and construction in the Australian context(s).Read moreRead less