Search

Current filters:
Add Filter:

Results

Customise results display
Item hits:
Issue DateTitleAuthor(s)
2016Reward-Bounded Reachability Probability for Uncertain Weighted MDPsHashemi, V; Hermanns, H; Song, L; Jobstmann, B; Leino, KRM
2019-02-01Gated-GAN: Adversarial gated networks for multi-collection style transferChen, X; Xu, C; Yang, X; Song, L; Tao, D
2015-01-01Decentralized bisimulation for multiagent systemsSong, L; Feng, Y; Zhang, L
2003-01Enhancing the Quality of e-Service in Consulting Industry Using Case-Reference-Net CBR TechniqueLin, L; Lu, J; Song, L; Huang, W; Ling, H; Fang, H
2018-01-01Nonlocal patch based T-SVD for image inpainting: Algorithm and error analysisSong, L; Du, B; Zhang, L; Wu, J; Li, X
2015-01-01Comparison of variations detection between whole-genome amplification methods used in single-cell resequencingHou, Y; Wu, K; Shi, X; Li, F; Song, L; Wu, H; Dean, M; Li, G; Tsang, S; Jiang, R; Zhang, X; Li, B; Liu, G; Bedekar, N; Lu, N; Xie, G; Liang, H; Chang, L; Wang, T; Chen, J; Li, Y; Yang, H; Xu, X; Wang, L; Wang, J
2003-01Case-based Reasoning Integrating with Direct-Case-Linkage for Tacit Knowledge ManagementLin, L; Ling, H; Lu, J; Zhang, C; Song, L; Xue, H; Hanisch, J; Falconer, D; Horrocks, S; Hillier, M
2016-12-05Verify LTL with Fairness Assumptions EfficientlyLi, Y; Song, L; Feng, Y; Zhang, L
2018-01-01Model checking probabilistic epistemic logic for probabilistic multiagent systemsFu, C; Turrini, A; Huang, X; Song, L; Feng, Y; Zhang, L
2012-08-14Single-cell sequencing analysis characterizes common and cell-lineage-specific mutations in a muscle-invasive bladder cancerLi, Y; Xu, X; Song, L; Hou, Y; Li, Z; Tsang, S; Li, F; Im, KM; Wu, K; Wu, H; Ye, X; Li, G; Wang, L; Zhang, B; Liang, J; Xie, W; Wu, R; Jiang, H; Liu, X; Yu, C; Zheng, H; Jian, M; Nie, L; Wan, L; Shi, M; Sun, X; Tang, A; Guo, G; Gui, Y; Cai, Z; Li, J; Wang, W; Lu, Z; Zhang, X; Bolund, L; Kristiansen, K; Wang, J; Yang, H; Dean, M
Results 1-10 of 11 (Search time: 0.181 seconds).