An Exploration of the Ramifications of the Re-conceptualization of Entailment. By revamping the field of deductive logic, the project will enhance the already solid international reputation Australia has in this area. The level of innovation in the work would set an example to other researchers and help to promote innovation in Australia. The project will provide more meaningful and accurate applications of logic in computer science, philosophy and mathematics, and engender smarter use of inform ....An Exploration of the Ramifications of the Re-conceptualization of Entailment. By revamping the field of deductive logic, the project will enhance the already solid international reputation Australia has in this area. The level of innovation in the work would set an example to other researchers and help to promote innovation in Australia. The project will provide more meaningful and accurate applications of logic in computer science, philosophy and mathematics, and engender smarter use of information. There would also be benefits to the teaching of logic in Australia, with the development of sharper analytical skills in students, and the project would lay the groundwork for a textbook on the new logic.Read moreRead less
Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary geneti ....Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary genetics and dynamics of virus populations in order to understand how to control epidemics, develop vaccines and design drugs. The research program is designed to provide new computational modelling tools for this purpose, which may have wider applications as well.
Read moreRead less
Special Research Initiatives - Grant ID: SR0354839
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Transforming Knowledge Spaces: Open Technologies for Research Collaboration and Research Communication
. Technology has the potential to transform the means for scholarly collaboration and communication. Our proposal will achieve this potential, by deploying open source infrastructures to create new communication platforms. The Initiative will itself use collaborative writing systems to construct and energise the Network, which will match researchers requiring these new technologies with thos ....Transforming Knowledge Spaces: Open Technologies for Research Collaboration and Research Communication
. Technology has the potential to transform the means for scholarly collaboration and communication. Our proposal will achieve this potential, by deploying open source infrastructures to create new communication platforms. The Initiative will itself use collaborative writing systems to construct and energise the Network, which will match researchers requiring these new technologies with those who have the skills to build them. The outcomes will be an increase in the efficiency of traditional research collaborations as well as new kinds of collaboration and communication, for researchers and consumers of research across a range of disciplines.Read moreRead less