6061 artigos
O artigo apresenta o SurgSync, um framework e conjunto de dados de coleta de dados multimodais sincronizados para robótica cirúrgica, implementado no dVRK com sensores avançados e validado em tarefas de treinamento ex-vivo para superar a escassez de dados de treinamento necessários à inteligência artificial em cirurgia.
O artigo propõe o DLRMamba, um método que combina um modelo de espaço de estado seletivo bidimensional de baixo posto com uma estratégia de destilação consciente da estrutura para otimizar a detecção de objetos por fusão multiespectral em dispositivos de borda, alcançando um equilíbrio superior entre eficiência computacional e precisão.
Este artigo apresenta o LIPP (Planejamento de Caminho Informativo Sensível à Carga), uma generalização do planejamento clássico que modela o acoplamento entre a coleta de amostras físicas e o aumento do custo energético, formulando o problema como um programa quadrático inteiro misto para otimizar rotas e ordens de visita sob restrições de energia, demonstrando assim maior eficiência energética em comparação com métodos tradicionais.
Este trabalho apresenta o ESM-YOLO+, uma rede leve de fusão de imagens visíveis e infravermelhas que utiliza um módulo de fusão de atenção aprimorado por máscara e um aprimoramento estrutural durante o treinamento para detectar com alta precisão alvos pequenos em imagens de sensoriamento remoto, superando métodos anteriores com menor complexidade computacional.
O artigo apresenta o MindfulAgents, um sistema multiagente baseado em modelos de linguagem que personaliza sessões de meditação mindfulness, demonstrando em estudos que essa abordagem aumenta significativamente o engajamento, a autoconsciência e a redução do estresse dos usuários.
Este artigo apresenta um novo framework de segmentação de navegabilidade para robôs indoor que combina imagens RGB e dados de profundidade esparsos em um paradigma de poucos exemplos, utilizando aprendizado contrastivo negativo e um módulo de atenção de profundidade para superar as limitações de métodos anteriores na detecção de obstáculos finos e alcançar desempenho superior em cenários com dados limitados.
Este artigo apresenta um modelo de interação robô-terreno baseado em medições experimentais de um robô hexápode em areia inclinada, que identifica o atraso na ancoragem e o deslizamento como principais causas de falha, permitindo a construção de diagramas de fase para estimar riscos e otimizar a locomoção em terrenos granulares declivosos.
O artigo apresenta o LLM2SMT, um estudo de caso em que um agente de codificação baseado em LLM construiu, sem nenhuma intervenção humana, um solver SMT completo e competitivo para a lógica QF_UF, implementando o algoritmo de fechamento de congruência de Nieuwenhuis-Oliveras e emitindo provas em Lean.
O artigo apresenta o HIERAMP, um método que melhora a destilação de datasets gerativos ao explorar a hierarquia semântica inerente às imagens, utilizando o modelo autoregressivo de visão (VAR) para amplificar seletivamente as características discriminativas em diferentes escalas, desde a estrutura global até os detalhes finos.
Este artigo apresenta um Observador Não Linear de Ganho Adaptativo (AGNO) que estima com precisão e robustez os torques e forças de interação humana com UAVs para transporte de cargas, utilizando o modelo dinâmico completo sem a necessidade de sensores adicionais e superando o desempenho do Filtro de Kalman Estendido.
Este artigo apresenta um pipeline analítico que utiliza segmentação 3D e aprendizado de máquina para extrair características histomorfométricas relacionadas à invasão perineural e linfovascular em câncer de próstata, demonstrando que essas características tridimensionais superam as bidimensionais na previsão de recorrência bioquímica.
Este artigo propõe formulações de otimização robusta e com restrições probabilísticas que incorporam a flexibilidade dos horários de trabalho para coordenar a carga de veículos elétricos, demonstrando, com base em dados reais do Arizona, que essa abordagem combinada com geração fotovoltaica residencial aumenta significativamente a capacidade de hospedagem de EVs em transformadores de distribuição.
Este artigo propõe um quadro unificado de duas etapas para restaurar a viabilidade de especificações conflitantes em Lógica Temporal de Sinais (STL) através de relaxamento mínimo e refinamento baseado em otimização multiobjetivo, permitindo a tomada de decisão interpretável e evitando impasses em aplicações de segurança crítica como a condução autónoma.
O artigo apresenta o Space-Control, uma solução de co-design hardware-software que preenche a lacuna de segurança na memória desagregada baseada em CXL ao fornecer isolamento de nível de processo com baixo custo de desempenho.
Este tutorial oferece uma revisão crítica da aplicação prática de Funções de Barreira de Controle (CBFs) na segurança robótica, expondo a lacuna entre garantias teóricas e realizações construtivas em sistemas com restrições de entrada, distinguindo entre CBFs candidatas e válidas, e fornecendo diretrizes para garantir segurança real em sistemas que não possuem segurança passiva inerente.
O artigo propõe uma abordagem de transporte aéreo colaborativo de cargas suspensas por cabos em equilíbrio rotativo, onde a força centrífuga gera a tensão horizontal necessária, permitindo que os drones mantenham empuxo puramente vertical e reduzam o consumo de energia em até 20% em comparação com métodos estáticos tradicionais.
Este artigo apresenta o Virtual Intraoperative CT (viCT), um método que utiliza reconstruções 3D de vídeo endoscópico monoculares para atualizar sequencialmente a tomografia computadorizada pré-operatória durante a cirurgia endoscópica de seios paranasais, permitindo a visualização em formato de CT das fronteiras de ressecção em evolução com precisão submilimétrica.
Este relatório sintetiza evidências e consultas globais para estabelecer diretrizes de design não negociáveis que utilizam a antropomorfização de forma estratégica, garantindo que a IA conversacional proteja o bem-estar, a autonomia e o desenvolvimento de habilidades dos adolescentes.
O artigo apresenta o pqRPKI, uma arquitetura prática para a Infraestrutura de Chave Pública de Recursos (RPKI) pós-quântica que utiliza uma Escada de Árvore de Merkle (MTL) para reduzir significativamente o tamanho do repositório e o tempo de validação, permitindo uma migração eficiente e de baixo custo para assinaturas quânticas sem comprometer a compatibilidade com o sistema atual.
Este artigo de revisão analisa como a computação quântica e a inteligência artificial ameaçam os sistemas criptográficos atuais, destacando a necessidade de uma abordagem de defesa em profundidade que combine algoritmos pós-quânticos, endurecimento de implementações e agilidade criptográfica para mitigar riscos como os ataques de Shor, Grover e análises de canais laterais aprimoradas por IA.