The implicit signature kappa consists of the multiplication and the (omega-1)-power. We describe a procedure to transform each kappa-term over a finite alphabet A into a certain canonical form and show that different canonical forms have different interpretations over some finite semigroup. The procedure of construction of the canonical forms, which is inspired in McCammond's normal form algorithm for omega-te...
The Pin-Reutenauer algorithm gives a method, that can be viewed as a descriptive procedure, to compute the closure in the free group of a regular language with respect to the Hall topology. A similar descriptive procedure is shown to hold for the pseudovariety A of aperiodic semigroups, where the closure is taken in the free aperiodic omega-semigroup. It is inherited by a subpseudovariety of a given pseudov...
This dissertation deals with mobility management for mobile satellite systems. Mobility management has had an increased importante in the mobile communications systems, with the purpose of minimise lie signalling traffic required to support it. (...)Keywords: mobille satellite communications; resource management; channel assignment techniques; handover; traffic; locking probabilitiesM.S., 1996more info. ht...
The introduction of non geo-stationary satellite constellations will lead in the future to the globalization of personal mobile communications systems. In a controversy way of mobile terrestrial cellular systems and mobile satellite geo-stationary systems where the cells and satellite beams cover always the same places over the Earth surface in mobile satellite non geostationary Systems that is not true. (...)K...
Este trabalho de projeto foi desencadeado pela constatação empírica de lacunas e insuficiências no âmbito da supervisão organizacional e procura responder à seguinte questão de partida: Como apoiar alunos de terceiro ciclo com dificuldades de aprendizagem, através de equipas educativas? Com o intuito de respondermos a esta questão, levamos a cabo um processo de pesquisa direcionada para a construção de um refer...
This paper provides a characterization of pseudowords over the pseudovariety of all finite aperiodic semigroups that can be described from the free generators using only the operations of multiplication and omega-power. A necessary and sufficient condition for this property to hold turns out to be given by the conjunction of two rather simple finiteness conditions: the nonexistence of infinite anti-chains of fa...
Due to their position of interface between the sea and land, the flora and vegetation of coastal beaches and dunes, occupy ecologically extreme, sensitive, unique and valuable habitats. The occurrence of a large number of endemic taxa and specific plant associations endowed with key ecological services and adapted to a stressful and harsh environmental gradient, gives them a high interest for nature conservatio...
A chave que de seguida se apresenta tem por base a desenvolvida por DÍAZ GONZÁLEZ & LLAMAS, 1987, com as devidas atualizações taxonómicas e nomenclaturais que entretanto ocorreram, e algumas correções com, posteriores e inevitáveis, adaptações de forma a incluir táxones não analisados nesse trabalho. Da bibliografia consultada procuramos averiguar as descrições originais dos táxones e/ou outras que preconizam d...
Tese de doutoramento. Engenharia Mecânica. Faculdade de Engenharia. Universidade do Porto. 2007
A presente dissertação visa compreender as metodologias adoptadas no desenvolvimento das cidades Portuguesas. Aspira-se criar uma base de trabalho que possibilite definir directrizes normalizadas, para que, se tomem medidas sustentáveis na requalificação das mesmas. A análise geral de cidades como Aveiro, Coimbra, Viseu e Covilhã, permite observar que, de uma forma ou de outra, todas sucumbem a processos normat...
Financiadores do RCAAP | |||||||
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |