Research
Research
Research
Research
6,826+ open-access research outputs.
Second-order quantifier elimination is the problem of finding, given a formula with second-order quantifiers, a logically equivalent first-order formula. While such formulas are not computable in gene…
Time-series data augmentation plays a crucial role in regression-oriented forecasting tasks, where limited data restricts the performance of deep learning models. While Generative Adversarial Networks…
We consider the problem of quantum channel certification to unitary, where one is given access to an unknown $d$-dimensional channel $\mathcal{E}$, and wants to test whether $\mathcal{E}$ is equal to …
Recent advances in data-centric medical AI have produced highly accurate diagnostic systems, but the emphasis on data curation and performance metrics has not translated into widespread clinical adopt…
The Nancy Grace Roman Space Telescope (Roman) is an observatory motivated by the search to understand dark energy, exoplanets, and general astrophysics. Roman will bring unprecedented amounts of preci…
The main goal of this paper is to study some local and global properties of secant varieties of algebraic curves. These results complement our previous work [8] by addressing issues given therein and …
Parallel scan primitives compute element-wise inclusive or exclusive prefix sums of input vectors contributed by $p$ consecutively ranked processors under an associative, possibly expensive, binary op…
The HyGAL Stratospheric Observatory for Infrared Astronomy (SOFIA) legacy program aims at characterizing the interstellar medium in the Milky Way using hydrides, [C II], and [O I] absorption lines wit…
The continuous linear $P(k; N, w)$ and circular scan statistics $P_c(k; N, w)$ are fundamental tools in probability and spatial statistics, frequently used to detect clustering in uniform data. Let $X…
We introduce the concise secant varieties, which are, informally speaking, modular partial desingularisations of secant varieties to Segre embeddings. More precisely, they are projective and birationa…
Automatic generation of Building Information Models (BIM) from building scans is a key challenge in architecture and construction. We present a modular pipeline for generating IFC-compliant BIM from 3…
We analyze zenith-pointing $(\delta=-26.7^{\circ})$ Murchison Widefield Array (MWA) $\nu_c=154.2 \,{\rm MHz}$ drift scan observations covering $349.0^{\circ} \le \alpha \le 70.0^{\circ}$ with 163 poin…
LLM agents increasingly rely on reusable skills, capability packages that combine instructions, control flow, constraints, and tool calls. In most current agent systems, however, skills are still repr…
Existing attention accelerators often trade exact softmax semantics, depend on fused Tensor Core kernels, or incur sequential depth that limits FP32 throughput on long sequences. We present \textbf{EL…
Short-scan FDK reconstruction is widely used in preclinical cone-beam micro-CT because it reduces scan time and radiation dose, and because the large volume sizes typical of micro-CT make iterative me…
Sparse-attention decoders rely on exact Top-K selection to choose the most important key-value entries for each query token. In long-context LLM serving, this Top-K stage runs once per decode query an…
Hydrogen atom tunneling likely plays a substantial role in the gas-phase chemistry of astrochemical environments. To determine the potential effect that it has on the chemical modeling of aromatic mol…
Scanning transmission electron microscopy (STEM) is widely used tool for materials characterisation. However, being a scanned technique, STEM is susceptible to sample, stage or beam drift, manifesting…
We present a search for small Kochen-Specker (KS) sets in dimension 3, specifically targeting extensions of the 13-ray Yu-Oh set, which has been proven to be the minimal witness to state-independent c…
Side-scan sonar (SSS) images are susceptible to motion-induced geometric distortion, which degrades their reliability for seabed interpretation and downstream tasks. Existing correction methods either…
Free open-access publishing with Google Scholar indexing.
Submission Guide →