Formalization of Linear Space Theory in the Higher-Order Logic Proving System by Jie Zhang, Danwen Mao, Yong Guan

Get full text

A new era in agriculture by Lei Lei, Yong‐Guan Zhu, Qifa Zhang

Get full text

Component-Based Formal Modeling of PLC Systems by Rui Wang, Yong Guan, Luo Liming, Xiaojuan Li, Jie Zhang

Get full text

Insects used as biomass vermi‐conversion carriers for health agriculture by Shuo‐Yun Jiang, Bing‐Xiang Xu, Yong‐Guan Zhu, Zhi‐Jian Zhang

Get full text

The Gauge Integral Theory in HOL4 by Zhiping Shi, Weiqing Gu, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei

Get full text

Discovery of two novel Flavobacterium species with potential for complex polysaccharide degradation by Xu-Dong Lian, Yong Guan, Yue Jiang, Dong-Heui Kwak, Mi-Kyung Lee, Zhun Li

Get full text

Soil warming increases the active antibiotic resistome in the gut of invasive giant African snails by Yiyue Zhang, Hong-Zhe Li, Martin Breed, Zhonghui Tang, Li Cui, Yong-Guan Zhu, Xin Sun

Get full text

Increased methane production associated with community shifts towards Methanocella in paddy soils with the presence of nanoplastics by Zhibin He, Yarong Hou, Ying Li, Qicheng Bei, Xin Li, Yong-Guan Zhu, Werner Liesack, Matthias C. Rillig, Jingjing Peng

Get full text

The disparities and development trajectories of nations in achieving the sustainable development goals by Fengmei Ma, Heming Wang, Asaf Tzachor, César A. Hidalgo, Heinz Schandl, Yue Zhang, Jingling Zhang, Wei-Qiang Chen, Yanzhi Zhao, Yong-Guan Zhu, Bojie Fu

Get full text

Multiomics profiling reveals the benefits of gamma-delta (γδ) T lymphocytes for improving the tumor microenvironment, immunotherapy efficacy and prognosis in cervical cancer by Xiaofeng Wang, Chen Li, Jie Chen, Zhiqiang Wu, Zhen Zhang, Junyi Li, Lu Yu, Yong Guan, Yuhan Zhang, Yuanjie Cao, Yancheng Liu, Hui Bai, Shaochuan Liu, Miaomiao Gao, Chenglu Lu, Zhen Tao, Zhiyong Yuan

Get full text

Convergent evidence for the temperature-dependent emergence of silicification in terrestrial plants by Zhihao Pang, Félix de Tombeur, Sue E. Hartley, Constantin M. Zohner, Miroslav Nikolic, Cyrille Violle, Lidong Mo, Thomas W. Crowther, Dong-Xing Guan, Zhongkui Luo, Yong-Guan Zhu, Yuxiao Wang, Ping Zhang, Hongyun Peng, Caroline A. E. Strömberg, Nina Nikolic, Yongchao Liang

Get full text

100 essential questions for the future of agriculture by Yuming Hu, Taolan Zhao, Yafang Guo, Meng Wang, Kerstin Brachhold, Chengcai Chu, Andrew Hanson, Sachin Kumar, Rongcheng Lin, Wenjin Long, Ming Luo, Jian Feng Ma, Yansong Miao, Shaoping Nie, Yu Sheng, Weiming Shi, James Whelan, Qingyu Wu, Ziping Wu, Wei Xie, Yinong Yang, Chao Zhao, Lei Lei, Yong‐Guan Zhu, Qifa Zhang

Get full text