Instituto de Computação

Codificadores convolucionais compactos e livres de retropropagação para a análise de imagens de tomografia computadorizada do tórax com anomalias pulmonares

Coleta inteligente de resíduos sólidos urbanos: um estudo de caso baseado em LoRaWAN

Comparação de genomas incompletos usando grafos de de Bruijn sucintos

Componentes e pontos de quebra em séries temporais na análise de imagens de sensoriamento remoto

Computação eficiente de inferências com convolução aproximada

Comutação de mensagens em redes ópticas um novo paradigma de comutação

Conjuntos dominantes em grafos cúbicos

Connoisseur: análise de procedência em pinturas

Construindo grafos de conhecimento utilizando documentos textuais para análise de literatura científica

Contribuições teóricas e práticas para criptografia baseada no problema Ring-LWE: mergulhos torcidos e transformada discreta de Galois

Controle de admissão e alocação de recursos em fatiamento de rede 5G

Controle inteligente de um quadricóptero por aprendizado por reforço

Criptografia de curvas elípticas de alto desempenho: uma abordagem SIMD para curvas modernas

Descoberta de biomarcadores em neuroimagem associados à doença de Alzheimer

Descobrindo o comportamento de fases através do agrupamento de características independentes de microarquitetura variantes no tempo

Descritores convolucionais profundos para registro esparço e denso em SLAM RGB-D

Desempenho dos alunos numa disciplina introdutória de programação e o conhecimento longevo

Desenvolvimento e avaliação de técnicas de localização para redes veiculares e sistemas de transportes inteligentes

Design e avaliação da interação humano-dados

Design e desenvolvimento de cenários para sistemas computacionais ubíquos na perspectiva do usuário

Design e desenvolvimento de uma mesa tangível e objetos com tecnologia embarcada para uma experiência socioenativa

Design para todos e educação inclusiva: envolvendo professores na criação de tecnologias

Design socialmente consciente de espaços humanos com internet das coisas

Deteção de eventos complexos em vídeos baseada em ritmos visuais

Detecção de ataques de apresentação por faces em dispositivos móveis

Detecção de deepfakes a partir de técnicas de visão computacional e aprendizado de máquina

Detecção de eventos violentos em sequências de vídeos baseada no operador histograma da transformada Census

Detecção de exemplos adversariais baseada em comitês de defesas e de contra-ataques

Detecção de nódulos pulmonares em imagens de tomografia computadorizada

Detecção de perdas não-técnicas na rede elétrica utilizando representações de séries temporais

Detecção de quedas de pessoas em vídeos utilizando redes neurais convolucionais com múltiplos canais

Detecção e rastreamento de frangos: uma nova metodologia computacional para monitoramento de padrões em aviários comerciais

Detectando mau uso de métodos criptográficos com aprendizado de máquina

Diagnóstico automatizado e quantitativo de ovos de Schistosoma mansoni

Digrafos χ-diperfeitos

DrPin: Um instrumentador dinâmico de binários para múltiplas arquiteturas de processadores

Em direção ao uso eficiente de largura de banda em redes celulares: fatiamento da RAN para o LTE e o encaminhamento de tráfego multi-stream sobre múltiplos caminhos

Empacotamento de círculos em linha

Emulação de RISC-V com alto desempenho

Engenharia criptográfica de algoritmos que preservam a privacidade

Escalonamento de aplicações com requisitos de software em grades e nuvens privadas

Estabilização de vídeo digital: métodos, conjuntos de dados e avaliação

Estabilização digital de vídeos: algoritmos e avaliação

Estimativa de saliência em múltiplos domínios de imagens utilizando um arcabouço flexível

Estratégias para agrupamento de nós e alocação dinâmica de recursos em redes IEEE 802.11ah

Estudo comparativo de detetores de falhas sob diferentes condições de redes de computadores

Estudo observacional retrospectivo do impacto da perda de sangue derivada de flebotomia: uma abordagem utilizando aprendizado de máquina

Evocycle: vida artificial em um ecossistema de algoritmos bio-inspirados

Explorando a substituição de DRAM por NVM na memória principal através de simulação

Explorando funções cognitivas em robótica

Explorando Hardware-Software co-design e Duty Cycle Dinâmico para eficiência energética em DSP ASIC de Transmissão Coerente

Extensões e aplicações da distância de posto genômica

Extensões para a compressão base-delta-imediato

