Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • 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 publica livro dedicado à gamificação

Ricardo Queirós, investigador do INESC TEC, e docente na Escola Superior de Media Artes e Design do Instituto Politécnico do Porto (ESMAD-P.Porto), é um dos autores do livro Gamificação Aplicada às Organizações e ao Ensino, juntamente com Mário Pinto, também docente na ESMAD-P.Porto e investigador na uniMAD.

24 março 2022

Informática

INESC TEC participa em dois projetos de apoio ao ensino das ciências da computação

O Centro de Sistemas de Computação Avançada (CRACS) do INESC TEC participa em dois projetos financiados pelo programa da União Europeia Erasmus+, cujo objetivo é desenvolver novas ferramentas que suportem o ensino das ciências da computação, contribuindo para a melhoria da aprendizagem da programação.

24 maio 2021

"Best Application Paper Award" para trabalho de investigadores do INESC TEC

O artigo "A Framework for On-Demand Reporting of Cryptocurrency Ownership and Provenance" escrito em coautoria por António Pinto, investigador do Centro de Sistemas de Computação Avançada (CRACS) e por Pedro Pinto, investigador do Centro de Telecomunicações e Multimédia (CTM) do INESC TEC, recebeu o prémio Best Application Paper Award no International Congress on Blockchain and Applications (BLOCKCHAIN'20).

21 outubro 2020

Informática

Investigador INESC TEC organiza primeira conferência internacional dedicada ao ensino da programação de computadores

Ricardo Queirós, investigador do Centro de Sistemas de Computação Avançada (CRACS), e docente na Escola Superior de Media Artes e Design do Instituto Politécnico do Porto (IPP-ESMAD) foi um dos organizadores da ICPEC. 

23 setembro 2020

Informática

INESC TEC desenvolve ferramenta para deteção e prevenção de ataques informáticos na Europa

Com a progressiva utilização de tecnologias da informação em unidades militares e estruturas de comando, as ameaças cibernéticas e possíveis incidentes nas capacidades de defesa dos estados-membros da União Europeia (UE) são cada vez mais uma realidade que importa prevenir, já que um incidente de segurança cibernética pode comprometer a segurança e integridade dos países e, inclusivamente, levar à perda de vidas humanas.

23 setembro 2020

Tópicos de interesse
039

Projetos Selecionados

AI4DM

AI predictive modeling Services

2021-2022

FGPEPlus

Learning tools interoperability for gamified programming education

2021-2023

JuezLTI

Automatic assessment of computing exercises using LTI standard

2021-2023

PANDORA

Cyber Defence Platform for Real-time Threat Hunting, Incident Response and Information Sharing

2020-2022

Cortaderia

Desenvolvimento de Software para Monitorização da Espécie Invasora Cortaderia selloana

2020-2020

Authenticus19_20

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

2019-2020

T4CDTKC

Training 4 Cotec, Digital Transformation Knowledge Challenge - Elaboração de Programa de Formação “CONHECER E COMPREENDER O DESAFIO DAS TECNOLOGIAS DE TRANSFORMAÇÃO DIGITAL”

2019-2021

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

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

CRADLE

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

2018-2021

Authenticus2019

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

2018-2018

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

2022

A Primer on Gamification Standardization

Autores
Queiros, RAPd; Pinto, M; Simões, A; Portela, CF;

Publicação
Advances in Human and Social Aspects of Technology - Next-Generation Applications and Implementations of Gamification Systems

Abstract
Computer science education has always been a challenging topic for both sides of the trench: educators and learners. Nowadays, with the pandemic state that we are facing, these challenges are even greater, leading educators to look for strategies that promote effective virtual learning. One of such strategies includes the use of game mechanics to improve student engagement and motivation. This design strategy is typically called gamification. Nowadays, gamification is being seen as the solution to solve most of the issues related to demotivation, complexity, or tedious tasks. In the latest years, we saw thousands of educational applications being created with gamification in mind. Nevertheless, this has been an unsustainable growth with ad hoc designs and implementations of educational gamified applications, hampering interoperability and the reuse of good practices. This chapter presents a systematic study on gamification standardization aiming to characterize the status of the field, namely describing existing frameworks, languages, services, and platforms.

2022

Host-based IDS: A review and open issues of an anomaly detection system in IoT

Autores
Martins, I; Resende, JS; Sousa, PR; Silva, S; Antunes, L; Gama, J;

Publicação
Future Generation Computer Systems

Abstract

2022

Managing Gamified Programming Courses with the FGPE Platform

Autores
Paiva, JC; Queiros, R; Leal, JP; Swacha, J; Miernik, F;

Publicação
Information

Abstract
E-learning tools are gaining increasing relevance as facilitators in the task of learning how to program. This is mainly a result of the pandemic situation and consequent lockdown in several countries, which forced distance learning. Instant and relevant feedback to students, particularly if coupled with gamification, plays a pivotal role in this process and has already been demonstrated as an effective solution in this regard. However, teachers still struggle with the lack of tools that can adequately support the creation and management of online gamified programming courses. Until now, there was no software platform that would be simultaneously open-source and general-purpose (i.e., not integrated with a specific course on a specific programming language) while featuring a meaningful selection of gamification components. Such a solution has been developed as a part of the Framework for Gamified Programming Education (FGPE) project. In this paper, we present its two front-end components: FGPE AuthorKit and FGPE PLE, explain how they can be used by teachers to prepare and manage gamified programming courses, and report the results of the usability evaluation by the teachers using the platform in their classes.

2022

Network Science - 7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 8-11, 2022, Proceedings

Autores
Ribeiro, P; Silva, F; Ferreira Mendes, JF; Laureano, RD;

Publicação
NetSci-X

Abstract

2022

Design and Development of an Intelligent Clinical Decision Support System Applied to the Evaluation of Breast Cancer Risk

Autores
Casal-Guisande, M; Comesaña-Campos, A; Dutra, I; Cerqueiro-Pequeño, J; Bouza-Rodríguez, J;

Publicação
Journal of Personalized Medicine

Abstract
Breast cancer is currently one of the main causes of death and tumoral diseases in women. Even if early diagnosis processes have evolved in the last years thanks to the popularization of mammogram tests, nowadays, it is still a challenge to have available reliable diagnosis systems that are exempt of variability in their interpretation. To this end, in this work, the design and development of an intelligent clinical decision support system to be used in the preventive diagnosis of breast cancer is presented, aiming both to improve the accuracy in the evaluation and to reduce its uncertainty. Through the integration of expert systems (based on Mamdani-type fuzzy-logic inference engines) deployed in cascade, exploratory factorial analysis, data augmentation approaches, and classification algorithms such as k-neighbors and bagged trees, the system is able to learn and to interpret the patient’s medical-healthcare data, generating an alert level associated to the danger she has of suffering from cancer. For the system’s initial performance tests, a software implementation of it has been built that was used in the diagnosis of a series of patients contained into a 130-cases database provided by the School of Medicine and Public Health of the University of Wisconsin-Madison, which has been also used to create the knowledge base. The obtained results, characterized as areas under the ROC curves of 0.95–0.97 and high success rates, highlight the huge diagnosis and preventive potential of the developed system, and they allow forecasting, even when a detailed and contrasted validation is still pending, its relevance and applicability within the clinical field.

Teses Orientadas

2021

Distributed and Dependable SDS Control Plane for HPC

Autor
Mariana Martins de Sá Miranda

Instituição
UM

2021

Data Market for Energy Industry Forecasting

Autor
Filipe Daniel Vieira da Silva

Instituição
UM

2021

Dysphonic to natural voice reconstruction based on adaptive phonetic segmentation and synthetic implantation

Autor
João Miguel Pinto Pereira da Silva

Instituição
UP-FEUP

2021

Internationalization Of Portuguese SMEs to Japan: A Focus On Export Barriers

Autor
Roberto Manuel Soares Vieira Konagaya Martins

Instituição
UP-FEP

2021

Importância que os consumidores atribuem às dimensões da Responsabilidade Social Empresarial

Autor
Vera Rodrigues Mónica

Instituição
UP-FEP

Factos & Números

59Investigadores

2016

1Capítulos de livros

2020

7Artigos em conferências indexadas

2020