Yong Cheng

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
There are no minimal effectively inseparable theories	2024-04-08	Paper
On the relationships between some meta-mathematical properties of arithmetical theories	2023-03-27	Paper
Research on vibration suppression and trajectory tracking control strategy of a flexible link manipulator	2022-12-21	Paper
Effective inseparability and some applications in meta-mathematics	2022-10-31	Paper
On the Depth of Gödel’s Incompleteness Theorems	2022-07-21	Paper
Temperature and size-dependent modeling for predicting mechanical properties of carbon nanotubes	2021-11-17	Paper
Finding the limit of incompleteness II	2021-10-23	Paper
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS	2021-09-17	Paper
FINDING THE LIMIT OF INCOMPLETENESS I	2021-04-21	Paper
On the depth of G\"{o}del's incompleteness theorem	2020-08-30	Paper
The Hypothesis and a supercompact cardinal	2020-04-29	Paper
Fully nonlinear investigation of focused wave slamming on a freely rotating flap	2020-01-20	Paper
Incompleteness for Higher-Order Arithmetic	2019-08-13	Paper
Direct time domain numerical analysis of transient behavior of a VLFS during unsteady external loads in wave condition	2019-02-14	Paper
G\"{o}del's incompleteness theorem and the Anti-Mechanist Argument: revisited	2019-02-14	Paper
Current effects on nonlinear wave slamming by an oscillating wave surge converter	2018-10-19	Paper
Joint Network Optimization and Downlink Beamforming for CoMP Transmissions Using Mixed Integer Conic Programming	2018-08-22	Paper
Joint Discrete Rate Adaptation and Downlink Beamforming Using Mixed Integer Conic Programming	2018-08-22	Paper
Wave-current entry of an asymmetric wedge in 3DOF free motions	2018-08-13	Paper
Distributive Network Utility Maximization Over Time-Varying Fading Channels	2018-07-18	Paper
Joint Optimization of Source Power Allocation and Distributed Relay Beamforming in Multiuser Peer-to-Peer Relay Networks	2018-07-18	Paper
Distributive Power Control Algorithm for Multicarrier Interference Network Over Time-Varying Fading Channels—Tracking Performance Analysis and Optimization	2018-07-09	Paper
Gain Enhancement of Printed Log-Periodic Dipole Array Antenna Using Director Cell	2017-10-27	Paper
Comments on "Image Denoising by Sparse 3-D Transform-Domain Collaborative Filtering	2017-10-19	Paper
Indestructibility properties of remarkable cardinals	2015-11-18	Paper
Forcing a set model of Z3 + Harrington's Principle	2015-09-22	Paper
The strong reflecting property and Harrington's Principle	2015-09-22	Paper
Large cardinals need not be large in HOD	2015-08-21	Paper
HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC	2015-08-14	Paper
Elasto-plastic analysis of critical fracture stress and fatigue fracture prediction	2014-11-14	Paper
A Comparison Study of Conditional Random Fields Toolkits	2010-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q3415251	2007-01-16	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: Yong Cheng