Search

Current filters:
Add Filter:

Results

Customise results display
Item hits:
Issue DateTitleAuthor(s)
2019-01-01Formal verification of quantum algorithms using quantum hoare logicLiu, J; Zhan, B; Wang, S; Ying, S; Liu, T; Li, Y; Ying, M; Zhan, N; Dillig, I; Tasiran, S
2019-07-01Towards digital retina in smart cities: A model generation, utilization and communication paradigmLou, Y; Duan, LY; Luo, Y; Chen, Z; Liu, T; Wang, S; Gao, W
2020-01-01Contour-Maintaining-Based Image Adaption for an Efficient Ambulance Service in Intelligent Transportation SystemsLiu, Q; Kang, B; Yu, K; Qi, X; Li, J; Wang, S; Li, HA
2020-12Design and Comprehensive Analysis of a Noise-Tolerant ZNN Model With Limited-Time Convergence for Time-Dependent Nonlinear Minimization.Xiao, L; Dai, J; Lu, R; Li, S; Li, J; Wang, S
2020-12-01Effect of damping distribution on coupling in panel–cavity systems: Conditions for optimality through a modal approachNerse, C; Wang, S; Goo, S
2020-05-01Learning-Based Multi-Channel Access in 5G and beyond Networks with Fast Time-Varying ChannelsWang, S; Lv, T; Zhang, X; Lin, Z; Huang, P
2019-01-01Sequential recommender systems: Challenges, progress and prospectsWang, S; Hu, L; Wang, Y; Cao, L; Sheng, QZ; Orgun, M
2019-01-01Modeling multi-purpose sessions for next-item recommendations via mixture-channel purpose routing networksWang, S; Hu, L; Wang, Y; Sheng, QZ; Orgun, M; Cao, L
2020-01-01Jointly Modeling Intra- and Inter-transaction Dependencies with Hierarchical Attentive Transaction Embeddings for Next-item RecommendationWang, S; Cao, L; Hu, L; Berkovsky, S; Huang, X; Xiao, L; Lu, W
Results 1-9 of 9 (Search time: 0.013 seconds).
  • previous
  • 1
  • next