O Controlo interno e as autarquias locais

Dissertação de Mestrado apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação do Profº Especialista Carlos Quelhas Martins

Linear algebra: selected problems

Linear Algebra—Selected Problems is a unique book for senior undergraduate and graduate students to fast review basic materials in Linear Algebra. Vector spaces are presented first, and linear transformations are reviewed secondly. Matrices and Linear systems are presented. Determinants and Basic geometry are presented in the last two chapters. The solutions for proposed excises are listed for readers to references.

O sistema de controlo interno nas autarquias locais: o caso do Município de Espinho

Dissertação de Mestrado Apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria Orientador: Doutor Carlos Mota Coorientadora: Doutora Ana Paula Lopes

A contabilidade de gestão nas autarquias locais: o caso do Município de Espinho

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria Orientação: Doutora Alcina Augusta de Sena Portugal Dias Coorientação: Doutora Amélia Cristina Ferreira Silva

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Importância dos stakeholders locais no processo de branding turístico

O objetivo deste trabalho é avaliar a importância dos stakeholders, particularmente, o caso dos comerciantes locais, que correspondem à recente reformulação da “marca” Porto, enquanto cidade, que resultou na nova imagem “Porto.”, implementada em Setembro de 2014. Visto ser um tema recente, recorreu-se à revisão de literatura para verificar se existe ou não importância na integração desta população, através de um processo de branding conjunto, em parceria com quem na prática empreende a marca. Seguiu-se uma análise mais objetiva, onde se selecionou uma amostra por conveniência, sobre o critério de acessibilidade e ainda realizando um convite para entrevista, junto da organização responsável pelo desenvolvimento da marca, que impremeditávelmente foi declinado. Contudo, prosseguiu-se com o apropositado ingrediente da matéria em pesquisa, que talvez possa responder à desconformidade da organização em prestar esclarecimento. Deste modo, do elemento a ser investigado identificam-se quarenta e um negócios, de diferentes segmentos de mercado (alojamentos turísticos, restauração, garrafeiras e lojas de artesanato local), com uma média de cinco funcionários cada e localizadas na zona histórica da cidade do Porto. Em colaboração com os mesmos, foi produzido um questionário pessoal com os proprietários de cada organização investigada. Daqui resultou o nível de familiaridade, motivações e desejos, assim como nível de envolvimento, aproveitamento e aplicação destes stakeholders, imprenscindíveis à marca. Descobrindo-se que independentemente da consciência sobre a existência de uma marca e de um bom nível de reconhecimento, após o seu lançamento, isto não se correlaciona com o comprometimento disponibilizado por parte de quem a gere, nomeadamente comunicação direcionada para os stakeholders locais. Verificando-se uma incongruência quanto ao empreendimento do conceito de branding colaborativo, identificado na literatura e ao qual se atribuí uma aplicabilidade proveitosa.