| Affiliation: | (1) Department of computer Science, University of Vermont, Burlington, VT, USA;(2) Department of Computer Science and Engineering, University of Minnesota, Minneapolis, MN, USA;(3) Rulequest Research Pty Ltd, St Ives, NSW, Australia;(4) Department of Electrical and Computer Engineering, University of Texas at Austin, Austin, TX 78712, USA;(5) Department of Computer Science, Hong Kong University of Science and Technology, Honkong, China;(6) AFOSR/AOARD and Osaka University, 7-23-17 Roppongi, Minato-ku, Tokyo 106-0032, Japan;(7) Department of Mathematics, The University of Queensland, Brisbane, Australia;(8) School of Medicine, Griffith University, Brisbane, Australia;(9) Department of Computer Science, University of Illinois at Chicago, Chicago, IL 60607, USA;(10) IBM T. J. Watson Research Center, Hawthorne, NY 10532, USA;(11) National Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, 210093, China;(12) Department of Computer Science and Engineering, University of Minnesota, Minneapolis, MN 55455, USA;(13) Department of Mathematics, Imperial College, London, UK;(14) Salford Systems, San Diego, CA 92123, USA |
