Concurrency detection on finish-to-start activity precedence networks

We explore the finish-to-start precedence relations of project activities used in scheduling problems. From these relations, we devise a method to identify groups of activities that could execute concurrently, i.e. activities in the same group can all execute in parallel. The method derives a new set of relations to describe the concurrency. Then, it is represented by an undirected graph and the maximal cliques problem identifies the groups. We provide a running example with a project from our previous studies in resource constrained project cost minimization together with an example application on the concurrency detection method: the evaluation of the resource stress.

Estudo da logística do armazenamento e distribuição interna de consumíveis clínicos de uma unidade hospitalar

Dissertação de mestrado em Engenharia Industrial

Challenges and confusion in media regulation: a four-country comparison

[Excerto] ln this chapter we discuss recent developments and challenges in European media and communication policy, focusing on the period following the 2008 global financial crisis. We are especially interested in the implications of the financial crisis and its political repercussions nationally (austerity measures and cuts to public services, growing anti-politics sentiments and widespread dissatisfaction with free-market capitalism and representative democracy) for media and communication policy, understood here in a broad sense, so as to include ali electronic communications, such as the Internet, mobile communications, social media etc. Our overarching concern is with the implications of developments in media and communication policy for the democratic functions of the media in Europe (...).

Column-based databases: estudo exploratório no âmbito das bases de dados NoSQL

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Document-based databases: estudo comparativo no âmbito das bases de dados NoSql

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

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

O turismo religioso na Semana Santa em Braga

Relatório de estágio de mestrado em Sociologia (área de Especialização em Organizações e Trabalho)

Las palabras son semillas…: aquisição e ampliação de vocabulário com recurso ao audiovisual

Relatório de estágio de mestrado em Ensino do Português no 3º Ciclo do Ensino Básico e Ensino Secundário e de Espanhol nos Ensinos Básico e Secundário

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.