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
A National Population-based Study Of Rheumatic Heart Disease In Pregnancy
Funder
National Health and Medical Research Council
Funding Amount
$877,826.00
Summary
Whilst overall a rare disease, Indigenous peoples have disproportionately high rates of rheumatic heart disease (RHD). This study explores the prevalence and distribution of RHD in pregnancy in Australia and New Zealand. It details current management, diagnostic and referral process and risk factors. Key attributes of culturally safe models of care for RHD in pregnancy are explored, particularly as they relate to Indigenous women. Findings will inform policy, guidelines and education resources.