Um modelo de programação inteira para a otimização da distribuição do serviço docente

Dissertação de mestrado em Engenharia Industrial

Occupational stress and coping among portuguese military police officers

This study describes the professional experience of military police officers from the Portuguese Republican National Guard (N = 95). We focused on the main sources and consequences of stress and the coping strategies used to deal with stress. The evaluation protocol included one closed-ended question and four open-ended questions. Data analysis of meaningful text segments was conceptually based and data categorization followed deductive content analysis. Results allowed the identification of 483 meaning units. Factors intrinsic to the job and the relationships at work were the main stressors referred by participants. The consequences of stressors were evident at an individual level, affecting family, psychological, and physical/health domains. The coping strategies used to deal with the main source of stress in the professional career were focused on problem solving (e.g., active confrontation) and emotional regulation (e.g., situation acceptance). Practical implications and future avenues of research with these professionals are discussed.

Simulação numérica do comportamento ao impacto de componentes para calçado de segurança

Dissertação de mestrado integrado em Engenharia Mecânica

Development of a thermoelectric generator for the exhaust of a vehicle

Dissertação de mestrado integrado em Engenharia Mecânica

Text mining na análise de sentimentos em contextos de big data

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Comparação de probabilidades de acontecimentos formulados de forma explícita e implícita

Neste artigo estuda-se a realização de alunos futuros educadores e professores dos primeiros anos de escolaridade na comparação de probabilidades de acontecimentos em diferentes contextos sociais, formulados de forma explícita e implícita, tendo em vista averiguar a influência do nível de explicitação na comparação de probabilidades. Participaram no estudo 51 alunos futuros educadores e professores dos primeiros anos de escolaridade, que responderam a um questionário contendo duas questões, com vários itens envolvendo a comparação de probabilidades de acontecimentos formulados explícita e implicitamente. Em termos de resultados, globalmente, verificou-se que os itens formulados implicitamente se revelaram mais difíceis para os alunos do que os itens formulados explicitamente.

Factoriality and the pin-reutenauer procedure

We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. We prove that, under relatively simple hypotheses on a pseudovariety V of semigroups, the finitely generated free algebra for the largest such signature is closed under taking factors within the free pro-V semigroup on the same set of generators. Furthermore, we show that the natural analogue of the Pin-Reutenauer descriptive procedure for the closure of a rational language in the free group with respect to the profinite topology holds for the pseudovariety of all finite semigroups. As an application, we establish that a pseudovariety enjoys this property if and only if it is full.

Plataforma de apoio à decisão nos cuidados de ginecologia e obstetrícia

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Algumas considerações sobre o princípio da culpa enquanto factor de autonomização do Direito das Contra-ordenações

Dissertação de mestrado em Direito Judiciário

Gender, sex and sexuality in two open access communication journals published in Portugal: a critical overview of current discursive practices

The links between gender, sex and sexuality and their relevance are theoretically and politically problematic (Richardson, 2007). One of the difficulties in understanding their interconnections is that these terms are often used differently and ambiguously by different authors (and even by the same authors). This article reports the results of an analysis of the articles published in open access communication journals with known impact factor, edited in Portugal and published between 2005 and 2012. The diverse conceptualisations of those three basic concepts and of their (inter)relationships within communication research are identified. The complexity and the intricate (and often implicit) nature of both the meanings of these categories and their relationships underlie and justify our attention and further research. What the findings suggest about the current communication research into gender issues published in the two journals surveyed is that the ‘Gender differences discourse’ (Sunderland, 2004) is the most pervasive discourse (also) in academic practice. Additionally, they show that gender and sex are mainly taken for a fact, not a question that is worth being studied. The editors of these journals, as well as the scholars submitting manuscripts, need to be more aware of the traditional nature of the theoretical and methodological choices that they make regarding gender- and sex-related issues, as well as of the relative lack of attention to sexuality as a research subject.

Fatalidade ou missão:estudo exploratório sobre as estratégias utilizadas pelas Ajudantes de Lar, para fazer face às exigências da sua profissão

Dissertação de Mestrado em Políticas de Desenvolvimento de Recursos Humanos

