-
1
-
2
All holographic four-point functions in all maximally supersymmetric CFTs
Published 2021“…Despite relentless efforts over the past two decades, a full solution to this problem was not found. In this article, we introduce a powerful new method that solves this long-standing problem. …”
Journal article -
3
Model checking liveness properties of higher-order functional programs
Published 2011“…Recent advances in the model checking of recursion schemes have opened the prospect of a model checking approach to the verification of higher-order functional programs. We formulate the Resource Usage Verification Problem in a general (liveness) setting, where good behaviours are specified by alternating parity (word) automata; and we give a sound and complete decision procedure by reduction to the problem of model checking higher-order recursion schemes (HORS) against alternating parity tree automata. …”
Report -
4
Made to measure: bespoke landmarks for 24-Hour, all-weather localisation with a camera
Published 2016“…Conventional approaches to the localisation problem rely on point-features such as SIFT, SURF or BRIEF to associate landmark observations in the live image with landmarks stored in the map; however, these features are brittle to the severe appearance change routinely encountered in outdoor environments. …”
Conference item -
5
Bone health of immigrant Chinese women living in New York City.
Published 2006“…Osteoporosis is a serious national and global public health problem, but data on bone health are limited for Asian women living in the U.S., the majority of whom are Chinese. …”
Journal article -
6
Talking delicately: Providing opportunistic weight loss advice to people living with obesity
Published 2022“…Obesity is a major worldwide public health problem. Clinicians are asked to communicate public health messages, including encouraging and supporting weight loss, during consultations with patients living with obesity. …”
Journal article -
7
Mental health in South African adolescents living with HIV: Correlates of internalising and externalising symptoms
Published 2018“…Adopting a socioecological perspective, we aimed to identify correlates of internalising and externalising symptoms in a large, representative sample of South African adolescents living with HIV. …”
Journal article -
8
-
9
-
10
Evidence for Better Lives Study: a comparative birth-cohort study on child exposure to violence and other adversities in eight low- and middle-income countries – foundational resea...
Published 2020“…Introduction<br> Violence against children is a health, human rights and social problem affecting approximately half of the world’s children. …”
Journal article -
11
-
12
The change you want to see
Published 2023“…We live in a dynamic world where things change all the time. …”
Conference item -
13
Cooperation, behavioural synchrony and status in social networks.
Published 2012“…In this paper we present a new approach to modelling group coordination, based on dyadic synchronisation in a non-panmictic, structured network (a problem that applies widely to all species that live in medium to large groups). …”
Journal article -
14
Justice in Health
Published 2017“…<p>Within and across all societies, some people live longer and healthier lives than others. …”
Thesis -
15
'Hepitopes': A Database of HLA Class I Epitopes in Hepatitis B Virus (HBV)
Published 2016“…Defining the optimum natural immune responses that hinge on HLA-class I mediated epitope presentation to CD8+ cytotoxic T lymphocytes may help to inform novel immunotherapeutic strategies. We therefore performed a systematic literature review to identify all published HLA Class I epitopes in HBV. …”
Dataset -
16
The equity impact of community women’s groups to reduce neonatal mortality: a meta-analysis of four cluster randomized trials
Published 2017“…Methods:We conducted a meta-analysis of all four participatory women's group interventions that were shown to be highly effective in cluster randomized trials in India, Nepal, Bangladesh and Malawi. …”
Journal article -
17
Investigating the communication of mismatch recognition and strand incision in the DNA mismatch repair pathway
Published 2022“…To tackle this long standing question, we used single-molecule tracking of fluorescently-labeledMutS,MutL, andMutH proteins in live E. coli cells. …”
Thesis -
18
Vision-only localisation under extreme appearance change
Published 2016“…We present a probabilistic framework for predicting which experiences are most likely to match successfully with the live image at run-time, conditioned on the robot's prior use of the map. …”
Thesis -
19
Decidability boundaries in linear dynamical systems
Published 2017“…Finally, we show how to decide whether all solutions of a given linear ordinary differential equation starting in a given convex polytope eventually leave it; this problem, which we call the "Polytope Escape Problem'', relates to the liveness of states in linear hybrid automata.…”
Thesis -
20
Clumsy Solutions for a Complex World
Published 2006“…Each of these perspectives: (1) distils certain elements of experience and wisdom that are missed by the others; (2) provides a clear expression of the way in which a significant portion of the populace feels we should live with one another and with nature; and (3) needs all of the others in order to be sustainable. …”
Journal article