Categoria: Informática

Investigador do INESC TEC vence prémio internacional de Matemática

by Elsa Carvalho

2024-11-15

Redes Generativas Adversariais (GANs), dados sintéticos, avaliação de qualidade, privacidade, modelos clássicos de geração de dados. Os conceitos são, individualmente, ...

Investigadores INESC TEC embarcam para a Carnegie Mellon University ao abrigo de múltiplos programas de mobilidade

by Paula Rodrigues

2024-11-12

A parceria da Fundação para a Ciência e a Tecnologia (FCT) com a Carnegie Mellon University – CMU Portugal - ...

Os métodos formais não são apenas para desenvolver software crítico. Um investigador INESC TEC explicou porquê numa conferência internacional

by Paula Rodrigues

2024-11-11

Ao longo de dois dias, a comunidade de programação funcional reuniu-se no maior evento da área no sul da Europa, ...

Há pontes a unir a engenharia biomédica e a supercomputação. Investigadoras INESC TEC voaram até Barcelona para as atravessar

by Rita Moutinho

2024-10-31

Durante uma semana, Alicia Oliveira e Beatriz Cepa trocaram os laboratórios do INESC TEC em Braga por Barcelona, onde decorreu ...

Investigador do INESC TEC lança livro que explora tecnologia aplicada à saúde

by Elsa Carvalho

2024-11-05

Aventurou-se na escrita pela primeira vez em 2008 com o primeiro livro técnico, em Portugal, sobre desenvolvimento para dispositivos móveis ...

Os bugs de software são tão persistentes como os da Natureza — uma investigação INESC TEC apertou-lhes a rede

by Rita Moutinho

2024-10-07

Investigadores INESC TEC desenvolveram a ferramenta LazyFS, capaz de injetar faltas e reproduzir bugs de perda de dados. A solução ...

Na era do armazenamento incessante de dados, replicá-los pode ser a chave para sistemas de grande escala. Uma investigação INESC TEC explora esses desafios

by Rita Moutinho

2024-10-04

Numa investigação publicada na revista ACM Computing Surveys, Paulo Sérgio Almeida, investigador do INESC TEC, sintetiza o conhecimento existente sobre ...