Papers

We consider the uplink of a fronthaul-constrained cell-free massive MIMO system with a single multi-antenna user equipment (UE) transmitting multiple spatial streams to distributed access points (APs). Due to heterogeneous channel conditions and limited fronthaul capacity, uniform-resolution quantization across APs and streams is highly inefficient. To address this, we propose a stream- and AP-adaptive resolution control framework that jointly optimizes the transmit power and per-AP per-stream quantization resolutions. By leveraging a distributed implementation of singular-value decomposition (SVD)-based processing, the data streams are decoupled at the APs, enabling flexible fronthaul compression across both spatial streams and APs. The resulting non-convex optimization problem is tackled using a weighted minimum mean-squared error (WMMSE)-based block coordinate descent algorithm with semi-closed-form updates.

We study quantization-aware precoding for the downlink of cell-free massive MIMO systems with limited-resolution fronthaul. In such systems, the centrally designed precoder must be quantized before being conveyed to distributed access points (APs), creating a strong coupling between precoder design and fronthaul compression. To capture this effect, we develop an end-to-end signal model based on Bussgang decomposition, where the quantization distortion depends explicitly on the precoder coefficients. Building on this model, we formulate a joint precoding and bit allocation problem under per-AP power constraints and a total fronthaul bit budget. We propose an efficient block coordinate descent algorithm that iteratively updates the precoder, receive scaling, and distortion levels. Numerical results demonstrate that the proposed method significantly outperforms uniform bit allocation and quantization-unaware precoding schemes, particularly in fronthaul-limited regimes.

We consider a heterogeneous mobile-agent network composed of uncontrolled task agents and controllable communication agents. The objective is to reposition communication agents online as task agents move. Since throughput-based objectives are generally unsuitable for real-time control, spectral graph metrics such as algebraic connectivity are commonly adopted as surrogate objectives. However, controlling algebraic connectivity relies on the eigenvector corresponding to the second-smallest eigenvalue of a graph's Laplacian matrix (i.e., the Fiedler vector), whose distributed estimation requires an unbounded number of communication rounds to converge. In this work, we identify a structural decomposition of this Fiedler-gradient controller into a local interaction rule and a graph embedding component, suggesting the use of alternative embeddings that are easier to estimate distributively than the Fiedler vector. As a particular instance, we propose A-Fiedler, which replaces the Fiedler embedding with the dominant eigenvector of the adjacency matrix, commonly used as a graph embedding of nodes into a latent geometry. This representation is more naturally suited for distributed implementation under local communication constraints. We evaluate A-Fiedler against the classical Fiedler-gradient controller. Results show comparable network performance in the absence of communication constraints and improved robustness under distributed estimation. For instance, under the same number of communication rounds, the Fielder-gradient may even converge to disconnected configurations whereas our proposition maintains performance. We believe our contribution provides a simpler path toward distributed network control.

Recent breakthroughs in generative models have made text-to-voice generation (TTV) possible, enabling the synthesis of speech directly from textual voice descriptions. However, existing systems face two key challenges. First, they struggle to generate a diverse range of voices, spanning real-world human speakers and fictional characters. Second, they lack robust and flexible voice editing capabilities, such as voice cloning and the ability to modify attributes like emotion and tone. In this paper, we propose VoiceDesigner, a unified framework for text-to-voice generation and editing that supports diverse and controllable voice design. To tackle the above challenges, we propose solutions from two perspectives. First, we develop a hybrid data pipeline that leverages digital signal processing techniques and speech generation models to construct a diverse voice dataset covering both real-world and fictional voices. Second, we introduce a diffusion transformer with architectural improvements to better handle complex conditioning and enhance multi-task performance, enabling unified voice generation and editing. Through subjective and objective evaluations, VoiceDesigner achieves superior prompt alignment with both voice descriptions and editing instructions, while maintaining competitive perceptual quality and voice usability compared to state-of-the-art TTV models.

