2013 AI applications computation design informatics Information International logic Management mathematics science sciences Security