All Outputs (3)

An empirical analysis of agricultural and rural carbon emissions under the background of rural revitalization strategy–based on machine learning algorithm (2024)
Journal Article
Niu, X., Tian, Y., Tang, M., & Mian, Z. (2024). An empirical analysis of agricultural and rural carbon emissions under the background of rural revitalization strategy–based on machine learning algorithm. Air Quality, Atmosphere and Health, https://doi.org/10.1007/s11869-024-01606-2

Agricultural and rural carbon (ARC) emissions are a major source of greenhouse gas emissions in China and have profound implications for implementing the rural revitalization strategy. This study takes Shandong Province, a leading agricultural provin... Read More about An empirical analysis of agricultural and rural carbon emissions under the background of rural revitalization strategy–based on machine learning algorithm.

Bayesian relative composite quantile regression approach of ordinal latent regression model with L1/2 regularization (2024)
Journal Article
Tian, Y.-Z., Wu, C.-H., Tai, L.-N., Mian, Z., & Tian, M.-Z. (2024). Bayesian relative composite quantile regression approach of ordinal latent regression model with L1/2 regularization. Statistical Analysis and Data Mining, 17(2), Article e11683. https://doi.org/10.1002/sam.11683

Ordinal data frequently occur in various fields such as knowledge level assessment, credit rating, clinical disease diagnosis, and psychological evaluation. The classic models including cumulative logistic regression or probit regression are often us... Read More about Bayesian relative composite quantile regression approach of ordinal latent regression model with L1/2 regularization.

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems (2024)
Journal Article
Li, X., Ma, Z., Mian, Z., Liu, Z., Huang, R., & He, N. (2024). Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems. Computers, Materials & Continua, 78(3), 4129-4152. https://doi.org/10.32604/cmc.2024.047168

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications. Although there is an extensive literature on qualitative properties such as safety and liveness, there is sti... Read More about Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems.