Papers

Moving Target Defense (MTD) is a proactive security strategy designed to enhance cyber-resilience by dynamically altering system parameters, thereby preventing adversaries from acquiring the critical information needed to execute stealth attacks. In this paper, we consider the case in which the operator modifies the admittance of branches to enable MTD, and focus on the problem of effectively protecting the system with fewer number of branch admittance modifications and shorter computational time. Specifically, we identify the ineffectual branches whose admittance modification do not contribute to the improvement of MTD effectiveness via theoretical analysis. Building on these insights, we propose the Bus Traversal-based MTD (BT-MTD), which is a bus-oriented algorithm that traverses over the buses of the network according to analytically derived guidelines. The performance of the BT-MTD is evaluated and compared with four existing strategies on standard IEEE test systems, demonstrating its robustness and superior performance in effectiveness, efficiency, and computational cost. The code of BT-MTD is available at: https://github.com/YJY101/BT-MTD.

Human speech is richly expressive, with prosody carrying linguistic and emotional information beyond the lexical content. A capable large audio-language model (audio-LLM) should therefore support expressive speech understanding, not only transcribing what was said but also interpreting how it was said. Yet behavioral evaluations alone cannot reveal why a model fails on prosodic input. An error may reflect loss of acoustic information, incorrect internal interpretation, or failure to use a representation that is already available inside the model. We introduce a stage-specific probe ladder for localizing these failure modes in audio-LLMs. Across four understanding-only audio-LLMs, prosodic information is usually preserved in the audio path and decodable in late LLM states. Yet it is only partially expressed in the model's final response. We test the causal status of this latent representation with targeted hidden-state interventions. Every intervention shifts the answer distribution in the predicted direction, and in most model–task cells a single edit at the relevant layer is sufficient to drive the model toward the suppressed prosodic decision, though this recovery is directional rather than a selective restoration of the correct class. Feature-level analysis further suggests that this recoverable signal can be expressed through a small subspace. Some of the highest-attribution features in this analysis align with acoustic cues known to carry prosodic information. Within the matched-content contrasts we test, these results locate the recurring bottleneck not in perceiving prosody but in using it. Models that hear and correctly represent a prosodic cue can still fail to express it in their answers.

Prosumers equipped with distributed generation and flexible loads form autonomous cyber-physical energy systems that control local resources and participate in local energy markets with minimal human intervention. This work develops and evaluates an agent-based simulation platform in which agents, representing prosumer households with photovoltaic systems, battery storage systems, electric vehicles, and heat pumps, participate in a uniform-price double-sided call auction. The effect of individual bidding strategies on community-level efficiency and prosumer-level financial outcomes is incompletely understood, particularly when prosumers with heterogeneous portfolios interact in one market. Four market strategies of increasing complexity are compared: a zero-intelligence constrained baseline, a boundary-price strategy, an extended storage cascade, and a market-adaptive pricing strategy. The simulation is conducted on a community of 33 prosumers at 15-minute resolution, spanning summer, winter, and spring to characterize seasonal variation. Results show that rule-based resource control substantially reduces community energy expenditure: the extended storage cascade achieves a total cost of 39.06 EUR compared to 62.38 EUR under the zero-intelligence baseline, a reduction of 37.4 %. The market-adaptive strategy yields the highest aggregate community financial gain through local energy market participation (14.40 EUR vs. 10.28 EUR for the baseline, a gain of 40.1 %) under summer conditions. Strategy effectiveness depends on both portfolio composition and seasonal supply conditions, requiring joint evaluation of resource control and pricing decisions.

Heart disease kills a lot of people, and one cheap way to catch it early is by listening to heart sounds with a stethoscope, or better yet, just recording them and running them through a model. This project is a binary classification task: take a short clip of someones heartbeat and decide if it sounds normal or abnormal. Instead of trying out a bunch of different models, we kept the CNN the same the whole time and just changed how we turned the raw audio into a picture for it to look at. We tried three ways of doing that: a regular logmel spectrogram, PCEN (which basically normalizes each frequency bin over time), and a multi resolution version that stacks a few different window sizes together. We ran all three on the PhysioNet 2016 heart-sound dataset with the exact same setup but same model, same optimizer, same random seed. Turns out all three do pretty well at catching abnormal cases (sensitivity around 0.95), but PCEN and multi-resolution both edge out the plain logmel on the official PhysioNet accuracy metric (0.915 and 0.916 vs. 0.910). We also ran Grad-CAM to see where the model was actually looking, and it mostly focused on the low frequencies where S1 and S2 heart sounds live, which is a good sign that it learned something real

