Ying Sheng

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Decay of the 3D Lüst model	2024-04-10	Paper
The existence theory of solution in Sobolev space for fractional differential equations	2024-01-02	Paper
Synthesizing external aggregated information in the presence of population heterogeneity: A penalized empirical likelihood approach	2023-10-30	Paper
Reasoning about vectors: satisfiability modulo a theory of sequences	2023-10-24	Paper
Combining stable infiniteness and (strong) politeness	2023-10-24	Paper
Reasoning about vectors using an SMT theory of sequences	2022-12-07	Paper
Politeness for the theory of algebraic datatypes	2022-11-09	Paper
Polite combination of algebraic datatypes	2022-10-24	Paper
Read-once refutations in Horn constraint systems: an algorithmic approach	2022-09-22	Paper
Superconvergence of the finite element method for the Stokes eigenvalue problem	2022-04-26	Paper
Politeness and stable infiniteness: stronger together	2021-12-01	Paper
The limit of mesoscopic one-way fluxes in a nonequilibrium chemical reaction with complex mechanism	2021-11-14	Paper
The study of solution in Sobolev space for the nonlinear differential equations with nonsmooth source term	2021-10-15	Paper
Censored linear regression in the presence or absence of auxiliary survival information	2021-07-09	Paper
The \(H^1\)-error analysis of the finite element method for solving the fractional diffusion equation	2020-10-28	Paper
Model-free feature screening for ultrahigh dimensional classification	2020-05-19	Paper
Conditional probability estimation based classification with class label missing at random	2020-02-05	Paper
Distribution-free Junta Testing	2019-08-22	Paper
Distribution-free Junta Testing	2019-03-28	Paper
Simultaneous variable selection and class fusion with penalized distance criterion based classifiers	2019-02-21	Paper
A stabilized finite volume method for the stationary Navier-Stokes equations	2017-05-12	Paper
Superconvergence and gradient recovery for a finite volume element method for solving convection‐diffusion equations	2014-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q3170867	2011-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q3403349	2010-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q3428421	2007-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q3420730	2007-02-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ying Sheng