1 citations · 1 across the 9 of their papers we have counts for
10 papers
An Extensible and Verifiable Language for Query Rewrite Rules
Sicheng Pan, Shuxian Wang, Wesley Zheng +3
Logical query plan rewriting transforms a relational database query into an equivalent but more efficient form and is crucial to the performance of database-backed applications. In…
FrontierCS: Evolving Challenges for Evolving Intelligence
Qiuyang Mang, Wenhao Chai, Zhifei Li +48
We introduce FrontierCS, a benchmark of 156 open-ended problems across diverse areas of computer science, designed and reviewed by experts, including CS PhDs and top-tier competiti…
Global dissipative solutions of the 3D Naiver-Stokes and MHD equations
Alexey Cheskidov, Zirong Zeng, Deng Zhang
For any divergence free initial data in , we prove the existence of infinitely many dissipative solutions to both the 3D Navier-Stokes and MHD equations, whose energy pr…
Non-Leray-Hopf solutions to 3D stochastic hyper-viscous Navier-stokes equations: beyond the Lions exponents
Wenping Cao, Zirong Zeng, Deng Zhang
We consider the 3D stochastic Navier-Stokes equations (NSE) on torus where the viscosity exponent can be larger than the Lions exponent 5/4. For arbitrarily prescribed divergence-f…
Existence and non-uniqueness of weak solutions with continuous energy to the 3D deterministic and stochastic Navier-Stokes equations
Alexey Cheskidov, Zirong Zeng, Deng Zhang
The continuity of the kinetic energy is an important property of incompressible viscous fluid flows. We show that for any prescribed finite energy divergence-free initial data ther…
Non-uniqueness for the hypo-viscous compressible Navier-Stokes equations
Yachun Li, Peng Qu, Zirong Zeng +1
We study the Cauchy problem for the isentropic hypo-viscous compressible Navier-Stokes equations (CNS) under general pressure laws in all dimensions . For all hypo-viscosi…
Sharp non-uniqueness of weak solutions to 3D magnetohydrodynamic equations
Yachun Li, Zirong Zeng, Deng Zhang
We prove the non-uniqueness of weak solutions to 3D hyper viscous and resistive MHD in the class , where the exponents lie in two supercritical regimes. T…
Sharp non-uniqueness for the 3D hyperdissipative Navier-Stokes equations: above the Lions exponent
Yachun Li, Peng Qu, Zirong Zeng +1
We study the 3D hyperdissipative Navier-Stokes equations on the torus, where the viscosity exponent can be larger than the Lions exponent . It is well-known that, due to L…
A Boundary Value Problem for a Class of Anisotropic Stochastic Degenerate Parabolic-Hyperbolic Equations
Hermano Frid, Yachun Li, Daniel Marroquin +2
We establish the well-posedness of an initial-boundary value problem of mixed type for a stochastic nonlinear parabolic-hyperbolic equation on a space domain $\cO=\cO'\X\cO''$ wher…
The Strong Trace Property and the Neumann Problem for Stochastic Conservation Laws
Hermano Frid, Yachun Li, Daniel Marroquin +2
We establish the well-posedness of the Neumann problem for stochastic conservation laws with multiplicative noise. As a major step for establishing the uniqueness of the kinetic so…