Yong Cheng

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
On the relationships between some meta-mathematical properties of arithmetical theories	2024-11-15	Paper
Effective inseparability and some applications in meta-mathematics	2024-11-12	Paper
Tracking control for flexible joint robots based on adaptive fuzzy compensation with uncertain parameters	2024-04-30	Paper
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. An example based on Harrington's principle	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 \(\mathsf{Z}_3\) + 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
On Rosser theories	N/A	Paper
Some reflections on the relationship between logical incompleteness and concrete incompleteness	N/A	Paper

Research outcomes over time

This page was built for person: Yong Cheng