Visual speech recognition (VSR) recovers speech from lip movements when audio is noisy or unavailable. Its multi-stage inference pipeline spans video decoding, mouth-region extraction, preprocessing, model invocation, and decoding, where upstream failures can mask downstream faults. Pipeline maintenance therefore still relies largely on predefined checks and manual debugging. We propose LoopVSR, a Loop Engineering framework that enables a code agent to automatically diagnose and repair VSR inference pipelines using end-to-end execution evidence. It couples constrained repository-level diagnosis and patching with an external controller that audits changes, runs real inference, and accepts or rolls back patches using failures and character error rate (CER). The resulting feedback loop returns newly observed exceptions, tensor statistics, and recognition errors to the agent, progressively exposing faults masked by upstream failures. On the CMLR VSR system, LoopVSR repairs all 11 main faults with 100% mean recovery, whereas the Static guard repairs 2 of 11 with 18.13% mean recovery. It also resolves three cascading tasks in seven accepted iterations and preserves recovery on an independent 200-video hidden set. These results demonstrate that LoopVSR enables measurable, end-to-end automated repair of VSR inference pipelines.

An e-detector for a pre-change class $\mathcal P$ is a nonnegative process $M$ such that $\mathbb E_P[M_\tau] \leq \mathbb E_P[\tau]$ for all stopping times $\tau$ and all $P \in \mathcal P$. Thresholding e-detectors controls the average run length (ARL): declaring a change at the first time $T_b$ when $M$ crosses $b$ ensures that $\inf_{P \in \mathcal P}\mathbb E_P[T] \geq b$. But e-detectors do substantially more than control the ARL; they also satisfy a optional-horizon inequality: \[ P(T_b\leq\sigma)\leq \mathbb E_P[\sigma]/b \] for every data-dependent stopping time (monitoring horizon) \(\sigma\) and $P\in \mathcal P$. In particular, every e-detector-based procedure obeys $P(T\leq t)\leq t/b$ at each fixed $t$, thus avoiding early false alarms. Remarkably, the converse also holds: every stopping time $T$ that satisfies the optional-horizon inequality must in fact arise from thresholding an e-detector. We also derive a universal representation of stopping times that satisfy (only) ARL control. These are represented by weak e-detectors, that only require $\mathbb E_P[M_\tau] \leq \mathbb E_P[\tau]$ to hold at all threshold stopping times $T_b$. Appendices present universal representations for other (less common) change detection metrics.

Fast charging of Lithium-ion batteries can lead to a significant temperature rise, which can cause serious risks to battery safety and lifetime. To ensure safe battery operation, thermal constraints must be enforced during the fast charging process. However, the core temperature of the battery cannot be directly measured in practice, which makes real-time safety enforcement challenging. This paper proposes a framework that incorporates core temperature estimates from Kolmogorov-Arnold Network within robust control barrier function (KAN-rCBF) constraints for battery fast-charging. The algorithm utilizes measurements from battery surface temperature, coolant temperature, coolant power, and charging current to solve a quadratic programming problem under safety constraints. We prescribe analytical safety guarantees for this optimal charging policy under KAN estimation errors and model uncertainty. Simulation results show that the proposed method maintains a safe battery temperature while achieving charging times comparable to the state-of-the-art method, where the latter fails to guarantee the same level of thermal safety.

Inverter-based resources (IBRs) couple power system operation to fast dynamics and controller-dependent responses. Their configurable capabilities are reshaping the formulation and coordination of security-constrained operation. This paper presents a two-axis view: static versus dynamic security and preventive versus corrective decision timing. Preventive scheduling is extending from static post-contingency feasibility toward dynamic security, while corrective operation spans equilibrium-based corrective actions and trajectory-based control. A generic formulation represents this change and makes the preventive–corrective tradeoff explicit. Existing formulations, methods, and capability representations are reviewed and synthesized within this framework. The surveyed work yields two findings. First, IBR capability can expand the feasible set or relieve security constraints, reducing operating cost or improving security performance. Second, shared capability and constraints across formulations determine whether that capability remains operationally deliverable. These findings motivate future research in IBR capability characterization and quantification, joint scheduling, and scalable solution frameworks.

The probe position of a microstrip element is normally chosen from the isolated-element input resistance. This paper replaces that procedure with a decision available before any array optimisation. A single Floquet unit-cell solution at one arbitrary probe position is decomposed into a feed inductance, a transformer ratio carrying the probe position, and an array-loaded resonator. Three closed-form results follow. The set of input impedances reachable by probe position and resonant length is a disk in the impedance plane. An exact match to a real reference Z0 exists if and only if Rp >= Z0 + Xp^2/Z0. When this fails, the best attainable reflection follows from the image of that disk under the bilinear map. Admitting one series reactance as a second variable, the worst-case reflection over a scan sector is shown to be quasiconvex and globally solvable by bisection. The results are applied to a sixteen-element X-band array and the corresponding 16x24 lattice. For the array considered, the isolated interior element is matched to -16.94 dB while the broadside active reflection is -6.6 dB. For the two-dimensional lattice the criterion is violated at every scan angle, and the minimax design improves the worst-case sector reflection from -2.6 to -11.1 dB. Both matching designs are predictions of the extracted circuit model and have not been re-solved in the full-wave model.

