research
∙
10/24/2019
The use of registry data to extrapolate overall survival results from randomised controlled trials
Background: Pre-marketing authorisation estimates of survival are genera...
share
research
∙
11/26/2015
A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs
POMDPs are standard models for probabilistic planning problems, where an...
research
∙
04/17/2012
Eliminating the Weakest Link: Making Manipulation Intractable?
Successive elimination of candidates is often a route to making manipula...
research
∙
05/27/2011