EEG spatial super-resolution (EEGSR) in real deployments is challenged by random channel missingness, unstable electrode quality, and changing visible-channel patterns caused by bad contacts or device variability. Most existing EEGSR methods learn a fixed low-to-high channel mapping under pre-defined input-output layouts, which makes them brittle when missing channels vary at test time. In this paper, we reformulate EEGSR as learning a shared conditional scalp field from partially observed support channels. Specifically, a position-guided encoder summarizes the observed EEG channels and their coordinates into a latent condition, and a conditional implicit neural representation decoder reconstructs target EEG signals by querying this condition at desired electrode coordinates. During inference, the model directly reconstructs unseen electrode signals from the available EEG support and the queried coordinates. To strengthen the constraint of the encoded latent representation on the decoder and thereby construct a more stable scalp field consistent with the observed channels, we further introduce a fidelity-preserving channel corruption training strategy under mixed electrode states. Extensive experiments across multiple EEG datasets demonstrate the effectiveness of our framework for both random missing-channel reconstruction and strict unseen-electrode signal generation. Notably, under the strict held-out-electrode setting on AAD, our method reduces NMSE by 37.5% and improves SNR by 2.12 dB over the strongest baseline, showing its ability to synthesize signals at electrode locations never exposed during training.

The development of generalizable electroencephalography (EEG) decoding models is essential for robust brain-computer interfaces (BCI) and objective neural biomarkers in mental health. Conventional approaches have been hindered by poor cross-subject and cross-task generalization, owing to high inter-subject variability and non-stationary neural signals. We address this challenge with a zero-shot cross-subject decoding framework on the large-scale Healthy Brain Network dataset, benchmarking a convolutional neural network baseline, a hybrid LSTM, and a Transformer-based foundation model. To adapt the Transformer for regression while averting catastrophic forgetting, we propose a novel progressive unfreezing strategy. The baseline yielded an nRMSE of 0.9991, whereas our fine-tuned Transformer achieved 0.9799 on unseen subjects. This work advances scalable, calibration-free EEG decoding for computational psychiatry and behavioral prediction.

Neural wrappers are learned pre-and postprocessing networks designed to enhance the performance of conventional video codecs. Although these approaches can significantly improve compression efficiency, training them remains challenging due to the non-differentiability of video codecs, which arises from the multiple discrete decisions involved in the encoding process. Surrogate gradients have recently emerged as an effective solution for enabling end-to-end learning with conventional codecs. They offer two main advantages: they avoid training an additional network to mimic the codec, and they can improve compression performance. In particular, the recently proposed SCALED method, which leverages the true compression error, has shown strong results for training neural pre-processors such as downscalers. However, this SCALED gradient was originally introduced as a reparameterization trick, which limits its interpretability. In this paper, we show that this surrogate gradient can be interpreted as a first-order local approximation of the video codec, providing insight into its effectiveness. We further demonstrate that it is effective not only for learning downscaling operations, but also for the more challenging task of full neural wrapping with pre-and post-processing networks. Finally, we show that the approach generalizes well across different video codecs, quality factors, and tasks, including multiple downscaling ratios, yielding BD-Rate (PSNR) reductions of up to -23.59% on x264 and -20.07% on VVenC relative to standard resampling baselines.

Large language model (LLM) agents are increasingly deployed in multi-agent systems where they must coordinate and agree on shared decisions. We ask whether classical resilient consensus theory, developed for deterministic agents, transfers to LLM agents that may behave adversarially. Framing LLM agreement as a Byzantine consensus game, we run controlled experiments on complete and general communication graphs. We find that prompted LLM agents fail to reach agreement that is achievable in principle: consensus can fail even in settings where classical theory guarantees that a convergent algorithm exists, and this failure persists across temperatures and horizons. At the same time, wrapping the agents with classical resilient consensus filters improves agreement. The benefit of filtering depends on how much robustness the underlying topology already provides. Our results suggest that classical resilient consensus theory is a useful lens for the safety of agentic AI.

