1. Computer Science Department, University of California, Santa Cruz, California 95064, RSISE, Australian National University, ACT 0200, Canberra, Australia, Rational Discovery LLC, 555 Bryant St. #467, Palo Alto, California 94301, and BioSolveIT GmbH, An der Ziegelei 75, 53757 Sankt Augustin, Germany