How tight should one's hands be tied? Fear of floating and credibility of exchange rate regimes

This paper analyzes the linkages between the credibility of a target zone regime, the volatility of the exchange rate, and the width of the band where the exchange rate is allowed to fluctuate. These three concepts should be related since the band width induces a trade-off between credibility and volatility. Narrower bands should give less scope for the exchange rate to fluctuate but may make agents perceive a larger probability of realignment which by itself should increase the volatility of the exchange rate. We build a model where this trade-off is made explicit. The model is used to understand the reduction in volatility experienced by most EMS countries after their target zones were widened on August 1993. As a natural extension, the model also rationalizes the existence of non-official, implicit target zones (or fear of floating), suggested by some authors.

Convergence of the mass-transport steepest descent scheme for the sub-critical Patlak-Keller-Segel model

Variational steepest descent approximation schemes for the modified Patlak-Keller-Segel equation with a logarithmic interaction kernel in any dimension are considered. We prove the convergence of the suitably interpolated in time implicit Euler scheme, defined in terms of the Euclidean Wasserstein distance, associated to this equation for sub-critical masses. As a consequence, we recover the recent result about the global in time existence of weak-solutions to the modified Patlak-Keller-Segel equation for the logarithmic interaction kernel in any dimension in the sub-critical case. Moreover, we show how this method performs numerically in one dimension. In this particular case, this numerical scheme corresponds to a standard implicit Euler method for the pseudo-inverse of the cumulative distribution function. We demonstrate its capabilities to reproduce easily without the need of mesh-refinement the blow-up of solutions for super-critical masses.

Generic object classification for autonomous robots

Un dels principals problemes de la interacció dels robots autònoms és el coneixement de l'escena. El reconeixement és fonamental per a solucionar aquest problema i permetre als robots interactuar en un escenari no controlat. En aquest document presentem una aplicació pràctica de la captura d'objectes, de la normalització i de la classificació de senyals triangulars i circulars. El sistema s'introdueix en el robot Aibo de Sony per a millorar-ne la interacció. La metodologia presentada s'ha comprobat en simulacions i problemes de categorització reals, com ara la classificació de senyals de trànsit, amb resultats molt prometedors.

Diagnosing pulmonary embolism in outpatients with clinical assessment, D-dimer measurement, venous ultrasound, and helical computed tomography: a multicenter management study.

PURPOSE: To evaluate a diagnostic strategy for pulmonary embolism that combined clinical assessment, plasma D-dimer measurement, lower limb venous ultrasonography, and helical computed tomography (CT). METHODS: A cohort of 965 consecutive patients presenting to the emergency departments of three general and teaching hospitals with clinically suspected pulmonary embolism underwent sequential noninvasive testing. Clinical probability was assessed by a prediction rule combined with implicit judgment. All patients were followed for 3 months. RESULTS: A normal D-dimer level (<500 microg/L by a rapid enzyme-linked immunosorbent assay) ruled out venous thromboembolism in 280 patients (29%), and finding a deep vein thrombosis by ultrasonography established the diagnosis in 92 patients (9.5%). Helical CT was required in only 593 patients (61%) and showed pulmonary embolism in 124 patients (12.8%). Pulmonary embolism was considered ruled out in the 450 patients (46.6%) with a negative ultrasound and CT scan and a low-to-intermediate clinical probability. The 8 patients with a negative ultrasound and CT scan despite a high clinical probability proceeded to pulmonary angiography (positive: 2; negative: 6). Helical CT was inconclusive in 11 patients (pulmonary embolism: 4; no pulmonary embolism: 7). The overall prevalence of pulmonary embolism was 23%. Patients classified as not having pulmonary embolism were not anticoagulated during follow-up and had a 3-month thromboembolic risk of 1.0% (95% confidence interval: 0.5% to 2.1%). CONCLUSION: A noninvasive diagnostic strategy combining clinical assessment, D-dimer measurement, ultrasonography, and helical CT yielded a diagnosis in 99% of outpatients suspected of pulmonary embolism, and appeared to be safe, provided that CT was combined with ultrasonography to rule out the disease.