Research
Research
Research
Research
2,358+ open-access research outputs.
Do e-scooter speed governance policies yield behavioral safety gains beyond the mechanical cap they impose? A firmware ceiling mechanically prevents speeding, but whether the same riders also generate…
This is Paper 6 of a series of formally-verified analyses of masked NTT hardware for post-quantum cryptography; Paper 1 [1] established structural dependency analysis of the QANARY platform, and Paper…
Designing Doppler-resilient unimodular discrete phase-coded waveforms (DPWs) with low delay-Doppler sidelobes is critical for multiple-input multiple-output (MIMO) radar. Existing block coordinate des…
Barrett reduction is the nonlinear core of every practical NTT-based post-quantum cryptography implementation. Existing composition frameworks (ISW, t-SNI, PINI, DOM) address Boolean masking over GF(2…
Current global precipitation estimates from spaceborne precipitation radars are limited by their sensitivity to light and frozen precipitation, leading to systematic underestimation of precipitation a…
We test a regime-conditional functional-form restriction on aggregate risk-exposure dynamics implied by VaR-constrained intermediary models: exposures contract multiplicatively when capital constraint…
Given a matrix $A$, the goal of the entrywise low-rank approximation problem is to find $\operatorname{argmin} \|A-B\|_p$ over all rank-$k$ matrices $B$, where $\| \cdot \|_p$ is the entrywise $\ell_p…
There are 7,407 languages in the world. But, what about the languages that are not there in the world? Are humans so narrow minded that we don't care about the languages aliens communicate in? Aliens …
Post-quantum cryptographic (PQC) accelerators for ML-KEM (FIPS 203) and ML-DSA (FIPS 204) rely on pipelined Number Theoretic Transform (NTT) stages over $\mathbb{Z}_q$. Our prior work established stru…
The quadratic computational complexity of the standard attention mechanism constitutes a fundamental bottleneck for large language models in long-context inference. While existing KV cache compression…
Formal verification of masking in post-quantum cryptographic (PQC) hardware relies on SMT solvers over finite domains. Our prior work established structural dependency analysis at scale [1] and quanti…
We report on an eight year survey of simultaneous optical and radar meteor detections with the goal of isolating the fraction of meteors missed by specular radars. A total of 10,503 Electron Multiplie…
By using a Hedberg-type inequality, the Adams trace inequality is extended from Lebesgue spaces to product Morrey spaces.…
Generating trajectories for synthetic aperture radar (SAR)-equipped aircraft poses significant challenges due to terrain constraints, and the need for straight-flight segments to ensure high-quality i…
State estimation is a fundamental requirement in robotics, where the accurate determination of a robot's state is essential for stable operation despite inherent process disturbances and sensor noise.…
Beam training and prediction in real-world millimeter-wave (mmWave) communications systems are challenging due to rapidly time-varying channels and strong interference from surrounding objects. In thi…
We present an end-to-end performance evaluation of MPEG-DASH video streaming over a Low-Earth Orbit (LEO) satellite-based 5G Integrated Access and Backhaul (IAB) network. Our objective is to investiga…
High-precision indoor sensing using monostatic multiple-input multiple-output (MIMO) radar typically relies on increasing the physical aperture size of antennas, leading to high hardware complexity an…
This paper introduces a high-precision indoor positioning and tracking method that utilizes multi-site single-input single-output (SISO) radar systems. We propose a novel velocity synthesis-assisted (…
We study $v_n$-periodic phenomena in $C_2$-equivariant stable homotopy through the lens of the $C_2$-equivariant Adams spectral sequence at the prime 2. In particular, we construct/detect certain clas…
Free open-access publishing with Google Scholar indexing.
Submission Guide →