Extração de minúcias em imagens de impressões digitais sem contato usando redes convolucionais profundas

Floresta de caminhos ótimos iterativa: um arcabouço para agrupamento de dados baseado em grafos

Formulações e algoritmos para o problema da poligonização de área máxima

Formulações para o problema de alocação de chaves com incertezas

Formulações para o problema de roteamento de veículos verdes

Fórmulas de isogenias para modelos alternativos de curvas elípticas

Geração controlada de sentenças em linguagem natural para língua Portuguesa com base em arquiteturas de aprendizado baseadas em transformadores: Resultados no domínio de comércio eletrônico

Geração de planos de adaptação baseados em modelos de qualidade para plataformas Cloud

Geração de superpixels pela floresta geradora iterativa usando informação de objeto

Gerenciamento de recursos ciente de mobilidade para computação de borda veicular

Gerenciamento e orquestração orientados ao fatiamento de redes móveis 4G/5G no núcleo e no transporte

Gerenciamento energeticamente eficiente de recursos de rádio em redes LTE

Guidelines para avaliação de sistemas em cenários socioenativos

Habilitando o paralelismo de tarefas do OpenMP em Multi-FPGAs

Heurísticas e algoritmos de aproximação para problemas de disposição de propagandas

Heurísticas para alocação de servidores em serviços de vídeo sob demanda sobre nuvens híbridas

Heurísticas para problemas de rearranjo de genomas com genes multiplicados

Heurísticas para problemas de roteamento de veículos com incertezas

High Performance Collision Cross Section (HPCCS) utilização de técnicas de HPC para aceleração do cálculo da seção de choque transversal

Homofilia por tópicos no espalhamento de memes em redes sociais online

IaRa: programação dataflow com a ferramenta MLIR

Implementação e otimização da operação de broadcast no runtime distribuído de tarefas OmpCluster

Implementação eficiente da Curve25519 para microcontroladores ARM

Implementação eficiente em software do esquema de assinatura de Merkle e suas variantes

Implementação em software de cifradores autenticados para processadores ARM

Implementação segura e eficiente de criptografia baseada em códigos QC-MDPC

Incluindo idosos com comprometimento cognitivo no design participativo – avaliação e adaptação de técnicas de design, desafios e lições aprendidas

Inclusão do contexto dinâmico de execução para melhorar a avaliação de políticas de CFI

Índices espectrais baseados em programação genética para classificação de imagens de sensoriamento remoto

Inferência de localização geográfica de imagens

InRob-UML – um método para testes de Interoperabilidade e Robustez para sistemas embarcados de tempo real utilizando modelos UML

Integração e análise de desempenho de arquiteturas RISC-V paralelas

Interfaces software e hardware para memórias aproximadas

Investigando natural user interfaces (NUIs) – tecnologias e interação em contexto de acessibilidade

Jogos de localização de instalações não cooperativos e percepção de custos

Leilões à prova de estratégia e orçamento-balanceados para compartilhamento de viagens com múltiplos passageiros

Leilões e alocação de recursos em computação de borda com mobilidade

LIFT-SLAM: um método de SLAM visual baseado em características com aprendizado profundo

LinkedScales: bases de dados em multiescala

Localização de textos em imagens de cena utilizando redes convolucionais leves

Manutenção de links na web semântica

Manutenção de software baseada em predição: uma perspectiva de aprendizado de máquina

Mapeamento de conflitos entre atributos de QoS na monitoração de aplicações SOA

Mapeamento de subáreas da computação

Mecanismos de proteção contra ataques de sequestro de fluxo

Mecanismos para escalonamento de aplicações MapReduce de diferentes prioridades

Mecanismos para gerenciamento de banda passante em redes ópticas passivas ethernet com clientes locatários de múltiplas unidades ópticas de redes

Mediação de processos de codesign de sistemas e o empoderamento de pessoas lésbicas, gays, bissexuais e transgêneras (LGBT)

Medidas de redes complexas na análise espaço-temporal baseada em grafos de jogos de futebol

Melhoramento das informações visuais em tarefas de questões baseadas em imagens com dados em grafos de cena utilizando aprendizagem autossupervisionada

Melhorando a precisão do reconhecimento de texto usando técnicas baseadas em sintaxe

Melhorando funções de perda e utilização de características para estimação autossupervisionada de profundidade de imagem única a partir de vídeos monoculares

