Exploiting high resolution images of the retina to customise vision tests. This project will make vision tests more accurate and faster by using a person's individual eye anatomy to customise the test. The basic understandings discovered in this project are expected to be applied in clinical and research settings thus saving sight, dollars and time.
New, Efficient Tests That Map Both Central and Peripheral Vision. This project seeks to develop a new, combined approach for quantifying both central and peripheral vision with a single test. Current methods for testing far peripheral vision are not efficient and not fully automated. Yet peripheral vision is important for tasks involving navigation and hazard avoidance such as driving. The project intends to invent and test new approaches to sampling and measuring the spatial extent of vision. T ....New, Efficient Tests That Map Both Central and Peripheral Vision. This project seeks to develop a new, combined approach for quantifying both central and peripheral vision with a single test. Current methods for testing far peripheral vision are not efficient and not fully automated. Yet peripheral vision is important for tasks involving navigation and hazard avoidance such as driving. The project intends to invent and test new approaches to sampling and measuring the spatial extent of vision. The anticipated algorithms will be more accurate and efficient than current tests, will be suitable for older adults, and will enable ready assessment of vision for occupational tasks.Read moreRead less
Machine-checked Foundations for Verified Vote Counting. The project will deliver a general methodology for developing formal logical specifications of the Acts of Parliament for many common systems for counting votes in preferential elections. The project will deliver corresponding computer programs to count votes according to these systems and will deliver formal independently checkable proofs that the programs meet their specification. Such formally verified computer programs provide a legally ....Machine-checked Foundations for Verified Vote Counting. The project will deliver a general methodology for developing formal logical specifications of the Acts of Parliament for many common systems for counting votes in preferential elections. The project will deliver corresponding computer programs to count votes according to these systems and will deliver formal independently checkable proofs that the programs meet their specification. Such formally verified computer programs provide a legally sound basis for counting votes by computer. The methodology will also allow electoral commissioners to improve the natural language descriptions of the relevant Acts of Parliament which are often woefully out of date with current practice.Read moreRead less