1.3k citations
- Universidade Federal do Rio de JaneiroBR741 papers
- Centre National de la Recherche ScientifiqueFR712 papers
- Centro Brasileiro de Pesquisas FísicasBR708 papers
- University of OxfordGB708 papers
- European Organization for Nuclear ResearchCH685 papers
- Rutherford Appleton LaboratoryGB682 papers
- Universidade de Santiago de CompostelaES682 papers
- University of LiverpoolGB682 papers
- University of GlasgowGB675 papers
- Tsinghua UniversityCN674 papers
- Imperial College LondonGB673 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR672 papers
1,533 papers
Robust topology optimization with non-Gaussian material fields using polygonal finite elements
Nilton Cuellar, Anderson Pereira, Ivan F. M. Menezes +1
We present a computational framework for robust topology optimization that integrates polygonal finite-element discretizations, spatially correlated non-Gaussian material modeling,…
Power Minimization under Quality of Service Constraints for MIMO Systems with a RIS-based Transmitter
Erico S. P. Lopes, Lukas T. N. Landau, Amine Mezghani
This study investigates a virtual multiuser multiple-input multiple-output (MU-MIMO) system with PSK modulation, realized with a reconfigurable intelligent surface (RIS)-based tran…
Evaluating XAI Support From A Hierarchical Reinforcement Learning Policy in Human-Agent Collaboration
Mateus Levi Simões Fernandes, Alberto Sardinha
Explainable AI (XAI) has shown promise for human-agent collaboration, yet results rely on hand-crafted policies in custom environments, limiting generalizability to state-of-the-ar…
From Dag-Like Proofs to Boolean Circuits in Lean
Lorenzo Saraiva, Edward Hermann Haeusler
In this article, we present a method for encoding Dag-Like Derivability Structures (DLDS), obtained via horizontal compression of Natural Deduction proofs in purely implicational m…
Refactoring for Novices in Java: An Eye Tracking Study on the Extract vs. Inline Methods
José Aldo Silva da Costa, Rohit Gheyi, José Júnior Silva da Costa +5
Developers often extract methods to improve readability, understanding, and reuse, while inlining keeps logic in one block. Prior work based on static metrics has not shown clear d…
Observation of the doubly charmed baryon with the LHCb Run 3 detector
LHCb collaboration, R. Aaij, M. Abdelfatah +1106
The first observation of the doubly charmed baryon is reported through its decay to the final state, with a statistical significance exceeding seven…