Analysis of output properties of the Peroxiredoxin/Thioredoxin/Thioredoxin reductase system

Dissertação de mestrado em Bioinformática

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Evaluating balance, stability and gait symmetry of stroke patients using kinematic and dynamic gait lab data

Dissertação de mestrado integrado em Engenharia Biomédica

Ontology-based representation and generation of workflows for micro-task human-machine computation

Doctoral Program in Computer Science

Flow updating: fault-tolerant aggregation for dynamic networks

Documento submetido para revisão pelos pares. A publicar em Journal of Parallel and Distributed Computing. ISSN 0743-7315