7 resultados para Quesada, Luis
em QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast
Resumo:
Call control features (e.g., call-divert, voice-mail) are primitive options to which users can subscribe off-line to personalise their service. The configuration of a feature subscription involves choosing and sequencing features from a catalogue and is subject to constraints that prevent undesirable feature interactions at run-time. When the subscription requested by a user is inconsistent, one problem is to find an optimal relaxation, which is a generalisation of the feedback vertex set problem on directed graphs, and thus it is an NP-hard task. We present several constraint programming formulations of the problem. We also present formulations using partial weighted maximum Boolean satisfiability and mixed integer linear programming. We study all these formulations by experimentally comparing them on a variety of randomly generated instances of the feature subscription problem.
Resumo:
This article examines the novels of the East Timorese writer Luís Cardoso, and argues that their representations of a colonial past should not be simply interpreted as memorializations of Timor-Leste’s suffering at the hands of foreign aggressors. It proposes that underlying their revisiting of the past is a call for acknowledgement of the agency of East Timorese in the history of violent conflict that has troubled the nation, and that only this can guarantee true reconciliation, justice and national independence.