Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implement ....Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implementations must be formally well grounded. This is an important but difficult challenge. This project will systematically develop a framework by combining modal-logics to adequately capture and reason about temporal, epistemic and social aspects of dynamic and multi-agent systems. The combined logics would be evaluated on practical applications.
Read moreRead less
Special Research Initiatives - Grant ID: SR0354513
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
The Computational Processing of Human Language. Language is what makes us distinctly human; consequently, language attracts interest from many fields of research, particularly linguistics, psychology, and cognitive science. Moreover, language is the primary medium for the storage and dissemination of knowledge, a fact that has drawn many computer scientists to attempt to process, analyse and understand language. This network will bridge the many disciplines that are concerned with language, ex ....The Computational Processing of Human Language. Language is what makes us distinctly human; consequently, language attracts interest from many fields of research, particularly linguistics, psychology, and cognitive science. Moreover, language is the primary medium for the storage and dissemination of knowledge, a fact that has drawn many computer scientists to attempt to process, analyse and understand language. This network will bridge the many disciplines that are concerned with language, explore new ways in which computational models inform our understanding of human languages, and exploit new opportunities for applying theories of language in the development of human language technologies.Read moreRead less
RNA structure prediction by deep learning and evolution-derived restraints. This project addresses the long-standing structure-folding problem of Ribonucleic acids (RNA) whose solution is essential for elucidating the roles of noncoding RNAs in living organisms. The proposed approach will detect hidden homologous sequences and enhance evolutionary covariation signals by developing new algorithms for search and smarter neural networks for deep learning. The project expects to generate new tools ....RNA structure prediction by deep learning and evolution-derived restraints. This project addresses the long-standing structure-folding problem of Ribonucleic acids (RNA) whose solution is essential for elucidating the roles of noncoding RNAs in living organisms. The proposed approach will detect hidden homologous sequences and enhance evolutionary covariation signals by developing new algorithms for search and smarter neural networks for deep learning. The project expects to generate new tools for structure-based probing of RNA evolutional and functional mechanisms. The outcomes should provide significant benefits by high-accuracy computational modelling of RNA structures that are difficult and costly to solve by current structural biology techniques but important for enabling biotech and clinical applications.Read moreRead less
A process model of visual working memory. This project aims to develop a process model of encoding of items into memory. Working memory is central to almost all cognitive functions, but little is known about short-term memory for visual information. Progress in this area is slow because of a focus on models that do not specify the processes underlying memory, and no model explains the processes that would limit the number of items the memory can hold to four. A process model is expected to addre ....A process model of visual working memory. This project aims to develop a process model of encoding of items into memory. Working memory is central to almost all cognitive functions, but little is known about short-term memory for visual information. Progress in this area is slow because of a focus on models that do not specify the processes underlying memory, and no model explains the processes that would limit the number of items the memory can hold to four. A process model is expected to address fundamental issues in visual working memory.Read moreRead less
Cortical regulation of attentional capture. The proposed experiments examine how brain mechanisms interact to determine whether a stimulus will capture our attention, distracting us from the task at hand. The experiments test competing theories of attentional control and have implications for clinical populations (for example, stroke) that have difficulty avoiding distraction.
The role of relational information in the guidance of visual attention. The project aims to develop a new theory of attention that describes more accurately which items in the visual field can pop out and grab attention. The potential practical gains of the project are high, as it can lead to significant advancements in robotic vision, transport safety, and provide insights into clinical disorders such as ADHD.