Deep learning models are widely used to process multidimensional signals such as time series, images, and volumetric medical images, but their learned representations often lack explicit signal structure and are difficult to inspect. This thesis develops model-based, signal-theoretic learning systems guided by data and task objectives. It combines multiresolution analysis, wavelets and filter banks, multirate representations, nonlinear Volterra systems, and neural computation graphs. Scale, directional geometry, memory, and nonlinear input-output interactions are represented as differentiable operator modules trainable by backpropagation. The design keeps intermediate variables tied to kernels, subbands, recursions, and transform-domain coefficients rather than only to opaque feature channels. The thesis formulates fast GPU-compatible D-dimensional convolution layers, multirate sampling layers, Volterra-kernel layers in natural and wavelet coefficient domains, rational polynomial cascade heads, stability-constrained multidimensional IIR filters, wavelet banks, and digital shearlet layers with learnable gains. These modules are composed into task-specific architectures for inverse modeling, classification, and segmentation across atmospheric, audio, texture, and medical-imaging problems. In microwave radiometric inversion, InVeRt retrieves vertical temperature and humidity profiles from microwave brightness temperature observations using learnable Volterra kernels in wavelet bases. Multiresolution filter-bank encoders with Volterra heads are used for efficient classification. WaveletViT and ShearViT serve as subband transformer blocks for WaveNETR and ShearNETR, direction-sensitive segmenters for image and MRI segmentation. MRILong deploys trained 3D T1-weighted brain MRI segmenter checkpoints for automatic segmentation and longitudinal analysis of ischemic stroke MRI volumes.

This paper develops a comprehensive framework for the performance analysis of linear detectors, namely zero-forcing (ZF) and minimum mean-square error (MMSE), under diverse terahertz (THz) channel conditions. Three fading models are considered: Rayleigh fading, the $\alpha$–$\mu$ distribution for indoor THz environments, and the mixture-gamma (MG) distribution for outdoor THz scenarios. Semi-analytical, approximate, and asymptotic expressions for the symbol error rate (SER) are derived, explicitly incorporating the correlation between the channel and the additive noise arising from hardware impairments. This correlation is characterized using both statistical approaches and copula-based methods to effectively capture complex dependency structures. The theoretical findings are validated through simulations, demonstrating strong agreement with the derived expressions and confirming the accuracy and robustness of the proposed framework. The results demonstrate the significant impact of channel–noise dependence on THz-band receiver performance and verify the expected performance degradation of biased MMSE receivers in point-to-point links employing higher-order quadrature amplitude modulation. Specifically, at a target SER of $10^{-3}$, a 70% correlation results in approximately a 6.5~dB degradation in the effective signal-to-noise ratio, with mismatched MMSE detection incurring an additional 1~dB loss compared to ZF. Nonetheless, MMSE offers enhanced numerical stability under severe channel fading conditions, where channel inversion causes noise amplification.

Deploying neural networks on low-power microcontrollers (MCUs) requires selecting model architectures under tight memory, latency, and energy constraints. Existing workflows often simplify this process along one or more axes: static proxy costs such as FLOPs or parameters, treating one MCU as representative, and continuous-inference tests instead of deployed sensing schedules. These assumptions can mis-rank Pareto-front candidates, miss infeasible deployments, and obscure schedule-dependent energy. We present CREST (Cross-platform Runtime Evaluation and Search Tool), a deployment-realistic hardware-in-the-loop (HIL) neural architecture search (NAS) framework for MCU sensing systems. CREST keeps the optimizer, HIL measurement boundary, logging, and replay workflow fixed while exposing workload, model family, target backend, schedule, quantization, and scoring policy as configurable axes. This makes deployment effects experimentally separable within one reusable workflow. We evaluate CREST on inertial odometry and audio classification across three Arm Cortex-M targets. For inertial odometry, measured-energy HIL search reduces median per-inference energy by 41.7% versus FLOPs-based selection and 40.8% versus memory-traffic-based selection at similar error. FLOPs-based selection also chooses infeasible deployments on memory-constrained targets. On the STM32 N657 target, continuous-inference and duty-cycled searches produce different Pareto frontiers. For audio classification, the same application-level policy selects different DS-CNN architectures on different boards, and cross-board replay changes deployment cost substantially. Overall, CREST shows that deployment-realistic MCU NAS must jointly optimize model architecture, target platform, runtime schedule, and deployment policy rather than relying only on static proxy costs or continuous-inference measurements.

