3447 artigos
Este artigo apresenta uma metodologia de diagnóstico baseada em medições reais para o O-RAN que, ao analisar conjuntamente a latência de cauda e indicadores da camada de rádio, revela diferenças dependentes do dispositivo e a necessidade de evidências cruzadas para identificar degradações de rede que métricas tradicionais não capturam.
O artigo apresenta o LLMGreenRec, um novo sistema de recomendação baseado em agentes múltiplos e modelos de linguagem (LLMs) que promove o consumo sustentável ao identificar intenções ecológicas dos usuários e reduzir a pegada de carbono digital, preenchendo a lacuna entre a intenção verde e a ação no comércio eletrônico.
Este trabalho resolve uma questão em aberto demonstrando a primeira separação explícita entre os cenários de privacidade diferencial "oblivious" e "adaptativo" na observação contínua, apresentando um algoritmo preciso para o primeiro caso que falha drasticamente no segundo após apenas um número constante de passos de tempo.
O artigo propõe as "Rastros de Atividade de Leitura" (RATs), uma abordagem que trata a leitura como uma atividade criativa por si só e para futuros artefatos, tornando visível o trabalho interpretativo que está sendo automatizado e comprimido por feeds algorítmicos e resumos de IA, ilustrado através de uma instância especulativa na Wikipedia chamada WikiRAT.
O artigo apresenta o DynVLA, um modelo de VLA para condução autônoma que introduz o paradigma "Dynamics CoT", utilizando um tokenizador de dinâmica para prever compactamente a evolução do mundo e decoplar dinâmicas egocêntricas e ambientais, resultando em decisões mais informadas e fisicamente fundamentadas que superam os métodos tradicionais de raciocínio textual e visual.
O artigo apresenta o Agentar-Fin-OCR, um sistema de parseamento de documentos otimizado para o setor financeiro que converte PDFs ultra-longos em saídas estruturadas com alta precisão e procedência auditável, combinando algoritmos de consolidação de conteúdo entre páginas e aprendizado curricular adaptativo, além de introduzir o FinDocBench, um novo benchmark com anotações verificadas por especialistas para avaliar e impulsionar aplicações de documentos financeiros.
Este artigo oferece uma discussão abrangente sobre o conceito e a arquitetura do fatiamento de rede (network slicing) no contexto do 5G, com foco especial na modelagem de lucros através da implementação própria e do arrendamento de recursos, além de abordar desafios e direções de pesquisa para esta tecnologia emergente.
Este estudo combina dados de uma amostra representativa de adultos americanos com informações do serviço "Have I Been Pwned" para estimar que, no mínimo, 82,84% da população dos EUA teve suas contas online violadas, com uma média de pelo menos três violações por pessoa, sendo que grupos como mulheres, brancos, pessoas de meia-idade e com maior nível educacional apresentam maiores taxas de exposição.
Este artigo apresenta um framework de monitoramento online escalável e eficiente para Lógica Temporal Métrica (MTL), baseado na construção unificada de redes sequenciais que utilizam a técnica de marcação temporal futura para processar comportamentos em tempo discreto e denso.
Este artigo estabelece que a verificação de módulos em sistemas multiagentes de pilha (PMS) é completa para 2EXPTIME sob especificações ATL, mas atinge uma complexidade incomum de 4EXPTIME sob especificações ATL*, tornando-se exponencialmente mais difícil do que os problemas de verificação de modelos correspondentes.
Este artigo investiga a aplicação de contadores probabilísticos, como o de Morris e o MaxGeo, como mecanismos de proteção de privacidade em agregação de dados, demonstrando que sua aleatorização inerente é suficiente para garantir privacidade diferencial sem necessidade de randomização adicional, mesmo em múltiplos usos.
Este artigo apresenta uma generalização abrangente da operação de troca para (n,m)-grafos, estabelecindo resultados fundamentais sobre homomorfismos, resolvendo problemas em aberto de Klostermeyer, MacGillivray e Brewster, definindo um produto categórico e explorando o número cromático associado, inclusive para florestas.
Este artigo propõe um framework baseado em regressão de Poisson para estimar a demanda excedente não observada em sistemas de transporte público, utilizando dados filtrados da Autoridade Portuária de Pittsburgh para corrigir o viés causado pela censura dos dados de passageiros que não conseguiram embarcar.
Este estudo analisa dados da NBA desde 2015 e conclui que, embora exista um viés a favor das equipes mandantes (especialmente nos playoffs) e que certos jogadores beneficiem de decisões arbitrais além do acaso, não há evidências de viés negativo contra jogadores ou equipes específicos, nem de viés racial.
Este artigo apresenta o problema de seleção de planos informativos (TIPS) e propõe um algoritmo de aproximação para identificar conjuntos de planos de consulta alternativos representativos, demonstrando por meio de avaliações práticas que essa abordagem melhora significativamente o ensino de bancos de dados ao ajudar os alunos a compreenderem as escolhas feitas pelo otimizador de consultas.
Este artigo apresenta uma nova prova elementar da propriedade do modelo finito para a Álgebra de Kleene, estabelecendo sua completude em relação a modelos relacionais finitos e unificando resultados anteriores de Palka e Pratt através do uso de autômatos de transformação.
Este artigo investiga as palavras de Dyck em sequências binárias, demonstrando que palavras livres de potências $7/3$ possuem nível de aninhamento limitado, caracterizando explicitamente os fatores da palavra de Thue-Morse que são Dyck e estabelecendo limites superiores e inferiores rigorosos para a contagem desses fatores.
Este artigo apresenta uma nova abordagem computacional para provar o teorema de Frougny e Sakarovitch sobre representações , permitindo obter demonstrações simples e uniformes de resultados existentes e novos, incluindo a recuperação automática de trabalhos recentes de Dekking e Van Loon, utilizando o provador de teoremas Walnut.
Este artigo demonstra que a eliminação de quantificadores universais em estruturas automáticas pode exigir um aumento exponencial duplo no tamanho do autômato, provando que tal blow-up é inevitável e que o problema de decidir a vacuidade da linguagem resultante é EXPSPACE-completo.
Este artigo aprimora a técnica de grafos de tipos ponderados para provar a terminação de sistemas de transformação gráfica DPO, generalizando o método para outras categorias e permitindo variações da abordagem DPO encontradas na literatura.