An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving d ....RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving deduction, induction, and nonmonotonic reasoning. We intend the system to become a standard tool for tackling a broad range of applications, and the underlying theory to provide new insights on the logical foundations of Artificial Intelligence.
Read moreRead less
Continental Theory in the Wake of Cognitive Literary Studies. In an era that is plainly 'post-theoretical', the recent pioneering attempts to bridge the gap between literary studies and the cognitive neurosciences have far-reaching consequences for the study of English literature. This project will address those consequences by implementing a comparative critical study of continental theory and cognitive poetics, and through this comparison enlarge and refine urgent debates about the future of t ....Continental Theory in the Wake of Cognitive Literary Studies. In an era that is plainly 'post-theoretical', the recent pioneering attempts to bridge the gap between literary studies and the cognitive neurosciences have far-reaching consequences for the study of English literature. This project will address those consequences by implementing a comparative critical study of continental theory and cognitive poetics, and through this comparison enlarge and refine urgent debates about the future of the humanities and the kinds of teaching practices carried out therein. The project will therefore provide important groundwork for future research carried out at the frontier of literature, critical theory and cognitive science.Read moreRead less
Bilingualism in the bush: reconceptualising 'speech community' in immigrant family language maintenance in regional Australia. This project will investigate how immigrant families in regional Australian centres maintain their children's home language(s) in the absence of the critical mass of speakers, networks and resources found in metropolitan areas. It will establish how such families can best be supported through community and educational services to ensure that children grow up bilingual, w ....Bilingualism in the bush: reconceptualising 'speech community' in immigrant family language maintenance in regional Australia. This project will investigate how immigrant families in regional Australian centres maintain their children's home language(s) in the absence of the critical mass of speakers, networks and resources found in metropolitan areas. It will establish how such families can best be supported through community and educational services to ensure that children grow up bilingual, with the attendant benefits of improved cognitive, social and academic skills. The project will examine home practices and the interface between home and early childhood services. Outcomes will include a better understanding of successful family language planning practices in isolated regions and a reconceptualisation of 'speech community' through communications technologies.Read moreRead less
The Language of Old Norse Poetry, an important intellectual achievement of the Western Middle Ages. Old Norse poetry, produced from the Viking Age until the end of the Middle Ages, is one of the most important achievements in European literature. Thematically, it ranges from praise of Viking kings to Christian devotion; in metre and style it is extremely elaborate. It has applied value to a range of disciplines, including history, archaeology, linguistics and religious studies. This project will ....The Language of Old Norse Poetry, an important intellectual achievement of the Western Middle Ages. Old Norse poetry, produced from the Viking Age until the end of the Middle Ages, is one of the most important achievements in European literature. Thematically, it ranges from praise of Viking kings to Christian devotion; in metre and style it is extremely elaborate. It has applied value to a range of disciplines, including history, archaeology, linguistics and religious studies. This project will make Norse poetic language more accessible to scholars and the general public by providing new resources in the English language for its understanding, superseding previous studies because of the use of fully revised primary data.Read moreRead less
Knowledge transfer and administrative professionalism in a pre-typographic society: observing the scribe at work in Roman and early Islamic Egypt. This examination of documents on papyrus from first millennium CE Egypt concentrates not on scribes but the evidence for the activity of writing. It will illuminate ancient scribal practice while informing understandings of ancient education, administrations, and the way knowledge has been passed down from antiquity to the present.
Metrolingual language practices in four urban sites: talking in the city. Metrolingualism has recently been coined as a term to describe the use of multilingual resources in urban contexts. Through detailed analysis of language use in four urban sites, this project will develop our understanding of metrolingual language practices as well as our understanding of the ways in which urban spaces are managed linguistically.
The edition, translation, and study of the newly discovered Senior collection of Buddhist manuscripts from ancient Gandhara. This research will produce scholarly editions, translations, and studies of several of the newly discovered Buddhist manuscripts from ancient Gandhara (modern Afghanistan/Pakistan). These manuscripts, which are the earliest Buddhist manuscripts yet discovered (c. 1st century A.D.), represent the first major find of early Buddhist texts from this region, and some of the fi ....The edition, translation, and study of the newly discovered Senior collection of Buddhist manuscripts from ancient Gandhara. This research will produce scholarly editions, translations, and studies of several of the newly discovered Buddhist manuscripts from ancient Gandhara (modern Afghanistan/Pakistan). These manuscripts, which are the earliest Buddhist manuscripts yet discovered (c. 1st century A.D.), represent the first major find of early Buddhist texts from this region, and some of the first examples of the literature of the Dharmaguptaka school of Buddhism. This research will substantially increase our understanding of the history of Buddhism in this region, of the formation of Buddhist literature, of Gandhari, the ancient language of this region, and of this little understood school of Buddhism.Read moreRead less
Reverse Diaspora: Australian Expatriate Writers in Britain since the 1830s. The changing relations between Australia and Britain are explored in this project through writers of literature and drama. Reverse Diaspora explores the aspirations, problems and achievements of eighty expatriate Australians who have chosen to live and work in Britain since the early nineteenth century. From one point of view they represent a 'brain drain'; from another they are exporters of Australian ideas, experience ....Reverse Diaspora: Australian Expatriate Writers in Britain since the 1830s. The changing relations between Australia and Britain are explored in this project through writers of literature and drama. Reverse Diaspora explores the aspirations, problems and achievements of eighty expatriate Australians who have chosen to live and work in Britain since the early nineteenth century. From one point of view they represent a 'brain drain'; from another they are exporters of Australian ideas, experience and talent. This study will increase knowledge and understanding of the lives, creative achievements and public impact of Australians abroad. It will enhance Australians' capacity to interpret their national culture in their region and the world.Read moreRead less
Linguistic individuation in the plays of Shakespeare and his peers, 1576-1599. The question of how differently each speaker or writer uses language is important in everything from plagiarism to the definition of artistic genius. The project makes Shakespearean drama before 1600 a definitive test case of this wider problem of individuality in language. Australians are inheritors of the Western tradition of individual self-determination and self-expression; the project will help clarify one of the ....Linguistic individuation in the plays of Shakespeare and his peers, 1576-1599. The question of how differently each speaker or writer uses language is important in everything from plagiarism to the definition of artistic genius. The project makes Shakespearean drama before 1600 a definitive test case of this wider problem of individuality in language. Australians are inheritors of the Western tradition of individual self-determination and self-expression; the project will help clarify one of the main assumptions behind this tradition. Australia is also an inheritor of the English-language culture of which Shakespeare is a key element, and the project will enrich the understanding of this culture through new light on his beginnings.Read moreRead less