Supporting adaptive, interactive documents. The project will improve comprehensibility of technical material, reduce paper usage, encourage collaborative science, improve the reliability of published science (by allowing post-publication annotation and correction), and improve the accessibility of technical material for readers who are blind or have poor vision. The project also holds considerable potential for supporting Australian companies in the publishing and document processing industries.
Researching, designing and evaluating online learning tools to effectively utilise audio-visual archives: critical literacies through rich task interactivity. In collaboration with Film Australia and award winning eLearning company Crank Media, researchers will prototype next-generation broadband learning tools that continually assess and respond to an individual user's knowledge gaps, and enable access to digital resources derived from personal learning styles and preferences. Underpinned by di ....Researching, designing and evaluating online learning tools to effectively utilise audio-visual archives: critical literacies through rich task interactivity. In collaboration with Film Australia and award winning eLearning company Crank Media, researchers will prototype next-generation broadband learning tools that continually assess and respond to an individual user's knowledge gaps, and enable access to digital resources derived from personal learning styles and preferences. Underpinned by distributed learning theory and working with ?rich task? activities within a content aggregation scaffolding the research will design and field test innovative online study and revision activities. It will engage learners in recognizing and switching their learning paradigms appropriately, and in articulating these decisions through dynamic content pathways utilizing Film Australia's invaluable archives.Read moreRead less
A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, an ....A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, and defense. This project will develop a novel model and language for analyzing and programming device ecologies. This will be an Australian contribution towards techniques for constructing advanced applications that work over the computing infrastructure of the future.Read moreRead less