An analysis was conducted of broadband sound pulses received by a vertical array in Lake Kinneret (Israel). For most frequencies within the pulse frequency bands, the array is sparse. The application ...
When large AI models are deployed as cloud-based services, clients have no guarantee that responses are correct or were produced by the intended model. Rerunning inference locally is infeasible for la...
Agent-based models (ABMs) are widely used to estimate causal treatment effects via paired counterfactual simulation. A standard variance reduction technique is common random numbers (CRNs), which coup...
A method for calibrating a monopole sound source in a water tank with reflective side walls and bottom is considered. The idea of the method is based on the phenomenon of anomalous transparency of the...
AI systems coupled to proof assistants now generate formal mathematics at scale, and the gap between what a checker can verify and what a mathematician would value has become the binding constraint. W...
Ultrasound imaging is an essential first-line tool for assessing hepatic steatosis. While conventional B-mode ultrasound imaging has limitations in providing detailed tissue characterization, ultrasou...
Bayesian inference in hidden Markov models (HMMs) can be challenging due to the presence of multimodality in the likelihood function, and consequently in the joint posterior distribution, even after c...
In the early stages of development, Drosophila melanogaster embryos possess very fast and well-coordinated cell cycles. In the cell cycle, CDK activity is essentially regulated by binding CDK and CycB...
This paper introduces a physics-informed generative framework that resolves the fundamental conflict between the statistical flexibility of deep learning and the rigorous theoretical constraints of fi...
The medium of exchange of the traditional economy is mainly the fiat currency of each country or region, and when cross-border transactions occur, they need to be settled according to the exchange rat...
Average treatment effects (ATE) and conditional average treatment effects (CATE) are foundational causal estimands, but they target changes in expected outcomes and can miss treatment-induced changes ...
Passive ranging of sound sources in deep water has attracted considerable attention. This paper presents a passive ranging method using vertical double hydrophones, which estimates the range of near-s...
Motivated by applications to property testing in the online-erasure model of Kalemaj, Raskhodnikova, and Varma (ITCS 2022 and Theory of Computing 2023), we define and analyze {\em semi-sample-based te...
Quantifying the detection efficiency of buoy-based sonar and optimizing deployment strategies in complex marine environments remain significant challenges. This study proposes a transceiver depth opti...
Quantifying the ocean soundscape is crucial for ocean-based seismoacoustic monitoring; it sets a baseline for the kinds and sizes of signals that can be detected above the background noise. As sea ice...
Audio-Visual Intelligence (AVI) has emerged as a central frontier in artificial intelligence, bridging auditory and visual modalities to enable machines that can perceive, generate, and interact in th...
During the spring of 2021, a coordinated multi-vessel effort was organized to study physical oceanography, marine geology and biology, and acoustics on the northeast United States continental shelf, a...
Current automated pipelines for audio-visual Question Answering (QA) generally adopt a ``video-caption-QA'' paradigm. However, these methods typically segment videos into short clips and generate sepa...
Aligning large language models (LLMs) with human preferences in federated learning (FL) is challenging due to decentralized, privacy-sensitive, and highly non-IID preference data. Direct Preference Op...
Persistent memory for an LLM agent is a write-heavy substrate: every belief update is a versioned write, and a new claim may contradict a stored one. Production systems use four resolution heuristics ...
🌊
