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

Investigadores do INESC TEC premiados por trabalho de investigação que visa a proteção de privacidade em telemóveis

Um grupo de Investigadores do INESC TEC foi distinguido por um trabalho de investigação sobre a gestão de permissões em dispositivos móveis. A equipa desenvolveu um conjunto de técnicas para automatizar a resposta a pedidos de permissões por parte das aplicações de smartphones com uma fiabilidade de 90%. Este trabalho recebeu o prémio de melhor artigo científico na conferência ACM CODASPY que teve lugar nos Estados Unidos da América.

08 julho 2022

Redes de Sistemas Inteligentes

INESC TEC integra projeto que vai tornar veículos autónomos mais seguros

  No âmbito do projeto THEIA - Automated Perception Driving, uma parceria entre a Universidade do Porto e a Bosch, que tem como objetivo tornar os veículos autónomos mais seguros através de uma melhor perceção da envolvente exterior, o INESC TEC irá contribuir para o desenvolvimento de algoritmos de perceção, computação e arquiteturas baseadas em inteligência artificial.

07 junho 2022

Informática

INESC TEC desenvolve ferramenta para identificação de espécies biológicas

Investigadores do INESC TEC desenvolveram a Biolens, uma aplicação web que permite a classificação de espécies biológicas através da submissão de fotografias. Atualmente a plataforma é capaz de reconhecer um subconjunto muito significativo das espécies portuguesas de libelinhas, libélulas, borboletas e mariposas.

03 junho 2022

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

041

Projetos Selecionados

PRIVATEER

PRIVATEER - Privacy-first Security Enablers for 6G Networks

2023-2025

THEIA

Automated Perception Driving

2022-2023

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

Structural Rules and Algebraic Properties of Intersection Types

Autores
Alves, S; Florido, M;

Publicação
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Abstract
In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection type system. Expansion relates terms typed by associative, commutative and idempotent intersections with terms typed in the Curry type system and the relevant type system; terms typed by non-idempotent intersections with terms typed in the affine and linear type systems; and terms typed by non-idempotent and non-commutative intersections with terms typed in an ordered type system. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

2022

Typed SLD-Resolution: Dynamic Typing for Logic Programming

Autores
Barbosa, J; Florido, M; Costa, VS;

Publicação
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022)

Abstract
The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic programming, and the declarative semantics, which sees logic programs as formulas and its semantics as models. Here, we define a new operational semantics called TSLD-resolution, which stands for Typed SLD-resolution, where we include a value wrong, that corresponds to the detection of a type error at run-time. For this we define a new typed unification algorithm. Finally we prove the correctness of TSLD-resolution with respect to a typed declarative semantics.

2022

Compression of Different Time Series Representations in Asphyxia Detection

Autores
Silva, B; Ribeiro, M; Henriques, TS;

Publicação
2022 E-Health and Bioengineering Conference (EHB)

Abstract

2022

Survey on Synthetic Data Generation, Evaluation Methods and GANs

Autores
Figueira, A; Vaz, B;

Publicação
MATHEMATICS

Abstract
Synthetic data consists of artificially generated data. When data are scarce, or of poor quality, synthetic data can be used, for example, to improve the performance of machine learning models. Generative adversarial networks (GANs) are a state-of-the-art deep generative models that can generate novel synthetic samples that follow the underlying data distribution of the original dataset. Reviews on synthetic data generation and on GANs have already been written. However, none in the relevant literature, to the best of our knowledge, has explicitly combined these two topics. This survey aims to fill this gap and provide useful material to new researchers in this field. That is, we aim to provide a survey that combines synthetic data generation and GANs, and that can act as a good and strong starting point for new researchers in the field, so that they have a general overview of the key contributions and useful references. We have conducted a review of the state-of-the-art by querying four major databases: Web of Sciences (WoS), Scopus, IEEE Xplore, and ACM Digital Library. This allowed us to gain insights into the most relevant authors, the most relevant scientific journals in the area, the most cited papers, the most significant research areas, the most important institutions, and the most relevant GAN architectures. GANs were thoroughly reviewed, as well as their most common training problems, their most important breakthroughs, and a focus on GAN architectures for tabular data. Further, the main algorithms for generating synthetic data, their applications and our thoughts on these methods are also expressed. Finally, we reviewed the main techniques for evaluating the quality of synthetic data (especially tabular data) and provided a schematic overview of the information presented in this paper.

2022

A Matching Algorithm to Assess Web Interfaces

Autores
Leal, JP; Primo, M;

Publicação
Communications in Computer and Information Science

Abstract

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

A importância da Responsabilidade Social Empresarial para os consumidores: a influência da cultura nacional e da cultura geracional

Autor
Vera Rodrigues Mónica

Instituição
UP-FEP

2021

Posicionamento Masstige como estratégia para a internacionalização de vinho português.

Autor
Ricardo de Lacerda Argomaniz

Instituição
UP-FEP

2021

HOW DOES SERENDIPITY INFLUENCE THE INTERNATIONALIZATION PROCESS? CAUSES AND RECOGNITION

Autor
Raquel Barbosa Moreira

Instituição
UP-FEP

Factos & Números

7Artigos em conferências indexadas

2020

16Investigadores Séniores

2016

1Contratados de I&D

2020