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

Novo livro sobre programação avançada para Android

Ricardo Queirós, membro efetivo do Centro de Investigação em Sistemas Computacionais Avançados (CRACS) do INESC TEC, publicou um novo livro sobre programação avançada para dispositivos móveis.

23 março 2018

Informática

INESC TEC faz parte de Conselho Estratégico para a Economia Digital

A Confederação Empresarial de Portugal (CIP) criou o Conselho Estratégico para a Economia Digital, um órgão consultivo que será coordenado pelo ex-secretário de Estado da Juventude, e atual Diretor de Assuntos Corporativos e Legais da Microsoft Portugal, Pedro Duarte, e composto por 35 representantes do setor. Um desses elementos será Luís Filipe Antunes, investigador do Centro de Sistemas de Computação Avançada (CRACS) do INESC TEC e Presidente do Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto.

18 janeiro 2018

Informática

Equipa com investigadores INESC TEC vence prémio de melhor artigo da ICDM 2017

Uma equipa da Universidade Carnegie Mellon (CMU) e da Universidade do Porto venceu o prémio de melhor artigo da Conferência Internacional sobre Prospeção de Dados (ICDM) com o artigo “TensorCast: Forecasting with Context using Coupled Tensors”, um método inovador para a previsão de redes em evolução, como o Twitter. A conferência vai decorrer de 18 a 21 de novembro, em Nova Orleães, nos EUA.

10 novembro 2017

Protocolo do INESC TEC com o National Institute of Informatics leva investigadores ao Japão

No seguimento da assinatura de um memorando de entendimento, em 2014, entre o INESC TEC e o National Institute of Informatics (NII), em Tóquio (Japão), cinco investigadores do INESC TEC tiveram a oportunidade de realizar estágios nesta instituição.

02 fevereiro 2016

Informática

INESC TEC cria software para diagnóstico dos cancros da mama e da próstata

ExpertBayes é o nome do software criado pelo INESC TEC para ajudar os profissionais de saúde, mais especificamente os médicos, no diagnóstico de doenças como os cancros da mama e da próstata.

04 janeiro 2016

Tópicos de interesse
026

Projetos Selecionados

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

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

2015-2018

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

2018

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

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

Publicação
Advances in Internet, Data & Web Technologies - Lecture Notes on Data Engineering and Communications Technologies

Abstract

2018

EmoSpell, a morphological and emotional word analyzer

Autores
Maia, MI; Leal, JP;

Publicação
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

CSS Preprocessing: Tools and Automation Techniques

Autores
Queirós, R;

Publicação
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

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

Publicação
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.

2017

Detecting Journalistic Relevance on Social Media: A two-case study using automatic surrogate features

Autores
Figueira, A; Guimarães, N;

Publicação
Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, Sydney, Australia, July 31 - August 03, 2017

Abstract

Teses Orientadas

2016

Communities and Anomaly Detection in Large Edge-Labeled Graphs

Autor
Miguel Ramos de Araújo

Instituição
UP-FCUP

2016

Scheduling computations over high-churn networks of mobile devices

Autor
Joaquim Magalhães Esteves da Silva

Instituição
UP-FCUP

2016

Towards a Middleware for Mobile-Edge-Cloud Applications

Autor
João Filipe Rodrigues

Instituição
UP-FCUP

2016

Long term goal oriented recommender system

Autor
Amir Hossein Nabizadeh Rafsanjani

Instituição
UP-FCUP

2016

Pattern Discovery in Complex Networks

Autor
David Oliveira Aparício

Instituição
UP-FCUP

Factos & Números

497Volume de Negócio

2016

313Programas Nacionais I&D

2016

3Capítulos de livros

2016