Zhixuan Yang

According to our database, Zhixuan Yang authored at least 18 papers between 2015 and 2025.

Collaborative distances:

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

2025

Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories.

Cristina Matache, Sam Lindley, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang

ACM Trans. Program. Lang. Syst., June, 2025

Diffusion Model for Interest Refinement in Multi-Interest Recommendation.

Yankun Le, Haoran Li, Baoyuan Ou, Yingjie Qin, Zhixuan Yang, Ruilong Su, Fu Zhang

CoRR, February, 2025

SwinInver: 3D data-driven seismic impedance inversion based on Swin Transformer and adversarial training.

Xinyuan Zhu, Kewen Li, Zhixuan Yang, Zhaohui Li

Comput. Geosci., 2025

Semi-supervised Human Activity Recognition with individual difference alignment.

Zhixuan Yang, Timing Li, Zhifeng Xu, Zongchao Huang, Yueyuan Cao, Kewen Li, Jian Ma

Expert Syst. Appl., 2025

Seismic denoising diffusion restoration model for seismic data processing.

Kewen Li, Jian Ma, Yimin Dou, Yingzhi Zhao, Zhixuan Yang, Zhaohui Li

Eng. Appl. Artif. Intell., 2025

Haptic Zoo: A Symphony of Multi-sensory Design to Bridge the Gap in Parent-Child Interaction for Visually Impaired Parents.

Shican Zhou, Shupei Huo, Mingyue Gu, Anchu Yu, Zhixuan Yang, Mingyue Guo, Run Ye, Yujie Zhou, Qi Xu, Cheng Yao

Proceedings of the Entertainment Computing - ICEC 2025 IFIP TC 14 Workshops, 2025

2024

Algebraic Effects Meet Hoare Logic in Cubical Agda.

Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu

Proc. ACM Program. Lang., January, 2024

MFCANN: A feature diversification framework based on local and global attention for human activity recognition.

Zhixuan Yang, Kewen Li, Zongchao Huang

Eng. Appl. Artif. Intell., 2024

STP-Model: A semi-supervised framework with self-supervised learning capabilities for downhole fault diagnosis in sucker rod pumping systems.

Zongchao Huang, Kewen Li, Zhifeng Xu, Ruonan Yin, Zhixuan Yang, Wang Mei, Shaoqiang Bing

Eng. Appl. Artif. Intell., 2024

Scoped Effects as Parameterized Algebraic Theories.

Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang

Proceedings of the Programming Languages and Systems, 2024

2023

Modular Models of Monoids with Operations.

Zhixuan Yang, Nicolas Wu

Proc. ACM Program. Lang., August, 2023

2022

Structured Handling of Scoped Effects: Extended Version.

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers

CoRR, 2022

Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes.

Zhixuan Yang, Nicolas Wu

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

Structured Handling of Scoped Effects.

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2022

2021

Reasoning about effect interaction by fusion.

Zhixuan Yang, Nicolas Wu

Proc. ACM Program. Lang., 2021

2020

Retentive Lenses.

Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu

CoRR, 2020

2017

Optimize Hierarchical Softmax with Word Similarity Knowledge.

Zhixuan Yang, Chong Ruan, Caihua Li, Junfeng Hu

POLIBITS, 2017

2015

Politicize and Depoliticize: A Study of Semantic Shifts on People's Daily Fifty Years' Corpus via Distributed Word Representation Space.

Wenlong Mou, Ni Sun, Junhao Zhang, Zhixuan Yang, Junfeng Hu

Proceedings of the Chinese Lexical Semantics - 16th Workshop, 2015