We present a differential fixpoint iteration method to be used in static program analyses. The differential method consists of two phases: first we transform the program analysis equations into differential ones, and then we apply a differential fixpoint iteration to the equations computing with the differences from the previous iterations. We implemented the method for the exception analysis o...

This study compares the efficiency of two methods of recruitment into a randomised controlled trial examining the cost-effectiveness of water therapy for elderly people with lower limb osteoarthritis. The direct cost of recruiting patients via general practice was 27.66 Pounds per patient (1.1 personnel hours/patient). The cost per recruited patient from a local newspaper article was 2.72 Pound...

We discuss control systems defined on an infinite horizon, where typically all the associated costs become unbounded as the time grows indefinitely. It is proved, under certain lower semicontinuity and controllability assumptions, that a linear time function can be subtracted from the cost, resulting in a modified cost, which is bounded on the infinite time interval. The cost evaluated over one...

This work concerns controlled Markov chains with denumerable state space, (possibly) unbounded cost function, and an expected average cost criterion. Under a Lyapunov function condition, together with mild continuity-compactness assumptions, a simple necessary and sufficient criterion is given so that the relative value functions and differential costs produced by the value iteration scheme con...

Random speckle structured light can increase the texture information of object surface, so it is added in binocular stereo vision system to solve matching ambiguity problem caused by surface with repetitive pattern or no texture. To improve reconstruction quality, many current researches utilize multiple patterns for projection and use methods based on spatiotemporal correlation. This paper pre...

Privacy-preserving data analysis is a rising challenge in contemporary statistics, as the privacy guarantees of statistical methods are often achieved at expense accuracy. In this paper, we investigate tradeoff between accuracy and mean estimation linear regression, under both classical low-dimensional modern high-dimensional settings. A primary focus to establish minimax optimality for with (ε...