In this paper, we systematically study a variant of the scaled relative graph (SRG), referred to as the $\theta$-symmetric SRG, and apply it to the stability analysis of cactus networks. Compared with the previous SRG definition, the $\theta$-symmetric SRG enables the characterization of phase lead and lag behaviors, and serves as a more natural multivariable extension of the classical Nyquist plot. We first analyze the gain and phase aspects of $\theta$-symmetric SRG separately and build a connection between $\theta$-segmental phase and a norm minimization problem. This connection makes it possible to compute $\theta$-segmental phase via semidefinite programming. We further derive the submultiplicative and subadditive properties of $\theta$-symmetric SRG. These algebraic properties are crucial to determine the nonsingularity of product-type and sum-type return difference matrices, which topologically correspond to the cyclic and parallel-feedback extreme cases of cactus networks. By taking the cyclic interconnection as the fundamental starting point, we establish necessary and sufficient conditions for its robust stability. Integrating this with the parallel case, we synthesize a unified stability framework for general multi-loop cactus networks. The $\theta$-symmetric SRG framework is less conservative and provides a more intuitive geometric interpretation of system behaviors compared with some existing approaches. Several examples are included to demonstrate the effectiveness of the proposed methods.

Dance imitation integrates motor planning, sensorimotor integration, and social cognition, offering a sensitive framework to characterize motor behavior in autism. In this work, we explore a computational analysis framework to identify potential biomarkers that allow the design and development of improved medical and human-machine systems. We analyzed 3D motion capture data from autistic and neurotypical adults performing dance imitation under solo and socially-framed duo conditions. Methodologically, using Dynamic Time Warping, we quantified movement consistency and propose the Social Context Sensitivity Index (SCSI) to measure modulation of variability by social framing. These features were then used on a classifier to discriminate subjects into autistic or neurotypical groups. Results show that neurotypical adults exhibited increased movement variability in socially-framed imitation, especially in upper and lower limbs, whereas autistic adults maintained consistent movement across contexts. Classification achieved 79.2% balanced accuracy in distinguishing groups. These findings suggest that social context sensitivity in motor imitation constitutes a robust biomarker of autism-related motor behavior, highlighting the importance of social modulation in motor assessments and informing the development of inclusive human-centric technologies.

Transformer-based models have shown strong accuracy in distinguishing spontaneous from scripted speech and natural from synthetic speech, but these results are established on a narrow set of well-resourced language benchmarks and have not been extended across Indic languages, nor has embedding geometry been used to explain encoder behaviour or deepfake generalisation failure. We address these gaps by evaluating five frozen transformer encoders, AST, Vaani-FastConformer, Wav2vec2, Whisper and BEATs, across 22 Indic languages, and by conducting a multi-system TTS generalisation experiment across four TTS models. Beyond accuracy, we present language isolation probing and centroid proximity analysis. Probing reveals an encoder-dependent trade-off between language-discriminability and spontaneity detection. Centroid analysis shows that out-of-domain generalisation is predicted by a training system's proximity to unseen TTS embeddings, not its distance from natural speech, a finding with direct implications for training data selection in real-world deepfake detectors.

