3248 artigos
Este artigo estabelece explicitamente que o tamanho ótimo de um circuito varia no máximo em sob perturbações na tabela verdade, estendendo esse limite para distâncias de Hamming gerais e confirmando sua otimalidade para através de uma verificação exaustiva baseada em SAT.
Este artigo apresenta o PixelConfig, um framework de análise diferencial que revela que o Meta Pixel é amplamente configurado para rastrear atividades e identidades de usuários em sites de saúde com configurações padrão, enquanto as funcionalidades de restrição de rastreamento oferecem proteção limitada e são frequentemente contornadas.
O artigo apresenta o EventVGGT, um novo framework que supera as limitações de consistência temporal na estimativa de profundidade baseada em eventos ao tratar o fluxo de eventos como uma sequência de vídeo coesa e distilar conhecimentos espaciais, temporais e geométricos do modelo VGGT através de uma estratégia tripla de distilação, resultando em desempenho superior e generalização zero-shot.
O artigo apresenta o MIDAS, um framework de esteganografia sem cobertura baseado em difusão e livre de treinamento que permite a ocultação de múltiplas imagens com controle de acesso específico por usuário, superando métodos existentes em qualidade, robustez e privacidade.
O artigo apresenta o GeoBenchr, uma suíte de benchmarking de código aberto e centrada em aplicações para plataformas de dados espaço-temporais, projetada para avaliar de forma abrangente o desempenho, a escalabilidade e a configuração de sistemas em cenários do mundo real, como rastreamento de ciclistas, aviação e marítimo.
Este artigo propõe um novo sistema de identificação de dinâmica veicular para corridas autônomas que combina uma rede CNN leve para estimar atrito a partir de imagens e um modelo S4 para capturar resíduais temporais, permitindo uma convergência rápida e precisa dos parâmetros de pneus mesmo em condições extremas.
O artigo apresenta o YOLO-NAS-Bench, o primeiro benchmark de substituição para busca de arquitetura neural em detectores YOLO, que utiliza um mecanismo de autoevolução para aprimorar um preditor baseado em LightGBM, permitindo a descoberta eficiente de arquiteturas que superam os modelos oficiais YOLOv8 a YOLO12.
O artigo apresenta o RiO-DETR, o primeiro detector baseado em transformers capaz de realizar detecção de objetos orientados em tempo real, superando desafios como periodicidade angular e convergência lenta através de designs nativos de tarefa que estabelecem um novo equilíbrio entre velocidade e precisão.
Este artigo propõe um quadro unificador para os teoremas de dicotomia de complexidade em redes de tensores booleanos, classificando os problemas não resolvidos em nove casos baseados em grupos finitos de matrizes complexas e apresentando avanços significativos na resolução de casos cíclicos de ordem superior.
O artigo apresenta o CIGPose, um framework baseado em redes neurais gráficas e intervenção causal que elimina correlações espúrias do contexto visual para gerar estimativas de pose corporal inteira mais robustas e anatomicamente plausíveis, estabelecendo um novo estado da arte no conjunto de dados COCO-WholeBody.
O artigo apresenta o MetaDAT, um método de previsão de trajetória que combina um framework de meta-aprendizado para pré-treinamento e um mecanismo de atualização adaptativa de dados em tempo de teste, superando os métodos atuais ao lidar com mudanças de distribuição e garantindo alta precisão e eficiência em cenários desafiadores.
Este artigo analisa como vulnerabilidades binárias em módulos WebAssembly podem comprometer a segurança de aplicações web ao permitir a exploração de falhas como injeção SQL e XS-Leaks, propondo estratégias defensivas para mitigar esses riscos.
Este artigo apresenta a construção de um functor que atribui dinâmica a um modelo algébrico de componentes interagentes, generalizando o modelo computacional AlChemy de Fontana e Buss e explorando o uso da teoria das categorias para formalizar a conexão entre as facetas algébricas e dinâmicas da química artificial.
O artigo apresenta o GIIM, uma abordagem baseada em grafos que melhora o diagnóstico médico automatizado ao modelar simultaneamente as dependências intra-visão e inter-visão das anomalias, garantindo robustez mesmo na presença de dados incompletos.
O artigo "ShapeMark" apresenta um método de marca d'água robusto e que preserva a diversidade para modelos de difusão, superando as limitações das abordagens existentes ao codificar bits de marca d'água em padrões estruturados de ruído e introduzir um design de randomização que evita padrões fixos, garantindo alta qualidade de geração e resistência em cenários com perdas.
Este trabalho apresenta um método inovador de Descida de Gradiente Variacional de Stein (SVGD) pré-condicionado com restrições SE(3) para otimização de trajetórias ergódicas, permitindo que robôs gerem trajetórias de cobertura de superfícies complexas em nuvens de pontos com maior qualidade e eficiência computacional do que as abordagens existentes.
O artigo apresenta o SEA-Nav, um quadro de aprendizado por reforço que combina funções de barreira controlável diferenciáveis, replay adaptativo de colisões e restrições cinemáticas para permitir que robôs quadrúpedes naveguem com segurança e agilidade em ambientes densamente obstruídos com tempo de treinamento de apenas alguns minutos.
O artigo apresenta o TopoOR, uma nova representação topológica unificada para salas cirúrgicas que supera as limitações estruturais dos grafos de cena tradicionais ao modelar interações de ordem superior e preservar a geometria e multimodalidade essenciais para tarefas críticas de segurança, como a detecção de violações de esterilidade e a previsão de ações robóticas.
Este artigo relata a experiência no desenvolvimento de três currículos de engenharia de software para profissionais e descreve uma abordagem sistemática baseada no mapeamento de conteúdo para integrar cursos de engenharia de requisitos, propondo princípios fundamentais para essa adaptação.
Este artigo apresenta o Corpus Patrologia Graeca, o primeiro recurso aberto de grande escala com OCR e anotações linguísticas para as edições gregas polítonas do século XIX, alcançando taxas de erro recordes e fornecendo um novo conjunto de dados anotado para estudos filológicos e treinamento de modelos de IA.