Search

In this paper, we establish the existence, uniqueness and stability results for the obstacle problem associated with a degenerate nonlinear diffusion equation perturbed by conservative gradient noise. Our approach revolves round introducing a new entropy formulation for stochastic variational inequalities. As a consequence, we obtain a novel well-posedness result for the obstacle problem of deterministic porous medium equations with nonlinear reaction terms., Comment: 36 pages

Motivated by porous medium equations with randomly perturbed velocity field, this paper considers a class of nonlinear degenerate diffusion equations with nonlinear conservative noise in bounded domains. The existence, uniqueness and $L_{1}$-stability of non-negative entropy solutions under the homogeneous Dirichlet boundary condition are proved. The approach combines Kruzhkov's doubling variables technique with a revised strong entropy condition that is automatically satisfied by the solutions of approximate equations., Comment: 36 pages

Data quantization is an effective method to accelerate neural network training and reduce power consumption. However, it is challenging to perform low-bit quantized training: the conventional equal-precision quantization will lead to either high accuracy loss or limited bit-width reduction, while existing mixed-precision methods offer high compression potential but failed to perform accurate and efficient bit-width assignment. In this work, we propose DYNASTY, a block-wise dynamic-precision neural network training framework. DYNASTY provides accurate data sensitivity information through fast online analytics, and maintains stable training convergence with an adaptive bit-width map generator. Network training experiments on CIFAR-100 and ImageNet dataset are carried out, and compared to 8-bit quantization baseline, DYNASTY brings up to $5.1\times$ speedup and $4.7\times$ energy consumption reduction with no accuracy drop and negligible hardware overhead., Comment: 7 pages, to be published in 28th Asia and South Pacific Design Automation Conference (ASP-DAC 2023)

We prove the existence and uniqueness of non-negative entropy solutions of the obstacle problem for stochastic porous media equations. The core of the method is to combine the entropy formulation with the penalization method., Comment: 37 pages