Zhixuan Yang

23 papers A 1B 1C 1Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Handling Higher-Order Effectful Operations with Judgemental Monadic Laws.
Proc. ACM Program. Lang.
Zhixuan Yang, Nicolas Wu
2025 J jnl
A combined perspective self-supervised contrastive learning framework for human activity recognition integrating instance prediction and clustering.
Eng. Appl. Artif. Intell.
Zhixuan Yang, Kewen Li, Zongchao Huang, Zhifeng Xu, Xinyuan Zhu, Yuan Xiao
2025 J jnl
Diffusion Model for Interest Refinement in Multi-Interest Recommendation.
CoRR
Yankun Le, Haoran Li, Baoyuan Ou, Yingjie Qin, Zhixuan Yang, Ruilong Su, Fu Zhang
2025 J jnl
Handling Higher-Order Effectful Operations with Judgemental Monadic Laws.
CoRR
Zhixuan Yang, Nicolas Wu
2025 C conf
Haptic Zoo: A Symphony of Multi-sensory Design to Bridge the Gap in Parent-Child Interaction for Visually Impaired Parents.
ICEC
Shican Zhou, Shupei Huo, Mingyue Gu, Anchu Yu, Zhixuan Yang, Mingyue Guo, Run Ye, Yujie Zhou, Qi Xu, Cheng Yao
2025 J jnl
Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories.
ACM Trans. Program. Lang. Syst.
Cristina Matache, Sam Lindley, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2025 J jnl
Seismic denoising diffusion restoration model for seismic data processing.
Eng. Appl. Artif. Intell.
Kewen Li, Jian Ma, Yimin Dou, Yingzhi Zhao, Zhixuan Yang, Zhaohui Li
2025 J jnl
Semi-supervised Human Activity Recognition with individual difference alignment.
Expert Syst. Appl.
Zhixuan Yang, Timing Li, Zhifeng Xu, Zongchao Huang, Yueyuan Cao, Kewen Li, Jian Ma
2025 J jnl
SwinInver: 3D data-driven seismic impedance inversion based on Swin Transformer and adversarial training.
Comput. Geosci.
Xinyuan Zhu, Kewen Li, Zhixuan Yang, Zhaohui Li
2024 J jnl
Algebraic Effects Meet Hoare Logic in Cubical Agda.
Proc. ACM Program. Lang.
Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu
2024 J jnl
MFCANN: A feature diversification framework based on local and global attention for human activity recognition.
Eng. Appl. Artif. Intell.
Zhixuan Yang, Kewen Li, Zongchao Huang
2024 J jnl
STP-Model: A semi-supervised framework with self-supervised learning capabilities for downhole fault diagnosis in sucker rod pumping systems.
Eng. Appl. Artif. Intell.
Zongchao Huang, Kewen Li, Zhifeng Xu, Ruonan Yin, Zhixuan Yang, Wang Mei, Shaoqiang Bing
2024 — conf
Scoped Effects as Parameterized Algebraic Theories.
ESOP (1)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2024 J jnl
Scoped Effects as Parameterized Algebraic Theories.
CoRR
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2023 J jnl
Modular Models of Monoids with Operations.
Proc. ACM Program. Lang.
Zhixuan Yang, Nicolas Wu
2022 B conf
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes.
MPC
Zhixuan Yang, Nicolas Wu
2022 J jnl
Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes.
CoRR
Zhixuan Yang, Nicolas Wu
2022 A conf
Structured Handling of Scoped Effects.
ESOP
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
2022 J jnl
Structured Handling of Scoped Effects: Extended Version.
CoRR
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
2021 J jnl
Reasoning about effect interaction by fusion.
Proc. ACM Program. Lang.
Zhixuan Yang, Nicolas Wu
2020 J jnl
Retentive Lenses.
CoRR
Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu
2017 J jnl
Optimize Hierarchical Softmax with Word Similarity Knowledge.
POLIBITS
Zhixuan Yang, Chong Ruan, Caihua Li, Junfeng Hu
2015 — conf
Politicize and Depoliticize: A Study of Semantic Shifts on People's Daily Fifty Years' Corpus via Distributed Word Representation Space.
CLSW
Wenlong Mou, Ni Sun, Junhao Zhang, Zhixuan Yang, Junfeng Hu