Showing 241 - 260 results of 358 for search '"Guangxi University"', query time: 0.06s Refine Results
  1. 241
    Formal Proof of a Machine Closed Theorem in Coq

    Formal Proof of a Machine Closed Theorem in Coq by Hai Wan, Anping He, Zhiyang You, Xibin Zhao

    Published 2014-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 242
    A QP-Free Algorithm for Finite Minimax Problems

    A QP-Free Algorithm for Finite Minimax Problems by Daolan Han, Jinbao Jian, Qinfeng Zhang

    Published 2014-01-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 243
    Does privatization decrease the structural efficiency in the Chinese hospital sector?

    Does privatization decrease the structural efficiency in the Chinese hospital sector? by Xinju He, Yi Liu

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:
  4. 244
    Exploring the antiviral potential of shikimic acid against Chikungunya virus through network pharmacology, molecular docking, and in vitro experiments

    Exploring the antiviral potential of shikimic acid against Chikungunya virus through network pharmacology, molecular docking, and in vitro experiments by Jialiang Xin, Xingxing Song, Haohong Zheng, Wenjing Li, Yuyang Qin, Wei Wang, Wei Wang, He Zhang, Guangneng Peng

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:
  5. 245
    Wu’s Characteristic Set Method for SystemVerilog Assertions Verification

    Wu’s Characteristic Set Method for SystemVerilog Assertions Verification by Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  6. 246
    A Latent Implementation Error Detection Method for Software Validation

    A Latent Implementation Error Detection Method for Software Validation by Jiantao Zhou, Jing Liu, Jinzhao Wu, Guodong Zhong

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  7. 247
    Improved Whale Optimization Algorithm for Solving Constrained Optimization Problems

    Improved Whale Optimization Algorithm for Solving Constrained Optimization Problems by Gui-Ying Ning, Dun-Qian Cao

    Published 2021-01-01
    Get full text
    Article
    Save to List
    Saved in:
  8. 248
    A Conjugate Gradient Method with Global Convergence for Large-Scale Unconstrained Optimization Problems

    A Conjugate Gradient Method with Global Convergence for Large-Scale Unconstrained Optimization Problems by Shengwei Yao, Xiwen Lu, Zengxin Wei

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  9. 249
    Existence and optimal control of Hilfer fractional evolution equations

    Existence and optimal control of Hilfer fractional evolution equations by Zhou Mian, Zhou Yong, He Jia Wei, Liang Yong

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:
  10. 250
    Structural characterization of oligosaccharide from Spirulina platensis and its effect on the faecal microbiota in vitro

    Structural characterization of oligosaccharide from Spirulina platensis and its effect on the faecal microbiota in vitro by Bingna Cai, Xiangxi Yi, Qian Han, Jianyu Pan, Hua Chen, Huili Sun, Peng Wan

    Published 2022-01-01
    Get full text
    Article
    Save to List
    Saved in:
  11. 251
    Infectious bursal disease virus affecting interferon regulatory factor 7 signaling through VP3 protein to facilitate viral replication

    Infectious bursal disease virus affecting interferon regulatory factor 7 signaling through VP3 protein to facilitate viral replication by Zhiyuan Wang, Yang Chen, Yanyan Chen, Rui Chen, Weiwei Wang, Shichen Hu, Yihai Li, Hongjun Chen, Ping Wei, Xiumiao He

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:
  12. 252
    Burden of NASH related liver cancer from 1990 to 2021 at the global, regional, and national levels

    Burden of NASH related liver cancer from 1990 to 2021 at the global, regional, and national levels by Shuang Li, Shuang Li, Shuangjiang Li, Linjing Guan, Mingjuan Li, Jiahui Zhao, Min Wu, Qiuyun Li, Hui Li, Guoqing Ouyang, Guangdong Pan, Guangdong Pan

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:
  13. 253
    Optimization Design of Structures Subjected to Transient Loads Using First and Second Derivatives of Dynamic Displacement and Stress

    Optimization Design of Structures Subjected to Transient Loads Using First and Second Derivatives of Dynamic Displacement and Stress by Qimao Liu, Jing Zhang, Liubin Yan

    Published 2012-01-01
    Get full text
    Article
    Save to List
    Saved in:
  14. 254
    Solutions to No-Wait Flow Shop Scheduling Problem Using the Flower Pollination Algorithm Based on the Hormone Modulation Mechanism

    Solutions to No-Wait Flow Shop Scheduling Problem Using the Flower Pollination Algorithm Based on the Hormone Modulation Mechanism by Chiwen Qu, Yanming Fu, Zhongjun Yi, Jun Tan

    Published 2018-01-01
    Get full text
    Article
    Save to List
    Saved in:
  15. 255
    Stable Isotope Turnover and Fractionation of Different Feed in the Juvenile Scylla paramamosain

    Stable Isotope Turnover and Fractionation of Different Feed in the Juvenile Scylla paramamosain by Shengping ZHONG, Xiaohui CAI, Jianda SONG, Xujia LIU, Yinhui PENG, Lianghua HUANG, Changzi GE, Guoqiang HUANG

    Published 2025-02-01
    Get full text
    Article
    Save to List
    Saved in:
  16. 256
    Effect Analysis on the Performance Enhancement and Emission Reduction of Diesel Engine Fueled with Biodiesel Fuel Based on an Improved Model

    Effect Analysis on the Performance Enhancement and Emission Reduction of Diesel Engine Fueled with Biodiesel Fuel Based on an Improved Model by Weigang Yu, Zhiqing Zhang, Bo Liu

    Published 2020-01-01
    Get full text
    Article
    Save to List
    Saved in:
  17. 257
    Modelling a Cracked Beam Structure Using the Finite Element Displacement Method

    Modelling a Cracked Beam Structure Using the Finite Element Displacement Method by Hui Long, Yilun Liu, Changzheng Huang, Weihui Wu, Zhaojun Li

    Published 2019-01-01
    Get full text
    Article
    Save to List
    Saved in:
  18. 258
    Stability Analysis of Regular and Chaotic Ca2+ Oscillations in Astrocytes

    Stability Analysis of Regular and Chaotic Ca2+ Oscillations in Astrocytes by Min Ye, Hongkun Zuo

    Published 2020-01-01
    Get full text
    Article
    Save to List
    Saved in:
  19. 259
    A Novel Optimized Nonlinear Grey Bernoulli Model for Forecasting China’s GDP

    A Novel Optimized Nonlinear Grey Bernoulli Model for Forecasting China’s GDP by Wen-Ze Wu, Tao Zhang, Chengli Zheng

    Published 2019-01-01
    Get full text
    Article
    Save to List
    Saved in:
  20. 260
    Personal Satisfaction with Accessibility and Service Quality: Spatial Justice in Guangzhou’s Social Housing Communities

    Personal Satisfaction with Accessibility and Service Quality: Spatial Justice in Guangzhou’s Social Housing Communities by Ruixia Chao, Haolin Hong, Wei Wei

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: