Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
    Factos & Números
    000
    Apresentação

    Computação Centrada no Humano e Ciência da Informação

    HumanISE é um centro de investigação interdisciplinar focado em Computação Centrada no Humano (HCC) com uma ampla e profunda experiência em Ciência da Computação (CS) e Ciência da Informação (IS).

    No HumanISE, engenheiros, cientistas e designers focam-se na investigação e desenvolvimento de sistemas de software, métodos e ferramentas que podem potenciar o ser humano e seus ambientes e comunidades, envolvendo elevada complexidade técnica e de gestão, resultante de larga escala, heterogeneidade, incerteza, integridade, conformidade com normas e enquadramentos legais ou questões organizacionais especificas do domínio de aplicação.

    A nossa missão é desenvolver atividade de excelência e impactante em termos científicos, inovação, consultoria e e transferência de tecnologia, em estreita cooperação com os nossos parceiros académicos e empresariais. Focamos a nossa atividade em cinco áreas de investigação principais - Interação Homem(Pessoa)-Computador; Computação Gráfica e Media Digital Interativa; Gestão da Informação e Sistemas de Informação; Engenharia de Software; e Sistemas Computacionais de Grande Escala e Propósito Específico, Linguagens e Ferramentas - e quatro áreas principais de inovação - Investigação em Saúde Personalizada; Ciências da Terra, Mar e Espaço; Engenharia de Sistemas de Informação Geo-espacial; e Sistemas de Informação e Computação Aplicada.

    Estamos também fortemente empenhados na formação de jovens investigadores e jovens profissionais, tendo um registo significativo na orientação de mestrandos e doutorandos.

    Atualmente, os nossos investigadores são oriundos da Universidade do Porto (UP), Politécnico do Porto (IPP), Universidade de Trás-os-Montes e Alto Douro (UTAD), Universidade Aberta (UAb) e Universidade do Minho (UM).

    Últimas Notícias
    Ciência e Engenharia dos Computadores

    O diálogo sobre semicondutores em Portugal fez-se com contributos do INESC TEC – seis meses após o arranque do Centro de Competências

    O posicionamento português no ecossistema dos semicondutores foi um dos tópicos abordados no evento promovido pelo Centro de Competências Português em Semicondutores (POEMS), do qual o INESC TEC é parceiro.

    21 novembro 2025

    Ciência e Engenharia dos Computadores

    INESC TEC e Águas do Douro e Paiva assinam protocolo de colaboração

    O mais recente protocolo de colaboração do INESC TEC foi assinado com a Águas do Douro e Paiva (AdDP), a 31 de outubro, nas instalações da AdDP, em Lever.

    06 novembro 2025

    Ciência e Engenharia dos Computadores

    População sénior a treinar com Inteligência Artificial? O futuro é (mesmo) hoje.

    Chama-se IATOS e pretende tornar o treino físico remoto mais seguro, eficaz e acessível para a população idosa. O projeto, liderado por um consórcio que inclui o INESC TEC, a AGIT TECH e a Universidade de Trás-os-Montes e Alto Douro, tem como objetivo criar uma plataforma digital de treino físico assistido por inteligência artificial, especificamente desenhada para pessoas com mais de 65 anos.  

    29 setembro 2025

    Sistemas de Energia

    Há soluções tecnológicas inovadoras a ser desenvolvidas para os mercados locais de energia – com contributos do INESC TEC

    O atraso na geração de dados sintéticos para séries temporais, elementos fundamentais nos cenários de previsão energética, foi uma das motivações para o GENESIS – um projeto que pretende capacitar os mercados locais de energia elétrica de dados sintéticos contextuais e modelos de inteligência artificial expectável.

    22 setembro 2025

    Ciência e Engenharia dos Computadores

    Investigadores INESC TEC na organização de conferência internacional em visão computacional e computação gráfica

    A VISIGRAPP 2025 – 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, chegou ao Porto no fim de fevereiro. Juntou mais de 380 investigadores e profissionais, interessados em acompanhar e discutir os avanços teóricos e as aplicações das áreas de Visão Computacional, Computação Gráfica, Interação Humano-Computador e Visualização de Informação, respetivamente os temas principais das conferências co-colocadas VISAPP, GRAPP, HUCAPP e IVAPP. Um dos co-chairs desta conferência foi o investigador do INESC TEC A. Augusto de Sousa.

    27 março 2025

    Ver todas as Notícias
    014

    Projetos Selecionados

    ImmersiveSGS

    IMmersive SGS: Certificação de Serviços Digitais em Ambientes Virtuais Imersivos

    2026-2028

    SMARTBOGIE

    SMARTBOGIE – Solução Inovadora para a Mobilidade Ferroviária de Mercadorias

    2025-2028

    BATTLEVERSE

    A Human-Centred MSaaS Ecosystem for Enhanced Mission Planning and Execution via BATTLEfield Modelling, AdVERSarial AI, and Multi-domain Simulation Environments

    2025-2028

    AgroTecVerdeVR

    Aplicação de Realidade Virtual para Visitas Virtuais

    2025-2026

    DUVOPS

    Ocean Preservation System Based on Digital Twins and Fleets of Heterogeneous Unmanned Vehicles

    2025-2028

    XARPER_RETAIL

    XARP Extended Reality for the Retail Industry

    2025-2027

    PGU2CIMTS

    Consultoria para a implementação de uma Plataforma de Gestão Urbana na CIM do Tâmega e Sousa

    2025-2025

    IATriage4SU

    Apoio à tomada de decisão na triagem de urgência de adultos, com recurso a inteligência artificial

    2025-2026

    BolsasFCT_Gestao

    Financiamento Bolsas Doutoramento FCT - Gestão

    2025-9999

    AMIDA

    Aquisição de um serviço de desenvolvimento de arquitetura do sistema AMIDA

    2024-2025

    PFAI4_5eD

    Programa de Formação Avançada Industria 4 - 5a edição

    2024-2024

    Data4LEM

    Synthetic and Explainable Data Generation for the Simulation and Analysis of Future Local Electricity Markets

    2024-2025

    PTPumpup

    Building Portuguese Language Resources through machine learning and limited human interaction

    2021-2024

    RTE

    2015-2016

    Equipa
    Ademar Aguiar

    Coordenador de Centro

    Artur Rocha

    Coordenador de Centro

    Hugo Paredes

    Coordenador de Centro

    ViewClose Alphabet
    • a
    • b
    • c
    • d
    • e
    • f
    • g
    • h
    • i
    • j
    • k
    • l
    • m
    • n
    • o
    • p
    • q
    • r
    • s
    • t
    • u
    • v
    • w
    • x
    • y
    • z
    003

    Laboratórios

    Laboratório de Sistemas de Informação

    Laboratório de Engenharia de Software

    Laboratório de Computação Gráfica e Ambientes Virtuais

    Publicações

    HumanISE Publicações

    Ler todas as publicações

    2026

    An Explosion of the Uses of Immersive Learning Environments: A Mapping of Reviews Update

    Autores
    Beck, E; Morgado, LC; O’Shea, M;

    Publicação
    Communications in Computer and Information Science

    Abstract
    Since the publication of the 2020 paper, “Finding the Gaps About Uses of Immersive Learning Environments: A Survey of Surveys,” the landscape of immersive learning environments (ILEs) has continued to evolve rapidly. This update aims to revisit the gaps identified in that previous research and explore emerging trends. We conducted an extensive review of new surveys published after that paper’s cut date. Our findings reveal a significant amount of new published reviews (n?=?64), more than doubling the original corpus (n?=?47). The results highlighted novel themes of usage of immersive environments, helping bridge some 2020 research gaps. This paper discusses those developments and presents a consolidated perspective on the uses of immersive learning environments. © 2025 Elsevier B.V., All rights reserved.

    FecharLer Abstract

    2026

    Comparing and extending satisfiability solution methods for the resource-constrained project scheduling problem

    Autores
    Coelho, J; Vanhoucke, M;

    Publicação
    COMPUTERS & OPERATIONS RESEARCH

    Abstract
    This paper solves the resource-constrained project scheduling problem (RCPSP) with a satisfiability problem (SAT) solver. This paper builds further on various existing SAT models for this well-known project scheduling problem and extends them with two methods to satisfy the resource constraints. Specifically, we use the wellknown minimal forbidden sets and compare them with the so-called covers that are traditionally used in SAT implementations. Moreover, we also implement an existing binary decision trees approach under various settings and extend the model with networks with adders, so far never used for solving the RCPSP, to guarantee that resource constraints are satisfied. The algorithms are tested under different settings on a set of 13,413 project instances with diverse network and resource structures, and the experiments demonstrate that a combination of these approaches help in finding better solutions within a reasonable time. Moreover, 393 new lower bounds, 62 new upper bounds, and 290 optimally solved instances (including 18 from the PSPLIB) have been discovered, which, to the best of our knowledge, had not been found before. The strong performance of the new algorithm motivated additional experiments, and the preliminary results suggest several promising directions for future research.

    FecharLer Abstract

    2026

    A framework for supporting the reproducibility of computational experiments in multiple scientific domains

    Autores
    Costa, L; Barbosa, S; Cunha, J;

    Publicação
    Future Gener. Comput. Syst.

    Abstract
    In recent years, the research community, but also the general public, has raised serious questions about the reproducibility and replicability of scientific work. Since many studies include some kind of computational work, these issues are also a technological challenge, not only in computer science, but also in most research domains. Computational replicability and reproducibility are not easy to achieve due to the variety of computational environments that can be used. Indeed, it is challenging to recreate the same environment via the same frameworks, code, programming languages, dependencies, and so on. We propose a framework, known as SciRep, that supports the configuration, execution, and packaging of computational experiments by defining their code, data, programming languages, dependencies, databases, and commands to be executed. After the initial configuration, the experiments can be executed any number of times, always producing exactly the same results. Our approach allows the creation of a reproducibility package for experiments from multiple scientific fields, from medicine to computer science, which can be re-executed on any computer. The produced package acts as a capsule, holding absolutely everything necessary to re-execute the experiment. To evaluate our framework, we compare it with three state-of-the-art tools and use it to reproduce 18 experiments extracted from published scientific articles. With our approach, we were able to execute 16 (89%) of those experiments, while the others reached only 61%, thus showing that our approach is effective. Moreover, all the experiments that were executed produced the results presented in the original publication. Thus, SciRep was able to reproduce 100% of the experiments it could run. © 2025 The Authors

    FecharLer Abstract

    2026

    Renewable Energy Into Sustainability Metrics: A Multicriteria Decision

    Autores
    Rodrigues H.S.; Garcia J.E.; Silva Â.;

    Publicação
    Communications in Computer and Information Science

    Abstract
    The integration of renewable energy into sustainability metrics is essential for achieving the Sustainable Development Goals (SDGs), particularly in regions aiming to balance energy efficiency, waste management, and urban development. This study explores the application of multicriteria decision-making and statistical techniques to evaluate municipal sustainability, with a focus on renewable energy, using the Alto Minho region of Portugal as a case study. The analysis incorporates 12 SDG indicators across ten municipalities, addressing energy consumption, urban renewal, and waste management. Cluster analysis revealed distinct groups of municipalities, highlighting disparities in sustainability performance. Municipalities such as Melgaço and Monção excelled in energy-related metrics, while others showed strengths in waste management and urban renewal. The Analytic Hierarchy Process (AHP) emphasized the importance of renewable energy indicators, revealing notable changes in rankings when energy-related criteria were prioritized. Ponte de Lima and Melgaço ranked highest under energy-focused weighting schemes, showcasing their leadership in energy efficiency and renewable adoption. The findings underscore the need for targeted policies to enhance sustainability across municipalities, particularly in regions lagging in energy performance.

    FecharLer Abstract

    2025

    LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs

    Autores
    Rincon, AM; Vincenzi, AMR; Faria, JP;

    Publicação
    2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW

    Abstract
    This study explores prompt engineering for automated white-box integration testing of RESTful APIs using Large Language Models (LLMs). Four versions of prompts were designed and tested across three OpenAI models (GPT-3.5 Turbo, GPT-4 Turbo, and GPT-4o) to assess their impact on code coverage, token consumption, execution time, and financial cost. The results indicate that different prompt versions, especially with more advanced models, achieved up to 90% coverage, although at higher costs. Additionally, combining test sets from different models increased coverage, reaching 96% in some cases. We also compared the results with EvoMaster, a specialized tool for generating tests for REST APIs, where LLM-generated tests achieved comparable or higher coverage in the benchmark projects. Despite higher execution costs, LLMs demonstrated superior adaptability and flexibility in test generation.

    FecharLer Abstract