Shuyuan Zhang

According to our database, Shuyuan Zhang authored at least 47 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Consensus Criterion Verification for Heterogeneous Multiagent Systems via Sum-of-Squares Programming.

Shuyuan Zhang, Lei Wang, Bai Xue, Deyuan Meng, Qing-Guo Wang

IEEE Trans. Autom. Control., October, 2024

Use of interpretable machine learning approaches for quantificationally understanding the performance of steel fiber-reinforced recycled aggregate concrete: From the perspective of compressive strength and splitting tensile strength.

Shuyuan Zhang, Wenguang Chen, Jinjun Xu, Tianyu Xie

Eng. Appl. Artif. Intell., 2024

Observe Then Act: Asynchronous Active Vision-Action Model for Robotic Manipulation.

Guokang Wang, Hang Li, Shuyuan Zhang, Yanhong Liu, Huaping Liu

CoRR, 2024

Exploring Approximation and Dataflow Co-Optimization for Scalable Transformer Inference Architecture on the Edge.

Liu He, Yujin Wang, Zongle Huang, Shupei Fan, Chen Tang, Shuyuan Zhang, Luchang Lei, Huazhong Yang, Yongpan Liu, Hongyang Jia

Proceedings of the 37th IEEE International System-on-Chip Conference, 2024

An Arbitrary-Oriented SAR Ship Detector Based on Offset Distance Representation and Weighted Rotation NMS.

Sensen Wang, Haohao Ren, Shuyuan Zhang, Xuelian Yu, Yun Zhou

Proceedings of the IGARSS 2024, 2024

Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties.

Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue

Proceedings of the American Control Conference, 2024

2023

Consensus verification for heterogeneous polynomial networked systems.

Shuyuan Zhang, Lei Wang, Bai Xue, Chanying Li, Qing-Guo Wang

J. Frankl. Inst., November, 2023

Study of Interference Detection of Rail Transit Wireless Communication System Based on Fourth-Order Cyclic Cumulant.

Peng Wang, Junliang Yao, Yong Pu, Shuyuan Zhang, Lu Wen

Sensors, October, 2023

A Multi-Scenario Prediction and Spatiotemporal Analysis of the Land Use and Carbon Storage Response in Shaanxi.

Xindong Wei, Shuyuan Zhang, Pingping Luo, Shuomeng Zhang, Huanyuan Wang, Dehao Kong, Yuanyuan Zhang, Yang Tang, Shuo Sun

Remote. Sens., October, 2023

Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems.

Changyuan Zhao, Shuyuan Zhang, Lei Wang, Bai Xue

IEEE Trans. Autom. Control., August, 2023

The Cable Fault Diagnosis for XLPE Cable Based on 1DCNNs-BiLSTM Network.

Qianyu Wang, Dong Cao, Shuyuan Zhang, Yuzan Zhou, Lina Yao

J. Control. Sci. Eng., 2023

Stability Verification for Heterogeneous Complex Networks via Iterative SOS Programming.

Shuyuan Zhang, Shizhong Song, Lei Wang, Bai Xue

IEEE Control. Syst. Lett., 2023

Reducing Reconfiguration Time in Hybrid Optical-Electrical Datacenter Networks (Extended Abstract).

Shuyuan Zhang, Shu Shan, Shizhen Zhao

CoRR, 2023

Research on Diabetes Prediction Model of Pima Indian Females.

Yining Guan, Chia-Jung Tsai, Shuyuan Zhang

Proceedings of the 2023 4th International Symposium on Artificial Intelligence for Medicine Science, 2023

Synchronization Analysis and Verification for Complex Networked Systems Under Directed Topology.

Shuyuan Zhang, Lei Wang, Wei Wang

Proceedings of the Complex Networks & Their Applications XII, 2023

Reducing Reconfiguration Time in Hybrid Optical-Electrical Datacenter Networks.

Shuyuan Zhang, Shu Shan, Shizhen Zhao

Proceedings of the 7th Asia-Pacific Workshop on Networking, 2023

2022

Polynomial Lyapunov Functions for Synchronization of Nonlinearly Coupled Complex Networks.

Shuyuan Zhang, Lei Wang, Quanyi Liang, Zhikun She, Qing-Guo Wang

