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’s researcher considered the most valuable hacker

André Baptista, researcher of INESC TEC’s Centre for Research in Advanced Computing Systems (CRACS) was awarded the title of “The Most Valuable Hacker” at the international live hacking event H1-202, that took place on 24 and 25 March in Washington D.C.

21st April 2018

New book on advanced Android programming

Ricardo Queirós, full member at INESC TEC’s Centre for Research in Advanced Computing Systems (CRACS), has published a new book on advanced programming for mobile devices.

23rd March 2018

Computer Science

INESC TEC is part of the Strategic Council for the Digital Economy

The Confederation of Portuguese Business (CIP) created the Strategic Council for the Digital Economy, an advisory body to be coordinated by the former Secretary of State for Youth, and current Director of Corporate and Legal Affairs of Microsoft Portugal, Pedro Duarte. It will be composed of 35 representatives of the sector. One of these elements will be Luís Filipe Antunes, researcher at the Centre for Research in Advanced Computing Systems (CRACS) of INESC TEC and President of the Department of Computer Science of the Faculty of Sciences of the University of Porto.

18th January 2018

Computer Science

Team with INESC TEC researchers wins the 2017 ICDM best paper award

The Carnegie Mellon University (CMU) Database Group and the University of Porto won the 2017 IEEE International Conference on Data Mining (ICDM) Best Paper award for the paper “TensorCast: Forecasting with Context using Coupled Tensors”, a novel method that forecasts time-evolving networks like Twitter, for example. The conference will be held between on November 18-21 in New Orleans, US.

10th November 2017

Protocol between INESC TEC and National Institute of Informatics takes researchers to Japan

Following the signing of a memorandum of understanding between INESC TEC and the National Institute of Informatics (NII), in Tokyo (Japan) in 2014, five INESC TEC researchers had the opportunity to do an internship at the Japanese institution.

02nd February 2016

Interest Topics
026

Featured Projects

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

NanoStima-RL5

NanoSTIMA – Advanced Methodologies for Computer-Aided Detection and Diagnosis

2015-2018

NanoStima-RL3

NanoSTIMA – Health data infrastructure

2015-2018

NanoStima-RL4

NanoSTIMA – Health Data Analysis & Decision

2015-2018

SMILES

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

2015-2018

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

2018

Human vs. Automatic Annotation Regarding the Task of Relevance Detection in Social Networks

Authors
Guimarães, N; Miranda, F; Figueira, Á;

Publication
Advances in Internet, Data & Web Technologies - Lecture Notes on Data Engineering and Communications Technologies

Abstract

2018

EmoSpell, a morphological and emotional word analyzer

Authors
Maia, MI; Leal, JP;

Publication
Information (Switzerland)

Abstract
The analysis of sentiments, emotions, and opinions in texts is increasingly important in the current digital world. The existing lexicons with emotional annotations for the Portuguese language are oriented to polarities, classifying words as positive, negative, or neutral. To identify the emotional load intended by the author, it is necessary to also categorize the emotions expressed by individual words. EmoSpell is an extension of a morphological analyzer with semantic annotations of the emotional value of words. It uses Jspell as the morphological analyzer and a new dictionary with emotional annotations. This dictionary incorporates the lexical base EMOTAIX.PT, which classifies words based on three different levels of emotions-global, specific, and intermediate. This paper describes the generation of the EmoSpell dictionary using three sources: the Jspell Portuguese dictionary and the lexical bases EMOTAIX.PT and SentiLex-PT. Additionally, this paper details the Web application and Web service that exploit this dictionary. It also presents a validation of the proposed approach using a corpus of student texts with different emotional loads. The validation compares the analyses provided by EmoSpell with the mentioned emotional lexical bases on the ability to recognize emotional words and extract the dominant emotion from a text. © 2018 by the authors.

2018

On applying probabilistic logic programming to breast cancer data

