1. OPUS at UTS

Search

Current filters:
Add Filter:

Results

Customise results display
Item hits:
Issue DateTitleAuthor(s)
2021Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra.Peng, Y; Ying, M; Wu, X
2022Guest Editorial: Special Issue on "Selected papers from ISAIC 2021"Wen, S; Feng, Z-K; Xiong, NN
2022-07Learning coupled latent features via review texts for IOT service recommendationZhang, Q; Wang, L; Xu, K; Lu, W; Ma, X; Huang, Y
2022-10-01STEM, STEAM and Makerspaces in Early Childhood: A Scoping ReviewJohnston, K; Kervin, L; Wyeth, P
2022Fault Models in Superconducting quantum circuits.Huang, Q; Li, B; Gao, M; Ying, M
2020Scaling Up Distanced-generalized Core Decomposition.Dai, Q; Li, R-H; Qin, L; Wang, G; Yang, W; Zhang, Z; Yuan, Y
2021-05-30Rethinking the constraints of multimodal fusion: case study in Weakly-Supervised Audio-Visual Video ParsingWu, J; Jiang, Z; Wen, S; Men, A; Wang, H
2022-03-29Suboptimal Safety-Critical Control for Continuous Systems Using Prediction-Correction Online OptimizationWang, S; Wen, S; Yang, Y; Cao, Y; Shi, K; Huang, T
2021-02-01A Document Image Dataset for Quality AssessmentLi, Z; Yang, C; Shen, Q; Wen, S
2022Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.Liu, J; Zhou, L; Barthe, G; Ying, M; Baier, C; Fisman, D
Results 1601-1610 of 1630 (Search time: 0.712 seconds).

Discover