Early and highly accurate prediction of colorectal polyps, as an important sign of one of the most dangerous types of cancer, will result in saving more lives. Despite the advancements in colorectal polyp classification, many challenges remain in obtaining an automated polyp prediction system that is able to diagnose the difficult-to-predict polyps accompanied by different features in real scenarios, where the model can handle imbalanced data, label distribution shift, and cross-modality generalization successfully. In this study, we propose Polyp-D2ATL, a novel framework accompanied by a specific training strategy, which mitigates these limitations and effectively predicts the different classes of polyps belonging to the NICE classification. Our extensive experiments on the PICCOLO validation and test sets demonstrate that the proposed Polyp-D2ATL significantly outperforms existing state-of-the-art models across various reliable metrics, achieving an accuracy of 82.38%, a Macro-F1 of 77.49%, and a specificity of 87.47% on the validation set, alongside consistent improvements on the held-out test set which demonstrates the generalization capacity and clinical applicability of the proposed approach.

We consider a storage device and develop a basic market design that represents the salient characteristics of storage such as state-of-charge (SOC) and round-trip efficiency. The contribution of this paper is a market design that reflects these technical characteristics, does not require bids and offers by the storage owner within the market horizon, but does require an end-of-horizon bid/offer for deviating the end-of-horizon SOC from the start-of-horizon SOC\@. Small examples are used to illustrate the market design and large-scale implementation is considered. Several extensions are sketched in Appendices.

Aerocapture is a maneuver where a spacecraft dives through the atmosphere of a planet or moon to reduce its velocity and prepare for orbital insertion. Aerocapture allows for higher cruise velocities and reduces fuel consumption, decreasing transit time and increasing payload mass. However, uncertainties in the atmospheric entry state and atmospheric density increase the risk of aerocapture. Dynamic nonlinearities and nonlinearities caused by the state-dependence of the atmospheric density pose additional challenges. This work develops a robust sampling-based covariance steering algorithm designed for aerocapture guidance. Our proposed algorithm leverages sampled nonlinear system trajectories to improve evaluation of the delta-V required for aerocapture and address nonlinearities caused by the aerocapture dynamics and atmospheric disturbances. We perform Monte Carlo simulations with dispersed entry and atmospheric conditions on aerocapture scenarios at Mars and Uranus and demonstrate a 5-15% reduction in the 99th-percentile, 99.7th-percentile, and worst-case delta-V required for aerocapture when compared against a state-of-the-art covariance steering algorithm.

Controlling batch polymerization is challenging because the absence of a steady operating point prevents standard linearization; the dynamics are intrinsically nonlinear; and multi-phase operation induces state-triggered switching. This study systematically combines four established real-time NMPC ingredients, smooth mode blending, advanced-step warm starts, variable scaling, and a capped iteration budget, to attain real-time feasibility without ad hoc switching heuristics. We provide practice-oriented guidance for selecting smoothing gains and locating switching surfaces, and we make explicit the approximations introduced by smoothing such that, with appropriate tuning, the smoothed and original switching logic are numerically indistinguishable at solver-tolerance levels. All results are obtained in closed-loop simulation using an industrial gas-liquid polymerization benchmark with estimator-in-the-loop, compared against PID and conventional NMPC baselines. Results show improved constraint satisfaction and shorter batch duration under bounded computation, while an ablation study quantifies the specific contributions of each component individually

