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
Factos & Números
000
Apresentação

Centro de Sistemas de Computação Avançada

A  missão do CRACS é procurar a excelência científica nas áreas de linguagens de programação, computação paralela e distribuída, segurança e privacidade, mineração de informação e sistemas web baseados no desenvolvimento de sistemas de software escaláveis para aplicações desafiadoras e multidisciplinares.

O nosso ambiente de investigação é enriquecido com jovens e talentosos investigadores que, em conjunto com investigadores seniores, constituem a massa crítica necessária e dotam a instituição das competências científicas para cumprir a sua missão.

Últimas Notícias
Informática

INESC TEC participa em dois projetos de apoio ao ensino das ciências da computação

O Centro de Sistemas de Computação Avançada (CRACS) do INESC TEC participa em dois projetos financiados pelo programa da União Europeia Erasmus+, cujo objetivo é desenvolver novas ferramentas que suportem o ensino das ciências da computação, contribuindo para a melhoria da aprendizagem da programação.

24 maio 2021

"Best Application Paper Award" para trabalho de investigadores do INESC TEC

O artigo "A Framework for On-Demand Reporting of Cryptocurrency Ownership and Provenance" escrito em coautoria por António Pinto, investigador do Centro de Sistemas de Computação Avançada (CRACS) e por Pedro Pinto, investigador do Centro de Telecomunicações e Multimédia (CTM) do INESC TEC, recebeu o prémio Best Application Paper Award no International Congress on Blockchain and Applications (BLOCKCHAIN'20).

21 outubro 2020

Informática

Investigador INESC TEC organiza primeira conferência internacional dedicada ao ensino da programação de computadores

Ricardo Queirós, investigador do Centro de Sistemas de Computação Avançada (CRACS), e docente na Escola Superior de Media Artes e Design do Instituto Politécnico do Porto (IPP-ESMAD) foi um dos organizadores da ICPEC. 

23 setembro 2020

Informática

INESC TEC desenvolve ferramenta para deteção e prevenção de ataques informáticos na Europa

Com a progressiva utilização de tecnologias da informação em unidades militares e estruturas de comando, as ameaças cibernéticas e possíveis incidentes nas capacidades de defesa dos estados-membros da União Europeia (UE) são cada vez mais uma realidade que importa prevenir, já que um incidente de segurança cibernética pode comprometer a segurança e integridade dos países e, inclusivamente, levar à perda de vidas humanas.

23 setembro 2020

Informática

Investigador INESC TEC publica novo livro dedicado ao desenvolvimento de aplicações web

Ricardo Queirós, investigador do Centro de Sistemas de Computação Avançada (CRACS), e docente na Escola Superior de Media Artes e Design do Instituto Politécnico do Porto (IPP-ESMAD), publicou, em agosto deste ano, um novo livro, intitulado Desenvolvimento Avançado para a Web – do front-end ao back-end.

22 setembro 2020

Tópicos de interesse
039

Projetos Selecionados

AI4DM

AI4DM

2021-2022

FGPEPlus

FGPE Plus: Learning tools interoperability for gamified programming education

2021-2023

JuezLTI

JuezLTI: Automatic assessment of computing exercises using LTI standard

2021-2023

PANDORA

Cyber Defence Platform for Real-time Threat Hunting, Incident Response and Information Sharing

2020-2022

Cortaderia

Desenvolvimento de Software para Monitorização da Espécie Invasora Cortaderia selloana

2020-2020

Authenticus19_20

Consultoria Tecnológica em Sistemas CRIS e Cálculo de APC

2019-2020

T4CDTKC

Training 4 Cotec, Digital Transformation Knowledge Challenge - Elaboração de Programa de Formação “CONHECER E COMPREENDER O DESAFIO DAS TECNOLOGIAS DE TRANSFORMAÇÃO DIGITAL”

2019-2021

Angerona

Plataforma de Middleware para privacy em IoT

2018-2019

FGPE

Framework for Gamified Programming Education

2018-2021

AuthenticusNF

Desenvolvimento de Indicadores de Produção Científica Baseados no Authenticus

2018-2018

PGODISSEIA

Serviço de instalação e configuração de uma plataforma de autenticação, implementação de solução de gestão centralizada de certificados digitais, auditoria de segurança (pen-testing) e análise de impacto de privacidade dos tratamentos de dados pessoais das plataformas de integração e autenticação

2018-2020

CRADLE

Aplicação de deep learning ao processo de investigação de novas drogas anticancerígenas

2018-2021

Authenticus2019

Apoio Técnico ao CINTESIS para extração de indicadores de produção científica baseados no Authenticus

2018-2018

ELVEN

Elven - Lógicas para verificação de programas na Web

2016-2019

Digi-NewB

Non-invasive monitoring of perinatal health through multiparametric digital representation of clinically relevant functions for improving clinical intervention in neonatal units (Digi-NewB)

2016-2020

FOUREYES

TEC4Growth - RL FourEyes - Intelligence, Interaction, Immersion and Innovation for media industries

2015-2019

NanoStima-RL5

NanoSTIMA - Advanced Methodologies for Computer-Aided Detection and Diagnosis

2015-2019

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2019

NanoStima-RL4

NanoSTIMA - Health Data Analysis & Decision

2015-2019

SMILES

TEC4Growth - RL SMILES - Smart, Mobile, Intelligent and Large scale Sensing and analytics

2015-2019

FOTOCATGRAF

Fotocatalisadores baseados em grafeno e semicondutores para um sistema de abastecimento de água sustentável e seguro: uma tecnologia avançada para a remoção de poluentes emergentes

2015-2018

REMINDS

REMINDS - Sistema para Mineração e Deteção de Relevância

2015-2017

PANF

Possibilidades de recolha e transmissão de dados a partir do Sifarma

2015-2016

SEA

SEA-Sistema de ensino autoadaptativo

2015-2015

MGI

Contrato de Aquisição de serviços de produção e desenvolvimento de módulo para gestão de iterações para integrar no sistema de informação da UP (SIGARRA)

2015-2015

Hyrax

Crowd-Sourcing de Dispositivos Móveis para o Desenvolvimento de Edge-Clouds

2014-2018

DAT

Tratamento e análise inteligente de dados

2014-2015

ABLe

Aprendizagem baseada em conhecimento para aplicação na área médica

2013-2015

Authenticus

Authenticus - Um Sistema de Identificação e Validação de Publicações Científicas Portuguesas

2013-2016

SIBILA

Blocos Interativos Inteligentes para uma Melhor Aprendizagem

2013-2015

ADE

Deteção de Efeitos Adversos de Drogas

2012-2015

e-Policy

Engenharia para a avaliação do Ciclo de Vida de Decisões Políticas (ePolicy)

2011-2014

Leap

Ambientes lógicos com Paralelismo Avançado

2011-2014

MACAW

Macroprogramação para Redes de Sensores Sem Fios

2011-2014

Breadcrumbs

Rede social com base em bibliotecas pessoais de fragmentos de notícias

2010-2012

Ofelia

Ambientes abertos federados para alavancagem de identidade e autorização

2010-2013

Horus

Representações de Horn para Sistemas com Incerteza

2010-2013

DIGISCOPE

Estetoscópio Digital para Uso Clínico

2010-2013

Palco3.0

Sistema web inteligente de apoio à gestão de uma rede social na área da música

2008-2011

Equipa
Publicações

CRACS Publicações

Ler todas as publicações

2021

A Graph Database Representation of Portuguese Criminal-Related Documents

Autores
Carnaz, G; Nogueira, VB; Antunes, M;

Publicação
INFORMATICS-BASEL

Abstract
Organizations have been challenged by the need to process an increasing amount of data, both structured and unstructured, retrieved from heterogeneous sources. Criminal investigation police are among these organizations, as they have to manually process a vast number of criminal reports, news articles related to crimes, occurrence and evidence reports, and other unstructured documents. Automatic extraction and representation of data and knowledge in such documents is an essential task to reduce the manual analysis burden and to automate the discovering of names and entities relationships that may exist in a case. This paper presents SEMCrime, a framework used to extract and classify named-entities and relations in Portuguese criminal reports and documents, and represent the data retrieved into a graph database. A 5WH1 (Who, What, Why, Where, When, and How) information extraction method was applied, and a graph database representation was used to store and visualize the relations extracted from the documents. Promising results were obtained with a prototype developed to evaluate the framework, namely a name-entity recognition with an F-Measure of 0.73, and a 5W1H information extraction performance with an F-Measure of 0.65.

2021

Shedding light on the african enigma: In vitro testing of homo sapiens-helicobacter pylori coevolution

Autores
Cavadas, B; Leite, M; Pedro, N; Magalhaes, AC; Melo, J; Correia, M; Maximo, V; Camacho, R; Fonseca, NA; Figueiredo, C; Pereira, L;

Publicação
Microorganisms

Abstract
The continuous characterization of genome-wide diversity in population and case- cohort samples, allied to the development of new algorithms, are shedding light on host ancestry impact and selection events on various infectious diseases. Especially interesting are the longstanding associations between humans and certain bacteria, such as the case of Helicobacter pylori, which could have been strong drivers of adaptation leading to coevolution. Some evidence on admixed gastric cancer cohorts have been suggested as supporting Homo-Helicobacter coevolution, but reliable experimental data that control both the bacterium and the host ancestries are lacking. Here, we conducted the first in vitro coinfection assays with dual humanand bacterium-matched and -mismatched ancestries, in African and European backgrounds, to evaluate the genome wide gene expression host response to H. pylori. Our results showed that: (1) the host response to H. pylori infection was greatly shaped by the human ancestry, with variability on innate immune system and metabolism; (2) African human ancestry showed signs of coevolution with H. pylori while European ancestry appeared to be maladapted; and (3) mismatched ancestry did not seem to be an important differentiator of gene expression at the initial stages of infection as assayed here. © 2021 by the authors.

2021

Evaluating the impact of sampling strategies and bioinformatics on ethanol-based DNA metabarcoding

Autores
Martins, FM; Fonseca, NA; Egeter, B; Pinto, J; Assunção, T; Chaves, C; Sousa, P; Jesus, J; Beja, P;

Publicação
ARPHA Conference Abstracts

Abstract
Recent developments on ethanol-based DNA (etDNA) metabarcoding have shown that it is possible to extract meaningful information about macroinvertebrate community diversity and composition from the ethanol used to preserve bulk samples. The major advantages of this molecular approach are the reduced processing time and costs, and the possibility to keep specimens intact for other experiments. Yet, organisms with highly sclerotised exoskeleton or that are rare in the sample have been found to release a lower amount of DNA into solution and tend to be consistently missed by etDNA metabarcoding, thereby compromising the viability of the method. Few studies have shown that the first steps of the metabarcoding workflow are crucial for the good performance of etDNA-based assays, such as the decision on storage time before sampling and the ethanol phase to be analysed, the inclusion of pre-treatment strategies (i.e., freezing), and the choice of the DNA extraction protocol. In this study, we aimed to evaluate the combined effect of various technical choices on the performance of etDNA metabarcoding, considering factors such as sample volume, ethanol phase of sorted and unsorted samples, pre-capture treatments (evaporation vs filtration) and bioinformatic pipelines. Through the application of decision-tree models, our preliminary data revealed that the increase of volume (by itself) is enough to improve PCR amplification yields and proportion of families matching the morphological identifications, with great impact on the detection of hard-bodied and cased taxa. Also, no major differences among phases with or without a sorting step nor among bioinformatic pipelines were detected, particularly at higher volumes. Our results suggest that the higher performance (with lower observed variation) in taxonomic detection at higher volumes is likely a consequence of a higher availability of longer fragments of DNA in solution. This study highlights the importance of understanding the impact of technical choices to improve the efficiency of a DNA-based method, and reinstates etDNA metabarcoding as a potential method in the context of biomonitoring.

2021

On the Implementation of Memory Reclamation Methods in a Lock-Free Hash Trie Design

Autores
Moreno, P; Areias, M; Rocha, R;

Publicação
Journal of Parallel and Distributed Computing

Abstract

2021

Provisioning, authentication and secure communications for iot devices on fiware

Autores
Sousa, P; Magalhaes, L; Resende, J; Martins, R; Antunes, L;

Publicação
Sensors

Abstract
The increasing pervasiveness of the Internet of Things is resulting in a steady increase of cyberattacks in all of its facets. One of the most predominant attack vectors is related to its identity management, as it grants the ability to impersonate and circumvent current trust mechanisms. Given that identity is paramount to every security mechanism, such as authentication and access control, any vulnerable identity management mechanism undermines any attempt to build secure systems. While digital certificates are one of the most prevalent ways to establish identity and perform authentication, their provision at scale remains open. This provisioning process is usually an arduous task that encompasses device configuration, including identity and key provisioning. Human configuration errors are often the source of many security and privacy issues, so this task should be semi-autonomous to minimize erroneous configurations during this process. In this paper, we propose an identity management (IdM) and authentication method called YubiAuthIoT. The overall provisioning has an average runtime of 1137.8 ms ± 65.11 + d. We integrate this method with the FIWARE platform, as a way to provision and authenticate IoT devices. © 2021 by the authors. Licensee MDPI, Basel, Switzerland.

Teses Orientadas

2020

Lock-Free Memory Reclamation for Concurrent Hash Tries

Autor
Paulo Jorge Teixeira Rosa

Instituição
UP-FCUP

2020

Automatic identification of institutions in affiliation strings

Autor
José Pedro Ribeiro Azenha Rocha

Instituição
UP-FCUP

2020

Lightweight Real-time Feature Monitoring

Autor
João Dias Conde Azevedo

Instituição
UP-FEUP

2020

Privacy Preserving Middleware Platform for IoT

Autor
Patrícia Raquel Vieira Sousa

Instituição
UP-FCUP

2020

Privacy Framework

Autor
Miguel Azevedo de Sousa

Instituição
UP-FCUP

Factos & Números

7Artigos em conferências indexadas

2020

1Contratados de I&D

2020

1Capítulos de livros

2020