Research
Research
Research
Research
2,795+ open-access research outputs.
Although intersections are the most complex parts of the roadway network, pedestrian crashes at non-intersection locations are disproportionately frequent, highlighting a serious traffic safety concer…
Population protocols are a model of distributed computation in which a collection of indistinguishable finite-state agents interact randomly in pairs to decide a predicate of their initial configurati…
In a paper of Mathews, an isomorphism is constructed between two-component complex spinors and horospheres in H^3 carrying `spin decorations'. A recent arXiv preprint of Mathews and Varsha arXiv:2412.…
For the first time, this paper presents three very-near-Earth reconnection (VNERX) events observed within the same 12-hour-long storm main phase. The THEMIS inner probes observed the hallmarks of thre…
Existing REST API testing tools are typically evaluated using code coverage and crash-based fault metrics. However, recent LLM-based approaches increasingly generate tests from NL requirements to vali…
Let $G=PSL(n,\mathbb{C})$. Let $T$ be a maximal torus of $G$. Let $\omega_{r}$ denote the $r^{th}$ fundamental weight. Let $\mathcal{L}(n\omega_{r})$ denote the line bundle on the Grassmannian $G_{r,n…
Agent Skills package SKILL.md files, scripts, reference documents, and repository context into reusable capability units, turning pre-load auditing from single-prompt filtering into cross-file securit…
Deploying machine learning models under production constraints requires joint optimization over model family, quantization scheme, runtime backend, and serving configuration. This induces a hierarchic…
Scientific publication compresses a branching, iterative research process into a linear narrative, discarding the majority of what was discovered along the way. This compilation imposes two structural…
In recent years, several aromatic molecules (benzene-based rings) have been detected in the cold molecular cloud TMC-1, with its CN-derivative, benzonitrile (c-C$_6$H$_5$CN), also identified in other …
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…
Validating Autonomous Vehicles (AVs) requires exposure to rare, safety-critical scenarios, infrequent in routine driving data. Existing benchmarks address this by generating synthetic conflicts or map…
ASPIC-style structured argumentation frameworks provide a formal basis for reasoning in artificial intelligence by combining internal argument structure with abstract argumentation semantics. A key ch…
Industrial robotic manipulation demands reliable long-horizon execution across embodiments, tasks, and changing object distributions. While Vision-Language-Action models have demonstrated strong gener…
As deductive verifiers mature, their potential user base is growing from the initial core developers to other users. To convince external users of the suitability of verifiers, these tools must run re…
We present a computational study of diffusion synthetic acceleration (DSA) for the monoenergetic, isotropically scattering $S_N$ transport equations, discretised in space by a polytopic discontinuous …
Fuzzing has become a widely adopted technique for vulnerability discovery, yet it remains ineffective for structured-input programs due to strict syntactic constraints and limited semantic awareness. …
Serving large language models under latency service-level objectives (SLOs) is a configuration-heavy systems problem with an unusually failure-prone search space: many plausible configurations crash o…
Standard risk models reduce the rich dependence structure of financial markets to scalar volatility estimates, discarding the topological information encoded in cross-asset correlation networks. We pr…
We present E2E-WAVE, the first end-to-end learned waveform generation system for underwater video multicasting. Acoustic channels exhibit 20--46% bit error rates where forward error correction becomes…
Free open-access publishing with Google Scholar indexing.
Submission Guide →