A contribuição da informática para o desenvolvimento sustentável: o exemplo do conceito de grid computing

Este trabalho foi realizado sob orientação do Prof. António Brandão Moniz para a disciplina “Factores Sociais da Inovação” do Mestrado Engenharia Informática realizado na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (Portugal)

Aplicação informática para o estudo da viabilidade técnico-económica de uma habitação sustentável

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Energias Renováveis – Conversão Eléctrica e Utilização Sustentáveis

Ciberativismo : como as novas formas de comunicação estão a contribuir para a democratização da comunicação

Dissertação de Mestrado em Ciências da Comunicação, especialização em Estudo dos Media e do Jornalismo.

Segurança informática: a perspectiva da Nato

O problema da Segurança da Informação em ambientes informatizados tem vindo a crescer significativamente. Porém, verifica-se existirem diferentes perspectivas e abordagens à questão da Segurança Informática, raramente concordantes, nem mesmo no essencial, verificando-se alguma dificuldade em estabelecer um conjunto de pressupostos teóricos que permitam estruturar a análise da realidade. Estas questões, preocupam os organismos ligados à Defesa, nomeadamente no âmbito da NATO, que tem vindo a divulgar uma série de documentos, não classificados, relativamente à sua perspectiva sobre o assunto, enunciando requisitos de segurança com vista a estabelecer padrões de orientação para os construtores de hardware e software de modo a que, após certificação, possam vir a ser usados militarmente.

Desenvolvimento de uma ferramenta informática para avaliação económica de implementação de microgeração fotovoltaica em edifícios

Dissertação para obtenção do Grau de Mestre em Energias Renováveis – Conversão Eléctrica e Utilização Sustentável

Democratização da Justiça, Entender e ser Entendido

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Comunicação, Media e Justiça

Ensino de informática básica a deficientes visuais em regime e-learning em Cabo Verde

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão de Sistemas de E-Learning

Integração de um Modelo de Aprendizagem em Blended-Learning no Curso de Informática Educativa, do Instituto Superior de Ciências da Educação da Huíla

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão de Sistema de E-learning

Dimensão internacional da democratização chilena: a influência da Argentina (1983-1990)

A vaga de democratizações que teve lugar na América Latina na década de 1980 e 1990 alterou profundamente a paisagem política do Cone Sul, pondo fim a diversos regimes autoritários naquela região. O Chile, dirigido de forma autoritária pelo general Augusto Pinochet desde 1973, foi um dos últimos países onde a transição democrática aconteceu. O processo que teve início com o plebiscito de 1988 culminou com a eleição de Patricio Aylwin, a 11 de Março de 1990 e não foi resultado apenas de esforços internos. Este estudo centra-se na dimensão internacional desse processo. Uma vez que as escassas investigações sobre esta vertente se focam no papel de grandes potências, como os Estados Unidos, e considerando a relação histórica entre Argentina e Chile, por questões também de proximidade fronteiriça, optámos por analisar, nesta dissertação, o papel da Argentina na mudança de regime no Chile. Não se trata apenas de compreender a influência argentina no processo, mas também analisar o impacto da própria democratização no país num processo semelhante no Chile. É, também, por este motivo que este estudo abarca um período temporal que se inicia em 1983 (democratização da Argentina) e termina em 1990 (ano em que o Chile muda de regime, deixando para trás o autoritarismo). Tendo por base o modelo de Levitsky & Way e os conceitos desenvolvidos por Whitehead & Schmitter, esta dissertação baseia-se num quadro analítico que parte do trabalho destes quatro autores. De Levitsky & Way, bebe duas noções-chave: o conceito de leverage (grau de vulnerabilidade de um país à influência externa) e linkage (densidade de laços transfronteiriços). De Whitehead & Schmitter recorre a três conceitos (contágio, consentimento e condicionalidade) que permitem caracterizar, de certo modo, o tipo de influência externa. Além da operacionalização do modelo, este trabalho inclui, também, um capítulo mais descritivo sobre a democratização chilena e os seus antecedentes e uma parte, também ela de cariz mais descritivo, dedicada à dimensão internacional do processo. Este estudo procura, assim, mostrar a importância do contexto internacional na democratização do Chile, alertando para a necessidade de não centrar o estudo das democratizações apenas em factores de ordem interna.

