Peng Fu

From MaRDI portal
Person:815359

Available identifiers

zbMath Open fu.pengMaRDI QIDQ815359

List of research outcomes

PublicationDate of PublicationType
Towards an induction principle for nested data types2024-02-28Paper
Mass concentration phenomenon in the 3D bipolar compressible Navier-Stokes-Poisson system2024-02-21Paper
Some results on four-manifolds with nonnegative biorthogonal curvature2024-01-10Paper
The global solvability of the non-conservative viscous compressible two-fluid model with capillarity effects for some large initial data2023-06-19Paper
The global solvability of the Cauchy problem for a multi-dimensional chemotaxis-Navier–Stokes system modeling coral fertilization2023-03-17Paper
Linear Dependent Type Theory for Quantum Programming Languages2022-10-06Paper
Global well-posedness and analyticity for the three-dimensional incompressible nematic liquid crystal flows in scaling invariant spaces2022-08-24Paper
A blowup criterion of the nonhomogeneous incompressible asymmetric fluids in weak \(L^p\)-spaces2022-08-02Paper
Estimating the nonlinear effects of an ecological system driven by Ornstein-Uhlenbeck noise2022-04-01Paper
Global well-posedness of 3-D nonhomogeneous incompressible MHD equations with bounded nonnegative density2022-03-23Paper
The global solvability of 3-d inhomogeneous viscous incompressible magnetohydrodynamic equations with bounded density2021-11-12Paper
A tutorial introduction to quantum circuit programming in dependently typed proto-quipper2021-07-05Paper
https://portal.mardi4nfdi.de/entity/Q58547312021-03-17Paper
Linear Dependent Type Theory for Quantum Programming Languages2021-01-21Paper
Design and analysis of \textit{SEIQR} worm propagation model in mobile internet2020-10-07Paper
Multi-layer graph constraints for interactive image segmentation via game theory2019-05-27Paper
Efficiency of lambda-encodings in total type theory2017-10-23Paper
Operational semantics of resolution and productivity in Horn clause logic2017-06-01Paper
Proof Relevant Corecursive Resolution2016-04-04Paper
A Type-Theoretic Approach to Resolution2016-02-05Paper
Self Types for Dependently Typed Lambda Encodings2014-07-24Paper
https://portal.mardi4nfdi.de/entity/Q35708932010-07-08Paper
Fourier regularization method for solving the surface heat flux from interior observations2006-02-16Paper
Optimal Tikhonov approximation for a sideways parabolic equation2005-12-07Paper
Advances in Neural Networks – ISNN 20052005-11-23Paper
Advances in Neural Networks – ISNN 20052005-11-23Paper
Two regularization methods and the order optimal error estimates for a sideways parabolic equation2005-08-05Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Peng Fu