From the 1 of 4 linked papers with an AI index.
4 papers
A Unified Approach to Mixing and Regularity for Passive Scalar Transport by Sobolev Vector Fields
Lucas Huysmans, Ayman Rimah Said
The paper introduces a framework for quantitative estimates of passive scalar transport driven by Sobolev vector fields, providing new stability, mixing, regularity, and convergenc…
Generic small-scale creation in the two-dimensional Euler equation
Thomas Alazard, Ayman Rimah Said
The Cauchy problem for the two-dimensional incompressible Euler equation is globally well-posed for smooth initial data. In this paper, we show that for a dense set of initi…
Mixing Estimates for Passive Scalar Transport by Vector Fields
Lucas Huysmans, Ayman Rimah Said
We prove a quantitative mixing estimate for the Cauchy problem for transport along divergence-free vector fields with bounded variation. By developing a framework that quantifies A…
Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
Yile Gu, Ian Neal, Jiexiao Xu +7
Crash consistency is essential for applications that must persist data. Crash-consistency testing has been commonly applied to find crash-consistency bugs in applications. The cras…