Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Fechar
  • 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

Nova publicação INESC TEC sobre Ferramentas de Apoio ao Desenvolvimento

Ricardo Queirós, colaborador do Centro de Sistemas de Computação Avançada (CRACS) do INESC TEC, publicou um novo livro, intitulado "Code Generation, Analysis Tools, and Testing for Quality".

18 fevereiro 2019

Informática

INESC TEC em segundo lugar no Grow Innovation Award

A HealthySystems, uma startup que se dedica a segurança informática, auditoria, consultoria e proteção de dados, conquistou o segundo lugar no Grow Innovation Award 2018, promovido pelo Grupo José de Mello, arrecadando um prémio no valor de 6 mil euros.

02 janeiro 2019

Informática

Nova publicação INESC TEC sobre Tecnologias para a Web

Ricardo Queirós, colaborador do Centro de Sistemas de Computação Avançada (CRACS) do INESC TEC, publicou novo livro, intitulado "Introdução ao Desenvolvimento Moderno para a Web - Do front-end ao back-end: uma visão global!".

20 novembro 2018

Novas coordenações de Centros de I&D no INESC TEC

Na sequência da eleição dos novos órgãos associativos do INESC TEC, que se traduziu na nomeação de alguns Coordenadores de Centro para o Conselho de Administração (CA), surgiu a necessidade de se identificar novas lideranças no Centro de Sistemas de Energia (CPES) e no Centro de Telecomunicações e Multimédia (CTM).

05 julho 2018

Informática

Antigo coordenador do INESC TEC escolhido para vice-reitor da Universidade do Porto

Fernando Silva, antigo coordenador do Centro de Sistemas de Computação Avançada (CRACS) do INESC TEC, é o novo vice-reitor da Universidade do Porto (U.Porto) para a área das Tecnologias de Informação e de Comunicação.

29 junho 2018

Tópicos de interesse
031

Projetos Selecionados

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-2019

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-2019

CRADLE

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

2018-2021

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

2019

Temporal network alignment via GoT-WAVE

Autores
Aparício, D; Ribeiro, P; Milenkovic, T; Silva, F;

Publicação
Bioinformatics

Abstract

2019

Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog

Autores
Areias, M; Rocha, R;

Publicação
Concurrency and Computation: Practice and Experience

Abstract

2019

ArrayExpress update – from bulk to single-cell expression data

Autores
Athar, A; Fullgrabe, A; George, N; Iqbal, H; Huerta, L; Ali, A; Snow, C; Fonseca, NA; Petryszak, R; Papatheodorou, I; Sarkans, U; Brazma, A;

Publicação
Nucleic Acids Research

Abstract

2019

Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction?

Autores
Rebelo, A; Oliveira, T; Correia, ME; Cardoso, JS;

Publicação
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - Lecture Notes in Computer Science

Abstract

2019

On the interoperability of european national identity cards

Autores
Shehu, AS; Pinto, A; Correia, ME;

Publicação
Advances in Intelligent Systems and Computing

Abstract
Electronic identity (eID) schemes are key enablers of secure digital services. eIDs have been adopted in several European countries using smart-cards for secure authentication and authorization. Towards achieving a European digital single market where European citizens can seamlessly access cross-border public services using their national eIDs, the European Union (EU) developed the electronic IDentification, Authentication and trust Services (eIDAS) regulation. eIDAS creates an interoperable framework that integrates the eIDs adopted in the EU Member States (MS). It is also an enabler of a cross-border operation, harmonized with the General Data Protection Regulation (GDPR) regulation by protecting the privacy of personal data. If one can use the same procedure for authentication and authorization abroad, one can better understand new services that use eIDs. This paper provides a comparative analysis of eID cards adopted in EU MS and their privacy features in preparedness for eIDs cross-border interoperation. © Springer Nature Switzerland AG 2019.

Teses Orientadas

2018

Exascale computing with custom Linear Mixed Model kernels and GPU accelerators for Genomic Wide Association Studies and personalized medicine

Autor
Christopher David Harrison

Instituição
UP-FCUP

2018

Advising Diabetes’ self-management supported by user data in a mobile platform

Autor
Diogo Roberto de Melo e Diogo Machado

Instituição
UP-FCUP

2018

A Middleware for Mobile Edge-Cloud Applications

Autor
João Filipe Rodrigues

Instituição
UP-FCUP

2018

Analyzing and Developing Indicators for Building an Automatic Detector of Unreliable Information in Social Media

Autor
Nuno Ricardo Pinheiro da Silva Guimarães

Instituição
UP-FCUP

2018

Network Analysis for Research Interests Discovery

Autor
Jorge Miguel Barros da Silva

Instituição
UP-FCUP

Factos & Números

114Serviços de I&D e Consultoria

2016

67Programas UE

2016

29Artigos em conferências indexadas

2016