Parallel Marching Hypercubes Algorithm with Applications to Rigorous Proofs
Logistic resources planning system to assist users geographically dispersed
Emergency services planning system to users geographically dispersed
Combinatorial structures, optimization, and algorithms in theoretical Computer Sci...