How can data analytics help automate the internal audit of a multinational company

Undoubtedly, the automation of processes is a major trend in today’s world. It can be noticed across almost every field, from business to industry or even medicine. Auditing, for sure, is no different. Organizations must create continuous auditing procedures for financial and operational data due to the changing regulatory environment, growing globalization, market pressure to improve operations, and quickly shifting business conditions. Based on a developed internship at a multinational company, this work will explore the benefits of automating internal audit processes, followed by examples of existing use cases

Process optimization in the core manufacturing department of a foundry industry

A atual globalização, assim como o aumento da competitividade nos mercados nacionais e internacionais, deu origem a um ambiente imprevisível que levou as organizações procurar soluções para se superarem e procurar melhorar, de forma continua os seus processos produtivos nos ramos em que se encontram inseridas, com o objetivo de prestar um serviço superior e disponibilizar produtos com qualidade elevada e com menos custos associados. A implementação de metodologias relacionadas com a filosofia Lean tem revelado aumento na competitividade das organizações através de processos de melhoria contínua, para a redução de desperdícios assim como a otimização e normalização de processos e organização dos espaços de trabalho. Este novo paradigma de produção levou a muitas empresas adotar esta filosofia, no entanto a sua implementação nem sempre é bem sucedida. Neste trabalho são identificadas e caracterizadas alguns paradigmas e ferramentas desta filosofia, assim como algumas causas das falhas na implementação. Esta dissertação surge no âmbito de um estágio numa empresa líder nacional no setor da fundição, com o objetivo de otimizar os processos produtivos no departamento da Macharia através de uma abordagem SMED para redução dos tempos de troca de caixas de machos e TPM para aumentar a produtividade dos equipamentos e colaboradores do mesmo departamento

Approximate distributed agreement toolkit

Dissertação de mestrado integrado em Informatics EngineeringDistributed Agreement is a well known and researched problem, one whose solutions have vast application in Distributed Systems, as reaching agreement over a certain value or over the order of received messages is extremely important in many multi-agent contexts. Approximate agreement has long been relegated to the sidelines compared to exact agreement, with its most notable application being clock synchronisation. Other proposed applications stemming from control theory target multi-agent consensus, namely for sensor stabilisation, coordination in robotics, and trust estimation. Several proposals for approximate agreement follow the Mean-Subsequence-Reduce approach, simply applying different functions at each phase. However, taking clock synchronisation as an example, applications do not fit neatly into each generic algorithm’s definition: instead they require adapting their internals. Our contribution is three-fold. First, we conduct a survey on approximate agreement and related algorithms, delineating their characteristics thoroughly. Second, we identify additional configuration points, establishing a more general template of MSR approximate agreement algorithms. We then show how this allows us to implement not only generic algorithms but also those tailored for specific purposes. Finally, we propose a toolkit for making approximate agreement practical, providing classical implementations as well as allow these to be configured for specific purposes. We validate the implementation with classical algorithms and clock synchronisation.Acordo Distribuído é um problema bem conhecido e estudado, com soluções de vasta aplicabilidade em Sistemas Distribuídos, uma vez que atingir acordo sobre um certo valor ou sobre a ordem de mensagens recebidas é extremamente importante em muitos contextos multi-agente. Acordo Aproximado tem sido relegado a segundo plano em comparação a acordo exato, sendo a sua aplicação mais notória sincronização de relógios. Outras aplicações propostas, provenientes da teoria de controlo, visam o consenso multi-agente, nomeadamente para a estabilização de sensores, coordenação robótica e estimativa de confiança. Várias propostas de algoritmos de acordo aproximado seguem a abordagem Mean-Subsequence-Reduce, simplesmente aplicando várias funções de aproximação em cada fase. No entanto, utilizando sincronização de relógios como exemplo, aplicações não encaixam perfeitamente na definição dos algoritmos genéricos: é necessário adaptá-los. A nossa contribuição é constituída por três partes. Primeiramente, realizamos uma sondagem sobre acordo aproximado e algoritmos relacionados, delineando minuciosamente as suas características. Em segundo lugar, identificamos pontos de configuração adicionais, estabelecendo um esqueleto de algoritmos de acordo aproximado MSR. Demonstramos então como é que isto nos permite implementar não só algoritmos genéricos, como também aqueles adaptados a propósitos específicos. Finalmente, propomos um conjunto de ferramentas para passar acordo aproximado à prática, incluindo implementações de algoritmos clássicos, bem como a possibilidade de implementar mais algoritmos para propósitos específicos. Validamos então a implementação com algoritmos clássicos e com sincronização de relógios.This work is financed by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project LA/P/0063/2020 through grant no. 9518/BII-E B4/2022. I would like to extend my thanks to FCT, INESC TEC and to HASLab for giving me the opportunity and resources to further my thesis and to allow it to truly flourish

Foresight methodologies: application to the housing market

The housing market is complex, multidimensional and depends on the variability of external factors and the amount of information available to the agents involved in the process. Despite the challenges associated to this theme, its relevance in the socioeconomic and territorial context, sustains a greater effort to develop and apply knowledge for decision making; process that depends on the evolution of the factors influencing the housing market. The formal analytical models that have been applied limit the ability to introduce the uncertainty of the future, which enhances the contribution of foresight analysis, as a strategic tool that supports the construction of future visions in order to inform decision making. The project "Drivers of Housing Demand in Portuguese Urban System" (DONUT) studies the housing market dynamic and analyses the housing price explanatory factors, combining econometric models with foresight analysis (future scenarios and Delphi techniques). This paper discusses the importance of using foresight techniques as a decision support tool, being presented an exploratory exercise of future scenario analysis. For this purpose, the paper is structured in three parts: i) brief description of the predicting models, ii) summarized approach to the housing market in the context of future scenarios and introduction of the dimensions chosen for the exercise, iii) short description of the scenarios

DEPOIMENTO SOBRE A EXPERIÊNCIA DE LEITURA E CRÍTICA DOS POETAS DE ORPHEU

Depoimento concedido à Professora Dra. Lilian Jacoto na Fundação Calouste Gulbenkian em Lisboa, no ano de 2015, transcrito por  Roberta Ferraz e editado por Luiz Melques

Pessoa ou o eu como ficção

Do eu como instância fictícia, Pessoa compôs para si próprio uma ópera. Nascia assim um dos mitos literários mais perturbadores do nosso século, o mito do poeta sem nome próprio, criador de outros poetas em nome da única ficção que os torna possíveis: a do eu como ficção. A ópera poética de Pessoa se representa a portas fechadas entre seu eu-ficção e as ficções destinadas a lhe dar a ilusão da sua realidade. Para ele não é apenas a verdadeira vida que está ausente. Toda vida é Ausência

Vieira ou o tempo barroco

O autor de A missão de Ibiapaba, ao mesmo tempo narrador e ator principal dos percursos da evangelização numa região da América, então praticamente inacessível, e pertencente à jurisdição do rei de Portugal, é, não apenas um missionário zeloso da Companhia de Jesus, mas um orador inigualável, um personagem político de primeiro plano e o mais ilustre dos escritores portugueses do seu tempo. Falo naturalmente de Antônio Vieira. Somos ainda hoje sensíveis ao encanto e ao poder de sua escrita, num texto de circunstância, desprovido de qualquer pretensão literária, contrariamente aos sermões que firmaram sua reputação de predicador, particularmente os pronunciados na corte de Lisboa e em Roma, diante do Papa

O TEMPO DE EÇA E EÇA E O TEMPO

Como sabemos, Eça de Queirós ainda entrou neste século.