A vehicle seeking a hidden target through a range-bearing relay of unknown position and yaw must decide, online, whether its own motion has already made the relay calibration trustworthy, and what to do when it has not. Two distinct vehicle-relative observations are known to remove the calibration gauge and make the target's relay-local packet globally actionable (arXiv:2608.09464), but that statement is static: it classifies a stored window only after the fact. This paper supplies the closed-loop layer: we show that the trajectory-spread margin $S_v$ that governs identifiability is simultaneously a finite-noise seed-accuracy bound, a local-vector variance decomposition, and a circle-geometry excitation budget, and we use it to supervise an excitation-reset controller. An excitation-supervised algorithm retriggers exploratory motion whenever the spread certificate is insufficient, projecting the target-seeking input away from the excitation's push, and otherwise proceeds to unrestricted target seeking. Under explicit sampling assumptions the supervision rule provably acquires any required excitation in finite time; in the noiseless local regime with positive excitation decay, estimator convergence yields target-seeking convergence after certification; and the threshold is selected from a desired calibration-accuracy level rather than chosen heuristically. Closed-loop simulation, paired Monte Carlo comparisons, a spread-threshold ablation, and a ROS 2/Gazebo software-in-the-loop experiment with sensing delay validate the approach. A decay-rate sweep shows that supervision matters when a fixed schedule's decay outruns the unknown time-to-adequate-excitation: over 100 paired trials the fixed baseline's yaw RMSE rises from 0.010 to 0.065 rad and success falls to 56%, while target-tracking error remains insensitive; supervision keeps yaw RMSE between 0.0095 and 0.0191 rad with 100% success.

Automated-driving rulebooks rank rule violations lexicographically, and model predictive control enforces that ranking either exactly, through $L{+}1$ sequential programs per tick, or approximately, through a weighted sum tuned by the separation heuristic $w_1\gg w_2\gg\cdots\gg w_L$. We show the heuristic answers the wrong question. For a convex priority-ordered program, a weighted sum reproduces the lexicographic optimum precisely when its weight, augmented by a unit performance coefficient, supports the upper image of the achievement map at the lexicographic point; the admissible weights form the unit-performance slice of an outward normal cone. Under hinge penalties this slice is a polyhedron obtained by projecting a scaled-KKT system, and a linear program returns an interior weight with a certified margin; under squared-hinge penalties no finite weight is exact whenever the limiting multiplier is nonzero, with violation along the local minimizer branch decaying as $O(1/w)$. Calibrated on held-out logs, the resulting weights have near-equal tier components in nine of eleven calibration-eligible scenario classes and roughly double legal-tier event precision against a matched heuristic weight in closed-loop nuPlan experiments on a 25-rule rulebook. The certificate is, however, pointwise: no single weight is valid across the sampled ticks of an episode, the median lifetime is one sampling interval (zero subsequent ticks at the native rate), and persistence tracks active-set stability. These findings motivate monitored weighted solves with selective cascade fallback, although the compliance-pattern monitor detects only a subset of measured lapses.

In this paper, we investigate the downlink performance of multi-cell RSMA-enabled ISAC networks in which base stations (BSs), communication users, and sensing targets are spatially distributed according to independent Poisson point processes (PPPs). Each BS simultaneously serves multiple users using RSMA while exploiting the common stream as a dual-functional communication and sensing waveform. The users are equipped with FAS that selects the best antenna port to maximize the received signal quality. Closed-form analytical expressions are derived for the ergodic sum-rates by combining stochastic geometry, order statistics, and Laplace-transform-based interference analysis. Furthermore, a tractable approximation for the average radar SINR is developed by characterizing the statistical properties of the common precoder. Leveraging the derived analytical expressions, a low-complexity analytical resource allocation framework is proposed to jointly optimize the RSMA power allocation, the communication-sensing beam tradeoff, and the number of scheduled users while sat- isfying the sensing quality-of-service constraint. Compared with conventional iterative optimization approaches, the proposed analytical design significantly reduces computational complexity while achieving nearly identical communication performance. Simulation results verify the accuracy of the developed analytical expressions and demonstrate substantial improvements in both RSMA sum-rate and sensing performance over conventional transmission schemes.

The transition to the Sixth Generation (6G) of mobile networks requires proactive and deterministic orchestration to satisfy the stringent key performance indicators of future services, including ultra-reliable low-latency communications, enhanced mobile broadband, and massive machine-type communications. Digital Twin Networks (DTN) have recently emerged as a foundational technology to meet these demands, offering real-time and high-fidelity virtual replicas of the physical network. Although the current literature explores DTNs conceptually, a gap exists in the coverage of technical classification and computational feasibility evaluations. This survey addresses this gap by formally categorizing state-of-the-art DTN architectures into passive monitoring twins and active control twins. We provide an in-depth evaluation of their underlying enabling technologies, specifically ray-tracing, reconfigurable intelligent surfaces, artificial intelligence, and mobile edge computing. Importantly, this paper conducts a detailed mathematical and computational complexity analysis of state-of-the-art solutions to assess hardware scalability and inference bottlenecks. These architectures are then linked to various forthcoming 6G use cases, including smart cities, Industry 5.0, healthcare, and smart grids. Finally, we synthesize crucial unresolved challenges, highlighting graphics processing unit hardware limitations, cyber-physical actuation latency, and the need for a zero-trust security paradigm, offering strategic research directions to realize the unified internet of everything.

