The interaction between residential preferences and dwellings is a complex system whose function thus far remains insufficiently explored. In this paper, we investigate housing functions as orchestrators of households’ residential mobility in the context o ...
We characterize the solution of a broad class of convex optimization problems that address the reconstruction of a function from a finite number of linear measurements. The underlying hypothesis is that the solution is decomposable as a finite sum of compo ...
We find the complete set of conditions satisfied by the forward 2 -> 2 scattering amplitude in unitary and causal theories. These are based on an infinite set of energy dependent quantities (the arcs) which are dispersively expressed as moments of a positi ...
We use photometric redshifts and statistical background subtraction to measure stellar mass functions in galaxy group-mass (4.5-8 x 10(13) M-circle dot) haloes at 1 < z < 1.5. Groups are selected from COSMOS and SXDF, based on X-ray imaging and sparse spec ...
We present an automated approach to verify the correctness of programming assignments, such as the ones that arise in a functional programming course. Our approach takes as input student submissions and reference solutions, and uses equivalence checking to ...
