"Halosimplex"@cs .