AOSSIE - The Australian National University's Open-Source Software Innovation and Education
Research-Intensive Open-Source Projects at Australia's Leading University
- 6
- Projects
- 1
- Years accepted
- 6
- In 2016
Projects by year
62016
6 acceptedShow
Implementation of theorem prover based on Skeptik's data structures and Conflict Resolution algorithm
Accepted project · by 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...
Local Community Detection Search Using a Conceptual View
Accepted project · by Omid Rezvani
Rogas is based on a conceptual view of network analytics, where two families of topological constructs have been introduced and implemented for...
Developing a visualization tool that can visualize graphs dynamically, and designing dynamic analysis strategies that can provide a flexible and...
Parsers implementation and extension of proof compression algorithms from propositional to first-order logic
Accepted project · by Ezequiel Postan
Skeptik [1] is a collection of data structures and algorithms focused especially on the compression of formal proofs. Resolution proofs, in...
Private medical data comparison functions for similar patient matching
Accepted project · by Mathu
Current implementation of PPSPM Software (http://dmm.anu.edu.au/PPSPM/) handles similar patient matching (SPM) based on Bloom filter based masking...
I will be using investigating the opportunities that Extempore provides in creating a more dynamic workflow for scientists programming simulation and...
