2016
6 projects
Implementation of theorem prover based on Skeptik's data structures and Conflict Resolution algorithm
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
Rogas is based on a conceptual view of network analytics, where two families of topological constructs have been introduced and implemented for...
Dynamic Network Analysis in Rogas
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
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
Current implementation of PPSPM Software (http://dmm.anu.edu.au/PPSPM/) handles similar patient matching (SPM) based on Bloom filter based masking...
Extempore - Live coding with simulation codes
I will be using investigating the opportunities that Extempore provides in creating a more dynamic workflow for scientists programming simulation and...