This paper develops an analytical framework to evaluate the feasibility and performance of satellite infrastructure sharing among multiple low Earth orbit (LEO) satellite operators. Motivated by the growing demand for universal connectivity under limited satellite resources, the proposed model captures uncoordinated deployments where independently operated constellations coexist without predefined orbital agreements. To describe such heterogeneous configurations, the spherical Cox point process is employed to jointly generate orbital structures and satellites. Then, each satellite is further assigned a random communication range, reflecting variations in coverage capability across operators. The overall coverage region is modeled through a spherical Cox-Boolean model that captures the spatial overlap of individual satellite spherical footprints on Earth. Using the proposed framework, the feasibility and benefits of satellite infrastructure sharing are mathematically analyzed, and closed-form expressions are derived for key performance metrics such as the connection probability, connection number, and downlink signal characteristics including the nearest serving distance, total received signal power, and the signal-to-interference ratio (SIR) distribution in the interference-limited regime. The analytical results, validated through system-level simulations, provide a tractable characterization of how orbital geometry governs coverage, connectivity, and interference, and reveal the inherent trade-offs induced by coverage overlap in heterogeneous satellite constellations.

Coordinated traffic signal control across urban networks must adapt to changing demand while satisfying operational constraints. Multi-objective distributed model predictive control (DMPC) can construct feasible signal plans online, but prescribed rules for selecting among trade-off solutions cannot learn from realized closed-loop outcomes. We propose SelectLight, which implements post-optimization selection by allowing a multi-agent reinforcement learning (MARL) policy to choose directly from plans generated online by DMPC. At each control update, state-pruned multi-objective dynamic programming (SP-MODP) evaluates plans with a Newellian point–spatial queue model and returns a bounded set of mutually nondominated candidate signal plans for total queueing delay, peak queue accumulation, and total number of stops. A topology-aware attention policy trained with independent proximal policy optimization (IPPO) selects one unmodified plan from each variable-size set. This confines learning to candidate selection, preserves the prescribed signal timing constraints, and leaves the selected plan and its predicted objective trade-offs available for inspection. Experiments on two 28-intersection SUMO networks show that SelectLight achieves the best delay-related performance and that its advantage widens with demand. At twice the baseline demand, it reduces queueing delay and waiting time by 5.57% and 6.44%, respectively, relative to the strongest baseline. SelectLight also incurs the lowest transfer loss under every tested demand shift. With a 120 s prediction horizon, the per-intersection 99th-percentile SP-MODP solution time is 5.408 ms, well below the 5 s control interval.

Non-destructive food quality assessment has increasingly benefited from hyperspectral imaging (HSI), which captures spectral signatures linked to biochemical changes during storage. Estimating day-wise freshness, however, remains challenging owing to strong inter-fillet variability and scarce labelled data per product. All existing deep learning approaches for HSI-based freshness prediction operate under full supervision, requiring densely annotated training sets that are costly to obtain at the individual-product level. We introduce, to the best of our knowledge, the first few-shot learning framework for HSI-based food quality estimation. Each fillet defines a distinct episodic task, and a CORAL-style ordinal prediction head captures the ranked nature of freshness progression through cumulative threshold modelling. Biologically grounded monotonicity and embedding smoothness constraints further guide predictions toward plausible trajectories. On a 16-day salmon HSI dataset under a strict unseen-fillet protocol, our method achieves a mean absolute error of 1.58 days and 2-day accuracy of 72.3% with only three labelled days per fillet, substantially outperforming scalar regression and label-distribution baselines under an identical unseen-fillet protocol.

