Supporting adaptive diagrammatic communication. The computing environment of the near future will allow users to access and
interact with digital information using an incredible variety of devices.
Regardless of these changes, humans will still be communicating using
diagrams and sketches. But unlike today where diagrams are static,
lifeless objects reflecting their origin in print media, the computer of
the near future will provide more flexible visual computer interfaces which
support ....Supporting adaptive diagrammatic communication. The computing environment of the near future will allow users to access and
interact with digital information using an incredible variety of devices.
Regardless of these changes, humans will still be communicating using
diagrams and sketches. But unlike today where diagrams are static,
lifeless objects reflecting their origin in print media, the computer of
the near future will provide more flexible visual computer interfaces which
support adaptive layout, user interaction and semantics based retrieval.
Based on geometric constraint solving, this project will provide a
generic computational basis for this radically new view of diagrams.
Read moreRead less
A Unified Grid Programming Methodology for Global e-Science. This project will contribute to the national benefit in three important ways. First, we will build a set of novel e-Science applications as demonstrator projects in areas of national priority. These will have enormous economic impact in areas ranging from environmental management to health. Second, we will build software infrastructure that will have both commercial and strategic value in its own right. Third, we shall build a critical ....A Unified Grid Programming Methodology for Global e-Science. This project will contribute to the national benefit in three important ways. First, we will build a set of novel e-Science applications as demonstrator projects in areas of national priority. These will have enormous economic impact in areas ranging from environmental management to health. Second, we will build software infrastructure that will have both commercial and strategic value in its own right. Third, we shall build a critical mass of expertise that bridges the physical sciences and computer science. The support provided to this proposal will allow multi-disciplinary teams to address scientific problems of significant scale.Read moreRead less
Nuanced recollection and representation: the political and rhetorical strategies of The Peterborough Chronicle. This study will enhance our understanding of essential aspects of historical writing in Anglo-Saxon and early Norman England. The analysis, to be presented in a digital facsimile presentation of this invaluable historical document, will be published in Oxford University's new Bodleian Digital Texts Series. This series, produced at The University of Melbourne with The Bodleian Library ....Nuanced recollection and representation: the political and rhetorical strategies of The Peterborough Chronicle. This study will enhance our understanding of essential aspects of historical writing in Anglo-Saxon and early Norman England. The analysis, to be presented in a digital facsimile presentation of this invaluable historical document, will be published in Oxford University's new Bodleian Digital Texts Series. This series, produced at The University of Melbourne with The Bodleian Library as collaborator, sets the standard internationally for the digital analysis and presentation of materials preserved in manuscript form, and consequently is establishing the University as a centre of excellence for this kind of work.Read moreRead less
Contemporary Australian Photography 1980 to the present. Contemporary Australian art photography has burgeoned over the last 25 years but there is no dedicated book length study in the field. This project will fill this gap by putting Australian photography on an international scholarly agenda, which will generate more scholarship on Australian work. It will have enormous national and community benefit for Australian artists, curators and dealers and the general public who are keenly interested ....Contemporary Australian Photography 1980 to the present. Contemporary Australian art photography has burgeoned over the last 25 years but there is no dedicated book length study in the field. This project will fill this gap by putting Australian photography on an international scholarly agenda, which will generate more scholarship on Australian work. It will have enormous national and community benefit for Australian artists, curators and dealers and the general public who are keenly interested in photography. Read moreRead less
Understanding concurrent programs using rely-guarantee thinking. Multi-core processors are standard in computers and devices (e.g. smart phones) but much of the software available for these machines is either unreliable or does not exploit the available hardware parallelism. This project will devise techniques for designing concurrent software that exploits these platforms while delivering dependable operation.
Improving the integrity of complex software systems. Software systems are among the most complex artifacts created today. The problems of reliability and maintenance of complex software systems are well-known. Improving reliability and lowering production cost continues to be an important challenge. The aim of this project is to create software development tools that allow programmers to express more of their intentions about program behaviour, in a way which can be automatically checked, in ord ....Improving the integrity of complex software systems. Software systems are among the most complex artifacts created today. The problems of reliability and maintenance of complex software systems are well-known. Improving reliability and lowering production cost continues to be an important challenge. The aim of this project is to create software development tools that allow programmers to express more of their intentions about program behaviour, in a way which can be automatically checked, in order to find discrepancies between intended and actual behaviour. This will facilitate the construction of software that is more secure, reliable, maintainable and reusable, that is, improve the integrity of complex software systems.
Read moreRead less
Supporting adaptive, interactive documents. The project will improve comprehensibility of technical material, reduce paper usage, encourage collaborative science, improve the reliability of published science (by allowing post-publication annotation and correction), and improve the accessibility of technical material for readers who are blind or have poor vision. The project also holds considerable potential for supporting Australian companies in the publishing and document processing industries.
Experimental runtime complexity analysis of logic programs. While declarative languages improve programmer productivity, they make it harder for programmers to understand the performance of their code. We will build a tool that will use profiling data and program analysis to allow programmers to predict the running time of their programs.
Genealogies of digital light. The first interdisciplinary account of practice in light technologies, this project will look in detail at the innovation process in the techniques and technologies used in depicting, recording and projecting light. It will explore how contemporary digital media imitate, advance or retreat from the achievements of older techniques and devices; how accidental artefacts of specific media become desirable outcomes in others; and how these past processes impact on desig ....Genealogies of digital light. The first interdisciplinary account of practice in light technologies, this project will look in detail at the innovation process in the techniques and technologies used in depicting, recording and projecting light. It will explore how contemporary digital media imitate, advance or retreat from the achievements of older techniques and devices; how accidental artefacts of specific media become desirable outcomes in others; and how these past processes impact on design and innovation of new tools. Outcomes will include print and online publications, a conference and collaboration between three universities.Read moreRead less
Automatic software verification: harnessing constraint technologies. As we come to rely on software to manage more and more aspects of our lives, the importance of software reliability increases; yet as programs become increasingly complex, reliability becomes ever more elusive. This project will develop automated tools and techniques to ensure that programs do what they were intended to do.