Learn More
BACKGROUND Agitation in Alzheimer's disease (AD) is common and associated with poor patient life-quality and carer distress. The best evidence-based pharmacological treatments are antipsychotics which have limited benefits with increased morbidity and mortality. There are no memantine trials in clinically significant agitation but post-hoc analyses in other(More)
This paper shows how analysis of programs in terms of pre-and post-conditions can be improved using a gen-eralisation of conditioned program slicing called pre/post conditioned slicing. Such conditions play an important role in program comprehension, reuse, verification and re-engineering. Fully automated analysis is impossible because of the inherent(More)
Conditioned slicing can be applied to reverse engineering problems which involve the extraction of executable fragments of code in the context of some criteria of interest. This paper introduces ConSUS, a conditioner for the Wide Spectrum Language, WSL. The symbolic executor of Con-SUS prunes the symbolic execution paths, and its predicate reasoning system(More)
This was the second year of the C@merata task [16,1] which relates natural language processing to music information retrieval. Participants each build a system which takes as input a query and a music score and produces as output one or more matching passages in the score. This year, questions were more difficult and scores were more complex. Participants(More)
The volume of information available on the Web is increasing rapidly. The need for systems that can automatically summarize documents is becoming ever more desirable. For this reason, text summarization has quickly grown into a major research area as illustrated by the DUC and TAC conference series. Summarization systems for Arabic are however still not as(More)