We study controller and control-architecture co-design for output-feedback systems under a hard budget. The architecture activates sensors and actuators and selects among directed communication-service options with specified delivery bounds and costs. Direct optimization over controller transfer matrices and discrete deployments is mixed-integer nonconvex; convex alternatives fix the architecture, use regularization, or impose a quadratically invariant (QI) controller-information pattern. We instead optimize finite impulse response (FIR) output-feedback system-level synthesis (OF-SLS) responses. Binary variables select devices and service options; cumulative binaries record whether the selected service can deliver by each FIR lag. Indicator constraints zero response coefficients that would require unavailable messages. For fixed device and OF-SLS realization-state locations, this yields an exact mixed-integer convex program (MICP) over finite service menus and deployment constraints. Every feasible response admits the standard OF-SLS implementation using only the selected devices and services. In a three-follower platoon, 2736 of 139,968 stabilizable and detectable deployments are QI-compatible. All three actuators are necessary, whereas intermediate-budget optima retain strict subsets of seven sensor packages. At a common budget, the best QI design has 3.86 times the performance loss of the co-design optimum relative to the dense deployment.

Wavefront synthesis is a central objective in many applications of programmable metasurfaces (PMs), ranging from electromagnetic holography and computational imaging to massive backscatter communications. Yet, fundamental limits on the ability of a given real-world PM prototype to synthesize a desired output wavefront remain largely unknown. Here, we derive prototype-aware and electromagnetically consistent bounds on target-wavefront synthesis in reconfigurable MIMO wave systems whose programmability stems from tunable lumped elements. Our approach combines multiport network theory (MNT), experimentally estimated proxy MNT parameters, and semidefinite relaxation. We account for relevant practical aspects of typical real-world PMs, such as mutual coupling, binary programmability, and lossy tunable loads. We derive bounds on strength-agnostic wavefront-synthesis fidelity, shape-agnostic target-mode strength, and the strength–fidelity Pareto frontier using two complementary threshold sweeps. We evaluate these bounds for four experimental MIMO systems whose transfer functions are parametrized by a reconfigurable intelligent surface (RIS), involving up to 100 1-bit-programmable elements and radio environments ranging from rich scattering to free space. Our bounds yield practical insights such as the identification of unattainable performance regions and the close-to-optimality certification of certain optimization outcomes. Comparisons with feasible discrete-optimization benchmarks show that the bounds can often be closely approached in practice, indicating tightness. While demonstrated with a RIS prototype, our methodology applies broadly to lumped-element-reconfigurable wave systems, including dynamic metasurface antennas. Altogether, this work contributes to the development of a prototype-aware electromagnetic information theory for reconfigurable wave systems.

For the last couple of years, the field of speech synthesis has improved dramatically thanks to deep learning. There are more and more deep learning-based TTS systems developed to make it possible to produce voices with high intelligibility and naturalness. Meanwhile, controlling the expressiveness is yet a big deal, generating speech in different styles or manners has received a lot of attention from community recently. This paper aims to give our solutions to deal with the task emotional speech synthesis (ESS) at VLSP 2022 which allows to generate humanlike natural-sounding voice from a given input text with desired emotional expression. By integrating speaker embedding, prosody bottleneck into FastSpeech 2, our systems can promisingly generate emotional speech of a single speaker (Sub-task 1), transfer speaking styles from another speaker to the target speaker with neutral non-expressive data while retaining the target speaker's identity (Sub-task 2).

Based on the framework proposed in Part I, the Part II of this two-part paper investigates two-subarray designs for moving target SAR imaging using planar antenna arrays and the multidimensional Chinese remainder theorem (MD-CRT). In this Part II, we focus on the performance analysis and the detailed two planar subarray designs. In particular, we study a common-scaling two-subarray design, under which the two subarrays share the same scaling factor in the MD-CRT formulation. Under this design, ambiguity resolution can be performed on a common integer frequency vector. As a result, the same unambiguous range as in the general two-subarray framework in Part~I is preserved, while the sufficient conditions for robust recovery become weaker and the corresponding reconstruction error bounds become tighter. Within this common-scaling design, we compare the proposed planar array framework with a conventional separated scheme, in which the motion-induced cross-range shift is recovered by a one-dimensional CRT-based method and the target height is estimated by cross-track interferometric processing. Under the same platform size and minimum antenna spacing constraints, the proposed planar array framework can realize the common-scaling design, whereas the corresponding one-dimensional non-uniform linear array scheme does not admit such a design. With this design, the planar array framework leads to a weaker sufficient condition for robust recovery and thus performs better in moving target imaging. We also compare several planar array designs under fixed platform size and minimum antenna spacing. The analysis shows that recovery performance depends not only on the number of antennas but also on the array geometry. In particular, non-separable planar array geometries can provide better robustness than separable ones when their antenna numbers are comparable.

