Trending
Direct numerical simulations are carried out for particle-laden flow over the cylinder to investigate preferential clustering of particles in an unbounded vertical channel flow. The flow is examined at Reynolds numbers Re=100 and 200 for…
Phase retrieval techniques are utilized to correct low order wavefront aberrations originating from misalignments of the optical system in space based telescope concepts. Traditional phase retrieval involves observation of the Point Spread…
The Tiny Observatory for Telescope Optimization (TOTO) is an optical testbed designed to evaluate the efficacy of autonomously driven alignment algorithms for space-based telescope systems. For space-based missions, active control of the…
Games on graphs constitute a fundamental model. Applications include reactive synthesis, which reduces to solving a zero-sum two-player game, and reasoning about multi-agent systems by modeling them as a multi-player game. We study a class…
It is open whether every fair-division instance with additive valuations admits a complete envy-free-up-to-any-good (EFX) allocation. A well-studied relaxation allows some goods to remain unallocated and asks for $(1-\varepsilon)$-EFX. The…
AI music generators leave predictable spectral artifacts determined by their architecture. Existing detectors exploit these artifacts with near-perfect accuracy on raw generated tracks, but their performance collapses under simple audio…
Production voice agents span cascaded, speech-to-speech, and hybrid architectures. Voice-agent benchmarks typically measure component quality and conversational properties such as word error rate, latency, naturalness, and turn-taking.…
WOW-284 asserts that the minimum dual degree of every connected graph of order at least three and girth at least five does not exceed the negative of its least distance eigenvalue. We refute it with exact counterexamples of orders…
This note proves existence and uniqueness of strong solutions to a broad class of fourth-order quasi-linear parabolic equations in the class of Wiener spaces. It improves upon previous results in the literature, devoted to some special…
Accurate multipath parameter estimation is critical for modern wireless communication systems, particularly in challenging low-SNR environments. Traditional Maximum Likelihood Estimation algorithms, such as CLEAN, provide high-resolution…
The quantum capacity of the bosonic thermal attenuator, which is given by the regularization of its coherent information, is unknown. The seminal work of Holevo and Werner established in 1999 the standard one-use lower bound obtained from…
5G and B5G/6G foundations heavily rely on virtualization technologies, and virtualized Radio Access Networks (vRANs) are one of their major keystones. However, while vRANs have been traditionally suffering from significant hardware/software…
VO$_2$-based relaxation oscillators form a rapidly developing field that finds applications in neuromorphic computing, Ising machines, and numerous signal processing concepts. These oscillators operate in a deeply nonlinear relaxation…
Ions in electrolytes can have coatings and can combine into different complexes that significantly affects their size, mass, and transport features. Measuring such coatings of ions traveling in narrow, limited spaces inside biological…
Trees arise in many applications and computing nice tree layouts is a classical problem in information visualization. In many practical settings, vertices need to be represented as rectangles with a given width and height rather than as…
We prove that a complete, connected, embedded, minimal hypersurface in $\mathbb{R}^{n+1}$ with finite total curvature and Morse index one is the higher-dimensional catenoid.
Large Language Model~(LLM)-based agents have demonstrated exceptional performance across a wide range of complex interactive tasks. However, they often struggle with long-horizon interactive tasks common in domains, such as embodied AI. The…
In saturation-based theorem proving, selecting the next clause for processing is a major concern. Twee has successfully applied the idea of preferring clauses that share terms with the conjecture by adding equational definitions to…
We study the equivariant CR Yamabe problem for a fixed-point-free torus action on a co-oriented compact contact manifold. Such examples arise naturally in the study of Sasakian manifolds with constant scalar curvature. In the toric case, we…
Shock waves in high-speed compressible flows contain finite-thickness, high-gradient regions where the continuum assumption becomes questionable and translational non-equilibrium arises, including non-Maxwellian micro-velocity…