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...

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...

Skeptik [1] is a collection of data structures and algorithms focused especially on the compression of formal proofs. Resolution proofs, in...

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...