Yiyun Chen

Orcid: 0009-0004-4918-8179

According to our database1, Yiyun Chen authored at least 64 papers between 1990 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Efficient Automatic Composite-Modulation Classifier Using Cyclic-Paw-Print Features.
IEEE Commun. Lett., March, 2024

2023
Automatic Crop Classification Based on Optimized Spectral and Textural Indexes Considering Spatial Heterogeneity.
Remote. Sens., December, 2023

The Spatial Effect of Accessibility to Public Service Facilities on Housing Prices: Highlighting the Housing Equity.
ISPRS Int. J. Geo Inf., June, 2023

Blind JPEG Compression Artifacts Removal by Integrating Channel Regulation With Exit Strategy.
IEEE Trans. Multim., 2023

Robust Bluetooth RF-Fingerprint Identifier Using Wavelet Scattering Network.
Proceedings of the IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2023

2022
Comparing Two Different Development Methods of External Parameter Orthogonalization for Estimating Organic Carbon from Field-Moist Intact Soils by Reflectance Spectroscopy.
Remote. Sens., 2022

Mapping Soil Organic Carbon in Low-Relief Farmlands Based on Stratified Heterogeneous Relationship.
Remote. Sens., 2022

Multi-Crop Classification Using Feature Selection-Coupled Machine Learning Classifiers Based on Spectral, Textural and Environmental Features.
Remote. Sens., 2022

2021
NTIRE 2021 Challenge on Quality Enhancement of Compressed Video: Methods and Results.
CoRR, 2021

Gaussian Mixture Distribution Makes Data Uncertainty Learning Better.
Proceedings of the 16th IEEE International Conference on Automatic Face and Gesture Recognition, 2021

2020
Repaid Identification and Prediction of Cadmium-Lead Cross-Stress of Different Stress Levels in Rice Canopy Based on Visible and Near-Infrared Spectroscopy.
Remote. Sens., 2020

Estimation of Organic Carbon in Anthropogenic Soil by VIS-NIR Spectroscopy: Effect of Variable Selection.
Remote. Sens., 2020

Use of Visible and Near-Infrared Reflectance Spectroscopy Models to Determine Soil Erodibility Factor (K) in an Ecologically Restored Watershed.
Remote. Sens., 2020

Multi-Structure Joint Decision-Making Approach for Land Use Classification of High-Resolution Remote Sensing Images Based on CNNs.
IEEE Access, 2020

Lightweight Single Image Super-Resolution Through Efficient Second-Order Attention Spindle Network.
Proceedings of the IEEE International Conference on Multimedia and Expo, 2020

2019
Decentralized Precoding for Cache-Enabled Ultra-Dense Radio Access Networks.
IEEE Wirel. Commun. Lett., 2019

Robust Multigroup Multicast Beamforming Design for Backhaul-Limited Cloud Radio Access Network.
IEEE Signal Process. Lett., 2019

Monitoring Land Subsidence in Wuhan City (China) using the SBAS-InSAR Method with Radarsat-2 Imagery Data.
Sensors, 2019

Prediction of Soil Organic Carbon based on Landsat 8 Monthly NDVI Data for the Jianghan Plain in Hubei Province, China.
Remote. Sens., 2019

The Influence of Spectral Pretreatment on the Selection of Representative Calibration Samples for Soil Organic Matter Estimation Using Vis-NIR Reflectance Spectroscopy.
Remote. Sens., 2019

Exploring the Influence of Spatial Resolution on the Digital Mapping of Soil Organic Carbon by Airborne Hyperspectral VNIR Imaging.
Remote. Sens., 2019

Deciphering Brain Complexity Using Single-cell Sequencing.
Genom. Proteom. Bioinform., 2019

2018
Application of Spectrally Derived Soil Type as Ancillary Data to Improve the Estimation of Soil Organic Carbon by Using the Chinese Soil Vis-NIR Spectral Library.
Remote. Sens., 2018

Prediction of Soil Organic Matter by VIS-NIR Spectroscopy Using Normalized Soil Moisture Index as a Proxy of Soil Moisture.
Remote. Sens., 2018

Combining Fractional Order Derivative and Spectral Variable Selection for Organic Matter Estimation of Homogeneous Soil Samples by VIS-NIR Spectroscopy.
Remote. Sens., 2018

