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

Investigador INESC TEC apresenta solução que visa simplificar e otimizar operações analíticas sobre dados

As múltiplas situações em que o sistema transacional não dá garantias de isolamento às bases de dados, comprometendo a sua eficiência, foram o ponto de partida para uma investigação que visa o desenho e a implementação do isolamento no query engine, preparando-o para workloads híbridos.

19 outubro 2023

Institucional

Melhorar o desempenho de bases de dados: Investigação INESC TEC apresentada em conferência internacional

No quotidiano, dificilmente nos apercebemos das estruturas que sustentam setores como o comércio, a banca, ou outros, e que suportam elevadas cargas transacionais de dados. Regra geral, só nos damos conta da sua existência em situações de disrupção, que acabam por perturbar o normal funcionamento destes serviços.

28 agosto 2023

Institucional

Verão no Campus: Alunos do ensino secundário dão os primeiros passos na computação com o INESC TEC

Alunos de escolas do norte do país passaram uma semana na Universidade do Minho, onde puderam ter primeiras experiências nas suas áreas de interesse.

14 agosto 2023

Institucional

INESC TEC lidera projeto de capacitação digital nas áreas de IA e HPC

Um polo europeu de inovação digital que quer promover e apoiar a experimentação, o desenvolvimento e adoção de soluções baseadas em Inteligência Artificial (IA) e Computação de Alto Desempenho (HPC), com vista a melhorias significativas no desempenho das empresas e administração pública. Esta é a premissa do projeto ATTRACT que está a dar os primeiros passos para apoiar a transição digital em curso em Portugal e na Europa.  

27 julho 2023

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

  • 2
  • 15