Sleep apnea is a common sleep-related breathing disorder associated with substantial cardiovascular and metabolic risk. Although overnight polysomnography remains the reference standard for diagnosis, its complexity and cost limit its suitability for long-term preventive monitoring at home. In wearable systems, arterial blood oxygen saturation (SpO2) is commonly used as the main predictor, whereas additional morphological features of the photoplethysmographic (PPG) pulse wave are usually underexplored. This study proposes a novel apnea burden prediction-based framework for sleep apnea severity assessment and investigates the influence of PPG features on model performance and out-of-distribution (OOD) generalization. The proposed framework first predicts apnea burden as a continuous measure, which is subsequently converted into the clinically relevant apnea-hypopnea index for subject-level classification into four severity groups in both in-distribution (ID) and OOD data. Three artificial neural network architectures were evaluated, and the performance metrics were averaged over five independent runs with different fixed random seeds. During OOD testing, the combination of PPG features and SpO2 led to increases of approximately 15.72% in macro-sensitivity, 9.22% in macro-accuracy, 16.01% in macro-F1-score, 11.08% in Cohen's kappa, and 13.22% in Matthews correlation coefficient, compared with using SpO2 alone. The low-complexity convolutional-recurrent models achieved the highest overall performance. The results indicated that the proposed apnea burden-guided framework, combined with PPG features and SpO2, improves sleep apnea characterization while showing encouraging OOD performance on an independent external dataset. Moreover, simpler hybrid architectures demonstrated strong potential for robust home-based preventive monitoring.

Hyperspectral imaging (HSI) offers nondestructive assessment of fish freshness by detecting biochemical alterations across spectral bands. However, conventional deep learning approaches do not fully address the particular characteristics of HSI data, such as spectral dominance over spatial textures, ordinal label structure, and a small number of training samples. We propose SGNet (Spectral-Grouped Network), a lightweight architecture that separates spectral and spatial feature extraction using grouped convolutions and a depthwise spatial pathway. A dual attention mechanism that couples channel-wise squeeze-and-excitation with spatial gating adaptively highlights informative features. SGNet achieves 97.8% classification accuracy and 0.64 days mean absolute error (MAE) with just 4.75M parameters when tested on our newly developed 16-day refrigerator-stored salmon fillet dataset. Ablation studies validate the contribution of each component, while comparisons demonstrate a five- to eighteen-fold parameter reduction relative to ResNet-50 and Vision Transformers. Our findings indicate that domain-aware design supports precise, real-time freshness prediction for industrial implementation.

Large Language Models (LLMs) are increasingly used in circuit design workflows, yet their reliability on simulator-facing SPICE netlist recognition and manipulation remains poorly understood and is rarely separated from high-level design reasoning. Although netlists are textual, they encode structured circuit objects through topology and parameters. We present NetlistBench, a structure-verified benchmark for SPICE netlist recognition and manipulation. NetlistBench contains 2,342 cases across 24 task families, covering parameter and connectivity recognition and edits, hierarchical operations, equivalence judgment, and long-horizon compound editing. Model outputs are evaluated by a deterministic structure-aware oracle. Across six non-thinking LLMs, performance varies substantially with operation-level structural complexity. Simple local edits reach $96\%$–$100\%$ accuracy, while device addition drops to $41\%$–$83\%$ and equivalence judgment to $49\%$–$90\%$. Enabling reasoning substantially improves weaker models but does not eliminate structure-preservation failures, with performance still degrading sharply as the edit horizon increases. NetlistBench identifies netlist reliability as a distinct bottleneck for trustworthy LLM-based circuit design automation.

Algorithm registers have been championed as a means of providing transparency on the use of algorithms in public services. Yet potential publics differ in their expectations of what should be made transparent and how, as well as in their interest in and ability to parse the information currently published in the registers. Moreover, it remains unclear how these instruments can represent the sociotechnical systems in which these algorithms are embedded, and how system-level transparency can facilitate accountability. In this paper, we ask, what do algorithm registers reveal (and occlude) about the sociotechnical systems governing algorithmic systems, and how can diverse stakeholder perspectives inform a more pluralistic system-theoretic safety analysis? To do this, we probe the municipal algorithm register of a Dutch city through a case study of a decision-support tool for caseworkers' assessment of citizens' welfare benefits eligibility based on legal automation through a business rule engine. Through interviews, surveys, and participatory system mapping workshops (with municipal staff, civil society organisations, and ombudsmen, N=8), we seek to understand to what extent the register allows stakeholders to map the algorithmic system in question. These maps inform a System-Theoretic Process Analysis (STPA) that situates the register within a wider sociotechnical governance structure. Participants' contributions allow us to identify potential safety hazards which would not have been possible to see using the algorithm register alone, including benefits eligibility denial, system performance deterioration, and inability to contest wrongful decisions. By engaging both direct and indirect stakeholders, we reflect on the normative dimensions of algorithm governance efforts and how politics shape the practice of system safety analysis.

