Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
Facts & Numbers
000
Presentation

Advanced Computing Systems

At CRACS, our mission is to pursue scientific excellence in the areas of programming languages, parallel and distributed computing, security and privacy, information mining, and Web based systems with a focus on developing scalable software systems for challenging, multidisciplinary applications.

Our research environment is enriched with junior talented researchers that together with senior researchers build the necessary critical mass and scientific competences to fulfill the institution’s mission.

Latest News
Computer Science

INESC TEC researcher wins Best Paper Application in international congress

This award was given under the BLOCKCHAIN 2019 - International Congress on Blockchain and Applications event, which was held in Ávila, Spain between 26 and 28 June.

13th July 2019

Computer Science

New INESC TEC publication on Supporting Tools for Development

Ricardo Queirós, collaborator of INESC TEC’s Centre for Research in Advanced Computing Systems (CRACS) published a new book entitled "Code Generation, Analysis Tools, and Testing for Quality".

18th February 2019

Computer Science

INESC TEC in second place of Grow Innovation Award

HealthySystems, a startup that focuses on IT security, auditing, consultancy and data protection, won the second place of Grow Innovation Award 2018, which was promoted by the José de Mello Group, receiving a EUR 6000 award in the process.

02nd January 2019

Computer Science

New INESC TEC publication on Technologies for the Web

Ricardo Queirós, collaborator of INESC TEC’s Centre for Research in Advanced Computing Systems (CRACS) published a new book entitled "Introdução ao Desenvolvimento Moderno para a Web - Do front-end ao back-end: uma visão global!” (“Introduction to the Modern Development for the Web - From the front-end to the back-end: a global vision!”).

20th November 2018

New coordination of R&D centres in INESC TEC

As a result of the election of the new associative bodies of INESC TEC, resulting in the nomination of some Coordinators of Centres to the Board, there was the need to identify new leaderships for the Centre for Power and Energy Systems (CPES) and for the Centre for Telecommunications and Multimedia (CTM).

05th July 2018

Interest Topics
033

Featured Projects

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

Privacy preserving IOT middleware

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

Deep learning in cancer drug discovery: a pipeline for the generation of new therapies

2018-2021

ELVEN

Elven - Expressive Logics for VErifying the Net

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

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

2015-2019

FOTOCATGRAF

Graphene-based semiconductor photocatalysis for a safe and sustainable water supply: an advanced technology for emerging pollutants removal

2015-2018

REMINDS

Relevance Mining and Detection System (REMINDS)

2015-2017

PANF

Methods to retrieve and communicate data from 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 Mobile Devices to Develop Edge Clouds

2014-2018

DAT

Curation and intelligent data analysis

2014-2015

ABLe

Advice-Based Learning for Health Care

2013-2015

Authenticus

Authenticus - System to Identify and Validate Portuguese Scientific Publications

2013-2016

SIBILA

Towards Smart Interacting Blocks that Improve Learned Advice

2013-2015

ADE

Adverse Drug Effects Detection

2012-2015

e-Policy

Engineering for the Policy-making Life Cycle (ePolicy)

2011-2014

Leap

Logic environments with Advanced Paralelism

2011-2014

MACAW

Macroprogramming for Wireless Sensor Networks

2011-2014

Breadcrumbs

Social network based on personal libraries of news fragments

2010-2012

Ofelia

Open Federated Environments Leveraging Identity and Authorization

2010-2013

Horus

Horn Representations of Uncertain Systems

2010-2013

DIGISCOPE

DIGItally enhanced stethosCOPE for clinical usage

2010-2013

Palco3.0

Intelligent Web system to support the management of a social network on music

2008-2011

Team
Publications

CRACS Publications

View all Publications

2019

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

Authors
Figueira, ?; Guimaraes, N; Torgo, L; CRACS-INESCTEC and University of Porto, Porto, Portugal,; CRACS-INESCTEC and University of Porto, Porto, Portugal,; Faculty of Computer Science, Dalhousie University, Halifax, Nova Scotia, Canada,;

Publication
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

Temporal network alignment via GoT-WAVE

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

Publication
Bioinformatics

Abstract

2019

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

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

Publication
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.

2019

Estimating time and score uncertainty in generating successful learning paths under time constraints

Authors
Nabizadeh, AH; Jorge, AM; Leal, JP;

Publication
Expert Systems

Abstract

2019

Quarmic: A data-driven web development framework

Authors
Pereira Cunha, PM; Leal, JP;

Publication
OpenAccess Series in Informatics

Abstract
Quarmic is a web framework for rapid prototyping of web applications. Its main goal is to facilitate the development of web applications by providing a high level of abstraction that hides Web communication complexities. This framework allows developers to build scalable applications capable of handling data communication in different models, data persistence and authentication, requiring them just to use simple annotations. Quarmic’s approach consists of the replication of the shared object among clients and server in order to communicate through its methods execution. Where the annotations, namely decorators, are used to indicate the concern (model or view) that each method addresses and to implement the framework’s inversion of control. By indicating the method concern, it enables the separation of its execution across the clients (responsible for the view) and the server (responsible for the model) which facilitates the state management and code maintenance. © Pedro M. P. Cunha and José P. Leal.

Supervised Theses

2018

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

Author
Christopher David Harrison

Institution
UP-FCUP

2018

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

Author
Diogo Roberto de Melo e Diogo Machado

Institution
UP-FCUP

2018

A Middleware for Mobile Edge-Cloud Applications

Author
João Filipe Rodrigues

Institution
UP-FCUP

2018

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

Author
Nuno Ricardo Pinheiro da Silva Guimarães

Institution
UP-FCUP

2018

Network Analysis for Research Interests Discovery

Author
Jorge Miguel Barros da Silva

Institution
UP-FCUP

Facts & Figures

59Researchers

2016

14Academic Staff

2016

0Other Funding Programmes (k€)

2016