Uma revisão sistemática de aplicações em ciências da vida.
O YangToTestFW é uma ferramenta desenvolvida para a automação de testes de APIs RESTful a partir de especificações YANG. A ferramenta propõe uma solução integrada para os desafios de conversão e validação dessas especificações, combinando tecnologias como JSON Schema, Gherkin e Cypress. Seu objetivo é reduzir o esforço manual e aumentar a qualidade e a cobertura dos testes, especialmente em...
We introduce the Algorithmic Inference Benchmark (AIB), a framework designed to distinguish whether learning systems capture the generative mechanisms underlying data or merely fit statistical regularities. AIB constructs synthetic datasets using known rules, allowing independent control over algorithmic and statistical difficulty. By manipulating the generative rule and sampling process, AIB...
Este trabalho apresenta a extensão de um núcleo RISC-
V com um conjunto de instruções dedicado à aritmética
modular para acelerar operações NTT e sua inversa
(INTT). Os resultados obtidos em uma implementa-
ção em FPGA apresentam aumento de desempenho em
2, 84, vezes para a NTT e em 3, 80 vezes para a INTT.
A geração de gestos co-verbais expressivos e contextualmente apropriados é crucial para a naturalidade na interação humano-agente. Embora os Modelos de Linguagem Grandes (LLMs) tenham demonstrado grande potencial para essa tarefa, persistem questões sobre a integração ideal de características multimodais e as capacidades de modelos menores e mais acessíveis. Este estudo apresenta uma avaliação...
Veículos Aéreos Não-Tripulados (VANTs) são utilizados em uma vasta gama de aplicações, como agricultura, logística, entretenimento, entre outros. A segurança de suas comunicações se baseia fortemente em algoritmos criptográficos assimétricos, como troca de chaves e assinaturas digitais. No entanto, os algoritmos assimétricos tradicionais estão sob risco de terem sua segurança quebrada por...
Métodos baseados em Geometria Riemanniana têm se mostrado altamente eficazes para a classificação de sinais de Eletroencefalografia em sistemas de Interface Cérebro-Computador. Tradicionalmente, tais abordagens fazem uso de matrizes de covariância para representar a estrutura espacial dos sinais, aproveitando a natureza das matrizes Simétricas Positivas Definidas. No entanto, essas...
Este estudo apresenta uma análise dos esquemas de autenticação sem senha baseados na tecnologia Fast Identity Online (FIDO), com foco no padrão FIDO2. O objetivo é avaliar suas vantagens, limitações e aplicabilidade em diferentes contextos de autenticação, como em servidores HTTPS e SSH. A pesquisa envolveu o estudo dos padrões UAF, U2F e FIDO2, sendo este último o mais atual e amplamente...
Este resumo expandido sintetiza e adapta um estudo que compara duas estratégias de aprendizado por reforço (AR) para otimização de drives motivacionais em agentes cognitivos autônomos: (i) 1-LDO (Unified Learning for Drives Optimization), que utiliza um único learner (Q-Table/DQN) para todas as motivações, e (ii) 2-LDO ( Dual Learning for Drives Optimization), que desacopla o aprendizado por...
O Laboratório Aberto de Impressão 3D (LAPrint) do CTI Renato Archer possui longa experiência em manufatura aditiva, incluindo processos de fusão em leito de pó por laser (PBF-LB/P) com Poliamida-12. Devido ao alto custo e à limitada disponibilidade desse material, o laboratório observou que ajustes nos parâmetros críticos — especialmente temperatura do leito e potência do laser — podem mitigar...
O Cognitive Systems Toolkit (CST) é uma ferramenta para a construção de Arquiteturas Cognitivas (ACs), desenvolvida pelo nosso grupo de pesquisa na UNICAMP. Embora seu desenvolvimento tenha sido concebido para ser simples e prático, o que se constatou é que, com uma documentação fragmentada e a ausência de um material didático apropriado, seu uso acabou sendo uma barreira de entrada para...
O presente trabalho apresenta os passos iniciais em direção à construção do primeiro modelo de fundação especializado em dados de Espectroscopia por Ressonância Magnética (MRS) que possibilite seu amplo uso em diversas tarefas na área de MRS, como reconstrução de espectros, quantificação de metabólitos e predição de diagnósticos. O principal objetivo é expandir o uso e os estudos em MRS...
Volumetric media streaming for 6G networks requires rigorous QoE assessment beyond traditional objective metrics. This research conducts subjective evaluation of volumetric media in VR under varying network conditions. Results reveal acceptable quality thresholds at 2-3% packet loss and 2-3ms latency—stricter than 5G targets. These findings establish perceptual benchmarks to inform 6G network...
Este trabalho investiga o uso de Redes Adversárias Generativas (GANs) para criar imagens hiperespectrais sintéticas de melanoma, com o objetivo de aprimorar a detecção automática de tumores. Utilizando o conjunto de dados Hyperspectral Dermoscopy, o modelo FastGAN foi treinado para gerar amostras artificiais visual e espectralmente semelhantes às reais, avaliadas por meio das métricas FID, SAM...
A alta variabilidade nos sinais de EEG entre usuários distintos é um desafio central para a robustez de Interfaces Cérebro-Computador (BCI, do inglês Brain-Computer Interfaces) baseadas em Imagética Motora (IM). Embora redes neurais profundas como a EEGNet tenham se mostrado eficazes, modelos treinados de forma convencional frequentemente falham em generalizar para novos indivíduos. Para...
With new requirements emerging for the modern communication systems, new network architectures are appearing. In mobile networks, the Open Radio Access Networks (O-RAN) emerges as an alternative to the traditional approach by bringing an open, intelligent, interoperable, and virtualized architecture. However, To enable its feasibility, challenges regarding the requirements in the transport...
Com a iminente ameaça dos computadores quânticos à segurança dos sistemas criptográficos atuais, torna-se essencial avaliar soluções pós-quânticas para sistemas em operação. Este trabalho apresenta a integração de algoritmos de criptografia pós-quântica (PQC) na plataforma Hyperledger Besu, com o objetivo de avaliar o impacto de assinaturas digitais resistentes a ataques quânticos em...
A segmentação automática de lesões, mais conhecidas como hiperintensidades, na substância branca (WMH) é essencial para o estudo de doenças neurodegenerativas e vasculares. Embora diversos métodos tenham sido propostos, variações em disponibilidade, reprodutibilidade, pré-processamento e desempenho dificultam a escolha do método mais adequado. Este trabalho apresenta uma análise comparativa de...
Este documento apresenta uma versão estendida e de-
talhada do trabalho de iniciação científica em anda-
mento no H.IAAC / LCA (UNICAMP) durante o pe-
ríodo julho/2024 — presente. O projeto concentrou-
se em: (i) revisão crítica sobre affordances e mode-
los computacionais relevantes; (ii) reprodução do pi-
peline VAPO (Visual Affordance-guided Policy Opti-
mization) para reconhecimento...
A segurança de contratos inteligentes continua sendo um dos principais desafios no ecossistema blockchain. Vulnerabilidades exploradas em protocolos descentralizados resultaram em perdas financeiras expressivas e expuseram limitações das ferramentas de auditoria convencionais. O avanço de modelos de Inteligência Artificial (IA) e de Linguagem de Grande Escala (LLMs) abriu novas possibilidades...
O trabalho apresenta a construção de um sistema de estimulação visual para uma interface cérebro-computador. Esse tipo de tecnologia assistiva permite a ampliação dos meios de comunicação convencionais, e o seu controle, exclusivamente pelo processamento da atividade cerebral do usuário. Para essa realização, a interface é concebida sob um paradigma fisiológico que tem como característica...
A escolha de uma representação do conhecimento varia entre diferentes arquiteturas cognitivas. A experiência que o agente possui da Existência é definida pelo que a representação do conhecimento permite ou não representar. Neste trabalho, definimos uma representação de episódios que permite às arquiteturas cognitivas acumularem experiências. Descrevemos como a Existência pode ser fragmentada...
A curadoria, a classificação e, por fim, a catalogação de coleções históricas, são essenciais para a preservaão do patrimônio cultural, mas ainda costumam ser feitas manualmente, de forma lenta e suscetível a erros. Este trabalho é uma das iniciativas da parceria entre o DCA/FEEC/Unicamp e o Museu Paulista/USP que visa o desenvolvimento de ferramentas de inteligência artificial para apoiar o...
A ascensão da computação quântica ameaça a infraestrutura de segurança da informação atual, tornando a migração para a Criptografia Pós-Quântica (PQC) uma necessidade urgente. Os principais algoritmos PQC padronizados até o momento são baseados em reticulados e dependem intensamente da multiplicação de polinômios de grande porte, sendo essa a operação de gargalo computacional. Nesse contexto,...
This paper presents a modular educational robotics platform based on the BitDogLab microcontroller and additive manufacturing (3D printing). The platform comprises a family of eight mobile robots organized in a progressive learning path from basic to advanced topics. We describe the modular design philosophy, hardware and software building blocks, representative robots (line follower,...
As Interfaces Cérebro-Computador (BCI, do inglês Brain-Computer Interface) baseadas em Potenciais Evocados Visualmente em Regime Estacionário (SSVEP, do inglês Steady-State Visual Evoked Potential) exigem classificação rápida e precisa. Este trabalho compara dois métodos de classificação que se destacam na literatura: a Análise de Correlação Canônica Supervisionada (sCCA, do inglês Supervised...
Com o avanço no desenvolvimento de computadores quânticos, surge uma grande preocupação a respeito de algoritmos quânticos que potencialmente quebrarão os esquemas criptográficos atuais.
Em virtude disso, foram urgentemente desenvolvidos algoritmos criptográficos para serem teoricamente seguros contra ataques utilizando computadores quânticos.
Contudo, esses algoritmos demandam...
A tecnologia blockchain tem potencial para descentralizar a confiança digital, mas sua adoção em massa enfrenta desafios de infraestrutura. As soluções atuais frequentemente exigem um compromisso entre segurança, descentralização e eficiência energética. O mecanismo de consenso Committeeless Proof-of-Stake (CPoS) propõe uma alternativa sustentável baseada em sorteios probabilísticos locais....
A geração de gestos co-verbais expressivos é fundamental para a Interação Humano-Robô (IHR), mas garantir a sua correspondência semântica e emocional com a fala em tempo real permanece um desafio complexo. Este trabalho apresenta um sistema modular que gera, a partir de um único texto, tanto fala expressiva como gestos humanos e coerentes. A nossa abordagem processa o texto em dois caminhos...
Com avanços da Inteligência Artificial(IA) e sua capacidade de mimetizar comportamentos humanos em larga escala, a distinção entre usuários reais e agentes de IA torna-se um problema central nos ambientes digitais à medida que comportamentos maliciosos como fraude, desinformação e ataque de Sybil, no qual um agente malicioso visa manipular uma rede a partir do uso de múltiplas contas, ...
Post-quantum cryptography (PQC) is needed to
protect blockchain systems once large-scale quan-
tum computers can break today’s public-key sche-
mes. Blockchains such as Hyperledger Besu cur-
rently rely on elliptic-curve digital signatures to
authenticate transactions and validate blocks, and
therefore inherit this quantum vulnerability. This
work aims to implement and evaluate new...
This work examines the feasibility of deploying
FIDO2/WebAuthn at UNICAMP to improve both se-
curity and user experience in Single Sign-On (SSO).
We describe the target architecture based on Red Hat
SSO (Keycloak), outline registration and authentica-
tion flows, and assess practical constraints in the cam-
pus environment. In particular, we analyze authenti-
cator options (USB security...
Este trabalho apresenta um protótipo desenvolvido es-
pecificamente para a coleta de dados referentes à In-
tensidade do Sinal Recebido (RSSI) em redes WiFi, vi-
sando o mapeamento tridimensional (3D) de um dado
ambiente. O sistema atual é composto por um dispo-
sitivo de medição portátil e um software que gera uma
visualização 3D dos dados coletados. Os resultados ini-
ciais validam a...
A disseminação das vantagens da tecnologia da rede 5G, como a otimização da vazão (throughput) e a redução de latência, comumente é realizada com jargões técnicos, dificultando o entendimento do público geral. Por isso, o projeto propõe uma demonstração com jogos físicos com o objetivo de simular os impactos de redes 4G e 5G por meio da experiência multissensorial do usuário. A abordagem...
A crescente demanda global por responsabilidade ambiental e iniciativas como a RE100 consolidaram o mercado de Certificados de Energia Renovável (RECs), sendo o I-REC o padrão principal para atestar a origem renovável. O modelo tradicional de validação é realizado por terceiros (off-chain). Em paralelo, a tecnologia Blockchain, com sua descentralização e imutabilidade, emerge como uma...
A próxima geração de redes móveis (6G) exigirá comunicações com latência extremamente baixa e alta taxa de transferência, especialmente em cenários críticos como a comunicação entre Veículos Aéreos Não Tripulados (VANTs). Contudo, a iminente computação quântica torna obsoletas as criptografias assimétricas atuais, forçando a transição para a Criptografia Pós-Quântica (PQC). O principal desafio...