Melhorando o codesign hardware/software em memória transacional: uma abordagem baseada em fases e eliminação de instrumentação em excesso

Melhorando o compartilhamento de conhecimento em repositórios de tickets: uma abordagem de algoritmo genético para seleção de características

Melhorando o desempenho e a programabilidade de código transacional gerado por compiladores através de construções em nível de linguagem

Métodos auto-supervisionados para aprendizagem de representações visuais

Métodos baseados em programação inteira aplicados em corte, empacotamento e escalonamento

Modelagens para segmentação de imagens 3D da densidade eletrônica de ligantes em classes químicas com aprendizado profundo

Modelos com proporção entre operações e regiões intergênicas rígidas e flexíveis

Modelos generativos profundos para agrupamento: um enfoque semi-supervisionado e não supervisionado

Modelos restritos e intergênicos para a ordenação por reversões e transposições

Monitoramento da evolução do acoplamento de arquiteturas baseadas em microsserviços: um método para detectar indícios de erosão arquitetural

Monitoramento e otimização de custo de aplicações HPC na nuvem

MOPC-DARTS: um framework para otimização multi-objetivo aplicado a neural architecture search

MSOFEC: orquestração multicamada névoa-nuvem para colocação de serviços em internet das coisas industrial

MultiCloud Tournament: uma arquitetura de federação de nuvens voltada à prevenção de Free-Riders através do incentivo ao compartilhamento de recursos

Na direção de melhores ferramentas e metodologias para o ensino de pensamento computacional para crianças

NNC – um compilador de rede neural flexível

O algoritmo batched DOACROSS

O papel da sincronia no desempenho de Paxos

O problema da k-partição conexa balanceada: poliedros e algoritmos

O problema da ordenação de permutações usando rearranjos de prefixos e sufixos

O problema de localização de nós névoa

O problema dos árbitros viajantes: complexidade, modelagem e algoritmos

Odometria visual monocular baseada na geometria epipolar

Oportunidades da fotônica em sistemas computacionais modernos

Ordenação de permutações por operações de tamanho limitado

Ordenação de permutações com sinais por reversões e transposições

Otimização combinatória no planejamento de transporte público (provisório)

Otimização do particionamento de tensores para convolução em NPUs multicore

Paralelização de laços DOACROSS usando anotações de componentes e probabilidade de Loop-Carried

Partição de grafos eulerianos em circuitos

Particionamento de redes neurais de convolução para inferência em dispositivos restritos da internet das coisas

PB3Opt: uma estratégia para selecionar aglomerados de computadores na nuvem computacional para cargas computacionais de alto desempenho

Perfilamento de código paralelo para o runtime distribuído de tarefas OpenMP Cluster

Pooling acelerado: criando uma implementação acelerada em hardware baseada em Im2col e Col2im

Posicionamento de MECs em redes celulares 5G protegidas

Predição de estruturas secundárias de proteínas usando aprendizado de máquina e BLAST

Predição de relevância em sistemas de recuperação de informação

Predição de tempo restante de instâncias de processo em mineração de processos considerando contexto em logs de eventos

Previsão e geração de sinais EMG de Parkison com redes neurais

Problema de compartilhamento veículos elétricos: complexidade, modelos e algoritmos

Problema de roteamento de veículos capacitado com janelas de tempo e clientes estocásticos

Problema geométrico e conexo de localização de instalações

Problemas de bilhetes de estacionamento e projeto de redes com arrendamento

Problemas de ordenação de permutações por operações ponderadas

Problemas de otimização combinatória em visualização de dados cartográficos

Problemas de partição em grafos e digrafos

Problemas geométricos de decomposição

Processamento de reatórios de bugs utilizando redes neurais profundas

Projeto assistido pelo usuário de uma rede neural para segmentação de tumores cerebrais

Promovendo interoperabilidade de planilhas de biodiversidade através do reconhecimento de propósito

PROST: Um arcabouço para o desenvolvimento de dispositivos programáveis para a IoT

Proteção em redes ópticas elásticas com multiplexação espacial

Protocolos para intersecção privada de conjuntos (PSI) e para classificação privada baseada no Naive Bayes

Provendo robustez a escalonadores de workflows sensíveis às incertezas da largura de banda disponível

Provisão de qualidade de serviço em redes de computação em névoa

RAM-VO: um modelo atencional recorrente para odometria visual

Re-Identificação de pessoas refinada com mapas de segmentação semântica e saliências

