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

Investigador INESC TEC vence Best Paper Application em congresso internacional

António Pinto, investigador do Centro de Sistemas de Computação Avançada (CRACS) do INESC TEC, em colaboração com Hélder Sousa, venceram o prémio de Best Paper Application, com o trabalho intitulado "Blockchain Based Informed Consent with Reputation Support".

13 julho 2019

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

Tópicos de interesse
034

Projetos Selecionados

Authenticus19_20

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

2019-2020

EFA-Cloud

Consultadoria EFACEC

2019-2020

Authenticus2019

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

2019-2019

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

A Brief Overview on the Strategies to Fight Back the Spread of False Information

Autores
Figueira, A; Guirnaraes, N; Torgo, L;

Publicação
JOURNAL OF WEB ENGINEERING

Abstract
The proliferation of false information on social networks is one of the hardest challenges in today's society, with implications capable of changing users perception on what is a fact or rumor. Due to its complexity, there has been an overwhelming number of contributions from the research community like the analysis of specific events where rumors are spread, analysis of the propagation of false content on the network, or machine learning algorithms to distinguish what is a fact and what is "fake news". In this paper, we identify and summarize some of the most prevalent works on the different categories studied. Finally, we also discuss the methods applied to deceive users and what are the next main challenges of this area.

2019

Preventing Failures by Predicting Students’ Grades through an Analysis of Logged Data of Online Interactions

Autores
Cabral, B; Figueira, A;

Publicação
Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management

Abstract

2019

On the Development of a Model to Prevent Failures, Built from Interactions with Moodle

Autores
Cabral, B; Figueira, Á;

Publicação
Lecture Notes in Computer Science - Advances in Web-Based Learning – ICWL 2019

Abstract

2019

Temporal network alignment via GoT-WAVE

Autores
Aparicio, D; Ribeiro, P; Milenkovic, T; Silva, F;

Publicação
Bioinformatics

Abstract

2019

Iris: Secure reliable live-streaming with opportunistic mobile edge cloud offloading

Autores
Martins, R; Correia, ME; Antunes, L; Silva, F;

Publicação
Future Generation Computer Systems

Abstract
The ever-increasing demand for higher quality live streams is driving the need for better networking infrastructures, specially when disseminating content over highly congested areas, such as stadiums, concerts and museums. Traditional approaches to handle this type of scenario relies on a combination of cellular data, through 4G distributed antenna arrays (DAS), with a high count of WiFi (802.11) access points. This obvious requires a substantial upfront cost for equipment, planning and deployment. Recently, new efforts have been introduced to securely leverage the capabilities of wireless multipath, including WiFi multicast, 4G, and device-to-device communications. In order to solve these issues, we propose an approach that lessens the requirements imposed on the wireless infrastructures while potentially expanding wireless coverage through the crowd-sourcing of mobile devices. In order to achieve this, we propose a novel pervasive approach that combines secure distributed systems, WiFi multicast, erasure coding, source coding and opportunistic offloading that makes use of hyperlocal mobile edge clouds. We empirically show that our solution is able to offer a 11 fold reduction on the infrastructural WiFi bandwidth usage without having to modify any existing software or firmware stacks while ensuring stream integrity, authorization and authentication. © 2019 Elsevier B.V.

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

3Capítulos de livros

2016

114Serviços de I&D e Consultoria

2016

497Volume de Negócio

2016