Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Long-term biosignals visualization and processing

Thesis submitted in the fulfillment of the requirements for the Degree of Master in Biomedical Engineering

Does it pay to be social responsible? Portuguese SMEs feedback

The research on corporate social responsibility has been focused mainly on Anglo-Saxon countries and big companies. Most scholars agree there is a positive relationship between companies social and economic performance, however, this is not unanimous. Moreover,during economic downturns, companies struggle for survival and might consider corporate social responsibility efforts should be postponed. This research investigates if there is a positive relationship between social performance and key business results using a large sample of small and medium Portuguese companies over an extended period of time. The research results support the existence of valid positive relationships between companies’ social performance and key business results, confirming it does pay to invest in corporate social responsibility even in less favorable economic scenarios and for small and medium companies across all business sectors.

The role of literature: english textbooks and literature in secondary teaching in Portugal

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino de Inglês

The development and implementation of math projects in a HEI: expectations, objectives, experiences and analysis

An overwhelming problem in Math Curriculums in Higher Education Institutions (HEI), we are daily facing in the last decade, is the substantial differences in Math background of our students. When you try to transmit, engage and teach subjects/contents that your “audience” is unable to respond to and/or even understand what we are trying to convey, it is somehow frustrating. In this sense, the Math projects and other didactic strategies, developed through Learning Management System Moodle, which include an array of activities that combine higher order thinking skills with math subjects and technology, for students of HE, appear as remedial but important, proactive and innovative measures in order to face and try to overcome these considerable problems. In this paper we will present some of these strategies, developed in some organic units of the Polytechnic Institute of Porto (IPP). But, how “fruitful” are the endless number of hours teachers spent in developing and implementing these platforms? Do students react to them as we would expect? Do they embrace this opportunity to overcome their difficulties? How do they use/interact individually with LMS platforms? Can this environment that provides the teacher with many interesting tools to improve the teaching – learning process, encourages students to reinforce their abilities and knowledge? In what way do they use each available material – videos, interactive tasks, texts, among others? What is the best way to assess student’s performance in these online learning environments? Learning Analytics tools provides us a huge amount of data, but how can we extract “good” and helpful information from them? These and many other questions still remain unanswered but we look forward to get some help in, at least, “get some drafts” for them because we feel that this “learning analysis”, that tackles the path from the objectives to the actual results, is perhaps the only way we have to move forward in the “best” learning and teaching direction.

Mercados bolsistas

O intenso intercâmbio entre os países, resultante do processo de globalização, veio acrescer importância ao mercado de capitais. Os países em desenvolvimento procuram abrir as suas economias para receber investimentos externos. Quanto maior for o grau de desenvolvimento de uma economia mais ativo será o seu mercado de capitais. No entanto, tem-se verificado uma tendência de substituição de enfoque económico, que antes era mais dirigido ao planeamento empresarial para metas mais ligadas ao meio ambiente. O mercado de capitais é um sistema de distribuição de valores mobiliários cujo objectivo é proporcionar liquidez a títulos emitidos pelas empresas, com a finalidade de viabilizar o processo de capitalização desses papéis. O mercado de capitais é composto pelas bolsas de valores, sociedades corretoras e outras instituições financeiras que têm autorização da Comissão de Valores dos Mercados Mobiliários (CMVM). O mercado bolsista insere-se no mercado de capitais. Nesses mercados, é importante conseguir conjuntamente a maximização dos recursos (retornos) e minimização dos custos (riscos). O principal objectivo das bolsas de valores é promover um ambiente de negociação dos títulos e dos valores mobiliários das empresas. Muitos investidores têm a sua própria maneira de investir, consoante o perfil que cada um tem. Além do perfil dos investidores, é também pertinente analisar a questão do risco. Vaughan (1997) observa que, nos dias atuais, a questão da administração do risco está presente na vida de todos. Este trabalho tem o propósito de demonstrar a necessidade da utilização de ferramentas para a seleção de ativos e para a mensuração do risco e do retorno de aplicações de recursos financeiros nesses activos de mercados de capitais, por qualquer tipo de investidor, mais especificamente na compra de ações e montagem de uma carteira de investimento. Para isso usou-se o método de Elton e Gruber, analisou-se as rentabilidades, os riscos e os índices de desempenho de Treynor e Sharpe. Testes estatísticos para os retornos das ações foram executados visando analisar a aleatoriedade dos dados. Este trabalho conclui que pode haver vantagens na utilização do método de Elton e Gruber para os investidores propensos a utilzar ações de empresas socialmente responsáveis.