Recoloração convexa de grafos

Reconhecimento de ações em vídeos baseado na fusão de representações de ritmos visuais

Reconhecimento de emoções a partir de expressões faciais em conjunto de dados cruzados através de redes neurais convolucionais

Reconhecimento de faces explorando representações baseadas em partes

Reconhecimento de padrões em expressões faciais: algoritmos e aplicações

Reconhecimento e reescrita de padrões em código-fonte para MLIR utilizando autômatos baseados em strings

Reconhecimento em cenário aberto para diferentes classificadores

Recuperação e exploração de coleções de vídeos baseadas em agrupamento hierárquico

Redes adversárias generativas para remoção de ruídos em dados sísmicos

Redes definidas por software, orientadas a serviços e cientes da mobilidade para provisão de serviços em ambientes urbanos

Redes neurais convolucionais baseadas em ritmos visuais e fusão adaptativa para uma arquitetura de múltiplos canais aplicada ao reconhecimento de ações humanas

Redes neurais convolucionais de múltiplos canais para reconhecimento de ações em sequências de vídeos baseado em informações espaço-temporais

Redes neurais interpretáveis com opção de rejeição para dados tabulares

Relacionamentos entre materiais didáticos por meio da extração de tópicos implícitos

Representação de formas por distância euclidiana truncada

Representação espaço-temporal baseada em autoencoder para reconhecimento de ações em vídeos

Representação Out-of-Core de malhas triangulares tridimensionais para renderização de grandes volumes de dados

Representações de séries temporais baseadas em imagens para classificação de imagens de satélite

Revelando vieses de gênero em decisões judiciais com processamento de linguagem natural

Roteamento baseado em aprendizagem por reforço para redes definidas por software

Roteamento de tráfego veicular colaborativo e sem infraestrutura para sistemas de transporte inteligentes

Roteamento e alocação de núcleo e espectro em redes ópticas com multiplexação por divisão espacial

Rotulação L(h, k) em classes de grafos

Rotulações graciosas e rotulações semifortes em grafos

Rumo ao desenvolvimento seguro de software criptográfico

Scientific Semantic Metasearch (SSM): uma plataforma para recuperação de dados científicos

Segmentação automática de tumores do fígado a partir de imagens de tomografia computadorizada baseada em redes neurais profundas 2D e 3D

Segmentação automática dos pulmões e da traqueia em imagem de tomografia computadorizada do tórax

Segmentação hierárquica de imagem baseada em recursões da floresta geradora iterativa

Segmentação interativa de imagens: de algoritmos baseados em grafos à anotação de características

Segmentação semântica com mistura global de Priors Gaussianas

Seleção de cor para restaurações dentárias auxiliada por técnicas de visão computacional

Seleção de máquinas virtuais eficientes para o treinamento de modelos de aprendizado profundo na nuvem

Simplificação morfologicas multi-escala baseada em relações extremas: melhoras e aplicações

Simulações concorrentes em SystemC TLM-2

Sistema de teste auto-adaptativo baseado em modelo para SOA Dinâmico

Sistemas computacionais tangíveis e o design da comunicação em contextos educacionais inclusivos

SLAM visual e odometria visual com filtragem de objetos dinâmicos baseada em semântica

SMAFramework: arcabouço para integração de dados urbanos cientes da correlação espaço-temporal em cidades inteligentes

Sobre a viabilidade de usar métricas SOA para avaliar a coesão durante a evolução dos microsserviços

Sobre a caracterização de padrões temporais para análise de imagens de sensoriamento remoto

Sobre circuitos, cordas e kernels em digrafos

Sobre o dilema espacial que vincula reencenação profunda e aprendizado de representações desemaranhadas em vídeo

Soluções exatas e heurísticas para problemas de construção de polígonos ótimos

Soluções exatas para o problema geométrico do brigadista e variantes

Sugestões de rotas para veículos de propulsão humana no contexto da coleta seletiva de resíduos sólidos urbanos

Sumarização automática de vídeos de futebol baseada em ritmo visual

Sumarização multilingual abstrativa de podcasts utilizando Longformers

Super-resolução de imagem única baseada em redes neurais de cápsulas

Suporte arquitetural para computação aproximada

Técnicas de controle de acesso ao meio para comunicação massiva do tipo máquina em redes celulares

Técnicas de sistemas autônomos e autoadaptativos para apoiar linhas de produtos de software dinâmicas

