Percorrer por data de Publicação, começado por "2025-07-25"
A mostrar 1 - 10 de 19
Resultados por página
Opções de ordenação
- A Banda: a música e o teatro num diálogo cénico – A Era da SurdezPublication . Rodrigues, Simão Collares Flores Sirgado; Vicente, Maria Inês Areal Rothes Marques; Sousa, Carlos Manuel Meireles deA Era da Surdez é o culminar na forma cénica de um projeto de investigação do Mestrado em Artes Cénicas, especialização Criação Teatral da ESMAE-IPP. Este projeto revisita e clarifica vontades de investigação expressas quer no ato da minha candidatura quer no desenrolar do primeiro e segundo anos curriculares do mestrado, enunciado também no título A Banda: a música e o teatro num diálogo cénico - A Era da Surdez. Esta monografia estrutura-se em 4 capítulos e um post scriptum. No primeiro capítulo referem-se as inspirações atuais ou passadas de artistas ou projeto que se relacionam com os tópicos de pesquisa. O segundo capítulo aborda a metodologia em investigação/ação desenvolvida na fase projetual e na fase de concretização do espetáculo. O terceiro capítulo dedica-se à fase de concretização da obra cénica A Era da Surdez, propriamente dita. No último capítulo sob o título Considerações Finais reflete-se sobre o impacto do espetáculo no público e adiantam-se inquietações do foro da encenação que alavancam possibilidades futuras. Em post scriptum mergulha-se numa perspetiva pessoal sobre A Força Fantasma: relatos de efemeridade do processo e da permanência do coletivo.
- Application of model checking in the formal verification of requirements for a speed control system in railwayPublication . COELHO, CRISTIANO MANUEL GARCÊS; Pinho, Luís Miguel Rosário da SilvaRailway speed control systems are essential for the safety and efficiency of railway transportation systems, as they ensure compliance with regulations and prevent accidents. As the demand for rail transport grows, rigorous verification of these systems is becomes increasingly critical. In such projects, errors are sometimes only detected during the testing phase, leading to costs that could have been avoided if these errors were identified in the early stages of the project. This thesis focuses on the topic of the formal verification of speed control system, specifically using model checking, to ensure that these systems meet safety requirements as well as performance standards. As the basis for the work presented in this thesis, we will adopt the EBICAB 700 architecture, and for which a small, yet representative, set of safety, operational, or regulatory requirements will be rigorously specified using well-known temporal logic languages, and verified against the system models using the model checking tools NuSMV and UPPAAL. This thesis work aims at contributing to the effort of demonstrating the feasibility and benefits of applying formal verification to railway systems, not only in terms of safety assurance but also as a strategy for reducing late-stage development risks and increased costs. It highlights the value of incorporating formal methods into the requirements and design phases of critical system engineering.
- Desenvolvimento de ferramentas digitais para a gestão da qualidade no ISAG: integração de power apps e power BIPublication . GONÇALVES, ANA BEATRIZ MARTINS; Cardoso, Mónica GlóriaO presente projeto foi desenvolvido no âmbito da Unidade Curricular “Projeto/ Dissertação/ Estágio”, do Mestrado em Engenharia e Gestão Industrial, do Departamento de Engenharia Mecânica do Instituto Superior de Engenharia do Porto. O projeto tem como objetivo analisar e melhorar o Sistema de Gestão da Qualidade (SGQ) para o Instituto Superior de Administração e Gestão (ISAG), focando-se na melhoria da monitorização, avaliação e eficiência dos processos operacionais através da criação e implementação de uma aplicação integrada com diferentes dashboards. O estudo aborda as principais dificuldades enfrentadas pela instituição, como a fragmentação de informações, a dependência de registo manuais e a falta de uma solução integrada para a análise de dados em tempo real. O desenvolvimento deste projeto seguiu uma abordagem mista, combinando a revisão bibliográfica e o levantamento de dados sobre os processos atuais do SGQ, além de reuniões com os colaboradores-chave. Deste modo, a solução proposta inclui a criação de uma aplicação em Power Apps, combinada com dashboards dinâmicos e interativos desenvolvidos em Power BI, com o objetivo de centralizar os dados e melhorar a visibilidade e a tomada de decisões estratégicas. Em síntese, a implementação da solução melhorará significativamente a eficiência operacional, a agilidade na gestão da qualidade e a capacidade de monitorização dos indicadores-chave de desempenho (KPIs). O projeto também sugere que a solução proposta pode ser escalada para outros processos da instituição, proporcionando uma melhoria contínua no desempenho académico e administrativo.
- O impacto da adoção de tecnologias de informação na eficiência operacional dos departamentos de um hotel: estudo de caso do Hotel Vila Galé PortoPublication . Ferreira, Ana Sofia Ribeiro; Silva, CândidaO presente relatório incide sobre o estágio curricular realizado no Hotel Vila Galé (VG) Porto, no âmbito do Mestrado em Direção Hoteleira da Escola Superior de Hotelaria e Turismo do Porto (ESHT), entre outubro de 2024 e abril de 2025. Este estágio teve como principais objetivos aplicar os conhecimentos teóricos adquiridos ao longo da formação e proporcionar uma experiência prática em contexto real de trabalho, através da rotação por três departamentos distintos: Receção, Housekeeping e Economato. Paralelamente à vertente prática, foi desenvolvida um estudo centrado no impacto da adoção tecnológica nos processos internos do Hotel. Com base na perceção dos colaboradores, procurou-se compreender de que forma as tecnologias e os sistemas de informação contribuem para a eficiência operacional, a comunicação organizacional e o apoio à tomada de decisão, assim como identificar os principais desafios inerentes à sua implementação. A investigação foi sustentada por uma revisão de literatura, sendo conduzida através da aplicação de um questionário estruturado de uma entrevista semiestruturada. A estrutura do relatório contempla uma revisão teórica, a caracterização da entidade de acolhimento, a descrição das atividades de estágio, a apresentação, e análise e discussão do estudo realizado, bem como uma reflexão crítica final. O trabalho evidencia a relevância estratégica da tecnologia na gestão hoteleira contemporânea e pretende contribuir para uma melhor compreensão da sua aplicação prática num ambiente real.
- As tributações autónomas em sede de IRC no sistema fiscal portuguêsPublication . Cabo, Diana Filipa Correia do; Fernandes, Tiago Vieira Pimenta MartinsAs Tributações Autónomas constituem uma forma de tributação característica do sistema fiscal português, inicialmente concebidas como mecanismo de desincentivo à realização de determinadas despesas empresariais. Contudo, ao longo dos anos, a sua aplicação tem-se desviado do conceito inicial, assumindo-se como uma fonte relevante de receita fiscal. Este regime tem gerado discussão pela potencial distorção no âmbito do IRC, uma vez que incide sobre as empresas em situação lucrativa, bem como em situação de prejuízo fiscal, e também pelos conflitos com os princípios da CRP. A presente dissertação analisa as Tributações Autónomas, em sede de IRC, em Portugal, com o objetivo de avaliar a existência de regimes semelhantes noutros Estados Membros da UE nomeadamente Espanha e Irlanda. Pretende apurar-se se o caso português constitui uma especificidade no panorama da UE tendo em conta a sua finalidade, a relevância das receitas fiscais associadas e o impacto sobre a competitividade empresarial. A metodologia adotada inclui uma abordagem mista quantitativa e qualitativa, alicerçada em investigação jurídica e análise de dados fiscais. Esta investigação procura avaliar o impacto das Tributações Autónomas na competitividade fiscal e na complexidade do sistema fiscal português, em comparação com os países analisados. Os resultados evidenciam que o sistema fiscal português se distingue por ser um dos poucos a aplicar um regime de Tributações Autónomas, tal como demonstrado pelos estudos analisados ao longo da presente investigação. Este elemento específico, de natureza marcadamente penalizadora, tem contribuído para agravar os desafios enfrentados pelas empresas nacionais, em particular no que se refere ao aumento da carga fiscal, à diminuição da competitividade e à deterioração da perceção de equidade do sistema tributário.
- Automatização do processo de deploymentPublication . RODRIGUES, RÚBEN ALEX FERREIRA; Carvalho, Piedade Barros LopezNum contexto organizacional cada vez mais exigente, a automatização do processo de deployment tornou-se uma componente crítica na melhoria da eficiência, fiabilidade e previsibilidade dos ciclos de entrega de software. Esta dissertação teve como objetivo conceber, desenvolver e validar uma solução de automatização do processo de deployment, adaptada à realidade de uma organização tecnológica de grande escala, com múltiplas equipas, ambientes e restrições operacionais. A investigação seguiu a metodologia Design Science Research (DSR), articulando uma fase de diagnóstico com iterações de conceção, implementação e validação. O trabalho inicia-se com uma revisão do estado da arte, abordando práticas consolidadas em DevOps e CI/CD, como testes de sanidade automatizados, rollbacks condicionais, monitorização contínua e reporting automático. São também analisadas ferramentas como Jenkins, GoCD, Splunk, Sensu e Grafana, avaliando a sua aplicabilidade no contexto da pipeline da organização. A solução proposta materializou-se no desenvolvimento de uma aplicação autónoma — o Release Assistant — que centraliza e automatiza etapas críticas do deployment, como a gestão de tráfego, validações pós-deployment (sanity checks, métricas, alarmes) e produção de relatórios. A arquitetura modular permite integração com sistemas existentes e reutilização em múltiplos serviços e ambientes. Os resultados demonstram uma redução objetiva no esforço manual e no tempo de execução. Com base em medições, registou-se uma redução média de 15 minutos por execução, equivalente a cerca de 41% da duração dos deployments, refletindo-se diretamente na eficiência operacional. A solução aumentou ainda a fiabilidade das validações, assegurando maior consistência nos testes e deteção precoce de falhas. Em termos de contributo, o trabalho apresenta uma abordagem replicável de automatização de validações integrada em pipelines CI/CD, validada num ambiente de produção real e sustentada por evidência quantitativa e feedback qualitativo. Apesar dos resultados positivos, reconhece-se que a solução depende da estrutura atual das pipelines e da existência de sistemas de monitorização acessíveis por API. A adoção noutros contextos poderá exigir adaptações. Ainda assim, o trabalho demonstra o potencial da automatização como vetor de transformação digital orientado à melhoria contínua dos sistemas e processos operacionais.
- Sistema de recomendação híbrido para definição de táticas de futebol 11Publication . DOMINGUES, NUNO FERNANDES MELEIRO; Martins, António Constantino LopesEsta dissertação aborda a definição de táticas no futebol de 11, um desafio complexo especialmente em equipas amadoras, onde a falta de recursos tecnológicos limita a capacidade de análise aprofundada de dados de jogo. O objetivo central consistiu em desenvolver e demonstrar um sistema de recomendação híbrido que auxilie treinadores na tomada de decisões táticas, integrando dados de desempenho da própria equipa e dos adversários. Para concretizar este objetivo, foi implementada uma aplicação web composta por um backend robusto em Java, um módulo de recomendação baseado em técnicas de machine learning (Random Forest) e uma interface em Angular. A metodologia seguiu as diretrizes PRISMA para revisão sistemática da literatura, analisando boas práticas na área dos sistemas de recomendação e da análise de dados desportivos. O sistema conjuga filtragem baseada em conteúdo com elementos inspirados na filtragem colaborativa, permitindo gerar sugestões personalizadas de formações e estratégias. Os testes realizados incluíram a validação do módulo de recomendação com dados reais e a avaliação técnica da aplicação, evidenciando o seu funcionamento adequado e o potencial para apoiar decisões fundamentadas. Embora não tenha sido possível recolher respostas diretas de treinadores, foi preparado um questionário de avaliação para recolher futuros contributos de treinadores de formação do Porto, cujas respostas poderão orientar melhorias incrementais. Conclui-se que a solução proposta representa um passo viável na democratização do uso de inteligência artificial no futebol, oferecendo uma ferramenta de apoio acessível e aplicável em contextos de equipas de formação, onde o impacto de decisões mais informadas poderá ser particularmente relevante para a evolução técnica e tática das equipas.
- Estratégias de marketing digital para o reforço do branding: relatório de estágio na Liga PortugalPublication . Alves, Henrique Pinto; Santos, José de FreitasO presente relatório de estágio, desenvolvido no âmbito do Mestrado em Marketing Digital do Instituto Superior de Contabilidade e Administração do Porto (ISCAP), descreve as atividades realizadas na Liga Portugal, no Departamento de Promoção, ao longo de seis meses. O documento encontra-se estruturado em quatro partes principais: revisão de literatura, contextualização institucional da Liga Portugal, descrição das atividades desenvolvidas ao longo do estágio e análise crítica do estágio. Entre as tarefas realizadas destacam-se: a análise do website e redes sociais da Liga Portugal, a análise de plataformas de marketing de influência, a pesquisa de criadores de conteúdo internacionais, um benchmarking e a criação de um plano de Meta Ads para o Liga Portugal Bistrô, e a monitorização de conteúdos relacionados com o evento Liga Portugal Creators Cup. Este estágio permitiu aplicar na prática os conhecimentos adquiridos ao longo do mestrado, consolidando competências técnicas e estratégicas na área do Marketing Digital.
- Relatório de Estágio: JJS StandPublication . Capa, Gonçalo João Esteves Rodrigues Ferreira; Santos, José de FreitasEste relatório de estágio foi elaborado como conclusão do Mestrado em Marketing Digital, realizado no Instituto Superior de Contabilidade e Administração do Porto. O seu objectivo é apresentar, de forma detalhada, as atividades desenvolvidas durante o estágio curricular realizado na empresa JJS Stand. Este estágio teve início a 4 de novembro de 2024 e terminou no dia 2 de maio de 2025, com um total de 720 horas. Este relatório engloba uma parte teórica sobre as tarefas realizadas durante o período de estágio, como a elaboração de campanhas de email marketing, artigos de SEO e elaboração de posts para as redes sociais, bem como a descrição das mesmas. Este estágio, para além de ter contribuído muito para o desenvolvimento das minhas aptidões profissionais, teve um grande impacto no meu crescimento enquanto ser humano.
- Liderança e inteligência cultural em equipas multiculturais virtuais - efeitos sobre a coesão, comunicação e desempenhoPublication . Reche, Marina Rodrigues; Antunes, Isabel Cristina MartinsNuma era em que as organizações operam em ambientes cada vez mais diversos e digitalmente distribuídos, a liderança de equipas multiculturais virtuais tornou-se uma competência crítica. Esta dissertação analisa a influência da inteligência cultural percebida nos líderes sobre a coesão, a comunicação e o desempenho em equipas multiculturais virtuais. Adicionalmente, investiga-se se o modelo de trabalho (remoto versus híbrido) e o setor de atividade influenciam essas perceções. Foi conduzido um estudo quantitativo com 146 profissionais de diferentes nacionalidades e setores, com experiência em equipas multiculturais. Os dados foram analisados através do IBM SPSS Statistics, através de correlações de Pearson, regressões lineares, teste de Mann–Whitney U, MANOVA e testes univariados complementares. Os resultados demonstram que a inteligência cultural do líder se associa positivamente à coesão da equipa, à comunicação eficaz e, de forma mais moderada, ao desempenho. Não foram encontradas diferenças significativas entre equipas remotas e híbridas. No entanto, o setor de atividade revelou uma relação estatisticamente relevante com a coesão, sendo que o setor financeiro apresentou níveis mais elevados do que o setor de tecnologia. A investigação reforça a importância da inteligência cultural na liderança de equipas multiculturais, oferecendo contributos relevantes no âmbito organizacional e académico. Os resultados evidenciam a necessidade de adoção de práticas de liderança mais eficazes, capazes de promover coesão, comunicação e desempenho em ambientes multiculturais. Adicionalmente, o estudo contribui para preencher lacunas na literatura ao integrar, de forma articulada, variáveis individuais, como a inteligência cultural da liderança, e variáves contextuais, como o modelo de trabalho e o setor de atividade, na explicação da dinâmica de equipas multiculturais virtuais.