The surface texture of a turned component acts as a fingerprint of both the process parameters and the tool wear condition, imaging the cutting edge. Classical surface parameters such as $R_\mathrm{a}$ or $R_\mathrm{q}$ describe the topography only globally and allow no spatially resolved evaluation of the process-induced deterministic structures. This work investigates how far the feature characterization standardized in ISO 21920-2 makes this wear information accessible and physically interpretable. The database comprises roughness profiles of twelve AlTiN-coated carbide inserts (CNMG120408) machining normalized AISI 1045 steel, measured at nine wear states over the entire tool life, with three replicate profiles per state. The correlation of standardized field and feature parameters with crater wear, flank wear, and cutting time is first examined. Watershed segmentation is then adapted to extract the rotational tool grooves and evaluate their geometry statistically. A newly developed mean-feature approach decomposes the profile into a deterministic and a stochastic component. Wear-induced changes are almost entirely carried by the deterministic component, and within it by the trailing flank of the cutting groove. A comparison with confocal measurements confirms that the mean feature reconstructs the engaged cutting edge geometry, with the trailing-flank steepening attributable to notch wear on the secondary cutting edge. An exhaustive evaluation of more than 920,000 feature characterization combinations and multivariate models reveals that the groove-level mean maximum absolute gradient $\overline{R_\mathrm{dt}}_\mathrm{groove}$ alone explains 83-90% of the variance of the wear indicators, so that a single, physically motivated parameter suffices for robust wear estimation. A follow-up study will investigate inline monitoring using scattered light sensors.

We propose a hybrid simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) architecture with dynamically switched active and passive elements to support joint localization, communication, and wireless power transfer (WPT). We first pursue a parallel factor analysis with the alternating least squares (PARAFAC-ALS)-based tensor decomposition approach that decouples the base station (BS)-reconfigurable intelligent surface (RIS) and RIS-user channels, thereby enabling low-overhead channel acquisition. Based on this, we formulate a system energy efficiency (EE) maximization problem, subject to the spectral efficiency (SE) requirements of communication users, sensing signal-to-interference-plus-noise ratio constraints, and the nonlinear energy harvesting requirements of energy-harvesting users. The optimization problem is nonconvex since the transmit power allocation, STAR-RIS coefficients, and active/passive mode assignments are tightly coupled in both the objective and constraints. We address this issue by alternating between two subproblems, and solving them via fractional programming, successive convex approximation and a multi-seed greedy strategy employed as an initialization step. Numerical results demonstrate that selectively activating a small, well-chosen subset of STAR-RIS elements achieves 1.5 to 3 times EE improvements compared with fully passive/active architectures, while satisfying communication, sensing, and power-transfer requirements.

Language model (LM)-based speech enhancement (SE) has recently emerged rapidly using latent space features of neural audio codecs (NACs). In this paper, first, we present a unified framework covering six popular LM-based generative SE modeling paradigms based on discrete/continuous latent NAC features: discrete or continuous autoregressive (D/CAR) SE, discrete or continuous non-autoregressive (D/CNAR) SE, discrete diffusion (DDiff) SE, and continuous flow matching (CFM) SE. Second, we are the first to compare their performance in a unified experimental setup and synopsis with diverse intrusive and non-intrusive metrics, enabling a fair and comprehensive evaluation. Third, we propose a fine-tuning strategy with auxiliary losses on reconstructed speech to improve both intrusive and non-intrusive metrics. Trained and evaluated on URGENT 2025 Speech Enhancement Challenge data splits, all continuous-domain paradigms excel their discrete-domain counterparts. The overall best approach turns out to be CNAR. We further show that our proposed auxiliary loss fine-tuning strategy helps to improve DNSMOS, NISQA, PESQ, and POLQA consistently in all six paradigms.

