- Menu
Researchers from INESC TEC and the University of Minho analysed the impact of the Omicron variant on the effectiveness of vaccination against SARS-CoV-2 infection. The study published in the prestigious journal Scientific Reports, part of the Nature group, is the result of the work carried out by an international team within the scope of the Coronasurveys project.
01st February 2023
Recent research in quantum programming, developed by Ana Neri and José Nuno Oliveira, researchers at INESC TEC – in partnership with Rui Barbosa, Staff Researcher at the International Iberian Nanotechnology Laboratory (INL) -, proposes the concept of quantamorphisms, a recursive quantum circuit combinator that enriches quantum programming techniques.
12th January 2023
The SIS^1 project (Smart Insurance System), a collaborative initiative between INESC TEC and the company NAU21, was one of the finalists in this year’s edition of the Portugal Digital Awards – “Best Insurance Project” category. SIS^1 proposes a new collaborative and transparent management of the traditional business processes of the insurance sector.
19th December 2022
Ricardo Campos, researcher at INESC TEC and professor at the Polytechnic Institute of Tomar, together with Diogo Correia, was one of the winners of the Arquivo.pt Award. The duo won the third place and an honourable mention by the newspaper Público, thanks to the project Arquivo Público, a web interface focused on the contents published on the newspaper's website over time, and preserved by Arquivo.pt.
05th December 2022
The study by Paulo Sérgio Almeida, INESC TEC researcher and professor at the University of Minho, focuses on Bloom Filters, a very popular probabilistic data structure in the design of databases, distributed systems, and communication networks. The study, which demonstrates the versatility of partitioned Bloom Filters, was accepted for publication in IEEE Transactions on Computers, one of the top journals in Informatics and Computing.
29th November 2022
A team of INESC TEC researchers working on the Alloy language and specification tool presented the QAlloy extension at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), a top conference in the area of software engineering that took place between November 14 and 18, in Singapore.
22nd November 2022
The RISC2 project, which aims to promote and improve the relationship between research and innovation communities in Europe and Latin America, won the HPCwire Editor’s Choice Awards in the category of Best HPC Collaboration.
21st November 2022
Tiago Neves, an INESC TEC researcher, is the team leader of “MetaFitGame”, one of the 10 contender start-ups of the European Innovation Academy (EIA) 2022. “MetaFitGame” is a mobile fitness app that aims to encourage people to practice sports in a fun way, transforming physical exercises into a game.
27th September 2022
"Metalearning: Applications to Automated Machine Learning and Data Mining" is the title of the new book by Pavel Brazdil and Carlos Soares, researchers at INESC TEC, written in partnership with Jan N. van Rijn and Joaquin Vanschoren.
29th August 2022
Close to 20 high school students visited INESC TEC’s High-assurance Software Laboratory (HASLab). The visit took place within the scope of the “Computação sem Fronteiras” initiative, one of several activities part of the “Verão no Campus” – promoted by the University of Minho; the activities took place between July 18 and 22, in the Department of Informatics (DI) of the University of Minho, Braga.
28th July 2022
A group of INESC TEC researchers was acknowledged due to their research work on the management of permissions on mobile devices. The team developed a set of techniques to automate the response to requests for permissions by smartphone applications, with a reliability of 90%. This work received the award for best scientific paper at the ACM CODASPY conference, which took place in the United States of America.
08th July 2022
The FLOREST@ project will enable the development of a collaborative information infrastructure that enables the collection and organisation of data to generate indicators and risk models. The objective is to provide a set of data to support political and technical decision-making processes, while contributing to forest planning and management activities.
30th June 2022