e-Recruitment: descrição e inferência sobre oferta e procura

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Qualidade da imagem radiográfica e otimização da dose de radiação

A linha condutora desta obra enquadra-se bem nesta citação de Thomas Edison pois reúne um conjunto de saberes e experiências dos vários autores, numa simbiose entre o ensino e a prática profissional, com o objetivo de ser um contributo para o reconhecimento da profissão. Os últimos trinta anos têm marcado as tecnologias da saúde pelo grande avanço que permitiram, nomeadamente na área da radiologia. A diversidade de técnicas radiográficas e as diferentes aplicações clínicas justificam uma descrição dos procedimentos e técnicas radiográficas mais comummente usadas na prática clínica. Daí a necessidade de uma obra em língua portuguesa que descreva os princípios fundamentais para a execução de exames radiográficos e explique as considerações técnicas com vista à melhoria da qualidade das imagens radiográficas. O conhecimento é apresentado de forma lógica e sequencial, de modo a facilitar a compreensão das diferentes técnicas radiográficas. Além de uma descrição teórica, todas as incidências descritas são demonstradas através de um amplo leque de figuras organizadas por regiões anatómicas. Inclui a descrição dos procedimentos necessários para a execução de incidências radiográficas do foro osteoarticular, com ilustrações quer do posicionamento quer da imagem radiográfica resultante. Estamos certos de que este livro será uma importante ferramenta auxiliar quer para o ensino da técnica radiológica quer para consulta de todos os técnicos de radiologia que necessitem destes conhecimentos para o desempenho da sua atividade profissional diária.

A satisfação dos colaboradores com o sistema de recompensas: um estudo empírico em cooperativas agrícolas da Região Norte de Portugal

Esta dissertação tem como objetivo central o estudo da satisfação dos colaboradores com o sistema de recompensas de que beneficiam nas organizações onde trabalham. A lógica subjacente ao seu desenvolvimento privilegia, primeiramente, uma abordagem sobre os conceitos de sistema de recompensas e de satisfação e, consequentemente, as teorias que relacionam ambos os conceitos. Foi aplicado um inquérito por questionário a uma amostra de 94 colaboradores de duas cooperativas agrícolas localizadas na região Norte de Portugal. Foram testadas algumas hipóteses de estudo capazes de permitir caracterizar os sistemas de recompensas desenvolvidos nas cooperativas agrícolas objeto de estudo. A análise dos resultados permite concluir que: 1) é menor a satisfação com o sistema de recompensas entre os colaboradores do sexo feminino; 2) é maior a valorização atribuída à componente monetária do que à componente não monetária do sistema de recompensas; 3) a antiguidade na organização não influencia a satisfação dos colaboradores com o sistema de recompensas de que beneficiam; 4) predomina a componente monetária fixa no sistema de recompensas de ambas as cooperativas; 5) a maior satisfação com o sistema de recompensas de que beneficiam é encontrada entre os colaboradores com habilitações de nível superior e; 6) não foram encontradas diferenças na satisfação com o sistema de recompensas entre os colaboradores acima versus abaixo dos 45 anos. Baseado nestes resultados, na parte final desta dissertação são discutidas as principais implicações teóricas e práticas. Algumas limitações bem como sugestões para futura pesquisa são também apresentadas.

Controladores linguísticos Fuzzy

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Assédio moral no trabalho e suas representações na mídia jornalística

