Solicitação de avaliação para From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification Uma avaliação foi solicitada para From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification Sistemas de InformaçãoInteligência Artificial Solicitação publicada 27 de abril de 2026 Servidor de preprints Preprints.org
Solicitação de avaliação para Nonlocal one-loop form factors of the spectral action with Standard Model content Uma avaliação foi solicitada para Nonlocal one-loop form factors of the spectral action with Standard Model content Física Nuclear e de Altas EnergiasAstronomia e Astrofísica Solicitação publicada 27 de abril de 2026 Servidor de preprints Authorea
Solicitação de avaliação para SparseTrack: A Physics-Informed Transformer for Real-Time Human Motion Reconstruction from Sparse IMUs Uma avaliação foi solicitada para SparseTrack: A Physics-Informed Transformer for Real-Time Human Motion Reconstruction from Sparse IMUs Engenharia de Controle e AutomaçãoFisioterapia, Terapia Esportiva e ReabilitaçãoEngenharia Aeroespacial Solicitação publicada 27 de abril de 2026 Servidor de preprints Preprints.org
Solicitação de avaliação para MAPLE Deposition of Resorbable Calcium Phosphates on Electrospun Nylon Nanofibres for Bone Tissue Engineering Uma avaliação foi solicitada para MAPLE Deposition of Resorbable Calcium Phosphates on Electrospun Nylon Nanofibres for Bone Tissue Engineering Engenharia BiomédicaBiomateriais Solicitação publicada 27 de abril de 2026 Servidor de preprints Preprints.org
Solicitação de avaliação para Design of Functionally Graded Alloys for Locks Highly Resistant to Ultrasonic Detector Attacks Uma avaliação foi solicitada para Design of Functionally Graded Alloys for Locks Highly Resistant to Ultrasonic Detector Attacks Mecânica dos MateriaisEngenharia BiomédicaEngenharia Mecânica Solicitação publicada 27 de abril de 2026 Servidor de preprints Preprints.org