Approximate algorithms and architectures for area efficient system design. This project aims to develop simpler but reliable image recognition systems that can run on low-cost, small-scale platforms, for use in driver monitoring system (DMS) applications. Cheaper reliable DMS will lead to wider availability of this technology to end users and improve safety of motor vehicles. This project will develop approximate algorithmic and circuit techniques, provide training for research students and buil ....Approximate algorithms and architectures for area efficient system design. This project aims to develop simpler but reliable image recognition systems that can run on low-cost, small-scale platforms, for use in driver monitoring system (DMS) applications. Cheaper reliable DMS will lead to wider availability of this technology to end users and improve safety of motor vehicles. This project will develop approximate algorithmic and circuit techniques, provide training for research students and build capability in the area of approximate computing. It is also expected to lead to commercial products, licences and revenue, which will enable new job creation.
Read moreRead less
On-line structural integrity assessment of advanced composite airframe with senor network. The project addresses frontier technologies that lead to solutions to one of the critical key issues forming the Australian community - online integrity/safety assessment of structures or asset including aircraft, ships, buildings and bridges. The community benefits significantly if potential disaster due to occurrence of damage associated with those structures can be prevented - the ultimate aim of resear ....On-line structural integrity assessment of advanced composite airframe with senor network. The project addresses frontier technologies that lead to solutions to one of the critical key issues forming the Australian community - online integrity/safety assessment of structures or asset including aircraft, ships, buildings and bridges. The community benefits significantly if potential disaster due to occurrence of damage associated with those structures can be prevented - the ultimate aim of researchers for decades. It is imperative that Australian industries remain technologically ahead of international competitors. Outcomes of the project will lead to novel technologies for real-time structural health monitoring and integrity assessment, bringing significant improvement in operation safety and driving down maintenance cost.Read moreRead less
A Paraconsistent Approach to Vagueness. This project will utilise logical techniques that have been developed largely by Australian logicians. This techniques will be brought to bear on the problem of vagueness, one of the most important problems in the philosophy of logic. The project will thus greatly enhance Australia's already strong international reputation in logic and philosophical logic.
A hybrid approach to predict the structure-borne noise transmission in ship structures using a waveguide method and Statistical Energy Analysis. The prediction of structure-borne noise transmission in large welded ship structures is required, in order to design maritime vessels with greater ship power and reduced weight, without increasing the noise levels. The aim of this project is to develop a hybrid approach for structural dynamic analyses using an analytical waveguide method and Statistical ....A hybrid approach to predict the structure-borne noise transmission in ship structures using a waveguide method and Statistical Energy Analysis. The prediction of structure-borne noise transmission in large welded ship structures is required, in order to design maritime vessels with greater ship power and reduced weight, without increasing the noise levels. The aim of this project is to develop a hybrid approach for structural dynamic analyses using an analytical waveguide method and Statistical Energy Analysis. The theoretical estimation and associated experimental measurement of the SEA parameters (modal density, coupling and internal loss factors) form the basis for the hybrid approach. The outcomes will result in improved predictive techniques for dynamic analyses of large complex resonant structures.Read moreRead less
A Computational Solution to the Problem of Reference. This project will attack the core problem of philosophy of language by developing and applying tools from the theory of algorithmic complexity. Groundbreaking pure research at the intersection of logic, language, information and computation is the lifeblood of commercial research and development in information technology and telecommunications. The project will foster a cross-fertilisation of ideas between philosophy, computer science, math ....A Computational Solution to the Problem of Reference. This project will attack the core problem of philosophy of language by developing and applying tools from the theory of algorithmic complexity. Groundbreaking pure research at the intersection of logic, language, information and computation is the lifeblood of commercial research and development in information technology and telecommunications. The project will foster a cross-fertilisation of ideas between philosophy, computer science, mathematics, linguistics and psychology, and will provide students with skills and analytic techniques that will be valuable in future pure and applied research.Read moreRead less
Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, ....Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, which will in turn provide benefits in computer science and artificial intelligence, by providing a framework for logicians, computer scientists and researchers in artificial intelligence to discuss issues concerning knowledge, belief and rationality.Read moreRead less
Generalised topological spaces. Pure mathematics creates abstractions of real-world entities; one such is the idea of a 'topological space', which abstracts from geometric forms like cubes and toruses. But topological spaces fail to capture geometric structures arising in areas like quantum physics; and this project seeks to rectify this, by developing a new more general notion.
Natural Semantic Metalanguage (NSM): formalisation, computation, referential semantics. Meaning is what links language with culture, communication and cognition but strangely enough, most linguists do not regard semantics (the systematic study of meaning) as a central part of their discipline. This project pursues basic research in the leading meaning-based theory of language: the natural semantic metalanguage (NSM) theory, which has been originated and developed primarily in Australia. It aims ....Natural Semantic Metalanguage (NSM): formalisation, computation, referential semantics. Meaning is what links language with culture, communication and cognition but strangely enough, most linguists do not regard semantics (the systematic study of meaning) as a central part of their discipline. This project pursues basic research in the leading meaning-based theory of language: the natural semantic metalanguage (NSM) theory, which has been originated and developed primarily in Australia. It aims to make this theory more precise, to work out how it can be used by computers, and to connect it with other, more mathematically inspired approaches to meaning.Read moreRead less
The Grammar of Biblical Hebrew: Functional and Corpus Analyses. The project promotes original, innovative research in Australia into Biblical Hebrew linguistics. Advancement in the knowledge of linguistics increases our understanding of language and its central role in cognition, social interaction, and culture. Biblical Hebrew is the language of the Hebrew Bible, a text sacred to Judaism and Christianity, and of interest to the wider Australian public. The Hebrew Bible is inextricably bound to ....The Grammar of Biblical Hebrew: Functional and Corpus Analyses. The project promotes original, innovative research in Australia into Biblical Hebrew linguistics. Advancement in the knowledge of linguistics increases our understanding of language and its central role in cognition, social interaction, and culture. Biblical Hebrew is the language of the Hebrew Bible, a text sacred to Judaism and Christianity, and of interest to the wider Australian public. The Hebrew Bible is inextricably bound to these two religious traditions that continue to influence substantially Australian society and societies across the world. This project furthers Australia's capacity to contribute to the vital task of interpreting the Hebrew Bible in contemporary, responsible ways and translating it into the world's languages.Read moreRead less