OBJETIVO: Analisar os discursos sobre assédio moral veiculados na mídia jornalística impressa. PROCEDIMENTOS METODOLÓGICOS: Estudo documental referente ao assédio moral no trabalho, no qual foram analisadas as matérias jornalísticas veiculadas em três jornais de grande circulação do estado de São Paulo, no período de 1990 a 2008. A partir da metodologia de análise do discurso foram reconhecidas as práticas discursivas que configuram o fenômeno do assédio moral na sociedade atual, as explicações para sua ocorrência e a repercussão para a saúde dos trabalhadores. ANÁLISE DOS RESULTADOS: O surgimento do tema nos veículos de comunicação deu-se por meio da divulgação de livros, de produções acadêmicas e de legislações. Ocorreu em editorias que tratam de assuntos gerais e, posteriormente, migrou para as editorias de emprego e/ou de caráter econômico-financeiro. Os discursos de natureza indenizatória, de precaução empresarial e as estratégias de enfrentamento são amplamente difundidos. A promoção da saúde se esvai pela lógica patrimonial. Há um espaço permissivo nas organizações para prática do assédio moral, potencializando os conflitos para atingir as metas e resultados. Indiferença, constrangimentos, desqualificações e ridicularizações foram comuns nas matérias. CONCLUSÕES: As explicações sobre o assédio tendem a uma interpretação psicológica do fenômeno, acentuando o caráter individualista e minimizando uma abordagem coletiva. Os discursos banalizam o assédio ao criarem caricaturas para os atores envolvidos. O conteúdo psicológico e a estigmatização produzem sentido na sociedade, contribuindo para naturalizar o assédio moral no trabalho e banalizar a violência no trabalho.

Políticas de descentralização da educação no Brasil e em Portugal: avanços e recuos da desconcentração de poderes

Este artigo visa estabelecer paralelos comparativos em torno da descentralização da educação no Brasil e em Portugal, a partir da década de 1990, com base na revisão da literatura pertinente e dos marcos jurídicos que vieram regulá-la, procurando problematizar as relações institucionais e sociopolíticas que medeiam este processo, no Brasil, sob a ótica do regime de colaboração e, em Portugal, segundo as relações estabelecidas entre os poderes central e local. Como conclusão mais geral, constata que, apesar de o poder central vir difundindo o discurso da descentralização nestes países, já há algum tempo, tudo leva a crer que o plano da retórica não logrou ser efetivamente superado, pois entre avanços e recuos deste processo as tentativas vêm se constituindo em movimentos de alguma desconcentração de poderes, ainda marcados pela mesma lógica centralizadora, herança históricosocial, em ambos os casos, dos seus respectivos períodos ditatoriais, agora também sob a modulação de políticas econômicas neoliberalizantes.

Tecnologia, educação e cidadania: (re)pensar projectos educacionais numa abordagem compreensiva da contemporaneidade

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

Automação industrial. Uma perspetiva de terreno!

De que é que falamos quando nos referimos a AUTOMAÇÃO? - Estamos no âmbito da engenharia eletrotécnica, da mecânica, da eletrónica, da programação, das comunicações, da instrumentação, da pneumática, ….? Na realidade referimo-nos a um pouco disto tudo - a automação será possivelmente a área de engenharia mais pluridisciplinar e integradora de tecnologia. Quererá isto dizer que se trata de uma atividade de Engenharia complexa e densa? - Sim e não! - Vejamos; é vasta e densa porque o seu exercício obriga ao conhecimento de um alargado e diversificado leque de tecnologias mas, a sua base teórica, ou se quisermos os seus “algoritmos”, são bastante simples; baseiam-se em lógica e em sequências temporais. Que competências serão então necessárias para se exercer Automação? - Um conhecimento transversal de engenharia, com particular foco na Engenharia Eletrotécnica e uma boa experiência de terreno. Partindo desta constatação este artigo tem a intenção de abordar a automação de um ponto de vista eminentemente prático e aplicado.

Dos percursos de autoformação aos processos de transformação: uma produção singular de sucesso educativo em meio rural

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

Construção de um centro de recursos educativos num estabelecimento de ensino: estudo de um caso de formação acção

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

Internet na educação: contributo para a construção de redes educativas com suporte computacional

Tese de doutoramento em Ciências da Educação

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

Controlo e optimização de sistemas AVAC recorrendo a técnicas de inteligência artificial

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.