Tecnologias para a inclusão: centros de recursos virtuais no apoio às necessidades educativas especiais

Tese de Doutoramento em Ciências da Educação (área de especialização em Tecnologia Educativa).

Brincar de Internet: a vivência lúdica infantil em ambiente virtual

Tese de Doutoramento em Ciências da Educação (Especialidade em Tecnologia Educativa)

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

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.

Improving diagnostic yield in obscure gastrointestinal bleeding - how virtual chromoendoscopy may be the answer

Background and aim: A significant proportion of patients presenting with obscure gastrointestinal bleeding (OGIB) have negative small bowel capsule endoscopy (SBCE) examinations, and yet remain at risk of rebleeding. We aimed to evaluate whether a second-look review of SBCE images using flexible spectral color enhancement (FICE) may improve the detection of potentially bleeding lesions. Materials and methods: This was a retrospective, single-center study including consecutive patients with OGIB subjected to SBCE, whose standard white light examination was nondiagnostic. Each SBCE was reviewed using FICE 1. New findings were labeled as either P1 or P2 lesions according to bleeding potential. Patients were followed up to assess the incidence of rebleeding. Results: A total of 42 consecutive patients were included. Sixteen patients (38%) experienced rebleeding after a mean follow-up of 26 months. Review of SBCE images using FICE 1 enabled the identification of previously unrecognized P2 lesions, mainly angioectasias, in nine patients (21%) and P1 lesions, mainly erosions, in 26 patients (62%). Among patients who experienced rebleeding, 13/16 (81%) were diagnosed with P1 lesions with FICE 1 (P=0.043), whereas 3/16 (19%) had confirmed nondiagnostic SBCE and only 1/16 (6%) had newly diagnosed P2 (plus P1) lesions. An alternative source of bleeding outside the small bowel was found in only 3/16 (19%) patients with rebleeding during the follow-up. Conclusion: In a significant proportion of patients with OGIB, FICE 1 may detect potentially bleeding lesions previously missed under conventional white light SBCE. Review of nondiagnostic SBCE with FICE 1 may be a valuable strategy to obviate the need for further investigations in patients with OGIB, particularly for those who experience rebleeding.