Learning from interpretation transition using differentiable logic programming semantics von Gao, Kun, Wang, Hanpin, Cao, Yongzhi, Inoue, Katsumi

Volltext

Probabilistic serial mechanism for multi-type resource allocation von Guo, Xiaoxi, Sikdar, Sujoy, Wang, Haibin, Xia, Lirong, Cao, Yongzhi, Wang, Hanpin

Volltext

Enhance PATE on Complex Tasks With Knowledge Transferred From Non-Private Data von Wang, Lulu, Zheng, Junxiang, Cao, Yongzhi, Wang, Hanpin

Volltext

The Complexity of Boolean Holant Problems with Nonnegative Weights von Lin, Jiabao, Wang, Hanpin

Volltext

Resisting membership inference attacks through knowledge distillation von Zheng, Junxiang, Cao, Yongzhi, Wang, Hanpin

Volltext

Zero-freeness and approximation of real Boolean Holant problems von Bai, Zonglei, Cao, Yongzhi, Wang, Hanpin

Volltext

Approximation algorithm for maximum edge coloring von Feng, Wangsen, Zhang, Li’ang, Wang, Hanpin

Volltext

A differentiable first-order rule learner for inductive logic programming von Gao, Kun, Inoue, Katsumi, Cao, Yongzhi, Wang, Hanpin

Volltext

Attackers Are Not the Same! Unveiling the Impact of Feature Distribution on Label Inference Attacks von Liu, Yige, Wang, Che, Lou, Yiwei, Cao, Yongzhi, Wang, Hanpin

Volltext

A vulnerability detection framework with enhanced graph feature learning von Cheng, Jianxin, Chen, Yizhou, Cao, Yongzhi, Wang, Hanpin

Volltext

A vulnerability detection framework by focusing on critical execution paths von Cheng, Jianxin, Chen, Yizhou, Cao, Yongzhi, Wang, Hanpin

Volltext

Self-Supervised Medical Image Denoising Based on WISTA-Net for Human Healthcare in Metaverse von Huang, Huakun, Zhang, Chaoran, Zhao, Lingjun, Ding, Shuxue, Wang, Hanpin, Wu, Huijun

Volltext

Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms von Guo, Xiaoxi, Sikdar, Sujoy, Xia, Lirong, Cao, Yongzhi, Wang, Hanpin

Volltext

Reasoning about block-based cloud storage systems via separation logic von Jin, Zhao, Zhang, Bowen, Cao, Tianyue, Cao, Yongzhi, Wang, Hanpin

Volltext

Synergistic Attention-Guided Cascaded Graph Diffusion Model for Complementarity Determining Region Synthesis von Zhang, Rongchao, Huang, Yu, Lou, Yiwei, Ding, Weiping, Cao, Yongzhi, Wang, Hanpin

Volltext

An adaptation-complete proof system for local reasoning about cloud storage systems von Jin, Zhao, Zhang, Bowen, Zhang, Lei, Cao, Yongzhi, Wang, Hanpin

Volltext

Behavioural equivalences of a probabilistic pi-calculus von Chen, WeiEn, Cao, YongZhi, Wang, HanPin

Volltext

MTS-LSTDM: Multi-Time-Scale Long Short-Term Double Memory for power load forecasting von Lou, Yiwei, Huang, Yu, Xing, Xuliang, Cao, Yongzhi, Wang, Hanpin

Volltext

Multi resource allocation with partial preferences von Wang, Haibin, Sikdar, Sujoy, Guo, Xiaoxi, Xia, Lirong, Cao, Yongzhi, Wang, Hanpin

Volltext

Formal Verification of Data Modifications in Cloud Block Storage Based on Separation Logic von Zhang, Bowen, Jin, Zhao, Wang, Hanpin, Cao, Yongzhi

Volltext