Computational Unique Continuation with Finite Dimensional Neumann Trace | Synapse