Peng Fu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Towards an induction principle for nested data types	2024-02-28	Paper
Mass concentration phenomenon in the 3D bipolar compressible Navier-Stokes-Poisson system	2024-02-21	Paper
Some results on four-manifolds with nonnegative biorthogonal curvature	2024-01-10	Paper
The global solvability of the non-conservative viscous compressible two-fluid model with capillarity effects for some large initial data	2023-06-19	Paper
The global solvability of the Cauchy problem for a multi-dimensional chemotaxis-Navier–Stokes system modeling coral fertilization	2023-03-17	Paper
Linear Dependent Type Theory for Quantum Programming Languages	2022-10-06	Paper
Global well-posedness and analyticity for the three-dimensional incompressible nematic liquid crystal flows in scaling invariant spaces	2022-08-24	Paper
A blowup criterion of the nonhomogeneous incompressible asymmetric fluids in weak \(L^p\)-spaces	2022-08-02	Paper
On the Lambek embedding and the category of product-preserving presheaves	2022-05-12	Paper
A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting	2022-04-27	Paper
Proto-Quipper with dynamic lifting	2022-04-27	Paper
Estimating the nonlinear effects of an ecological system driven by Ornstein-Uhlenbeck noise	2022-04-01	Paper
Global well-posedness of 3-D nonhomogeneous incompressible MHD equations with bounded nonnegative density	2022-03-23	Paper
The global solvability of 3-d inhomogeneous viscous incompressible magnetohydrodynamic equations with bounded density	2021-11-12	Paper
A tutorial introduction to quantum circuit programming in dependently typed proto-quipper	2021-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q5854731	2021-03-17	Paper
Linear Dependent Type Theory for Quantum Programming Languages	2021-01-21	Paper
Design and analysis of \textit{SEIQR} worm propagation model in mobile internet	2020-10-07	Paper
Multi-layer graph constraints for interactive image segmentation via game theory	2019-05-27	Paper
Efficiency of lambda-encodings in total type theory	2017-10-23	Paper
Operational semantics of resolution and productivity in Horn clause logic	2017-06-01	Paper
Proof Relevant Corecursive Resolution	2016-04-04	Paper
A Type-Theoretic Approach to Resolution	2016-02-05	Paper
Self Types for Dependently Typed Lambda Encodings	2014-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q3570893	2010-07-08	Paper
Fourier regularization method for solving the surface heat flux from interior observations	2006-02-16	Paper
Optimal Tikhonov approximation for a sideways parabolic equation	2005-12-07	Paper
Advances in Neural Networks – ISNN 2005	2005-11-23	Paper
Advances in Neural Networks – ISNN 2005	2005-11-23	Paper
Two regularization methods and the order optimal error estimates for a sideways parabolic equation	2005-08-05	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: Peng Fu