Bidomain formulation for modeling brain activity propagation | IEEE Conference Publication | IEEE Xplore