As peculiaridades da democratização da região do Cáucaso do Sul no contexto da Política Europeia de Vizinhança

O período após o colapso da União Soviética foi o tempo da procura de novas identidades na nova realidade e de escolha de novos parceiros e aliados, o tempo da construção de novos estados e de formulação das regras e normas nacionais. Após o desmoronamento da ideologia soviética - um facto reconhecido oficialmente durante o período da Perestroika –, as pessoas sentiram uma necessidade de preencher o vácuo ideológico e desenvolver uma nova identidade. Foi proclamada a rejeição da estrutura política administrativa herdada da União Soviética e do sistema de economia planificada, e desenvolvida a tendência para a construção do estado democrático fundado numa economia de mercado. As expectativas relativas às transformações no período pós-soviético estavam relacionadas com o Ocidente (EUA e UE), e a construção do estado soberano foi fundada em modelos ocidentais de estado de direito, ‘boa governança’ e a economia de mercado. A UE desempenhou um papel importante na democratização dos estados da região do Sul do Cáucaso através de vários projetos e programas bilaterais e multilaterais no âmbito da Política Europeia de Vizinhança e da Parceria Oriental. Embora as reformas democráticas tenham sido realizadas com vista ao estabelecimento de uma Constituição democrática, à implementação de eleições democráticas e ao desenvolvimento da sociedade civil, fortaleceram, também, ainda mais, a natureza autoritária do poder, impediram a criação de um estado de direito, reforçaram violação dos direitos e das liberdades humanas. (NODIYA, 2003: 30; BAKHMAN, 2003: 17; BADALOV, 2003: 20). Deste modo, o processo da promoção da democracia através das reformas nos três estados do Sul do Cáucaso conduziu à criação de estados de “conteúdo autocrático misto, mas de forma democrática” (CHETERYAN, 2003: 41). Embora seja possível identificar as semelhanças entre os três estados da região do Sul do Cáucaso nas reformas do processo de desenvolvimento, os métodos e meios de implementação de reformas nas realidades dos estados regionais pela administração nacional foram bastante diferentes, por razões associadas às especificidades de cada um (DELCOUR e WOLCZUK, 2013: 3). Cada país é caracterizado pelas suas peculiaridades ao nível da situação geopolítica e diversidade do potencial económico – fatores que definem a trajetória política e económica do estado no período pós-soviético e, em certa medida, influenciam o modo como se desenvolvem as relações com a UE e, portanto, o processo de adoção das reformas e a sua introdução a nível nacional.

Educação, desenvolvimento e participação política dos professores: contributo para uma análise crítica da política educativa portuguesa dos anos oitenta

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

A decisão política em educação. O partenariado socio educativo como modelo decisional: o caso das escolas profissionais

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Extraction automatique d´associations lexicales à partir de corpora

The automatic acquisition of lexical associations from corpora is a crucial issue for Natural Language Processing. A lexical association is a recurrent combination of words that co-occur together more often than expected by chance in a given domain. In fact, lexical associations define linguistic phenomena such as idiomes, collocations or compound words. Due to the fact that the sense of a lexical association is not compositionnal, their identification is fundamental for the realization of analysis and synthesis that take into account all the subtilities of the language. In this report, we introduce a new statistically-based architecture that extracts from naturally occurring texts contiguous and non contiguous. For that purpose, three new concepts have been defined : the positional N-gram models, the Mutual Expectation and the GenLocalMaxs algorithm. Thus, the initial text is fisrtly transformed in a set of positionnal N-grams i.e ordered vectors of simple lexical units. Then, an association measure, the Mutual Expectation, evaluates the degree of cohesion of each positional N-grams based on the identification of local maximum values of Mutual Expectation. Great efforts have also been carried out to evaluate our metodology. For that purpose, we have proposed the normalisation of five well-known association measures and shown that both the Mutual Expectation and the GenLocalMaxs algorithm evidence significant improvements comparing to existent metodologies.