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

Development of an intelligent earthwork optimization system

Tese de Doutoramento em Engenharia Civil.

A eficácia da Mediação Familiar no contexto das Responsabilidades Parentais

Dissertação de mestrado em Direito das Crianças, Família e Sucessões

BIOMedical search engine framework: lightweight and customized implementation of domain-specific biomedical search engines

The Smart Drug Search is publicly accessible at http://sing.ei.uvigo.es/sds/. The BIOMedical Search Engine Framework is freely available for non-commercial use at https://github.com/agjacome/biomsef

Topological abstraction of higher-dimensional automata

Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss ``topological abstraction" of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from the point of view of both computer science and topology. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs.

O sexo e a Cidade e as marcas: análise dos efeitos do product placement nos jovens portugueses

Dissertação de Mestrado em Comunicação Social

Анализ экспериментальных данных физического моделирования магнитотеллурического поля лля моделей интрузивных тел с применением компьютерной графики

მაგნიტოტელურული ველის ფიზიკური მოდელირების შედეგები, განსაზღვრული ფორმის ინტრუზიული სხეულებისათვის, დამუშავებულია კომპიუტერული გრაფიკის საშუალებით. დადგინდა, რომ მკვეთრად შემოკონტურდება დღიური ზედაპირის იმიტაციით გადაფარული განსაზღვრული ფორმის სხეულების მდებარეობის საზღვრები. განსხვავებული გეომეტრიის მქონე მოდელების, ელექტრომაგნიტური ველის მდგენელების სივრცულ გრაფიკებზე გამოვლენილია მათთვის დამახასიათებელი განსხვავებები.

Экспериментальное исследование с применением компьютерной графики влияния рельефа дневной поверхности на магнитотеллурическое поле

არაერთგვაროვან გარემოში ელექტროდინამიკური პროცესების მოდელირების დანადგარზე გამოკვლეულია მაგნიტოტელურ ველზე სამგანზომილებიანი უსწორმასწორო დღიური ზედაპირის რელიეფის გავლენა. შედეგები დამუშავებულია კომპიუტერული გრაფიკული პროგრამის გამოყენებით.