Exploring the Sensitivity of Sampling Density in Digital Mapping of Soil Organic Carbon and Its Application in Soil Sampling.
Remote. Sens., 2018

2017
Spectroscopic Diagnosis of Arsenic Contamination in Agricultural Soils.
Sensors, 2017

Construction of the Calibration Set through Multivariate Analysis in Visible and Near-Infrared Prediction Model for Estimating Soil Organic Matter.
Remote. Sens., 2017

Improving Spectral Estimation of Soil Organic Carbon Content through Semi-Supervised Regression.
Remote. Sens., 2017

An Improved Density-Based Time Series Clustering Method Based on Image Resampling: A Case Study of Surface Deformation Pattern Analysis.
ISPRS Int. J. Geo Inf., 2017

Exploring the Role of the Spatial Characteristics of Visible and Near-Infrared Reflectance in Predicting Soil Organic Carbon Density.
ISPRS Int. J. Geo Inf., 2017

2016
Estimating Soil Organic Carbon of Cropland Soil at Different Levels of Soil Moisture Using VIS-NIR Spectroscopy.
Remote. Sens., 2016

An Adaptive Density-Based Time Series Clustering Algorithm: A Case Study on Rainfall Patterns.
ISPRS Int. J. Geo Inf., 2016

Improving the prediction of arsenic contents in agricultural soils by combining the reflectance spectroscopy of soils and rice plants.
Int. J. Appl. Earth Obs. Geoinformation, 2016

The Review of Network Theory Applied to the Financial System.
Proceedings of the 15th Wuhan International Conference on E-Business, 2016

2014
Estimating Soil Organic Carbon Using VIS/NIR Spectroscopy with SVMR and SPA Methods.
Remote. Sens., 2014

Transferability of a Visible and Near-Infrared Model for Soil Organic Matter Estimation in Riparian Landscapes.
Remote. Sens., 2014

2013
A Shape Graph Logic and A Shape System.
J. Comput. Sci. Technol., 2013

2011
A Method to Generate Verification Condition Generator.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2010
Formal Reasoning About Lazy-STM Programs.
J. Comput. Sci. Technol., 2010

Certification of Thread Context Switching.
J. Comput. Sci. Technol., 2010

A Certifying Compiler for Clike Subset of C Language.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

2009
Certifying Concurrent Programs Using Transactional Memory.
J. Comput. Sci. Technol., 2009

Verification of an Incremental Garbage Collector in Hoare-Style Logic.
Int. J. Softw. Informatics, 2009

Design and realization of the cooperative work system based on equipments sharing.
Comput. Appl. Eng. Educ., 2009

The Logical Approach to Low-Level Stack Reasoning.
Proceedings of the TASE 2009, 2009

On the Verification of Strong Atomicity in Programs Using STM.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

2008
Automated verification of pointer programs in pointer logic.
Frontiers Comput. Sci. China, 2008

An Extension to Pointer Logic for Verification.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Implementation of Pointer Logic for Automated Verification.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

2007
Garbage Collector Verification for Proof-Carrying Code.
J. Comput. Sci. Technol., 2007

A pointer logic and certifying compiler.
Frontiers Comput. Sci. China, 2007

Foundational Typed Assembly Language with Certified Garbage Collection.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A Certified Thread Library for Multithreaded User Programs.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Design of a Certifying Compiler Supporting Proof of Program Safety.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006
Modularly Certified Dynamic Storage Allocation in SCAP.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Data-Layout Optimization Using Reuse Distance Distribution.
Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006

Applied Research on Logistics Grid Based on ASP.
Proceedings of The 1st IEEE Asia-Pacific Services Computing Conference, 2006

2002
Machine Code Type Safety.
Proceedings of the Formal Methods and Software Engineering, 2002

2001
Constraint-Preserving Architecture Transformations: A Graph Rewriting Approach.
J. Comput. Sci. Technol., 2001

1995
Head boundedness of nonterminating rewritings.
J. Comput. Sci. Technol., 1995

1993
Nonterminating rewritings with head boundedness.
J. Comput. Sci. Technol., 1993

1990
Testing Confluence of Nonterminating Rewriting Systems.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

Infinite Terms and Infinite Rewritings.
Proceedings of the Conditional and Typed Rewriting Systems, 1990


  Loading...