arXiv:2607.05824v1 Announce Type: new
Abstract: High-throughput holotomography often relies on long-working-distance, multiwell-compatible optics that reduce illumination numerical aperture (NA) and limit access to high spatial frequencies. Here we present ResShift-ODE, a deterministic diffusion-prior framework that transfers low-NA refractive-index (RI) tomograms to high-NA-equivalent volumes without modifying the acquisition hardware. We formulate low-NA-to-high-NA transfer as a diffusion-prior inverse problem under an explicit NA-limited Fourier-domain forward operator, distinct from suppressing artifacts within an already measured passband. The method extends residual-shifting diffusion to volumetric RI data and reformulates the reverse process as a probability-flow ordinary differential equation, enabling reproducible inference in five denoiser evaluations. On held-out emulated-pair test volumes, inferred volumes matched high-NA references with RI errors of 0.002-0.003 for >99% of voxels, while Fourier analysis confirmed measurement-anchored lateral-band recovery without filling the axial missing cone. 3D ResShift-ODE required five denoiser evaluations per volume, incurring ~5.8x the cost of a 3D U-Net while remaining ~166x faster than a 1000-step 3D denoising diffusion probabilistic model.
Science Journals
arXiv:2607.05638v1 Announce Type: new
Abstract: Teams deploying large language models in business contexts need evaluation systems, yet most treat evaluation as static model selection: run benchmarks, rank models, deploy the winner. This framing misses evaluation's primary value for production systems--diagnosing why a system underperforms and guiding what to fix. We present EvalLoop, a methodology for evaluation-driven iterative improvement. EvalLoop organizes evaluation around three mechanisms: (1) dimensional metric grouping that decomposes quality into business-relevant dimensions enabling orthogonal failure diagnosis; (2) failure mode classification that categorizes why outputs fail within weak dimensions, bridging diagnosis to action; and (3) a structured iteration workflow where each evaluation run varies one system variable and compares dimensional profiles before and after. We validate EvalLoop through a case study on sales intelligence briefing generation (10 models, 3 providers, 18 metrics, 5 dimensions, 3 iterations). Dimensional diagnosis identified that 69% of hallucination failures were prompt-induced interpretation errors--invisible in aggregate scoring. A targeted prompt fix improved the best model from 82.6% to 94.6% overall, with improvement concentrated in diagnosed dimensions (Content Accuracy +16.8pp, Synthesis Power +26.4pp). An undirected configuration change in a prior iteration produced zero impact, illustrating the cost of iterating without diagnosis. We additionally demonstrate that dimensional profiling enables deployment-specific model selection, and that a one-time blind human gate on a finalist panel (4 models, 16 cases) confirms dimensional rankings while resolving multi-criteria deployment trade-offs--a 94% reduction in review burden compared to evaluating the full design. EvalLoop is packaged as reusable artifacts (playbook, agent specification, template repository) for adoption by other teams.
arXiv:2607.05846v1 Announce Type: new
Abstract: Accurate ranking of antibody candidates according to their binding affinity is essential for therapeutic antibody discovery. However, existing methods treat affinity comparisons independently and ignore the contextual information encoded in other labeled comparisons, limiting their ability to capture antigen-specific binding landscapes. For many target antigens, a small number of experimentally characterized affinity comparisons are often available. An important question is whether the model can exploit these existing comparisons to infer antigen-specific ranking patterns that facilitate subsequent affinity ranking. This form of learning from labeled demonstrations closely resembles the paradigm of In-Context Learning, motivating us to revisit antibody affinity ranking from an ICL perspective. To this end, we propose AbICL, an ICL framework for antigen-specific antibody affinity ranking. AbICL combines a pretrained structural encoder with a context ranking head and is trained with an episodic meta-training strategy that enables the model to leverage support demonstrations for test-time adaptation without gradient updates. Experiments on the AbRank benchmark demonstrate that AbICL consistently outperforms existing ranking baselines across almost all data splits and evaluation benchmarks. Further analysis shows that the value of contextual demonstrations depends on how well they match the target inference task, and becomes increasingly pronounced under distribution shift and fine-grained affinity discrimination. These findings highlight the potential of ICL as an effective paradigm for antigen-specific antibody affinity ranking, particularly in challenging settings where a single global ranking function is insufficient.
arXiv:2607.06292v1 Announce Type: new
Abstract: The use of Gaussian processes for approximating differential equations has expanded rapidly, leading to a growing, diverse, and fragmented body of numerical methods. We present a unified Bayesian perspective that places these techniques within a common probabilistic framework, based on a derivative matching interpretation for incorporating differential equation constraints into likelihood. This unified perspective supports both parameter estimation and solution approximation, and shows how a range of existing methods can be understood within it. This work aims to consolidate current developments and provide a foundation for future research.
arXiv:2607.05859v1 Announce Type: new
Abstract: Vision-Language Models (VLMs) are promising for construction-site monitoring, and recent construction-tailored VLMs have primarily adapted pretrained VLMs through direct QA-style fine-tuning from a single global image. We argue that this direct paradigm remains limited for in-the-wild deployment in terms of operational range, reliability under reduced-resolution inputs, and inference efficiency. To address these challenges, we propose AVA-VLM, an Adaptive Visual Attention-Vision Language Model that follows a human-inspired coarse-to-fine reasoning strategy. AVA-VLM first reasons over a low-resolution global image and selectively requests a high-resolution local crop only when detailed inspection is needed, similar to how a human inspector zooms in on hard-to-see yet important areas. We further introduce a region-aware Chain-of-Thought dataset that teaches the model when to inspect, where to crop, and how to use local evidence. Experiments show that AVA-VLM improves reliability under long-distance and reduced-resolution conditions while substantially reducing visual-token usage.
arXiv:2607.05850v1 Announce Type: new
Abstract: Deep neural networks trained with Empirical Risk Minimization (ERM) often fail under distribution shifts because they exploit spurious correlations between object labels and background context. Recent generative approaches address this issue by creating counterfactual images with altered contexts, but typically use these samples as standard data augmentation, leaving the model free to retain background-sensitive representations. We propose a two-stage framework that uses generative intervention to explicitly learn background-invariant visual representations. First, we isolate the foreground object using zero-shot segmentation and generate context-shifted variants with a structure-preserving diffusion model, preserving object identity while varying the surrounding environment. We then introduce Cross-Variant Self-Supervised Learning, where variants of the same object under different backgrounds form positive pairs in a contrastive objective. This encourages the encoder to align object-centric representations while suppressing background-specific cues. Then, we fine-tune the pretrained encoder using an ERM warm-up followed by GroupDRO with layer-wise learning rates. Experiments on distribution-shift benchmarks demonstrate best worst-group performance, achieving 92.5% on Waterbirds, 81.7% on MetaShift, and 87.4% on NICO++. Code: https://github.com/surajyadav-research/GRSSL
arXiv:2607.05855v1 Announce Type: new
Abstract: Information Operations on social media networks have been identified as a significant threat to democracy and modern society, but they are challenging and expensive to detect by humans. Existing supervised IO detection methods fail to capture the dynamic nature of evolving IO user behavior, while existing unsupervised approaches rely on oversimplified assumptions of coordination among IO users that may not exist in practice. To overcome the limitations of existing methods, we formulate IO user detection as an anomaly detection problem and propose a novel unsupervised IO user detection approach called Temporal-bEhavior-laNguage Signals for information Operation Recognition (TENSOR), which leverages multimodal data, including temporal online user behavior, such as message posting activities, and the textual content of the messages. The motivation is that IO users are typically a very small fraction of all online users and have unique temporal behavioral and language patterns. Specifically, we train a Temporal Point Process (TPP) to capture abnormal temporal behavioral patterns of IO users because they are known to behave in a coordinated manner for IO campaigns. We further introduce a novel evidence function that converts LLM responses, which are generated from user post timelines, into quantitative scores to adjust the TPP outputs for better IO user detection. Experimental results show that TENSOR outperforms the baselines on five real-world IO datasets. Code is available at https://github.com/xiuzhenzhang/TENSOR.
arXiv:2607.05751v1 Announce Type: new
Abstract: We revisit several fundamental graph problems in the deterministic two-party communication model. Our main contributions include: (1) a new $\widetilde{O}(n^{3/2})$-bit protocol for computing a maximum matching in general graphs. While the same upper bound can be obtained by simulating the classic algorithms of Micali-Vazirani and Gabow, our protocol is conceptually simple and avoids the intricacies of finding a maximal set of shortest augmenting paths; (2) a new $\widetilde{O}(n)$-bit protocol for negative-cycle detection and negative-weight single-source shortest paths. Our protocol simplifies that of Blikstad et al. by replacing a long chain of reductions with a more direct approach based on vertex potentials; (3) a combinatorial $\widetilde{O}(n)$-bit protocol for computing a maximum matching in bipartite graphs, obtained by reinterpreting the near-linear communication protocol of Blikstad et al. through a discretized analysis. Together, these results provide simpler protocols for several basic graph problems. We hope they will inspire further advances on the communication complexity of a wide range of graph problems.
arXiv:2607.05867v1 Announce Type: new
Abstract: Dynamic shaping of ultrasound into prescribed spatial patterns underlies a broad range of biomedical and engineering applications. However, existing modulation strategies face fundamental limitations: single element transducers paired with acoustic lenses lack reconfigurability, whereas phased arrays require large numbers of independently driven elements, leading to substantial hardware complexity, cost, and rigidity. Here we introduce a microfluidic ultrasound lens system that enables reconfigurable spatial modulation of ultrasonic fields using two orthogonal layers of soft microfluidic channels. Each channel is selectively filled with one of two liquids with distinct sound speeds via an FPGA controlled array of micropumps, generating programmable binary phase patterns. Integrating a 20-row-by-20-column microfluidic lens with a single element transducer, we demonstrate three-dimensional ultrasound focusing with approximately one second reconfiguration time and spatial resolution comparable to that of a 400-element transducer array. The system provides 400 addressable pixels through parallel control of 80 pumps, allowing hardware complexity to scale with the square root of the pixel count. Building on this platform, we demonstrate dynamic ultrasound heating, as well as remote particle manipulation. Furthermore, we demonstrate a cylindrical lens that manipulates ultrasound propagation in the azimuthal direction. Owing to its liquid based, soft architecture, the microfluidic lens offers design flexibility, scalable operation across ultrasound frequencies, low acoustic transmission loss, and stable performance under high acoustic power. Together, these results establish microfluidic phase modulation as a compact, scalable, and flexible approach for dynamic ultrasound field control.
arXiv:2607.05877v1 Announce Type: new
Abstract: The concept of Digital Twin (DT) consists of a physical asset, a digital asset, and their bidirectional data exchange, differing the DT from concepts with lower level of integration. Availability of the bidirectional interconnection not only enables monitoring of system states but also allows automated control of the system. Leveraging the DT concept, this paper presents a practical implementation of an electric drive DT by means of a permanent magnet synchronous machine (PMSM) in a test lab environment. The approach aims to virtually sense the disturbance variable, here the acting load torque. By integrating an observer controller into the PMSM control loop, the DT enables compensation of the disturbance variable, which is not measurable in many applications. The results of the DT implementation recorded on the test bench demonstrate an effective disturbance compensation of the acting load torque by the observer controller. However, the results still show a deviation between the observed and measured load torques, indicating room for further refinement. This work serves as a first step towards further practical applications of the DT in the electric drive testing environment.
arXiv:2607.05895v1 Announce Type: new
Abstract: Matrix optimizers such as Muon are attractive for large-scale training because they can improve convergence and token efficiency over coordinate-wise optimizers. Muon does this by orthogonalizing momentum-smoothed matrix updates with Newton-Schulz, producing spectrum-balanced updates that require the complete 2D matrix as input. This exposes a systems mismatch: FSDP/ZeRO-3 saves memory by making the optimizer see shards, not whole matrices. Existing systems therefore either reconstruct matrices at every optimizer step, paying weight-sized communication after backward, or make the update local by using ZeRO-1 owner placement with full parameters resident. MatrixFSDP takes a third path: it changes where ZeRO-3 shards live, not the optimizer being computed. For each 2D weight, one data-parallel rank owns the whole matrix and the other ranks hold empty shards; non-matrix tensors are packed into tail owners and stay on AdamW. The ordinary backward reduction then lands the full Muon input on the owner, so Newton-Schulz runs locally with no optimizer-step matrix collective. Forward and backward still materialize and reshard parameters; the runtime challenge is to make that uneven layout efficient and correct. MatrixFSDP does so with MatrixShard metadata, a balance-aware owner planner, deterministic owner-segment P2P collectives, owner-buffer pinning, and owner-shard checkpoint resharding. The resulting update matches full-matrix Muon while preserving ZeRO-3-scale memory: on 64 A100s, MatrixFSDP reduces optimizer-step latency over stock FSDP2-Muon by 4.2x on one node and 54.6x on eight nodes, reaches up to 2.15x end-to-end speedup, and runs model sizes where ZeRO-1 owner placement exceeds an 80 GB GPU.
arXiv:2607.05911v1 Announce Type: new
Abstract: Compositional Zero-Shot Learning (CZSL) aims to combine known attributes and objects as primitives for recognizing previously unseen attribute-object pairs. Prior works either predict attributes and objects independently, missing their strong contextual dependency, or use unidirectional conditional modeling (e.g., object-guided attribute prediction), which is prone to error propagation. We propose PRPC, a Progressive Reasoning framework with Primitive Correction, which explicitly models the bidirectional dependency between attributes and objects via step-wise inference. PRPC performs mutual correction of primitives to suppress prediction errors in earlier steps. Specifically, we formulate CZSL as structured, Q&A-style Chain-of-Thought reasoning process and constrain the MLLM to follow predefined semantic steps to generate intermediate decisions. To further enhance the reliability and logical consistency of intermediate reasoning, we introduce reinforcement learning post-training with a GRPO-based objective, providing step-level rewards aligned with the progressive inference procedure. Extensive experiments on three CZSL benchmarks demonstrate that PRPC achieves state-of-the-art performance, validating the effectiveness of progressive reasoning and bidirectional correction for robust compositional generalization.
arXiv:2607.06029v1 Announce Type: new
Abstract: We introduce Chunky Chains, a graph drawing style designed for small screens such as smartphones, where vertical scrolling is the dominant means of interaction. A Chunky Chain consists of a vertical chain of chord diagrams, called buckets. Vertices are placed as circular arcs on bucket boundaries, and edges are drawn inside a bucket or through gate nodes connecting consecutive buckets. Since every bucket contains only a bounded number of vertices, the drawing has bounded width. The combinatorial core is the choice of a bucket arrangement. Given a capacity $c$, the vertices are partitioned into an ordered set of buckets, each of size at most $c$. Edges whose endpoints lie in the same or in adjacent buckets are short. Edges that are "skipping" at least one bucket are long, and we draw them only partially. The goal is to minimize the number of long edges.
We present a combinatorial framework for producing high quality Chunky Chains and analyze the complexity of its steps. We develop exact and heuristic algorithms, and experimentally evaluate their effectiveness. Our experiments show that many real-world graphs have good Chunky Chain visualizations. In a case study, we discuss Chunky Chains for graphs with certain temporal features.
arXiv:2607.05837v1 Announce Type: new
Abstract: Defocus blur degrades fine image structures and limits visual perception, which can adversely affect downstream vision tasks. Although recent deep learning deblurring methods have achieved strong performance, their effectiveness depends on training data and often degrades across cameras and lenses due to limited optical diversity and realism in existing datasets. In this paper, we propose a pipeline for synthesizing realistic defocus deblurring datasets for diverse compound lenses. It integrates efficient wave-optics PSF computation via Debye CZT propagation, depth-aware defocus rendering with occlusion handling, and blur synthesis in the radiometrically linear space with camera ISP simulation. This unified pipeline enables the scalable generation of photorealistic defocus datasets with diverse lens characteristics. Using our pipeline, we generate CLDefocus, a large-scale synthetic dataset containing lens-diverse defocus image pairs. We further analyze the limitations of real-captured defocus datasets and show that such imperfections can bias full-reference evaluation. Extensive experiments demonstrate that models trained on CLDefocus achieve improved cross-device generalization compared to models trained on existing real and synthetic datasets.
arXiv:2607.05883v1 Announce Type: new
Abstract: In dual-arm dexterous teleoperation, cross-platform generalization of motion retargeting and interactivity of grasping are crucial. However, the heterogeneity of robotic architectures and the wide variety of grasping objects pose significant challenges to achieving precise motion retargeting and compliant grasping in dual-arm dexterous teleoperation. To address these challenges, a dual-arm dexterous teleoperation system (DexTele) is proposed based on motion retargeting and adaptive force control. First, a vision-based motion retargeting module is designed to generate preliminary robot motions from human images. In this module, a motion-graph encoder and latent optimization are proposed for precise and convenient cross-platform motion retargeting. Second, an adaptive grasping module is designed to achieve compliant grasping. This module combines a vision-language model (VLM) with model predictive control (MPC), allowing the system to predict the required grasping force for a target object and perform gradient-based online optimization. Finally, extensive experiments demonstrate that the DexTele achieves precise motion retargeting and compliant grasping with generalization across multiple robot platforms.
arXiv:2607.06043v1 Announce Type: new
Abstract: Several programs for marginalized young people have been intentionally designed to increase the diversity in STEM careers; however, the participation of racially and ethnically minoritized individuals continued to be underrepresented in STEM disciplines. Using discipline-based STEM identity theories and drawing data from an NSF-funded survey of 1,134 participants, these regression analyses examine the impact of prior educational experiences on STEM identity (i.e., seeing oneself as a STEM person) and career aspirations among individuals attending Minority Serving Institutions (MSIs). The study's findings indicate that although positive reinforcement positively correlates with the STEM identity construct, the efforts are not always supportive enough to predict STEM career aspirations for minoritized individuals. It underscores the importance of explicitly designing appropriate interventions to support STEM identity formation and STEM career pursuit.
arXiv:2607.06085v1 Announce Type: new
Abstract: The multiobjective optimization of electric machines always involves a trade-off caused by various competing objectives such as performance and cost. A suitable design is usually determined by comparing variants from the Pareto front, which has been generated by a large number of simulation runs. This paper addresses the efficient generation of the Pareto front using a continuation method based on a homotopy method that exploits second-order derivative information to achieve superlinear convergence, enabling the fast generation of new Pareto-optimal points within only a few iterations. A key contribution is the derivation of formulas to compute the Hessian with respect to geometry parameters and shape, thus enabling direct modifications of the motor geometry in the context of Isogeometric Analysis. We apply our method to nonlinear 2D magnetostatic simulations of a permanent magnet synchronous motor and demonstrate its effectiveness by optimizing the cost, mean torque and torque ripple of the motor. Compared to a first-order optimization method, this approach reduces the number of iterations and function evaluations needed, making the pareto optimization fast and efficient.
arXiv:2607.06101v1 Announce Type: new
Abstract: AI coding agents are rapidly reshaping how software is built, with developers increasingly delegating substantial coding tasks to autonomous agents in pursuit of higher productivity. While these gains are real, they come at the cost of incidental learning. Developers historically acquired informal knowledge through effortful problem-solving, and this has long shaped how software engineering expertise develops. However, with over-reliance on agentic coding, unpracticed skills could atrophy silently over time. As this learning pathway is short-circuited, developers risk silently accruing Knowledge Debt, a developer-level analogue of Technical Debt, where changes the agent executes that the developer cannot fully understand accrue over time. In this paper, we argue that incidental learning will not re-emerge on its own and must be consciously designed back into developer-agent interactions, and propose six design principles to guide such systems. We then present "SHIELD", a multi-agent system grounded in the notion of "agents that teach", that operationalizes these principles by leveraging the AI coding agent's own reasoning to surface contextual, out-of-band learning moments without disrupting developer flow. Through this work, we envision a path toward learning-aware development environments where productivity and learning are complementary, not competing.
arXiv:2607.06103v1 Announce Type: new
Abstract: Efficient decentralized resource allocation remains a fundamental challenge in NR-V2X sidelink communications, where conventional Semi-Persistent Scheduling (SPS) and Dynamic Scheduling (DS) suffer from persistent collisions and limited adaptability under dynamic and dense conditions. This paper proposes Repeated Contention Scheduling (RCS), a novel resource allocation algorithm based on multi-round, feedback-driven contention that eliminates long-term reservations and enables fully distributed operation. Simulations demonstrate that RCS outperforms SPS and DS in terms of success probability, collision and loss reduction, and timeliness metrics such as Packet Inter-Reception Delay and Age of Information, particularly under high load. The practical feasibility of the approach is validated through an SDR-based experimental testbed, which confirms robust operation under realistic hardware impairments and closely matches theoretical and simulation results. These findings establish RCS as a viable and scalable solution for resource allocation in 5G NR sidelink and a promising candidate for future 6G vehicular communication systems.
arXiv:2607.05397v1 Announce Type: new
Abstract: Agent systems increasingly execute rather than advise. When an AI agent queries regulated data, invokes effectful tools, and mutates persistent state, correctness is not captured by whether a terminal output looks plausible. The operative questions are whether each step was authorized under a contract, whether the recorded history is tamper-evident, and whether the trajectory can be reconstructed deterministically. We formalize this as runtime proof of execution. An execution is a triple $x = (C, T, R)$: a contract $C$, an Execution Causal Event Stream (ECES) $T$, and a replay context $R$. A well-formedness predicate and five validator-checkable invariants form the PoE validity predicate. Five semantic guarantees describe authorization, path compliance, null effect on deny, history integrity, and replayability. We prove soundness under explicit cryptographic and deployment assumptions: any PPT adversary that produces a PoE-valid execution violating a semantic guarantee yields a signature forgery, a hash collision, or a quantified deployment-failure event. The Prime Execution Model (PEM) separates planning, enforcement, effect, and recordkeeping into distinct authority planes; a lemma reduces trace completeness to Effector-exclusive credentialing. An Execution Attestation Certificate is issued only when PoE = 1. In a single-node TypeScript prototype, PoE adds approximately 2.7 ms on a minimal flow and 4.4% overhead on concurrent batch workloads; a standard eight-event trace compresses to approximately 1.1 KB; injected Gateway-bypass and trace-mutation attacks are rejected. PoE does not replace consensus, TEEs, or zkVMs; it binds authorization, effect, history, and replay into a single runtime-checkable object so that governed execution becomes attestable under contract.
arXiv:2607.06197v1 Announce Type: new
Abstract: A threshold system completes a public task only after $\kappa$ verifiable shares are publicly committed. If the honest schedule creates \(
\Nstar=\kappa+\Delta \) share opportunities by deadline $t^\star$, then $\Delta$ shares are slack such that a coalition delays completion if and only if it withholds at least $\Delta+1$ shares. The incentive problem is therefore to price the cheapest sabotage set. Agents receive a direct fee $f$ per committed share. A delaying coalition may also obtain delay value at most $L$, and may earn additional fee revenue during recovery after the deadline. Let $R_1^+$ be a pathwise upper bound on the coalition's incremental fee revenue in a recovery slot that completes the task, including any same-slot overshoot. The principal can post a nonnegative completion bounty that depends only on committed shares, uses no deposits or punishments, and expires if completion is late. The optimal rule is uniform, as if completion occurs by $t^\star$, every admissible horizon share receives $B/\Nstar$, otherwise no bounty is paid. Full participation is ex-post strongly delay proof exactly when \(
(\Delta+1)f+\frac{\Delta+1}{\Nstar}B
\ge
L+R_1^+ . \) Equivalently, the exact worst-case budget is \(
B^\star
=
\frac{\Nstar}{\Delta+1}
\bigl(L+R_1^+-(\Delta+1)f\bigr)^+ . \) The bound is tight for every nonnegative completion measurable bounty, among the $\Nstar$ horizon shares, some $\Delta+1$ receive total bounty at most $(\Delta+1)B/\Nstar$, and withholding precisely those shares delays completion. The result applies to threshold signatures, data availability certification, coded dissemination, and generic $k$-of-$n$ completion tasks. We also isolate a separate limit, no transfer rule based only on completed shares can remove a final slot race in which a coalition has already observed enough pre-completion shares to act.
arXiv:2607.06211v1 Announce Type: new
Abstract: We analyze a balls-and-bins game against an adaptive adversary that sequentially deletes bins. Starting with $n$ balls distributed across $n$ bins, the adversary deletes a bin in each step, forcing the algorithm to redistribute its balls to surviving bins. We prove that after $n/2$ rounds, uniform random redistribution yields optimal $O(n)$ recourse and $O(\frac{\log n}{\log \log n})$ maximum load. Furthermore, we show that applying the ``power of two choices'' reduces the maximum load to $O(\log \log n)$ while maintaining linear recourse.
We also consider a variation of this game where the balls from the deleted bin are partitioned evenly among $d \ll n$ random bins rather than being redistributed independently. We demonstrate that keeping the balls together ($d=1$), which gives small maximum load and recourse against an oblivious adversary, fails against an adaptive adversary. Nevertheless, we show that splitting the balls into just two groups ($d=2$) is sufficient to recover linear recourse and efficient load balancing in the adaptive setting.
arXiv:2607.05473v1 Announce Type: new
Abstract: According to commonly consented theories, the minimum hardware requirement for gaze tracker is one camera and two light sources to realize gaze estimation with free head movements. However, in some scenarios such as eye tracking on mobile devices, it is preferable to use less components, especially light sources. We propose a gaze estimation method with one camera and one light source. A "virtual light source" is introduced, which is geometrically placed symmetrically to the real light source with respect to the camera, and generates a "virtual glint" in the acquired image. We estimate the "virtual glint" by exploiting the relationship between the distance between two pupils and two glints in the captured image, and estimate the gaze with polynomial regression assuming two light sources are available. A new normalization factor for regression method is verified, which turns out to be practical for one-glint system. The performance is proved to be acceptable, while degradation is noticed compared to system with two actual light sources.
arXiv:2607.06225v1 Announce Type: new
Abstract: Many bioinformatics algorithms, such as sequence alignment and structure prediction, can be expressed as recurrence equations over a dynamic programming matrix. Efficient implementations of these algorithms for large-scale biological data often require changing the order in which matrix cells are calculated and pruning ineffectual regions of the matrix from consideration altogether, but these techniques typically complicate implementation. We introduce FILTR, a domain-specific language (DSL) and compiler framework for bioinformatics recurrences. FILTR keeps the core recurrence rules separate from the pruning and scheduling strategies, where pruning acts as an approximation to limit where in the DP matrix cells are computed, and scheduling determines the iteration order for how cells are explored. FILTR compiles these high-level descriptions into optimized C++ code that matches the performance of hand-tuned implementations while enabling rapid exploration of new heuristics. FILTR is competitive with hand-optimized sequence-alignment libraries, ranging from 0.95x to 30x faster across biological benchmarks.
arXiv:2607.06234v1 Announce Type: new
Abstract: Generating CT volumes from MRI and CBCT can improve treatment planning in adaptive radiotherapy while avoiding additional radiation exposure. However, direct regression of CT intensities is challenged by the inherently high dynamic range and long-tailed distributions, thereby averaging out sparse yet clinically important structures. To alleviate this issue, we reformulate the regression target into multiple windowed representations, leveraging the inductive prior that CT intensities are structure-deterministic and window-separable. These windowed views exhibit smoother distributions and admit structured fusion back to the full-range CT. Building on this reformulation, we introduce WING, a WINdow-prior-based Generative network comprising: 1) a new Gated Inception Generator to produce multi-window predictions, enabling multi-shape kernel interactions to capture cross-modality correspondence; 2) a Fuse-and-Refine Transformer to aggregate the windowed outputs and learn residuals for detail refinement; and 3) a joint adversarial training objective to enhance window-conditioned realism. Extensive experiments demonstrate that our compact WING achieves state-of-the-art performance on the MRI-to-CT and CBCT-to-CT benchmarks, while supporting multi-anatomy synthesis with a single model.