Proximal-Gradient Algorithms for Tracking Cascades Over Social Networks | Synapse