Nonproliferation informatics: Employing Bayesian analysis, agent based modeling, and information theory for dynamic proliferation pathway studies | IEEE Conference Publication | IEEE Xplore