2528 artigos
Este trabalho apresenta uma abordagem algorítmica baseada em geração de colunas para resolver o problema de fluxo multicommodity com função objetivo convexa, oferecendo métodos eficientes para as variantes fracionária e não fracionária que minimizam custos de enlace crescentes conforme a utilização, com aplicações críticas em redes de telecomunicações.
Este estudo empírico mapeia as interações entre diferentes classes de modelos de linguagem e estratégias de engenharia de prompts na geração de código Verilog, identificando padrões de desempenho e generalização através de um design experimental controlado.
O artigo apresenta o AnalogToBi, um framework que gera automaticamente topologias de circuitos analógicos em nível de dispositivo com alta validade e novidade, utilizando uma representação baseada em grafos bipartidos, decodificação guiada por gramática e tokens de controle funcional para superar as limitações de métodos anteriores.
Este estudo desenvolve um novo quadro conceitual de maturidade em Inteligência Artificial especificamente para Pequenas e Médias Empresas (PMEs), que supera os modelos tradicionais ao incorporar capacidades multidimensionais, não lineares e integradas ao ecossistema, considerando as restrições de recursos e a dependência externa características dessas organizações.
Este artigo apresenta um pipeline autônomo e sem dependência de APIs externas que converte PDFs de aulas em bancos de questões de múltipla escolha usando modelos de linguagem locais, garantindo qualidade através de verificações determinísticas e promovendo privacidade, responsabilidade e sustentabilidade ambiental no contexto educacional.
Este artigo demonstra que é possível substituir multiplicações reais e complexas por operações de quadrado em multiplicações de matrizes e convoluções, resultando em reduções significativas de recursos de hardware e permitindo novas arquiteturas como arrays sistólicos e núcleos tensoriais baseados em quadrados.
O artigo apresenta o RSH-SpMM, um framework híbrido de multiplicação de matriz esparsa por matriz densa (SpMM) para GPUs que utiliza particionamento adaptativo de linhas e uma representação RS-Tile para otimizar o uso dos Tensor Cores e manter alto desempenho em matrizes com esparsidade altamente irregular, superando as soluções existentes com acelerações de 1,27x a 6,13x.
O artigo apresenta o FormalRTL, um novo framework multiagente que integra modelos de referência de software como especificações formais para gerar e verificar código RTL de forma escalável e confiável, superando os desafios de síntese de hardware em escala industrial.
O artigo apresenta o Kareto, um otimizador que utiliza poda guiada por retornos decrescentes e ajuste adaptativo para gerenciar dinamicamente a configuração de armazenamento em camadas do cache KV em serviços de LLM, permitindo identificar configurações na fronteira de Pareto que melhoram significativamente o throughput, reduzem a latência ou diminuem os custos em comparação com estratégias estáticas.
Este artigo propõe a extensão do gerador de código C ACETONE, originalmente limitado a sequências, para arquiteturas multicore, definindo formalmente o problema de alocação de processadores e planejando a implementação de heurísticas de agendamento, mecanismos de sincronização e avaliação de tempo de execução no pior caso.
O artigo apresenta o ChatNeuroSim, um framework baseado em agentes de modelos de linguagem que automatiza o fluxo de trabalho de simulação e otimização de aceleradores de Computação na Memória (CIM), reduzindo significativamente o tempo de exploração do espaço de design e facilitando a implantação rápida de configurações ótimas para cargas de trabalho de redes neurais profundas.
Este artigo apresenta o \texttt{electoral\_sim}, um framework de código aberto em Python que simula e compara diversos sistemas eleitorais em diferentes cenários de distribuição de preferências dos eleitores, utilizando a distância euclidiana para a mediana geométrica como métrica principal de desempenho e incluindo uma análise de um mecanismo hipotético baseado em kernel softmax de Boltzmann como limite teórico de referência.
O artigo apresenta o JigsawServe, um novo framework de inferência que otimiza conjuntamente latência, precisão e custos de recursos em GPUs de datacenter para sistemas compostos, alcançando um aumento de 11,3 vezes na demanda atendida em comparação com trabalhos anteriores ao selecionar adaptativamente variantes de modelos e realizar alocação espacial de recursos.
O artigo apresenta o Granulon, um modelo multimodal inovador baseado no DINOv3 que supera as limitações de entendimento visual de granularidade única ao introduzir um controlador de granularidade condicionado ao texto e um módulo de agregação adaptativa, permitindo um raciocínio unificado de "pixel a fino a grosso" que aumenta a precisão em cerca de 30% e reduz alucinações em 20%.
O artigo apresenta o algoritmo de Warping Temporal Elástico, que resolve problemas de correspondência de séries temporais em espaços métricos arbitrários utilizando uma penalidade baseada no kernel de Hellinger, com complexidade computacional cúbica.
O artigo apresenta um framework nativo de representação para marcação d'água em 3D Gaussian Splatting que, ao separar a seleção de portadores da preservação de qualidade e utilizar mecanismos de explicabilidade, alcança um equilíbrio superior entre robustez, imperceptibilidade e fidelidade visual.
Este trabalho investiga como as diferenças relacionadas à idade influenciam a percepção do olhar deíctico em robôs sociais, visando orientar o design de pistas não verbais adaptativas para melhorar a interação entre humanos e robôs, especialmente com idosos.
O artigo apresenta o VisionCreator-R1, um agente nativo de geração visual aprimorado por reflexão e treinado com a metodologia de Co-Otimização Reflexão-Planejamento (RPCO), que supera o Gemini2.5Pro em tarefas de geração de imagens únicas e múltiplas ao resolver o desequilíbrio na otimização de planejamento e reflexão via aprendizado por reforço.
O artigo apresenta o HMR-1, um robô de massagem hierárquico que integra modelos de linguagem e visão para identificar pontos de acupuntura e controlar movimentos, apoiado pelo novo conjunto de dados multimodal MedMassage-12K e por um benchmark para avaliação de tarefas de massagem em saúde.
Este artigo apresenta as reflexões de dois pesquisadores sobre as barreiras na colaboração interdisciplinar entre HCI e o envelhecimento, destacando a desconexão entre as necessidades da população idosa e o design tecnológico, bem como sua jornada pessoal de desenvolvimento de empatia através do voluntariado em uma comunidade de idosos.