Investigations into machine learning applications in link analysis. Link analysis is an emerging tool for the detection of patterns in structured data. The detection of pattern in such data can lead to the detection of fraud occurrence, security breaches in computer systems, and patterns of social interactions with a community. It is also popularly applied to applications such as Web search engine designs and marketing analysis. This project aims to advance the area of link analysis by allowing ....Investigations into machine learning applications in link analysis. Link analysis is an emerging tool for the detection of patterns in structured data. The detection of pattern in such data can lead to the detection of fraud occurrence, security breaches in computer systems, and patterns of social interactions with a community. It is also popularly applied to applications such as Web search engine designs and marketing analysis. This project aims to advance the area of link analysis by allowing the incorporation of contextual information which accounts for relationships among actors properly. Advances in link detection will allow improvements in security and Web services on which a wide field of national bodies rely. This project can help to place Australia at the forefront of this research area.Read moreRead less
Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace de ....Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace determination to characterise their computational efficiency, accuracy and effectiveness in various data scenarios. The analysis will lead to improved designs for eigenvalue/eigenspace algorithms, as well as design tools to engineer algorithms to specific situations.Read moreRead less
Interviewing eyewitnesses: Enhancing output quantity and diagnosing accuracy. Although there has been general international agreement that open-ended police interviews (e.g., the Cognitive Interview) enhance output quantity and accuracy, it is also well documented that police investigators often depart from these procedures in order to probe for additional information. An approach to eyewitness interviewing that allows police to elicit greater detail while able to assess likely accuracy not only ....Interviewing eyewitnesses: Enhancing output quantity and diagnosing accuracy. Although there has been general international agreement that open-ended police interviews (e.g., the Cognitive Interview) enhance output quantity and accuracy, it is also well documented that police investigators often depart from these procedures in order to probe for additional information. An approach to eyewitness interviewing that allows police to elicit greater detail while able to assess likely accuracy not only has the potential to be widely adopted but would also provide a major breakthrough in the investigation of crimes and other incidents where interview data are so critical. This in turn would further enhance the profile of Australian (and UK) forensic science.Read moreRead less
Integrating Models of Memory for Serial Order. This research aims to compare and integrate computational models of memory for serial order. The applicants have independently developed theoretically novel models, and this collaboration will enable them to combine and strengthen their complementary perspectives.
Much psychologically important processing, for example speech perception and spelling, requires the representation and reproduction of serial order information. Existing models account ....Integrating Models of Memory for Serial Order. This research aims to compare and integrate computational models of memory for serial order. The applicants have independently developed theoretically novel models, and this collaboration will enable them to combine and strengthen their complementary perspectives.
Much psychologically important processing, for example speech perception and spelling, requires the representation and reproduction of serial order information. Existing models account for a wide range of data and collectively represent exciting progress in the understanding of basic mechanisms of memory. Can these models be unified and reconciled? To date, detailed comparisons of models are lacking. This proposal is for the applicants to elaborate and unify their contrasting theoretical approaches.
Read moreRead less
Music cognition in infants, children and adults. Music is an important tool for the expression of emotion and transmission of culture. One approach to understanding why music is a human universal is to examine how people process musical structure - the simultaneous and sequential pitch relations among tones of musical pieces. We investigate the way humans acquire implicit and explicit knowledge of such relations and the way exposure to music influences acquisition. Three experiments involving in ....Music cognition in infants, children and adults. Music is an important tool for the expression of emotion and transmission of culture. One approach to understanding why music is a human universal is to examine how people process musical structure - the simultaneous and sequential pitch relations among tones of musical pieces. We investigate the way humans acquire implicit and explicit knowledge of such relations and the way exposure to music influences acquisition. Three experiments involving infants, children and adults will compare formal musical training with incidental learning. Results will increase knowledge of the development of auditory perception and music cognition. Infant perceptual predispositions hold implications for music education.Read moreRead less
The role of time and similarity in short-term memory. The project examines the role of time and similarity in memory for serial order, with the long-term goal to construct a new computational model of short-term memory. The investigators are internationally known for their models, and the collaboration will enable them to combine their complementary perspectives into a unifying theory. Theory construction will be guided by two sets of studies: The first will delineate the circumstances, if any, ....The role of time and similarity in short-term memory. The project examines the role of time and similarity in memory for serial order, with the long-term goal to construct a new computational model of short-term memory. The investigators are internationally known for their models, and the collaboration will enable them to combine their complementary perspectives into a unifying theory. Theory construction will be guided by two sets of studies: The first will delineate the circumstances, if any, under which temporal separation at encoding affects memory. So far, we have shown that temporal distinctiveness has no effect on memory, unless people use temporal gaps to 'chunk' the list. The second set of studies will examine whether phonological similarity determines the strength of encoding.Read moreRead less
Time and Updating of Memory. What could be simpler than reading a few items, such as the digits in a phone number, and recalling them in the right order a short while later? Notwithstanding its apparent simplicity, this short-term serial recall task underlies sophisticated language abilities such as vocabulary acquisition and utterance production. Similarly, serial retention can be a critical element in mental arithmetic. A better understanding of short-term memory for serial order therefore has ....Time and Updating of Memory. What could be simpler than reading a few items, such as the digits in a phone number, and recalling them in the right order a short while later? Notwithstanding its apparent simplicity, this short-term serial recall task underlies sophisticated language abilities such as vocabulary acquisition and utterance production. Similarly, serial retention can be a critical element in mental arithmetic. A better understanding of short-term memory for serial order therefore has wide implications across many areas of education, in particular in primary school settings. The community benefit of this project arises from the improved teaching methods that can be developed on the basis of these results.Read moreRead less
Sequence Data Analysis. Sequence data analysis is about extracting information included in sequences of data in which the order of sequence matters. The project aims to work with two well known research groups in Germany with complimentary expertise to support two applications in this area: analysis of biological sequence data and detection and classification of sequence images, both with a very high significance to research and industry. It is planned to investigate on the diversity and the com ....Sequence Data Analysis. Sequence data analysis is about extracting information included in sequences of data in which the order of sequence matters. The project aims to work with two well known research groups in Germany with complimentary expertise to support two applications in this area: analysis of biological sequence data and detection and classification of sequence images, both with a very high significance to research and industry. It is planned to investigate on the diversity and the commonality in both applications leading to better and faster algorithms and their hardware implementations. It is expected to train high quality postgraduates and postdoctoral fellows at Melbourne and the host institutions.Read moreRead less
A philosophical and empirical approach to the nature of perception and belief. This project offers substantial benefits - intellectual, practical, and ultimately economic - to the nation. On the intellectual side, the project will contribute to research output and will further enhance the national research strength in the study of delusions, rationality, and agency, within both philosophy of mind and inter-disciplinary cognitive science. On the practical side, the project offers the prospect of ....A philosophical and empirical approach to the nature of perception and belief. This project offers substantial benefits - intellectual, practical, and ultimately economic - to the nation. On the intellectual side, the project will contribute to research output and will further enhance the national research strength in the study of delusions, rationality, and agency, within both philosophy of mind and inter-disciplinary cognitive science. On the practical side, the project offers the prospect of considerable benefits for the community as improved theories of the nature and causes of delusions generate strategies for earlier detection or even prevention of the development of delusions, new methods of therapy for patients, and better understanding for families.Read moreRead less
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less