In this two-part paper, we investigate synthetic aperture radar (SAR) moving target imaging using planar antenna arrays. For a target moving over a three-dimensional terrain, its accurate localization requires the joint estimation of the motion-induced cross-range shift and the target height. In Part I of this two-part paper, starting from the planar array imaging geometry and the corresponding signal model, we show that these two quantities can be unified into a two-dimensional parameter vector and represented, after two-dimensional discrete Fourier transform (2D-DFT) processing across the planar array, through a natural vector remainder formulation. We first develop a general 2D-DFT matrix modulus framework and show that, in the two-dimensional setting, the associated 2D-DFT matrix modulus affects the propagation of vector remainder errors. Under a fixed array geometry and antenna number constraint, we derive an optimal construction of this matrix modulus and adopt it in the subsequent analysis. Under this construction, a single planar array provides only a folded estimate when the true parameter vector lies outside its unambiguous range. To resolve this ambiguity, we develop a multi-subarray framework in which multiple planar subarrays generate multiple vector remainders with different matrix moduli, and the desired parameter vector is recovered through the multidimensional Chinese remainder theorem (MD-CRT). To account for practical errors introduced by 2D-DFT quantization and additive noise, we further introduce an approximate 2D-DFT peak model for non-integer frequency vectors, incorporate robust MD-CRT, and establish sufficient conditions together with explicit reconstruction error bounds for both noiseless and noisy settings. Numerical results verify that the proposed multi-subarray framework enlarges the unambiguous range compared with a single planar array.

Power amplifiers (PAs) in satellite communication systems introduce nonlinear distortion, degrading spectral fidelity. Digital pre-distortion linearizes the PA response, but full-complexity solutions are prohibitive under strict size, weight, and power (SWaP) constraints. We propose the use of Least Squares Thresholding (LST) and compare it against Orthogonal Matching Pursuit (OMP) and Matching Pursuit. LST achieves a 2.77x complexity reduction while maintaining near-identical linearization performance to OMP.

Air traffic growth, advanced air mobility, and increasingly autonomous operations are driving the need for scalable and adaptive airspace design methodologies. Central to this challenge is quantifying how traffic flow structure and demand, governed in part by airspace geometry, influence conflict generation and operational complexity. This paper presents an analytical framework for computing conflict rate and conflict probability in structured airspace using stochastic flow models. Traffic streams are modeled as renewal processes with prescribed inter-arrival time distributions, while interactions between flows are captured through geometry-dependent minimum spacing constraints at merges and crossings. Within this formulation, closed-form upper bounds on the expected conflict rate and conflict probability per aircraft are derived as functions of flow configuration and demand. These metrics are interpreted as complementary measures of airspace complexity, reflecting controller workload and per-aircraft operational risk. The methodology is applied to representative hexagonal cell geometries with varying routing structures and flow distributions. Results reveal non-monotonic tradeoffs between routing flexibility, capacity, and conflict generation, with intermediate flow configurations outperforming both highly constrained and highly distributed cases. The proposed framework provides a tractable tool for evaluating airspace design alternatives and complexity-informed traffic management strategies.

Leptomeningeal collaterals (LMCs) are an important prognostic factor in acute ischemic stroke. Existing automated methods rely on CT angiography (CTA), but individual LMCs are often too small to be resolved on CTA, limiting these methods to coarse collateral scoring. Digital subtraction angiography (DSA) visualizes individual collaterals at superior resolution, yet current assessment remains subjective, relying on manual grading scales that suffer from poor inter-rater agreement. We present a framework that formulates collateral detection as the classification of individual vessel segments on a graph derived from DSA. A hybrid graph-pixel architecture combines a topology-aware graph branch with a dense pixel branch, fused in a shared node-probability space. In a five-fold cross-validation setting, the fused model achieves a PR-AUC of 0.434, outperforming the graph-only (0.403) and pixel-only (0.362) baselines. To our knowledge, this is the first method to enable the individualization of LMCs in DSA, allowing for precise per-vessel quantitative assessment. This integration shifts DSA assessment toward objective evaluation, supporting future biomarker and pattern discovery for individual LMCs.

