We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates. First we define the dual set, of initial configurations from which a non-terminating execution exis ...
We propose a novel method to accurately reconstruct a set of images representing a single scene from a few linear multiview measurements. Each observed image is modeled as the sum of a background image and a foreground one. The background image is common t ...
We propose a novel method to accurately reconstruct a set of images representing a single scene from few linear multi-view measurements. Each observed image is modeled as the sum of a background image and a foreground one. The background image is common to ...
A new approach for computationally efficient estimation of stability factors for parametric partial differential equations is presented. The general parametric bilinear form of the problem is approximated by two affinely parametrized bilinear forms at diff ...
Super-resolution localization microscopy methods such as PALM and STORM have been shown to provide imaging with resolutions up to a few tens of nanometers while using relatively simple setups. Biplane PALM has extended the PALM technique to three-dimension ...
