245.654 hasil
Menampilkan 921–940 · 3,32 detik · RSS
-
Preprint Teks lengkap
Sim-to-Real Fruit Detection Using Synthetic Data: Quantitative Evaluation and Embedded Deployment with Isaac Sim
This study investigates the effectiveness of synthetic data for sim-to-real transfer in object detection under constrained data conditions and embedded deployment requirements. Synthetic datasets were generated in NVIDIA Isaac Sim and combined with limited real-world fruit images to train…
-
Preprint Teks lengkap
Stochasticity and probabilistic trajectory scoring are essential for data-driven closures of chaotic systems
Coarse-grained models of chaotic systems neglect unresolved degrees of freedom, inducing structured model error that limits predictability and distorts long-term statistics. Typical data-driven closures are trained to minimize error over a single time step, implicitly assuming Markovian dynamics…
-
Preprint Teks lengkap
FL-PBM: Pre-Training Backdoor Mitigation for Federated Learning
Backdoor attacks pose a significant threat to the integrity and reliability of Artificial Intelligence (AI) models, enabling adversaries to manipulate model behavior by injecting poisoned data with hidden triggers. These attacks can lead to severe consequences, especially in critical applications…
-
Preprint Teks lengkap
Serialized Red-Green-Gray: Quicker Heuristic Validation of Edges in Dynamic Roadmap Graphs
Motion planning in dynamic environments, such as robotic warehouses, requires fast adaptation to frequent changes in obstacle poses. Traditional roadmap-based methods struggle in such settings, relying on inefficient reconstruction of a roadmap or expensive collision detection to update the…
-
Preprint Teks lengkap
Why Aggregate Accuracy is Inadequate for Evaluating Fairness in Law Enforcement Facial Recognition Systems
Facial recognition systems are increasingly deployed in law enforcement and security contexts, where algorithmic decisions can carry significant societal consequences. Despite high reported accuracy, growing evidence demonstrates that such systems often exhibit uneven performance across demographic…
-
Preprint Teks lengkap
Enhancing User-Feedback Driven Requirements Prioritization
Context: Requirements prioritization is a challenging problem that is aimed to deliver the most suitable subset from a pool of candidate requirements. The problem is NP-hard when formulated as an optimization problem. Feedback from end users can offer valuable support for software evolution, and…
-
Preprint Teks lengkap
Subspace Optimization for Backpropagation-Free Continual Test-Time Adaptation
We introduce PACE, a backpropagation-free continual test-time adaptation system that directly optimizes the affine parameters of normalization layers. Existing derivative-free approaches struggle to balance runtime efficiency with learning capacity, as they either restrict updates to input prompts…
-
Preprint Teks lengkap
Teaching AI Interactively: A Case Study in Higher Education
Introductory artificial intelligence (AI) courses present significant learning challenges due to abstract concepts, mathematical complexity, and students' diverse technical backgrounds. While active and collaborative pedagogies are often recommended, implementation can be difficult at scale due to…
-
Preprint Teks lengkap
How Overmassive Black Holes Formed at Cosmic Dawn
Overmassive black hole galaxies (OBGs) at redshifts $z \sim$ 10, or 450 Myr after the Big Bang, are one of the most puzzling discoveries by the James Webb Space Telescope to date because they formed by such early epochs and their black-hole to stellar mass ratios are a hundred times higher than…
-
Preprint Teks lengkap
Learning Interatomic Force Coefficients from X-ray Thermal Diffuse Scattering Data
We present a fully automated framework for extracting interatomic force constants (IFCs) directly from X-ray thermal diffuse scattering (TDS) data. By formulating scattering intensity as a differentiable function of a symmetry-reduced IFC parameterization, we enable gradient-based optimization via…
-
Preprint Teks lengkap
Searching for the Dark Photon with PADME
The PADME Experiment at Laboratori Nationali di Frascati is designed to search for the Dark Photon, a hypothetical gauge boson responsible for the interaction between the visible and the hidden sector. PADME explores the process of annihilation of beam positrons with the electrons in a fixed…
-
Preprint Teks lengkap
C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
The growing adoption of Rust for its memory safety and performance has increased the demand for effective migration of legacy C codebases. However, existing rule-based translators (e.g., \ctorust) often generate verbose, non-idiomatic code that preserves unsafe C semantics, limiting readability…
-
Preprint Teks lengkap
Efficient and Practical Black-Box Verification of Quantum Metric Learning Algorithms
Quantum metric learning enhances machine learning by mapping classical data to a quantum Hilbert space with maximal separation between classes. However, on current NISQ hardware, this mapping process itself is prone to errors and could be fundamentally incorrect. Verifying that a quantum embedding…
-
Preprint Teks lengkap
A synthetic construction of universal cocartesian fibrations
We give a model-independent construction of directed univalent cocartesian fibrations of $(\infty,1)$-categories, and prove a straightening equivalence against such fibrations. The key step is showing that cocartesian fibrations descend along localisations, which we accomplish by analysing mapping…
-
Preprint Teks lengkap
Vision-Based Robotic Disassembly Combined with Real-Time MFA Data Acquisition
Stable and reliable supplies of rare-Earth minerals and critical raw materials (CRMs) are essential for the development of the European Union. Since a large share of these materials enters the Union from outside, a valid option for CRMs supply resilience and security is to recover them from…
-
Preprint Teks lengkap
DRIVE-Nav: Directional Reasoning, Inspection, and Verification for Efficient Open-Vocabulary Navigation
Open-Vocabulary Object Navigation (OVON) requires an embodied agent to locate a language-specified target in unknown environments. Existing zero-shot methods often reason over dense frontier points under incomplete observations, causing unstable route selection, repeated revisits, and unnecessary…
-
Preprint Teks lengkap
Modeling Quantum Optomechanical STIRAP
Quantum optomechanical STIRAP (Stimulated Raman Adiabatic Passage) is investigated for a system of two mechanical modes coupled to an optical mode. We show analytically that in a system without loss, fractional STIRAP can generate a mechanical Bell state from a single phonon Fock state of one of…
-
Preprint Teks lengkap
Vector-valued horofunction boundaries and Patterson--Sullivan measures
In higher rank, there is a well-studied theory of Patterson--Sullivan measures supported on partial flag manifolds. However, establishing the existence and uniqueness of such measures is a difficult question. In this paper, we develop a theory for Patterson--Sullivan measures supported on certain…
-
Preprint Teks lengkap
Measurable boundary maps and Patterson--Sullivan measures for non-Borel Anosov groups on the Furstenberg boundary
In this paper we develop a theory for Patterson--Sullivan measures for non-Borel Anosov groups on the Furstenberg boundary. Previously, such a theory has been successfully developed for measures supported on the partial flag manifold associated to the Anosov condition, which coincides with the…
-
Preprint Teks lengkap
Inclusive jet cross section in $pp$ collisions at $\sqrt{s} = 200$ and $510$ GeV
Jets are collimated clusters of particles formed by the hadronization of partons following a hard interaction. In proton-proton ($pp$) collisions at the Relativistic Heavy Ion Collider (RHIC), jet production is dominated by $gg$ and $qg$ partonic processes, allowing us to directly probe the gluon…
Menampilkan maksimal 50 halaman. Persempit pencarian dengan filter untuk hasil yang lebih spesifik.