O marketing interno na ótica dos gestores de recursos humanos

Na sociedade atual as organizações estão cada vez mais conscientes do valor que têm os seus recursos humanos. Na Era da grande concorrência e mutações constantes dos serviços, lidera quem primar pela diferença, e sem dúvida que quem faz a diferença são os bons colaboradores. São estes talentos que as empresas querem atrair, motivar, desenvolver e reter. As organizações intentam aplicar o marketing interno, em detrimento das técnicas tradicionais de motivação e gestão dos colaboradores, sendo que aquelas procuravam ações e comportamentos nos colaboradores que possibilitassem atingir os objetivos da organização. O marketing interno assenta na ideia de que antes de satisfazer as necessidades e expectativas dos clientes externos, a organização deve preocupar-se em satisfazer as necessidades e expectativas dos clientes internos. O marketing interno possui ferramentas que utilizadas no seio da organização e de forma estratégica, podem ser cruciais para uma postura cada vez mais adequada, bem como para o comprometimento para com a empresa e desempenho dos colaboradores. Este projeto de investigação busca analisar a implementação do marketing interno, pelo próprio olhar dos gestores de recursos humanos de empresas portuguesas, tendo como objetivo central perceber a importância dada pelos gestores de recursos humanos ao marketing interno. Para tal recorreu-se à metodologia qualitativa, com recurso a entrevistas semiestruturadas, as quais serão analisadas através da análise de conteúdo, nomeadamente a análise temática ou categorial.

Otimização de processos de logística in-house

A presente dissertação foi realizada no âmbito do Mestrado de Engenharia e Gestão Industrial da Escola Superior de Estudos Industriais e de Gestão, de Vila do Conde. O projeto desenvolvido tem como tema principal a Otimização de processos de Logística in-house baseado num projeto, em contexto empresarial da empresa cliente, Continental Mabor S.A., da Rangel Distribuição e Logística, S.A. Este projeto tem como objetivo a “aglomeração” de dois armazéns do cliente, devido à necessidade de ocupação do armazém de produto acabado interno, para aumento da área de produção. Inicialmente foi feita uma revisão de literatura sobre os temas mais relevantes de suporte para o projeto, nomeadamente na otimização e melhoria contínua. Seguidamente é apresentado o Grupo Rangel, bem como a Rangel Distribuição e Logística, S.A., onde se enquadra o projeto e para se perceber o enquadramento e objetivo. A metodologia usada, caso de estudo, permitiu a aplicação de conceitos e ferramentas usados na literatura neste contexto, como ferramentas de otimização e melhoria continua como as melhores práticas de Kaizen-Lean. Na fase de diagnóstico do atual sistema, foi realizado um mapeamento de fluxo de processos e uma descrição detalhada do layout dos dois armazéns: Armazém de Produto Acabado (APA) e Armazém de Produto Acabado Externo (APAE), bem como todos os recursos, quer técnicos quer humanos necessários. Verificamos ao longo deste projeto várias limitações, inclusive limitações impostas pelo cliente, tal como não aprovar um estudo para um novo layout do armazém. Foi aprovado apenas a replicação do já existente. Com isto, depararam-se constrangimentos na gestão deste projeto. Os custos aumentaram significativamente, embora estes não sejam apresentados por questões de confidencialidade, principalmente com a necessidade de aquisição de novos equipamentos retráteis, e mais baterias para os mesmos, devido às grandes distâncias que irão ser percorridas. Finalmente foi projetado o sistema futuro, de acordo com as necessidades reais do cliente tendo em consideração a otimização de recursos e uma gestão magra (Lean Management). Foi desenvolvida a implementação da metodologia “Kaizen diário”, a dar início em 2016 juntamente com o novo projeto APAE. Com esta projeção foram identificados problemas e implicações no projeto, bem como possíveis melhorias.

MOLECULAR TYPING OF Candida albicans ISOLATES FROM HOSPITALIZED PATIENTS

