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

This page was built for person: Peng Fu