33 resultados para Network re-configuration
Resumo:
Dissertação de mestrado integrado em Arquitectura
Resumo:
Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores
Resumo:
O objetivo deste trabalho é problematizar o estado da questão assim como o conhecimento construído à volta dos membros do Grupo do Orpheu. Depois de explicitar estes dois conceitos e argumentar a sua relevância no âmbito dos estudos literários, lanço algumas ideias para o entendimento do (re)conhecimento do Orpheu, de Fernando Pessoa nomeadamente. Por último, anoto as linhas de força a respeito do entendimento da produção guisadiana, em Portugal e na Galiza.
Resumo:
Tese de Doutoramento em Ciências da Saúde.
Resumo:
Tese de Doutoramento em Biologia de Plantas.
Resumo:
Tese de Doutoramento em Sociologia
Resumo:
Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.
Resumo:
Texto da Lição de Síntese apresentada como requisito das Provas de Agregação no ramo de Ciências da Comunicação, área de conhecimento de Sociologia da Informação, na Universidade do Minho (Braga – Portugal), em 4 e 5 de Dezembro de 2008.
Resumo:
Dissertação de mestrado integrado em Engenharia Civil
Resumo:
No âmbito de um projeto mais vasto centrado nas biografias de literacia de adultos envolvidos em processos de Reconhecimento, Validação e Certificação de Competências, neste texto caracterizamos percursos de vida, no que diz respeito aos usos de textos, de 5 adultos desempregados do distrito de Braga que, em 2012, concluíram o 3º Ciclo do Ensino Básico. A partir da combinação de dados recolhidos por questionário e entrevista, que visaram aceder a práticas, conceções e valores da leitura e da escrita, procuramos compreender de que modo a participação no processo de RVCC atuou na transformação das linguagens vernáculas, por um lado, e, por outro lado, na aquisição de novas linguagens sociais, ou seja, de novos modos de falar e escrever em situação. Assumindo-se que as práticas de linguagem são indissociáveis dos contextos socioculturais em que as pessoas se movimentam, em foco estarão as características das práticas de leitura e escrita dos 5 adultos, especificamente quanto a o quê, para quê e em que circunstâncias leem e escrevem ao longo das suas vidas. Nestes percursos, reconstituem-se as mudanças geradas pela frequência do RVCC, e que moldam as suas identidades de literacia. Entre as principais conclusões, destaca-se nestes sujeitos, tidos como “iletrados”, a presença e variedade de atividades de interação com textos, por meio de textos e sobre textos. Neste sentido, a frequência e finalidade do RVCC contribuem para acrescentar aos kits de identidade destes cinco adultos os traços e os valores que as comunidades letradas atribuem, sobretudo, à leitura.
Resumo:
Dissertação de Mestrado (Programa Doutoral em Informática)
Resumo:
The Supplementary Material for this article can be found online at: http://journal.frontiersin.org/article/10.3389/fmicb. 2016.00275
Resumo:
This paper presents an automated optimization framework able to provide network administrators with resilient routing configurations for link-state protocols, such as OSPF or IS-IS. In order to deal with the formulated NP-hard optimization problems, the devised framework is underpinned by the use of computational intelligence optimization engines, such as Multi-objective Evolutionary Algorithms (MOEAs). With the objective of demonstrating the framework capabilities, two illustrative Traffic Engineering methods are described, allowing to attain routing configurations robust to changes in the traffic demands and maintaining the network stable even in the presence of link failure events. The presented illustrative results clearly corroborate the usefulness of the proposed automated framework along with the devised optimization methods.
Resumo:
Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino
Resumo:
Dissertação de mestrado em Ciências da Educação (área de especialização em Sociologia da Educação e Políticas Educativas)