SUMMARYIntroduction: The majority of nosocomial fungal infections are caused by Candida spp. where C. albicans is the species most commonly identified. Molecular methods are important tools for assessing the origin of the yeasts isolated in hospitals.Methods: This is a study on the genetic profifiles of 39 nosocomial clinical isolates of C. albicans using two typing methods: random amplifified polymorphic DNA (RAPD) and microsatellite, two different primers for each technique were used.Results: RAPD provided 10 and 11 different profiles with values for SAB of 0.84 ± 0.126 and 0.88 ± 0.08 for primers M2 and P4, respectively. Microsatellite using two markers, CDC3 and HIS3, allowed the observation of six and seven different alleles, respectively, with combined discriminatory power of 0.91.Conclusions: Although genetic variability is clear, it was possible to identify high similarity, suggesting a common origin for at least a part of isolates. It is important to emphasize that common origin was proven from yeasts isolated from colonization (urine, catheter or endotracheal secretions) and blood culture from the same patient, indicating that the candidemia must have started from a site of colonization. The combination of RAPD and microsatellite provides a quick and efficient analysis for investigation of similarity among nosocomial isolates of C. albicans.

Emotion-oriented interventions for environment and the facilitation of pro-environmental behavior

Dissertação para obtenção do Grau de Doutor em Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Web competitive intelligence methodology

Master’s Degree Dissertation

Criação e atualização de aplicações para área de retalho por MDA

Nos últimos anos tem-se verificado a constante evolução dos mercados em plataformas na Internet como forma de melhoria não só dos serviços prestados, mas também para o aumento de vendas de produtos e respetiva internacionalização dos mesmos. Este aumento da procura por este tipo de softwares, assim como a constante evolução e atualização dos mesmos tem contribuído para que estas aplicações evoluam em termos de funcionalidades e complexidade. Isto contribui cada vez para a dificuldade de formar equipas capazes de manter e desenvolver estes sistemas sem que comprometa em grandes custos para as organizações. Neste sentido surgiram diversas ferramentas que permitem criar soluções pré desenvolvidas de aplicações na Internet denominadas de "E-commerce applications". Estas plataformas, apesar do utilizador não ter obrigatoriamente que deter conhecimentos de programação para proceder à sua instalação, são bastante restritas tanto aos serviços que podem ser usados, e na sua escalabilidade, visto que normalmente correm em servidores específicos e por vezes as configurações necessárias para instalação tornam-se bastante complexas de ser efetuadas. Pretende-se no âmbito desta dissertação de mestrado propor um modelo de uma arquitetura de um sistema baseado em mecanismos MDA para a área de retalho, particularmente em ambientes de e-commerce. Serão inicialmente sistematizados os principais tipos de ecommerce numa perspetiva de evolução histórica. Será igualmente enquadrado o MDA no desenvolvimento de um sistema de e-commerce. Neste sentido, serão equacionadas as diferenças entre o modelo típico de desenvolvimento de software e o desenvolvimento de software orientado pelas metodologias do MDA. No processo de especificação e desenvolvimento do modelo proposto será realizada uma análise de requisitos, assim como, a proposta do modelo da arquitetura de um sistema baseado em mecanismos MDA, tendo como orientação os requisitos e arquitetura definida na fase de análise. Finalmente no sentido de analisar o resultado esperado para um sistema orientado por metodologias definidas por MDA, serão realizado alguns testes no sistema desenvolvido de forma a analisar o seu desempenho e validar a sua adequabilidade no âmbito do processo de desenvolvimento de sistemas e-commerce

Desenvolvimento de software com integração contínua

A integração contínua é uma prática no desenvolvimento de software que já existe há algum tempo mas ainda não é muito conhecida nem usada. Esta prática no desenvolvimento de software surgiu com a programação extrema e tem evoluído ao longo dos últimos anos, adaptando-se às novas tecnologias. O estudo aqui apresentado pretende essencialmente mostrar a real importância e o valor acrescido que a integração contínua pode trazer a um projeto de desenvolvimento de software. O trabalho aqui exposto surge no âmbito de um projeto interno, realizado pelo autor na empresa Konkconsulting, cuja finalidade se prende com o conhecimento mais aprofundado da integração contínua e com o levantamento das necessidades e criação de soluções, de modo a conseguir a sua utilização nos produtos que irão ser desenvolvidos pela empresa. Nesta dissertação, é proposto um conjunto de ferramentas para responder às necessidades imediatas da empresa na implementação de integração contínua num dos seus projetos. Estas ferramentas devem ser de simples e de fácil utilização, de modo a ajudar os programadores durante os desenvolvimentos e responder às necessidades da utilização da integração contínua em um projeto a ser desenvolvido pela empresa, mas ao mesmo tempo, podendo ser facilmente incorporadas em futuros projetos.

Aquisição por Visão Artificial e Medição Automática de Micro Dureza Vickers

