Research-Intensive Open-Source Projects at Australia's Leading University
Contributor: itegulov
Skeptik[1] is a tool focused on compression of proofs, but it's also possible to generate proofs using it's infrastructure. There is a new algorithm...
Contributor: Omid Rezvani
Rogas is based on a conceptual view of network analytics, where two families of topological constructs have been introduced and implemented for...
Contributor: Yan Xiao
Developing a visualization tool that can visualize graphs dynamically, and designing dynamic analysis strategies that can provide a flexible and...
Contributor: Ezequiel Postan
Skeptik [1] is a collection of data structures and algorithms focused especially on the compression of formal proofs. Resolution proofs, in...
Contributor: Mathu
Current implementation of PPSPM Software (http://dmm.anu.edu.au/PPSPM/) handles similar patient matching (SPM) based on Bloom filter based masking...
Contributor: JPenington
I will be using investigating the opportunities that Extempore provides in creating a more dynamic workflow for scientists programming simulation and...