Recent spatial self supervised audio models achieve high performance on localization tasks, raising questions about their encoding of microsecond interaural phase fine structures. We propose a psychoacoustic benchmark based on the binaural masking level difference to evaluate this. Using an equalization cancellation baseline and a GCC PHAT positive control we evaluate nine frozen audio models spanning binaural SSL, monaural SSL, and neural audio codecs. Four monaural negative controls yield zero BMLD confirming binaural specificity. Two general purpose binaural SSL models exhibit minimal phase sensitivity while dedicated binaural spatial SSL models achieve BMLD comparable to the analytical baseline. Progressive physical ablations show that general purpose binaural SSL models rely on spectro temporal interference textures rather than cross channel phase computation. High detection rates in speech reflect a confounding reliance on broadband envelopes rather than genuine phase encoding.

The integration of Foundation Models (FMs) and wireless communications is driving the evolution of image communication from bit-accurate transmission toward task-oriented transmission. However, existing task-oriented image communication methods still face three major challenges: insufficient task-oriented Token representation, inadequate collaboration between Visual Tokens and Task Tokens, and limited interpretability of task decisions. To address these challenges, we propose an Explainable Task-Oriented Token Communication (ET-TokenCom) framework. By treating Tokens as unified units for information representation and transmission, the proposed framework constructs an end-to-end communication link that spans visual perception, wireless transmission, and task reasoning. At the transmitter, the ET-TokenCom framework extracts Visual Tokens from images to preserve low-level visual information. Meanwhile, Task Tokens generated by the FM are introduced to represent the target information and decision intent required by the current task. A Cross-Modal Attention (CMA) fusion mechanism is further designed, enabling Task Tokens to explicitly guide the selection, weighting, and transmission of Visual Tokens. At the receiver, the framework integrates Token decoding with an explainable output mechanism, where attention heatmaps are generated to highlight critical perceptual regions under different task objectives and reveal the influence of Task Tokens on the outputs. Finally, simulation results validate the effectiveness and robustness of the proposed ET-TokenCom framework.

Online inventory optimization (OIO) is online convex optimization with physical memory: inventory carryover makes the feasible action set depend on the past. A natural principle, used in stochastic inventory learning and recently in OIO under a single linear capacity constraint, is to maintain a hidden target chosen by an online learner and implement its projection onto the currently feasible order-up-to set. We prove that this simple principle is optimal for OIO on arbitrary bounded convex capacity sets. With online gradient descent as the base learner, the method improves the best known regret guarantee for OIO on general convex sets from inverse to inverse-square-root dependence on the common-demand probability, and we prove a matching lower bound. The same principle gives the first polylogarithmic regret guarantee for strongly convex losses and the first dynamic regret guarantee adapting to Euclidean path variation on general convex capacity sets. The analysis introduces a norm alignment principle: the right state variable is the distance from the hidden target to the feasible set, measured in the same norm as the projection. Under norm alignment, this distance evolves pathwise as a scalar queue, with target movement as arrival and common demand as service. This reduction to one-dimensional queue control resolves the state dependence and extends the guarantees to general convex capacity sets, beyond the reach of prior productwise approaches. Experiments on synthetic and real-world inventory data corroborate the theory.