O ensaio de dureza, e mais concretamente o ensaio de micro dureza Vickers, é no universo dos ensaios mecânicos um dos mais utilizados quer seja na indústria, no ensino ou na investigação e desenvolvimento de produto no âmbito das ciências dos materiais. Na grande maioria dos casos, a utilização deste ensaio tem como principal aplicação a caracterização ou controlo da qualidade de fabrico de materiais metálicos. Sendo um ensaio de relativa simplicidade de execução, rapidez e com resultados comparáveis e relacionáveis a outras grandezas físicas das propriedades dos materiais. Contudo, e tratando-se de um método de ensaio cuja intervenção humana é importante, na medição da indentação gerada por penetração mecânica através de um sistema ótico, não deixa de exibir algumas debilidades que daí advêm, como sendo o treino dos técnicos e respetivas acuidades visuais, fenómenos de fadiga visual que afetam os resultados ao longo de um turno de trabalho; ora estes fenómenos afetam a repetibilidade e reprodutibilidade dos resultados obtidos no ensaio. O CINFU possui um micro durómetro Vickers, cuja realização dos ensaios depende de um técnico treinado para a execução do mesmo, apresentando todas as debilidades já mencionadas e que o tornou elegível para o estudo e aplicação de uma solução alternativa. Assim, esta dissertação apresenta o desenvolvimento de uma solução alternativa ao método ótico convencional na medição de micro dureza Vickers. Utilizando programação em LabVIEW da National Instruments, juntamente com as ferramentas de visão computacional (NI Vision), o programa começa por solicitar ao técnico a seleção da câmara para aquisição da imagem digital acoplada ao micro durómetro, seleção do método de ensaio (Força de ensaio); posteriormente o programa efetua o tratamento da imagem (aplicação de filtros para eliminação do ruído de fundo da imagem original), segue-se, por indicação do operador, a zona de interesse (ROI) e por sua vez são identificadas automaticamente os vértices da calote e respetivas distâncias das diagonais geradas concluindo, após aceitação das mesmas, com o respetivo cálculo de micro dureza resultante. Para validação dos resultados foram utilizados blocos-padrão de dureza certificada (CRM), cujos resultados foram satisfatórios, tendo-se obtido um elevado nível de exatidão nas medições efetuadas. Por fim, desenvolveu-se uma folha de cálculo em Excel com a determinação da incerteza associada às medições de micro dureza Vickers. Foram então comparados os resultados nas duas metodologias possíveis, pelo método ótico convencional e pela utilização das ferramentas de visão computacional, tendo-se obtido bons resultados com a solução proposta.

Análise e implementação de melhorias no serviço Pós-Venda na área automóvel

No âmbito da unidade curricular de Dissertação/Projeto/Estágio, pertencente ao segundo ano do Mestrado em Engenharia Mecânica – Ramo de Gestão Industrial do Instituto Superior de Engenharia do Porto, o presente trabalho foi desenvolvido no Grupo JAP, Grupo do setor automóvel, desenvolvido especificamente no serviço pós-venda. Numa realidade bastante diferente de outros tempos onde havia grandes margens com a venda de produtos, hoje a realidade é bem diferente. Num contexto de competição global onde as margens são mais reduzidas, o serviço pós-venda, onde o cliente é acompanhado desde da compra até o fim de vida do produto, constitui uma fonte de receitas relevante bem como um diferenciador chave dentre as empresas de revenda automóvel. Por estas razões, são cada vez mais as empresas que seguem a filosofia Lean, orientando toda a sua estrutura produtiva no sentido de atingir zero desperdícios, sem interferir com a qualidade do produto final. A realização deste projeto teve como objetivo o desenvolvimento e adequação de ferramentas de melhoria e apoio ao serviço pós-venda no Grupo. Com a elaboração deste trabalho, pretende-se fazer uma análise a todo o processo do serviço pós-venda, identificando os problemas que ocorrem ao longo do processo e desenvolver um plano de ações de melhoria, utilizando para isso as ferramentas da metodologia Lean. Em primeiro lugar, fez-se uma análise do processo do serviço pós-venda e do serviço do armazém de peças, onde foram identificados alguns pontos de melhoria e recolhidos as primeiras informações para uma análise mais aprofundada de cada problema. Posteriormente, estabeleceu-se um plano de ações para eliminar ou minimizar os desperdícios encontrados no processo, aumentar a produtividade e a qualidade do serviço prestado ao cliente, e procedeu-se à implementação das melhorias. Após a implementação das melhorias, fez-se uma avaliação das mesmas e constatou-se um aumento de produtividade, uma redução de desperdícios e um aumento dos índices de qualidade. Em suma uma melhoria no serviço prestado ao cliente.