- Menu
A team of INESC TEC researchers participated in the creation of a solution that aims to improve railway safety through the automatic validation of transport networks. The solution, developed within the scope of the DigiLightRail project - and in partnership with Efacec - focuses on the definition of signalling and interlocking rules, towards reducing accidents in urban mobility caused by failures in signalling systems.
28th June 2023
INESC TEC researchers have developed a study that aims to show the feasibility and usefulness of variational quantum circuits in terms of reinforcement learning, using quantum circuits in the central processing unit responsible for automatic decision-making. This is one of the first research papers to prove the impact of variational quantum circuits on the policy-based context, and it was recently published in the journal Quantum Machine Intelligence.
23rd May 2023
The EuroCC2 project started in February; the new European project by INESC TEC aims to identify and address the skills gap in high-performance computing (HPC) in the European ecosystem, and to promote cooperation across Europe, thus ensuring a consistent skills base.
27th February 2023
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
Over the next three years, the project ENERSHARE - European commoN EneRgy dataSpace framework enabling data sHaring-driven Across- and beyond- eneRgy sErvices-, with INESC TEC as partner, will develop a reference architecture that facilitates data sharing in the energy sector.
20th December 2022
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
Over the next four years, the BeFlexible - Boosting Engagement to Increase Flexibility project will increase the flexibility of the energy system, improve cooperation between Distribution System Operators (DSOs) and Transmission System Operators (TSOs), and facilitate communication between all energy stakeholders. The Institute for Systems and Computer Engineering, Technology and Science (INESC TEC) is the only Portuguese partner of the project, which will be financed by the European Commission (€10M) through the Horizon Europe programme.
06th 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
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