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.

Maus tratos à criança: factores de risco e factores protectores

Este artigo tem em vista o levantamento e análise das circunstâncias que podem contribuir para a ocorrência de maus tratos à criança. Com base no modelo ecológico proposto por Belsky (1993), são sucessivamente expostos, nos diferentes níveis ecológicos considerados - sócio-cultural, comunitário, familiar e individual - os factores de risco e os factores protectores implicados no fenómeno dos maus tratos à criança.

A estruturação metafórica na concetualização de "Hora" na poesia de Fernando Pessoa ortónimo

Dissertação de mestrado em Ciências da Linguagem

Estudos comparativos sobre o envelhecimento nos contextos chinês e português

Dissertação de mestrado em Estudos Interculturais Português/Chinês: Tradução, Formação e Comunicação Empresarial