Authors
Côrte Real, J; Dutra, I; Rocha, R;

Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
Medical data is particularly interesting as a subject for relational data mining due to the complex interactions which exist between different entities. Furthermore, the ambiguity of medical imaging causes interpretation to be complex and error-prone, and thus particularly amenable to improvement through automated decision support. Probabilistic Inductive Logic Programming (PILP) is a particularly well-suited tool for this task, since it makes it possible to combine the relational nature of this field with the ambiguity inherent in human interpretation of medical imaging. This work presents a PILP setting for breast cancer data, where several clinical and demographic variables were collected retrospectively, and new probabilistic variables and rules reflecting domain knowledge were introduced. A PILP predictive model was built automatically from this data and experiments show that it can not only match the predictions of a team of experts in the area, but also consistently reduce the error rate of malignancy prediction, when compared to other non-relational techniques. © Springer International Publishing AG, part of Springer Nature 2018.

2018

CSS Preprocessing: Tools and Automation Techniques

Authors
Queirós, R;

Publication
Information

Abstract
Cascading Style Sheets (CSS) is a W3C specification for a style sheet language used for describing the presentation of a document written in a markup language, more precisely, for styling Web documents. However, in the last few years, the landscape for CSS development has changed dramatically with the appearance of several languages and tools aiming to help developers build clean, modular and performance-aware CSS. These new approaches give developers mechanisms to preprocess CSS rules through the use of programming constructs, defined as CSS preprocessors, with the ultimate goal to bring those missing constructs to the CSS realm and to foster stylesheets structured programming. At the same time, a new set of tools appeared, defined as postprocessors, for extension and automation purposes covering a broad set of features ranging from identifying unused and duplicate code to applying vendor prefixes. With all these tools and techniques in hands, developers need to provide a consistent workflow to foster CSS modular coding. This paper aims to present an introductory survey on the CSS processors. The survey gathers information on a specific set of processors, categorizes them and compares their features regarding a set of predefined criteria such as: maturity, coverage and performance. Finally, we propose a basic set of best practices in order to setup a simple and pragmatic styling code workflow. © 2018 by the authors.

2018

Catalytic Space: Non-determinism and Hierarchy

Authors
Buhrman, H; Koucký, M; Loff, B; Speelman, F;

Publication
Theory Comput. Syst.

Abstract
Catalytic computation, defined by Buhrman, Cleve, Koucký, Loff and Speelman (STOC 2014), is a space-bounded computation where in addition to our working memory we have an exponentially larger auxiliary memory which is full; the auxiliary memory may be used throughout the computation, but it must be restored to its initial content by the end of the computation. Motivated by the surprising power of this model, we set out to study the non-deterministic version of catalytic computation. We establish that non-deterministic catalytic log-space is contained in ZPP, which is the same bound known for its deterministic counterpart, and we prove that non-deterministic catalytic space is closed under complement (under a standard derandomization assumption). Furthermore, we establish hierarchy theorems for non-deterministic and deterministic catalytic computation. © Harry Buhrman, Michal Koucký, Bruno Loff, and Florian Speelman; licensed under Creative Commons License CC-BY.

Supervised Theses

2016

Communities and Anomaly Detection in Large Edge-Labeled Graphs

Author
Miguel Ramos de Araújo

Institution
UP-FCUP

2016

Scheduling computations over high-churn networks of mobile devices

Author
Joaquim Magalhães Esteves da Silva

Institution
UP-FCUP

2016

Towards a Middleware for Mobile-Edge-Cloud Applications

Author
João Filipe Rodrigues

Institution
UP-FCUP

2016

Long term goal oriented recommender system

Author
Amir Hossein Nabizadeh Rafsanjani

Institution
UP-FCUP

2016

Pattern Discovery in Complex Networks

Author
David Oliveira Aparício

Institution
UP-FCUP

Facts & Figures

14Academic Staff

2016

2R&D Employees

2016

313National R&D Programmes (k€)

2016