Magnetic Navigation (MagNav) has emerged as a vital alternative Positioning, Navigation, and Timing (PNT) solution, leveraging Earth's magnetic field for robust navigation in GPS/GNSS-degraded or denied environments. Despite its potential, the successful deployment of MagNav is currently hindered by the lack of standardized, high-fidelity geomagnetic reference maps. Existing datasets, primarily designed for geological exploration or academic research, do not meet the distinct operational requirements of navigation systems regarding spatial resolution, error quantification, and global accessibility. This paper initiates a community-focused dialogue on future geophysical data requirements for MagNav, grounded in extensive real-world flight trials. We distinguish between two primary use cases with divergent data needs: Operational MagNav, which requires globally consistent, queryable, and uncertainty-aware datasets for field deployment, and MagNav R&D, which demands comprehensive access to raw survey data to foster innovation. We provide a prioritized set of recommendations for future data requirements, including the development of cohesive, merged datasets, the inclusion of localized 3D uncertainty estimates, and the expansion of the World Magnetic Model (WMM) core field model to spherical harmonic degree 13 to improve consistency. Finally, we emphasize the strategic necessity of designated test ranges to validate these requirements and ensure the operational robustness of MagNav infrastructure.

Safe physical human–robot interaction on floating-base robots requires interaction regulation under changing contact constraints. We develop a contact-consistent normalization in which the residual end-effector channel is represented as a linear double integrator in acceleration coordinates. Both discrete prediction matrices are independent of configuration and support mode; posture and contact enter only through task-inertia force recovery and constraints. The controller combines a constant-Hessian receding-horizon QP, an acceleration-disturbance observer, and a priority-consistent realization. Classical operational-space impedance is shown to be the unconstrained infinite-horizon limit. MuJoCo experiments on a 17-DOF biped and a Menagerie-derived Unitree G1 model evaluate sustained forces, transmitted shocks, and scheduled contact-model changes. The observer sustains near-offset-free tracking across a genuine contact-set switch and a scheduled support-mode transition, while disturbance estimation—not contact consistency alone—is the dominant source of fixed-stance accuracy; covariance inflation gives only scenario-dependent transient benefit.

Picture naming requires the transformation of visual object information into a spoken lexical response through perceptual, semantic, lexical, and articulatory processes. This study asked whether semantic-category information is recoverable from high-density EEG during overt picture naming. Sixteen native French-speaking participants performed a picture-naming task using line drawings. Picture labels were embedded with a multilingual text-embedding model and organized into nine interpretable semantic categories, providing a data-driven semantic target space for neural decoding. EEG activity was represented channel-wise using a pre-trained single-channel EEG encoder over an early post-stimulus window, a later naming-related window, and their combination. Nine-class decoding showed above-chance semantic-category discrimination in all temporal representations. Balanced accuracy increased from 0.562 in the early window to 0.610 in the naming-related window, and reached 0.781 when both windows were combined, with a maximum Macro-F1 of 0.784. Class-level F1 scores showed consistent gains across semantic categories, and sensor-level decoding maps indicated spatially distributed category information. These findings suggest that semantic-category structure is reflected in EEG activity during overt picture naming and that early and naming-related temporal windows provide complementary information. The results support the use of modern neural decoding methods as tools for investigating lexical-semantic processing in spoken language production.

We show that the three movements of Beethoven's "Moonlight Sonata" (Op. 27 No. 2) instantiate three distinct machine learning architectures – not by analogy, but by structural correspondence. Through computational analysis of the score (entropy, Jensen-Shannon divergence, dissonance, hand distributional overlap, self-similarity matrices, temporal memory decay, and contextual pitch embeddings), we establish four counterintuitive findings: (1) perceived musical "temperature" is governed by throughput, not distributional width; (2) the lightest movement carries the highest dissonance; (3) the movements implement streaming, recurrent, and periodic positional encoding memory architectures; and (4) the same pitch class acquires different contextual identities across movements, analogous to contextual vs.static embeddings in NLP – and unsupervised clustering recovers the tonal structure without music-theoretic input. We construct a reverse sonification (decoding analytical features back into MIDI) and quantify the chirality of the encode-decode cycle: what distributions preserve and sequential ordering destroys. Prompted by a listener's observation that the decoded piece sounds like "mirror isomers that can't be superimposed," the chirality measurement reveals reconstruction loss increasing monotonically with n-gram order. Bootstrap baselines and subsample checks confirm all movements carry sequential information above noise, though raw values are confounded by sample size. Cross-domain comparison shows natural language has higher chirality than music, reflecting stronger sequential constraints.