Blog
Explicit Ensemble Mean Clock Synchronization for Optimal Atomic Time Scale Generation
This paper presents a novel theoretical framework for atomic time scale generation, called explicit ensemble mean synchronization, which unifies clock synchronization and time scale generation within a control-theoretic paradigm. By exploiting an observable canonical decomposition of a standard atomic clock ensemble model,...
RiskNet: Interaction-Aware Risk Forecasting for Autonomous Driving in Long-Tail Scenarios
Ensuring the safety of autonomous vehicles (AVs) in long-tail scenarios remains a critical challenge, particularly under high uncertainty and complex multi-agent interactions. To address this, we propose RiskNet, an interaction-aware risk forecasting framework, which integrates deterministic risk modeling with probabilistic behavior prediction...
VLM-based Prompts as the Optimal Assistant for Unpaired Histopathology Virtual Staining
In histopathology, tissue sections are typically stained using common H&E staining or special stains (BUT, NOT, BAND, etc.) to clearly visualize specific tissue structures. The rapid advancement of deep learning offers an effective solution for generating virtually stained images, significantly reducing the...
Do It For Me vs. Do It With Me: Investigating User Perceptions of Different Paradigms of Automation in Copilots for Feature-Rich Software
Large Language Model (LLM)-based in-application assistants, or copilots, can automate software tasks, but users often prefer learning by doing, raising questions about the optimal level of automation for an effective user experience. We investigated two automation paradigms by designing and implementing a...
Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
Formal verification of software and compilers has been used to rule out large classes of security-critical issues, but risk of unintentional information leakage has received much less consideration. It is a key requirement for formal specifications to leave some details of a...
Optimal Procurement Design: A Reduced Form Approach
Standard procurement models assume that the buyer knows the quality of the good at the time of procurement; however, in many settings, the quality is learned only long after the transaction. We study procurement problems in which the buyer’s valuation of the...
Dynamical mean-field analysis of adaptive Langevin diffusions: Propagation-of-chaos and convergence of the linear response
Motivated by an application to empirical Bayes learning in high-dimensional regression, we study a class of Langevin diffusions in a system with random disorder, where the drift coefficient is driven by a parameter that continuously adapts to the empirical distribution of the...
Dynamical mean-field analysis of adaptive Langevin diffusions: Replica-symmetric fixed point and empirical Bayes
In many applications of statistical estimation via sampling, one may wish to sample from a high-dimensional target distribution that is adaptively evolving to the samples already seen. We study an example of such dynamics, given by a Langevin diffusion for posterior sampling...
High-sensitivity and high-resolution collaborative determination of birefringence coefficient using weak measurement
We present a high-sensitivity and high-resolution birefringence coefficient determination system for nm-level membrane films based on weak measurement, addressing the sensitivity-resolution trade-off. A tunable bandwidth light source is exploited to achieve complementary momentum (P-pointer) and intensity (I-pointer) measurements,enabling calibration-free operation across various...
Global Solutions for 5D Quadratic Fourth-Order Schrödinger Equations
We prove small data scattering for the fourth-order Schr\”odinger equation with quadratic nonlinearity \begin{equation*} i\partial_t u+\Delta^2 u+\alpha u^2 + \beta \bar{u}^2=0\qquad\text{in }\mathbb{R}^5 \end{equation*} for $\alpha, \beta \in \mathbb{R}$. We extend the space-time resonance method, originally introduced by Germain, Masmoudi, and Shatah, to...