Green's relations, regularity and abundancy for semigroups of quasi-onto transformations

Let V be an infinite-dimensional vector space and for every infinite cardinal n such that n≤dimV, let AE(V,n) denote the semigroup of all linear transformations of V whose defect is less than n. In 2009, Mendes-Gonçalves and Sullivan studied the ideal structure of AE(V,n). Here, we consider a similarly-defined semigroup AE(X,q) of transformations defined on an infinite set X. Quite surprisingly, the results obtained for sets differ substantially from the results obtained in the linear setting.

Literacia(s) com e sobre valores: um projeto de intervenção pedagógica no 1º Ciclo do Ensino Básico

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1ºCiclo do Ensino Básico

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Perceções de docentes do ensino básico e secundário sobre o papel da supervisão pedagógica enquanto contexto de desenvolvimento profissional: um estudo com professores de geografia

Tese de Doutoramento em Ciências da Educação (área de especialização em Supervisão Pedagógica)

Brazil's global aspirations and their implications for the relationship with Argentina in the framework of MERCOSUR

Dissertação de mestrado em Relações Internacionais

Arquitetura Flutuante: projetar uma habitação-tipo para um ambiente em transformação

Dissertação de mestrado integrado em Arquitectura

O Sinclinal de ferro de Torre de Moncorvo: um recurso mineral como catalisador de um Tempolntermitente

Dissertação de mestrado integrado em Arquitectura

Pró-fármacos fotoativáveis do péptido AAPV: síntese e avaliação da libertação controlada por luz

Dissertação de mestrado em Bioquímica Aplicada (área de especialização em Biomedicina)

Processo de intervenção no espaço urbano de Braga: Espaço coletivo como novo estrato de relações

Dissertação de mestrado - Área de especialização Arquitetura Cidade e Território

Escritas da utopia na literatura contemporânea – da utopia à distopia

Tese de Doutoramento em Ciências da Literatura (Especialidade em Literatura Comparada)

A radiodifusão no Brasil e em Portugal e a invasão dos brasucas: uma nova linguagem

Tese de Doutoramento em Ciências da Comunicação (área de especialização em Sociologia da Comunicação e da Informação).

BiYacc: Roll your parser and reflective printer into one

In: A. Cunha, E. Kindler (eds.): Proceedings of the Fourth International Workshop on Bidirectional Transformations (Bx 2015), L’Aquila, Italy, July 24, 2015, published at http://ceur-ws.org

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

Evolução urbana de Braga na Época Moderna: espaços públicos e períferia

Relatório de estágio de mestrado em Arqueologia

Desafios de uma comunidade minoritária: os apoios sociais na comunidade cigana de Barcelos

Dissertação de mestrado em Crime Diferença e Desigualdade