IEEE Trans. Cybern., 2022

A Dynamic Imaging Simulation Method of Infrared Aero-Optical Effect Based on Continuously Varying Gaussian Superposition Model.

Shuyuan Zhang, Xin Chen, Yingqing Zu, Peng Rao

Sensors, 2022

Constrained Optimal Querying: Huffman Coding and Beyond.

Shuyuan Zhang, Jichen Sun, Shengkang Chen

CoRR, 2022

N-Grammer: Augmenting Transformers with latent n-grams.

Aurko Roy, Rohan Anil, Guangda Lai, Benjamin Lee, Jeffrey Zhao, Shuyuan Zhang, Shibo Wang, Ye Zhang, Shen Wu, Rigel Swavely, Tao Yu, Phuong Dao, Christopher Fifty, Zhifeng Chen, Yonghui Wu

CoRR, 2022

A dynamic-inner convolutional autoencoder for process monitoring.

Shuyuan Zhang, Tong Qiu

Comput. Chem. Eng., 2022

Insight into Microdispersion Flows with a Novel Video Deep Learning Method.

Shuyuan Zhang, Kang Qin, Xinye Huang, Yixin Wei, Tao Wang, Kai Wang, Tong Qiu

Adv. Intell. Syst., 2022

Optimization of Torque Control Parameters for Wind Turbine Based on Drive Chain Active Damping Control.

Yingming Liu, Shuyuan Zhang, Xiaodong Wang, Xinbo Gao, Tian Cao

IEEE Access, 2022

Revisiting Heterophily For Graph Neural Networks.

Sitao Luan, Chenqing Hua, Qincheng Lu, Jiaqi Zhu, Mingde Zhao, Shuyuan Zhang, Xiao-Wen Chang, Doina Precup

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Consensus Control for Heterogeneous Multivehicle Systems: An Iterative Learning Approach.

Shuyuan Zhang, Lei Wang, Haihui Wang, Bai Xue

IEEE Trans. Neural Networks Learn. Syst., 2021

Data analysis and management system design of contaminated site based on intelligent data acquisition vehicle and 5G communication.

Shuyuan Zhang, Quanguo Cheng

Int. J. Commun. Syst., 2021

Is Heterophily A Real Nightmare For Graph Neural Networks To Do Node Classification?

Sitao Luan, Chenqing Hua, Qincheng Lu, Jiaqi Zhu, Mingde Zhao, Shuyuan Zhang, Xiao-Wen Chang, Doina Precup

CoRR, 2021

A Consciousness-Inspired Planning Agent for Model-Based Reinforcement Learning.

Mingde Zhao, Zhen Liu, Sitao Luan, Shuyuan Zhang, Doina Precup, Yoshua Bengio

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Polynomial Lyapunov Functions for Consensus of Multi-agent Systems via PD control.

Shuyuan Zhang, Lei Wang, Qing-Guo Wang

Proceedings of the 2021 International Conference on Control, 2021

2020

Study on the relationship between occupational well-being and stress of young faculties in Chinese universities.

Shuyuan Zhang, Qiaoyan Yang, Xiaochen Wang

Int. J. Wirel. Mob. Comput., 2020

2019

Lingvo: a Modular and Scalable Framework for Sequence-to-Sequence Modeling.

