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
Notícias

Notícias por Laboratório de Software Confiável

Institucional

INESC TEC participa em conferência sobre o ensino da computação

Especialistas nas áreas da educação e da computação estiveram reunidos no Auditório Super Bock Arena para discutir os desafios associados à integração do ensino da computação no espaço escolar. A conferência TNT|The New Trivium, que decorreu no dia 3 de junho, contou igualmente com a participação de José Nuno Oliveira, investigador sénior do Laboratório de Software Confiável (HASLab) do INESC TEC.

04 julho 2023

Institucional

INESC TEC contribui para reforço da segurança na mobilidade urbana

Investigadores do INESC TEC participaram na criação de uma solução que visa melhorar a segurança da ferrovia através da validação, de forma automática, de redes de transporte desse tipo. A solução, desenvolvida no âmbito do projeto DigiLightRail e em parceria com a Efacec, está assente na definição de regras de sinalização e encravamento, tendo como objetivo final a redução de acidentes na mobilidade urbana causados por falhas nos sistemas de sinalização.

28 junho 2023

Institucional

INESC TEC desenvolve investigação pioneira na aplicação de circuitos variacionais quânticos à aprendizagem de reforço

Investigadores do INESC TEC desenvolveram um estudo que visa mostrar a viabilidade e utilidade dos circuitos variacionais quânticos no domínio da aprendizagem por reforço, através da utilização de circuitos quânticos na unidade de processamento central responsável pela tomada de decisão automática. Trata-se de um dos primeiros trabalhos de investigação a provar o impacto dos circuitos variacionais quânticos no contexto “policy-based” e foi recentemente publicado na revista Quantum Machine Intelligence.

23 maio 2023

Institucional

INESC TEC participa em projeto europeu para promover e facilitar o uso de supercomputação no ecossistema europeu

O projeto EuroCC2 arrancou em fevereiro e é o novo projeto europeu do INESC TEC que pretende, por um lado, identificar e colmatar as lacunas em termos de competências em computação de alto desempenho (HPC) no ecossistema europeu e, por outro, promover a cooperação em toda a Europa para assegurar uma base de competências consistente.

27 fevereiro 2023

Institucional

INESC TEC e UMinho analisam impacto da variante Ómicron na eficácia da vacinação

Investigadores do INESC TEC e da Universidade do Minho analisaram o impacto da variante Ómicron na eficácia da proteção conferida pela vacinação contra a infeção pelo vírus SARS-CoV-2. O estudo publicado na conceituada revista Scientific Reports, do grupo Nature, é resultado do trabalho de uma equipa internacional, no âmbito do projeto Coronasurveys.

01 fevereiro 2023

Institucional

Investigação INESC TEC melhora técnicas de programação quântica

Investigação recente na área da programação quântica, desenvolvida por Ana Neri e José Nuno Oliveira, investigadores do INESC TEC, em colaboração com Rui Barbosa, Staff Researcher no Laboratório Ibérico Internacional de Nanotecnologia (INL), propõe o conceito de quantamorfismo, um combinador recursivo de circuitos quânticos que enriquece as técnicas de programação quântica.

12 janeiro 2023

Institucional

INESC TEC contribui para a criação do Espaço Europeu de Dados Energéticos

Ao longo dos próximos três anos, o projeto ENERSHARE - European commoN EneRgy dataSpace framework enabling data sHaring-driven Across- and beyond- eneRgy sErvices-, do qual o INESC TEC é parceiro, pretende desenvolver uma arquitetura de referência que facilite a partilha de dados no setor energético.

20 dezembro 2022

Institucional

Projeto INESC TEC finalista dos Portugal Digital Awards 2022

O projeto SIS^1 (Smart Insurance System), que marca a colaboração entre o INESC TEC e a empresa NAU21, foi um dos finalistas da edição deste ano dos Portugal Digital Awards, na categoria Best Insurance Project. O SIS^1 propõe uma nova gestão colaborativa e transparente dos tradicionais processos de negócio da atividade seguradora.  

19 dezembro 2022

Institucional

Instituto português integra projeto para aumentar a flexibilidade do sistema elétrico europeu

Durante os próximos quatro anos, o projeto BeFlexible - Boosting Engagement to Increase Flexibility irá aumentar a flexibilidade do sistema energético, melhorar a cooperação entre os Operadores de Redes de Distribuição (ORD) e os Operadores de Redes de Transporte (ORT) e facilitar a comunicação entre todas as partes interessadas no setor energético. O Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC) é o único parceiro português do projeto, que será financiado pela Comissão Europeia em 10 milhões de euros, através do programa Horizonte Europa.

06 dezembro 2022

Institucional

Investigador estuda versatilidade de filtros de Bloom particionados na construção de estruturas de dados

O estudo feito por Paulo Sérgio Almeida, investigador INESC TEC e docente na Universidade do Minho, foca-se nos filtros de Bloom, uma estrutura de dados probabilística muito popular na construção de bases de dados, sistemas distribuídos e redes de comunicação. O estudo, que demonstra a versatilidade dos filtros de Bloom particionados, foi aceite para publicação na IEEE Transactions on Computers, uma das revistas de referência na área de Informática e Computação.

29 novembro 2022

Institucional

Investigação INESC TEC em linguagem de especificação Alloy apresentada em conferência de topo de engenharia de software

No âmbito do trabalho na linguagem e ferramenta de especificação Alloy, uma equipa de investigadores do INESC TEC apresentou a extensão QAlloy na ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), conferência de topo na área de engenharia de software que decorreu de 14 a 18 de novembro, em Singapura.

22 novembro 2022

Institucional

Projeto RISC2 distinguido por jornal internacional especializado em computação avançada

O projeto RISC2, que tem como objetivo promover e melhorar a relação entre as comunidades de investigação e inovação da Europa e da América Latina, venceu o HPCwire Editor’s Choice Awards na categoria de Melhor Colaboração HPC.

21 novembro 2022

  • 2
  • 15