E-LIB Suche - Ergebnisse für: Chin, Siau-Shi

1

SSVEP-based BCI for a DMD Patient – A Case Study:

, In: 2019 IEEE Conference on Sustainable Utilization and Development in Engineering and Technologies (CSUDET),

Mah, Wai-Lai ; Chin, Siau-Shi ; Mok, Siew-Ying... - p. 12-16 , 2019

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

2

Sculpting nanoparticle dynamics for single-bacteria-level s..:

Shi, Yu Zhi ; Xiong, Sha ; Zhang, Yi...
Nature Communications. , 2018

Link: https://hdl.handle.net/1..

3

Sculpting nanoparticle dynamics for single-bacteria-level s..:

Shi, Yu Zhi ; Xiong, Sha ; Zhang, Yi...
Nature Communications. , 2018

Link: http://hdl.handle.net/10..

4

Incorporation of natural and synthetic polymers into honey ..:

Chin, Siau Wui ; Azman, Adzzie‐Shazleen ; Tan, Ji Wei
Health Science Reports. 7 (2024) 7 - p. , 2024

Link: https://doi.org/10.1002/..

5

Removal of scale deposition on pipe walls by using magnetic..:

Sohaili, Johan ; Shi, Hon Siau ; Lavania-Baloo...
Journal of Cleaner Production. 139 (2016) - p. 1393-1399 , 2016

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

6

Automated mutual induction proof in separation logic:

Ta, Quang-Trung ; Le, Ton Chanh ; Khoo, Siau-Cheng.
Formal Aspects of Computing. 31 (2019) 2 - p. 207-230 , 2019

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

7

SL-COMP: Competition of Solvers for Separation Logic:

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

Sighireanu, Mihaela ; Navarro Pérez, Juan A. ; Rybalchenko, Andrey... - p. 116-132 , 2019

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

8

Automated lemma synthesis in symbolic-heap separation logic:

Ta, Quang-Trung ; Le, Ton Chanh ; Khoo, Siau-Cheng.
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://doi.org/10.1145/..

9

Automated lemma synthesis in symbolic-heap separation logic:

Ta, Quang-Trung ; Le, Ton Chanh ; Khoo, Siau-Cheng.
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

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

10

A flow-based approach for variant parametric types:

Chin, Wei-Ngan ; Craciun, Florin ; Khoo, Siau-Cheng.
ACM SIGPLAN Notices. 41 (2006) 10 - p. 273-290 , 2006

Link: https://doi.org/10.1145/..

11

A flow-based approach for variant parametric types:

, In: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications,

Chin, Wei-Ngan ; Craciun, Florin ; Khoo, Siau-Cheng. - p. 273-290 , 2006

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

12

Verifying safety policies with size properties and alias co..:

, In: Proceedings of the 27th international conference on Software engineering,

Chin, Wei-Ngan ; Khoo, Siau-Cheng ; Qin, Shengchao.. - p. 186-195 , 2005

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

13

Extending sized type with collection analysis:

, In: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation,

Chin, Wei-Ngan ; Khoo, Siau-Cheng ; Xu, Dana N. - p. 75-84 , 2003

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

14

Extending sized type with collection analysis:

Chin, Wei-Ngan ; Khoo, Siau-Cheng ; Xu, Dana N.
ACM SIGPLAN Notices. 38 (2003) 10 - p. 75-84 , 2003

Link: https://doi.org/10.1145/..

15

Output-constraint specialization:

, In: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation,

Khoo, Siau-Cheng ; Shi, Kun - p. 106-116 , 2002

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