E-LIB Suche - Ergebnisse für: Lin, Shang-Wei

1

Distributed Motion Control for Multiple Mobile Robots Using..:

Zhou, Yuan ; Hu, Hesuan ; Deng, Gelei...
IEEE Transactions on Systems, Man, and Cybernetics: Systems. 54 (2024) 2 - p. 997-1010 , 2024

Link: https://doi.org/10.1109/..

2

A Parallel and Distributed Quantum SAT Solver Based on Enta..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Lin, Shang-Wei ; Wang, Tzu-Fan ; Chen, Yean-Ru... - p. 363-382 , 2024

Link: https://doi.org/10.1007/..

3

Enhancing Security Patch Identification by Capturing Struct..:

Wu, Bozhi ; Liu, Shangqing ; Feng, Ruitao...
IEEE Transactions on Dependable and Secure Computing. , 2024

Link: https://doi.org/10.1109/..

4

FPGA-based control system for real-time driving of UHD Micr..:

Tsai, Tsung-Han ; Lin, Shang-Wei
Integration. 98 (2024) - p. 102237 , 2024

Link: https://doi.org/10.1016/..

5

Is AI testing beneficial for the manufacturer and social we..:

Li, Yanran ; Zheng, Yan ; Teo, Yon Shin.
Expert Systems with Applications. 241 (2024) - p. 122637 , 2024

Link: https://doi.org/10.1016/..

6

Assessing risk of recurrent small bowel obstruction after n..:

Lin, Shang-Wei ; Chen, Chung-Yen ; Chen, Pin-Chun...
Surgical Endoscopy. 38 (2024) 5 - p. 2433-2443 , 2024

Link: https://doi.org/10.1007/..

7

Learning Program Semantics for Vulnerability Detection via ..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Wu, Bozhi ; Liu, Shangqing ; Xiao, Yang... - p. 1371-1383 , 2023

Link: https://dl.acm.org/doi/1..

8

A green and ultrafast one-pot mechanochemical approach for ..:

Lam, Phuc Khanh ; Vo, Trung Hieu ; Chen, Jing-Hui...
Journal of Materials Chemistry A. 11 (2023) 45 - p. 24678-24685 , 2023

Link: https://doi.org/10.1039/..

9

SMT Solver With Hardware Acceleration:

Chen, Yean-Ru ; Chen, Si-Han ; Lin, Shang-Wei
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42 (2023) 6 - p. 2055-2068 , 2023

Link: https://doi.org/10.1109/..

10

Leser–Trélat sign:

Lin, Shang-Wei ; Chen, Jian-Han
British Journal of Surgery. 109 (2022) 11 - p. 1180-1180 , 2022

Link: https://doi.org/10.1093/..

11

SolSEE: a source-level symbolic execution engine for solidi..:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Lin, Shang-Wei ; Tolmach, Palina ; Liu, Ye. - p. 1687-1691 , 2022

Link: https://dl.acm.org/doi/1..

12

Application of a long-trace profiler in situ at TPS beamlin..:

Lin, Shang-Wei ; Tsai, Huang-Ming ; Fu, Huang-Wen...
Journal of Physics: Conference Series. 2380 (2022) 1 - p. 012077 , 2022

Link: https://doi.org/10.1088/..

13

Property-Based Automated Repair of DeFi Protocols:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,

Tolmach, Palina ; Li, Yi ; Lin, Shang-Wei - p. 1-5 , 2022

Link: https://dl.acm.org/doi/1..

14

Pasadena: Perceptually Aware and Stealthy Adversarial Denoi..:

Cheng, Yupeng ; Guo, Qing ; Juefei-Xu, Felix...
IEEE Transactions on Multimedia. 24 (2022) - p. 3807-3822 , 2022

Link: https://doi.org/10.1109/..

15

A Quantum interpretation of separating conjunction for loca..:

Le, Xuan-Bach ; Lin, Shang-Wei ; Sun, Jun.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-27 , 2022

Link: https://dl.acm.org/doi/1..