Deep-brain stimulation at high frequency is now considered the most effective neurosurgical therapy for movement disorders. An electrode is chronically implanted in a particular area of the brain and, when continuously stimulated, it significantly alleviates motor symptoms. In Parkinson's disease, common target nuclei of high-frequency stimulation (HFS) are ventral thalamic nuclei and basal gan...

Discounted Computation Tree Logic is a logic that measures utility (as a real value in the interval [0,1]) instead of discrete truth (only 0 or 1). It is able to express properties that give more weight to the near future than to the far future. This article extends earlier work on DCTL with time, to continuous-time Markov chains and continuoustime Markov decision processes. It presents model c...

ity within the United States has led to much debate about its sources and causes. It is hardly surprising that such a sudden takeoff in inequality, one that reversed what had been a decades-long decline, would generate so much research on its causes. Important as the resulting causal agenda has been, it is perhaps equally important to examine the consequences of the takeoff, especially its cons...

BACKGROUND Motion sickness may reduce passenger comfort and crew performance. Countermeasures are dominated by medication with specific and often undesirable side effects. OBJECTIVE To shown that sickness due to motion can be reduced by adding an inherent non-sickening vibration and by mental distraction. METHODS Eighteen blindfolded subjects were exposed to 20 minutes of off-vertical axis ...

We present two Twitter datasets annotated with coarse-grained word senses (supersenses), as well as a series of experiments with three learning scenarios for supersense tagging: weakly supervised learning, as well as unsupervised and supervised domain adaptation. We show that (a) off-the-shelf tools perform poorly on Twitter, (b) models augmented with embeddings learned from Twitter data perfor...

Elicitation of people’s knowledge is a central methodological challenge for psychology, with important impacts in many technical disciplines and industrial settings. The need to convert an expert’s beliefs into a useable format is of particular importance when judgments and decisions are made under uncertainty. Simply asking a person for their best estimate or to estimate a range is subject to ...

The University Repository is a digital collection of the research output of the University, available on Open Access. Copyright and Moral Rights for the items on this site are retained by the individual author and/or other copyright owners. Users may access full items free of charge; copies of full text items generally can be reproduced, displayed or performed and given to third parties in any ...

This is actually work done by Partha, it’s his talk, but the UKBA decided we could do without him, which is why it’s me talking rather than him. The purpose of this talk is to explore the possibility of an exploitable analogy between approaches to secure system design and theories of jurisprudence. The prevailing theory of jurisprudence in the West at the moment goes back to Hobbes. It was deve...