Técnicas de super resolução para ciência forense e outras aplicações

Técnicas para comparação de imagens sísmicas 4D em campos de petróleo

Teste de robustez de implementações e aplicações utilizando CoAP por meio de técnicas de fuzzing

Testes de segurança de Web Services a partir de padrões de ataques representados em modelos de estados

Testes padronizados para configurações de segurança em dispositivos móveis

Técnicas para autenticação contínua em dispositivos móveis a partir do modo de caminhar

TokenSSI: identidade autossoberana para geração distribuída de energia

Transferência automática para aceleradores FPGA

Transferência de aprendizado curricular para aquisição de gramáticas complexas em modelos de linguagem

Um algoritmo de agregação de dados ciente do consumo de energia para redes de sensores sem fio

Um algoritmo de aproximação para o problema da árvore de Steiner q-métrico com peso nos vértices

Um algoritmo exato para o problema de relocação de blocos usando novos limitantes inferiores

Um arcabouço baseado em anotações para enriquecimento semântico de documentos textuais

Um arcabouço semi-autonômico para treino de modelos de Machine Learning com enfoque em métricas de Fairness

Um estudo comparativo de abordagens de detecção e reconhecimento de texto para cenários de computação restrita

Um estudo comparativo de métodos de localização em ambientes fechados baseado em RSS

Um estudo computacional do problema do brigadista em grafos

Um estudo computacional do Problema do Brigadista Seletivo em Grafos

Um estudo computacional do problema do gnosticismo perfeito

Um framework de injeção de falhas para modelos UML executáveis

Um framework para aprendizado por reforço em robótica bípede

Um framework para computação aproximada sensível ao contexto

Um framework para desenhar sistemas persuasivos socialmente conscientes

Um metamodelo para apoiar a formalização de convenções de codificação

Um modelo de gerenciador de redes virtuais para arcabouços de processamento de big data em nuvens privadas e híbridas

Um problema de distritamento aplicado à antecipação do faturamento em redes de serviço

Um problema de dominação eterna: classes de grafos, métodos de resolução e perspectiva prática

Uma abordagem e uma ferramenta para testes baseados em modelos linhas de produto software

Uma análise de espaço latente em modelos encoder-decoder para melhorar o aprendizado de representação para tarefa de segmentação semântica em imagens

Uma análise de Sistemas de Probabilidade Genética como software de alta integridade

Uma arquitetura de software reutilizável para sistemas multi-VANT cooperativos

Uma exploração de processamento associativo com o simulador RV-Across

Uma implementação em software do algoritmo FALCON na plataforma ARM

Uma linguagem para geração de padrões para detecção e reescrita em compiladores MLIR

Uma solução híbrida para os problemas de localização 3D e sincronização em RSSFs

UpKG: um framework para inserir novos domínios em grafos de conhecimento

Usando aprendizado de máquina para prever extravasão em elevatórias de esgoto

Uso de requisitos não-funcionais na estimativa de esforço de software: revisão sistemática e resultados experimentais

Utilizando conceitos de alto-nível, e características visuais e auditivas para detecção de violência em vídeos

Utilizando dispositivos limitados para execução de código personalizado na internet das coisas

Utilizando Transformers e Emoji na classificação de sentimento de textos oriundos de redes sociais

Verificação facial em duas etapas para dispositivos móveis

Virtualização completa, paravirtualização e virtualização leve: comparativo de desempenho de recursos de computação em nuvem virtualizados com VMware ESXi, QEMU/KVM, Drivers VirtIO e Docker

Visões em bancos de dados de grafos: uma abordagem multifoco para dados heterogêneos

Visualização científica de padrões temporais cíclicos em estudos de fenologia

Visualização de dados ao longo do tempo em árvores de similaridade

WASIS - Identificação Bioacústica de Espécies baseada em Múltiplos Algoritmos de Extração de Descritores e de Classificação

WorkflowHunt: um mecanismo de busca híbrida para repositórios de workflows científicos

"Análise de imagens para detecção de retinopatia diabética"

"Cloudboss - uma ferramenta para orquestrar a execução de simulações numéricas na nuvem"

"LEON3-CONF: processador LEON3 com confidencialidade de instruções e de dados."

"Técnicas heurísticas para cenários de grande porte do problema cabo-trincheira"

"Usando um jogo para ensinar pensamento computacional e avaliar o aprendizado"

Inscrever-se em Instituto de Computação