People tracking by cooperative fusion of RADAR and camera sensors

Accurate 3D tracking of objects from monocular camera poses challenges due to the loss of depth during projection. Although ranging by RADAR has proven effective in highway environments, people tracking remains beyond the capability of single sensor systems. In this paper, we propose a cooperative RADAR-camera fusion method for people tracking on the ground plane. Using average person height, joint detection likelihood is calculated by back-projecting detections from the camera onto the RADAR Range-Azimuth data. Peaks in the joint likelihood, representing candidate targets, are fed into a Particle Filter tracker. Depending on the association outcome, particles are updated using the associated detections (Tracking by Detection), or by sampling the raw likelihood itself (Tracking Before Detection). Utilizing the raw likelihood data has the advantage that lost targets are continuously tracked even if the camera or RADAR signal is below the detection threshold. We show that in single target, uncluttered environments, the proposed method entirely outperforms camera-only tracking. Experiments in a real-world urban environment also confirm that the cooperative fusion tracker produces significantly better estimates, even in difficult and ambiguous situations

The effects on waiting times of expanding provider choice:evidence from a policy experiment

Long waiting times for inpatient treatment in the UK National Health Service have long been a source of great popular and political concern, and therefore a target for policy initiatives. One such is the London Patient Choice Project, under which patients at risk of breaching inpatient waiting time targets were offered the choice of an alternative hospital with a guaranteed shorter wait. This paper uses a difference in difference econometric methodology to infer the impact of the choice project on ophthalmology waiting times. In line with our theoretical predictions, it finds that the project led to lower average waiting times in the London region and a convergence in waiting times amongst London hospitals.

The generalised type-theoretic interpretation of constructive set theory

We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-Löf type theory. The original interpretation treated logic in Martin-Löf type theory via the propositions-as-types interpretation. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive. The primitive treatment of logic in type theories allows us to study reinterpretations of logic, such as the double-negation translation

Innocent strategies as presheaves and interactive equivalences for CCS

Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of plays, and a subcategory V of views. We argue that presheaves on V adequately represent innocent strategies, in the sense of game semantics. We then equip innocent strategies with a simple notion of interaction. This results in an interpretation of CCS. Based on this, we propose a notion of interactive equivalence for innocent strategies, which is close in spirit to Beffara's interpretation of testing equivalences in concurrency theory. In this framework we prove that the analogues of fair and must testing equivalences coincide, while they differ in the standard setting.Comment: In Proceedings ICE 2011, arXiv:1108.014

Predictive feedback control and Fitts' law

Fitts’ law is a well established empirical formula, known for encapsulating the “speed-accuracy trade-off”. For discrete, manual movements from a starting location to a target, Fitts’ law relates movement duration to the distance moved and target size. The widespread empirical success of the formula is suggestive of underlying principles of human movement control. There have been previous attempts to relate Fitts’ law to engineering-type control hypotheses and it has been shown that the law is exactly consistent with the closed-loop step-response of a time-delayed, first-order system. Assuming only the operation of closed-loop feedback, either continuous or intermittent, this paper asks whether such feedback should be predictive or not predictive to be consistent with Fitts law. Since Fitts’ law is equivalent to a time delay separated from a first-order system, known control theory implies that the controller must be predictive. A predictive controller moves the time-delay outside the feedback loop such that the closed-loop response can be separated into a time delay and rational function whereas a non- predictive controller retains a state delay within feedback loop which is not consistent with Fitts’ law. Using sufficient parameters, a high-order non-predictive controller could approximately reproduce Fitts’ law. However, such high-order, “non-parametric” controllers are essentially empirical in nature, without physical meaning, and therefore are conceptually inferior to the predictive controller. It is a new insight that using closed-loop feedback, prediction is required to physically explain Fitts’ law. The implication is that prediction is an inherent part of the “speed-accuracy trade-off”

Common NOTCH3 Variants and Cerebral Small-Vessel Disease.

