Orientação não formal: estudo de caso sobre uma modalidade de orientação para jovens em risco de exclusão social

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

Ser educador na comunidade: reflexão sobre as competências de um tipo de profissional de educação não- formal

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

Sucesso profissional, formação formal e experiencial: estudo de factores-chave no itinerário de um agricultor

Dissertação de mestrado em Ciências da Educação, na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa e do Diplôme d' Université François Rabelais de Tours

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.

Professions and inter-disciplinary teamwork in socially embedded bureaucracies: Synthesis and hypotheses on the impact of informal and formal organization

In order to maximize their productivity, inter-disciplinary multi-occupation teams of professionals need to maximize inter-occupational cooperation in team decision making. Cooperation, however, is challenged by status anxiety over organizational careers and identity politics among team members who differ by ethnicity-race, gender, religion, nativity, citizenship status, etc. The purpose of this paper is to develop hypotheses about how informal and formal features of bureaucracy influence the level of inter-occupation cooperation achieved by socially diverse, multi-occupation work teams of professionals in bureaucratic work organizations. The 18 hypotheses, which are developed with the heuristic empirical case of National Science Foundation-sponsored university school partnerships in math and science curriculum innovation in the United States, culminate in the argument that cooperation can be realized as a synthesis of tensions between informal and formal features of bureaucracy in the form of participatory, high performance work systems.

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Numerical Method to Predict Void Formation during The Liquid Composite Molding Process

Void formation during the injection phase of the liquid composite molding process can be explained as a consequence of the non-uniformity of the flow front progression. This is due to the dual porosity within the fiber perform (spacing between the fiber tows is much larger than between the fibers within in a tow) and therefore the best explanation can be provided by a mesolevel analysis, where the characteristic dimension is given by the fiber tow diameter of the order of millimeters. In mesolevel analysis, liquid impregnation along two different scales; inside fiber tows and within the open spaces between the fiber tows must be considered and the coupling between the flow regimes must be addressed. In such cases, it is extremely important to account correctly for the surface tension effects, which can be modeled as capillary pressure applied at the flow front. Numerical implementation of such boundary conditions leads to illposing of the problem, in terms of the weak classical as well as stabilized formulation. As a consequence, there is an error in mass conservation accumulated especially along the free flow front. A numerical procedure was formulated and is implemented in an existing Free Boundary Program to reduce this error significantly.

Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Application of the EcoBlock method to eco-design - electric hand dryers versus paper towels

Sustainable Construction, Materials and Practice, p. 426-432

Infracções ambientais: a eficácia das entidades de controlo formal

Dissertação apresentada com vista à obtenção do grau de Mestre em Direito e Segurança

Estudo de caso de adultos ucranianos em contexto de ensino formal: uma abordagem lexical

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino do Português, Língua Segunda e Língua Estrangeira

Preparation of gas-filled porous microparticles (GPPs) and microbubbles (MBs) by PGSS method

Dissertation to obtain the Master Degree in Biotechnology

The sum-of-the-parts method: An international application

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Métodos de avaliação da frequência de eventos adversos em contexto hospitalar : contributos de uma revisão sistemática

RESUMO - Os eventos adversos (EA) hospitalares constituem um problema sério dos cuidados de saúde com consequências clínicas, económicas e sociais para a Saúde Pública. Nas últimas décadas foram realizados diversos estudos com o objetivo de conhecer de forma mais pormenorizada esta realidade, nomeadamente no que diz respeito à frequência, tipologia, evitabilidade e impacte dos EA. De entre as diferentes metodologias que têm sido utilizadas parece existir algum consenso em torno da análise retrospetiva de processos clínicos como a que oferece maior garantia de fiabilidade e reprodutibilidade, não obstante as limitações conhecidas. Assim, propusemo-nos com este trabalho, analisar as vantagens e desvantagens dos métodos mais comummente utilizados para caraterizar a ocorrência de EA e, concomitantemente elaborar uma revisão sistemática (RS) dos estudos que aplicaram o método de revisão retrospetiva de processos clínicos na caraterização e avaliação dos EA em contexto hospitalar. Para definir a nossa amostra, realizámos uma pesquisa formal nas bases de dados MEDLINE e Web of Knowledge, e foi realizado um cruzamento manual de referências dos artigos elegíveis para identificar estudos adicionais relevantes. Os artigos selecionados foram revistos independentemente no que diz respeito à metodologia, aos critérios de elegibilidade e aos objetivos. Durante a fase de revisão e aplicação dos critérios de inclusão e exclusão foram selecionados os artigos que abordassem a frequência/incidência e a percentagem de evitabilidade dos EA hospitalares, através da aplicação do método de revisão retrospetiva de processos clínicos. Após a fase de pesquisa e revisão dos artigos, foram selecionados para a nossa amostra oito estudos que incluíram um total de 28.862 processos clínicos revistos. De entre os principais resultados encontrados destaca-se: i) A mediana de incidência de EA hospitalares de 9.5%; Universidade Nova de Lisboa – Escola Nacional de Saúde Pública ii) O valor de mediana de EA considerados evitáveis de 45.5%; iii) No que se refere ao impacte clínico dos EA, mais de metade dos doentes (56.3%) não experienciou incapacidade ou experienciou incapacidade menor; iv) Em 8% dos casos de EA ocorreu a morte dos doentes. v) Quanto ao impacte económico evidencia-se o facto de, nos doentes em que se confirmou EA, o período de internamento se ter prolongado, em média, por 7.1 dias com consequentes e previsíveis custos adicionais. Tendo em consideração as vantagens e desvantagens de cada método, os sistemas de informação existentes em Portugal e a realidade das instituições de saúde, parece-nos plausível destacar o método de revisão dos processos clínicos como o que melhor se adapta para caraterizar os EA no contexto hospitalar português.