Network topology reconfiguration (NTR) can reduce power system operating costs by co-optimizing generation dispatch and substation switching, but the reported savings describe a target operating point rather than a way to reach it. Reaching this operating point requires a sequence of intermediate operating points, each satisfying the AC power flow equations and thermal limits; because each topology admits its own feasible dispatch region, a naive transition that switches or redispatches first can drive intermediate flows past their thermal limits. Existing methods leave this gap open: snapshot NTR identifies a target but not a route. We formulate the Optimal Transition Planning (OTP) problem, co-optimizing the switching sequence and dispatch trajectory subject to AC feasibility at every intermediate point. We solve this problem with a receding-horizon framework: a DC planner proposes a trajectory that is certified against an AC feasibility filter, and infeasible topologies are excluded using reusable combinatorial cuts. Case studies on congested PGLib-OPF systems up to 1354-bus show that the method produces AC-feasible transitions that reduce operating cost by up to 18.4% compared to the no-switching ACOPF solution on commodity hardware.

Modern stochastic predictors can model rich, multi-modal outcome distributions. However, this expressive power comes with challenges in ensuring robust predictions $-$ a critical requirement in safety-critical domains. Randomized smoothing is a leading technique for improving robustness, particularly against adversarial perturbations. Yet, in stochastic multi-modal regression settings, randomized smoothing often fails due to mode collapse, yielding averaged predictions that do not reflect the underlying distribution. To address this limitation, we propose clustered $\alpha$-smoothing, a framework that (1) partitions noisy samples using an arbitrary clustering algorithm, (2) applies $\alpha$-smoothing locally within each cluster, and (3) combines the resulting predictions into a mixture distribution. By interpreting the smoothing distribution as a mixture of $\alpha$-smoothers, we derive a lower bound on the probability that the smoothed prediction lies within a union of compact regions corresponding to distinct modes. We empirically evaluate our framework on two benchmarks, demonstrating substantial improvements over state-of-the-art methods. In stochastic trajectory prediction on a driving simulator dataset, our approach achieves, on average, a $27\%$ lower Wasserstein distance to the ground-truth distribution compared to $\alpha$-smoothing. In quadrotor control, where modes correspond to distinct feasible paths to a target, our method reduces the collision rate by $81\%$ relative to the state-of-the-art randomized smoothing.

Recent advances in large language models (LLMs) and multimodal LLMs (MLLMs) have created new opportunities for wearable speech interfaces, with smart glasses providing an egocentric platform for continuous audio sensing and assistance. However, speech recognition and understanding in this setting remain challenging because of dynamic acoustic conditions, speaker overlap, and the spatial ambiguity introduced by wearer-centered recording geometry. To support systematic evaluation in this setting, we introduce the IEEE SLT 2026 SmartGlasses Challenge for egocentric multi-speaker speech processing. The challenge consists of two tracks, Dyadic Dialogue Understanding and Multi-party Meeting Understanding, and jointly evaluates Time-Stamped Speaker-Attributed Automatic Speech Recognition (TSA-ASR) and Spoken Language Understanding (SLU). It is built on a 106-hour four-channel egocentric speech dataset containing 714 sessions collected in real-world scenarios. This paper describes challenge tasks, dataset construction, submissions, and summarizes the main findings from the shared evaluation. The results show that heavy speaker overlap remains a major factor affecting TSA-ASR performance, while paralinguistic acoustic understanding continues to be difficult for current audio-language models in complex SLU settings. Further details can be found on the official challenge website.

Accurate direction-of-arrival (DOA) estimation is valuable for spatially selective communication in noisy industrial environments. This work investigates a lightweight single-antenna framework in which receiver motion forms a virtual aperture. The receiver uses onboard inertial measurement unit (IMU) headings and two-way-ranging (TWR) measurements to a known fixed beacon, avoiding GPS, optical tracking, and high-precision external tracking of the mobile receiver. The curvilinear virtual-array MUSIC formulation is evaluated numerically using phase-coherent narrowband snapshots over arbitrary trajectories. Hardware experiments validate a range- domain TWR-IMU bearing estimator using corrected and averaged ranging observations. In a campaign of 100 consecutive four-revolution sweeps, all trials are retained. Phase-aligned accumulation recovers a 123 mm range-modulation amplitude, in close agreement with the measured 120 mm antenna lever arm. The single-sweep bearing precision is 8.2{\deg} absolute world-frame accuracy is limited by systematic BNO055 magnetometer drift in the motorized setup. The embedded bearing-estimation computation consumes 144.9 mJ per estimate, approximately 3 % of the measured cycle energy in the tested configuration. These results establish the feasibility of onboard range-domain bearing estimation and motivate future experimental validation of phase-coherent MUSIC during free-form mobile trajectories.