BACKGROUND AND PURPOSE: The most common monogenic cause of cerebral small-vessel disease is cerebral autosomal dominant arteriopathy with subcortical infarcts and leukoencephalopathy, caused by NOTCH3 gene mutations. It has been hypothesized that more common variants in NOTCH3 may also contribute to the risk of sporadic small-vessel disease. Previously, 4 common variants (rs10404382, rs1043994, rs10423702, and rs1043997) were found to be associated with the presence of white matter hyperintensity in hypertensive community-dwelling elderly. METHODS: We investigated the association of common single nucleotide polymorphisms (SNPs) in NOTCH3 in 1350 patients with MRI-confirmed lacunar stroke and 7397 controls, by meta-analysis of genome-wide association study data sets. In addition, we investigated the association of common SNPs in NOTCH3 with MRI white matter hyperintensity volumes in 3670 white patients with ischemic stroke. In each analysis, we considered all SNPs within the NOTCH3 gene, and within 50-kb upstream and downstream of the coding region. A total of 381 SNPs from the 1000 genome population with a mean allele frequency>0.01 were included in the analysis. A significance level of P<0.0015 was used, adjusted for the effective number of independent SNPs in the region using the Galwey method. RESULTS: We found no association of any common variants in NOTCH3 (including rs10404382, rs1043994, rs10423702, and rs1043997) with lacunar stroke or white matter hyperintensity volume. We repeated our analysis stratified for hypertension but again found no association. CONCLUSIONS: Our study does not support a role for common NOTCH3 variation in the risk of sporadic small-vessel disease.Collection of the UK Young Lacunar Stroke DNA Study (DNA lacunar) was primarily supported by the Wellcome Trust (WT072952) with additional support from the Stroke Association (TSA 2010/01). Genotyping of the DNA lacunar samples, and Dr Traylor, was supported by a Stroke Association Grant (TSA 2013/01). Funding for the genotyping at Massachusetts General Hospital was provided by the Massachusetts General Hospital- Deane Institute for the Integrative Study of Atrial Fibrillation and Stroke and the National Institute of Neurological Disorders and Stroke (U01 NS069208). Dr Rutten-Jacobs was supported by a project grant from the Stroke Association/British Heart Foundation grant (TSA BHF 2010/01). Dr Adib-Samii was supported by a Medical Research Council (United Kingdom) training fellowship. Drs Markus and Bevan were supported by the National Institute for Health Research Cambridge University Hospitals Comprehensive Biomedical Research Centre. Dr Markus was supported by a National Institute for Health Research Senior Investigator award. Dr Thijs was supported by a Clinical Investigator Grant from the scientific research fund, Fonds Wetenschappelijk Onderzoek Flanders. Dr Rost was supported by a National Institute of Neurological Disorders and Stroke grant (R01 NS082285-01).This is the final published version. It first appeared at http://stroke.ahajournals.org/content/46/6/1482.long

Quantum teleportation on a photonic chip

Quantum teleportation is a fundamental concept in quantum physics which now finds important applications at the heart of quantum technology including quantum relays, quantum repeaters and linear optics quantum computing (LOQC). Photonic implementations have largely focussed on achieving long distance teleportation due to its suitability for decoherence-free communication. Teleportation also plays a vital role in the scalability of photonic quantum computing, for which large linear optical networks will likely require an integrated architecture. Here we report the first demonstration of quantum teleportation in which all key parts - entanglement preparation, Bell-state analysis and quantum state tomography - are performed on a reconfigurable integrated photonic chip. We also show that a novel element-wise characterisation method is critical to mitigate component errors, a key technique which will become increasingly important as integrated circuits reach higher complexities necessary for quantum enhanced operation.Comment: Originally submitted version - refer to online journal for accepted manuscript; Nature Photonics (2014

Industrial strategy and the UK regions: Sectorally narrow and spatially blind

The UK government's new Industrial Strategy could have a significant impact on the country's regions and localities. However, this has received little attention to date. The analysis presented here examines the existing location of the sectors targeted by the first phase of the Industrial Strategy Challenge Fund and the location of the R&D laboratories likely to be first in line for funding. In focusing on an extremely narrow range of sectors, the Fund is likely to have limited impact on the UK's persistent regional inequalities. The activities eligible for support account for relatively little of manufacturing or the rest of the economy and the basis of this targeting and its potential distributional consequences are spatially blind. As such, it runs the risk of widening regional divides in prosperity