Jonathan Shen, Patrick Nguyen, Yonghui Wu, Zhifeng Chen, Mia Xu Chen, Ye Jia, Anjuli Kannan, Tara N. Sainath, Yuan Cao, Chung-Cheng Chiu, Yanzhang He, Jan Chorowski, Smit Hinsu, Stella Laurenzo, James Qin, Orhan Firat, Wolfgang Macherey, Suyog Gupta, Ankur Bapna, Shuyuan Zhang, Ruoming Pang, Ron J. Weiss, Rohit Prabhavalkar, Qiao Liang, Benoit Jacob, Bowen Liang, HyoukJoong Lee, Ciprian Chelba, Sébastien Jean, Bo Li, Melvin Johnson, Rohan Anil, Rajat Tibrewal, Xiaobing Liu, Akiko Eriguchi, Navdeep Jaitly, Naveen Ari, Colin Cherry, Parisa Haghani, Otavio Good, Youlong Cheng, Raziel Alvarez, Isaac Caswell, Wei-Ning Hsu, Zongheng Yang, Kuan-Chieh Wang, Ekaterina Gonina, Katrin Tomanek, Ben Vanik, Zelin Wu, Llion Jones, Mike Schuster, Yanping Huang, Dehao Chen, Kazuki Irie, George F. Foster, John Richardson, Klaus Macherey, Antoine Bruguier, Heiga Zen, Colin Raffel, Shankar Kumar, Kanishka Rao, David Rybach, Matthew Murray, Vijayaditya Peddinti, Maxim Krikun, Michiel Bacchiani, Thomas B. Jablin, Robert Suderman, Ian Williams, Benjamin Lee, Deepti Bhatia, Justin Carlson, Semih Yavuz, Yu Zhang, Ian McGraw, Max Galkin, Qi Ge, Golan Pundak, Chad Whipkey, Todd Wang, Uri Alon, Dmitry Lepikhin, Ye Tian, Sara Sabour, William Chan, Shubham Toshniwal, Baohua Liao, Michael Nirschl, Pat Rondon

CoRR, 2019

Gmail Smart Compose: Real-Time Assisted Writing.

Mia Xu Chen, Benjamin N. Lee, Gagan Bansal, Yuan Cao, Shuyuan Zhang, Justin Lu, Jackie Tsay, Yinan Wang, Andrew M. Dai, Zhifeng Chen, Timothy Sohn, Yonghui Wu

Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

A Comparison of End-to-End Models for Long-Form Speech Recognition.

Chung-Cheng Chiu, Anjuli Kannan, Rohit Prabhavalkar, Zhifeng Chen, Tara N. Sainath, Yonghui Wu, Wei Han, Yu Zhang, Ruoming Pang, Sergey Kishchenko, Patrick Nguyen, Arun Narayanan, Hank Liao, Shuyuan Zhang

Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2019

A Study of User Experience of Angle Recognition Designed to Correct People's Poor Posture when Using Smart Phones.

Shuyuan Zhang, Zhanxun Dong

Proceedings of the Advances in Usability and User Experience, 2019

2018

Compression of End-to-End Models.

Ruoming Pang, Tara N. Sainath, Rohit Prabhavalkar, Suyog Gupta, Yonghui Wu, Shuyuan Zhang, Chung-Cheng Chiu

Proceedings of the 19th Annual Conference of the International Speech Communication Association, 2018

2016

Computer Network Verification and Management using Constraint Solvers

Shuyuan Zhang

PhD thesis, 2016

2015

A cooperative design model based on vertex-colored graph.

You Song, Ye Zhang, Li Deng, Pengyu Du, Yunfeng Luo, Shuyuan Zhang

Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

2014

Generating consistent updates for software-defined network configurations.

Yifei Yuan, Franjo Ivancic, Cristian Lumezanu, Shuyuan Zhang, Aarti Gupta

Proceedings of the third workshop on Hot topics in software defined networking, 2014

An assertion language for debugging SDN applications.

Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker

Proceedings of the third workshop on Hot topics in software defined networking, 2014

In-Band Update for Network Routing Policy Migration.

Shuyuan Zhang, Sharad Malik, Sanjai Narain, Laurent Vanbever

Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

An Adaptable Rule Placement for Software-Defined Networks.

Shuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, Sharad Malik

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

SAT Based Verification of Network Data Planes.

Shuyuan Zhang, Sharad Malik

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Verification and synthesis of firewalls using SAT and QBF.

Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, Sanjai Narain

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

Verification of Computer Switching Networks: An Overview.

Shuyuan Zhang, Sharad Malik, Rick McGeer

Proceedings of the Automated Technology for Verification and Analysis, 2012

2010

Design of Non-Full Irrigation Management Information System of Hebei Province Based on GIS.

Junliang He, Yanxia Zheng, Shuyuan Zhang

Proceedings of the Computer and Computing Technologies in Agriculture IV, 2010

2005

The current situation and prospects of implementing e-commerce in Chinese grain enterprises.

Shuyuan Zhang, Huaxun He

Proceedings of the 7th International Conference on Electronic Commerce, 2005

Phillips curve's study under the new economic condition.

Huaxun He, Shuyuan Zhang

Proceedings of the 7th International Conference on Electronic Commerce, 2005