E-LIB Suche - Ergebnisse für: Lin, Hsin-Hung

1

IoT Training System for Smart Manufacturing Education:

, In: 202020 3rd IEEE International Conference on Knowledge Innovation and Invention (ICKII),

Cheng, Jui-Hung ; Lin, Hsin-Hung ; Shen, Jia-Hong.. - p. 182-184 , 2020

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

2

Application of Fuzzy Decision Model Selection of Product in..:

, In: Human Aspects of IT for the Aged Population. Healthy and Active Aging; Lecture Notes in Computer Science,

Lin, Hsin-Hung ; Cheng, Jui-Hung - p. 101-112 , 2020

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

3

Efficient handling of string-number conversion:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Chen, Yu-Fang... - p. 943-957 , 2020

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

4

Development and Technical Experience of Plastic Injection M..:

, In: Human-Computer Interaction. Human Values and Quality of Life; Lecture Notes in Computer Science,

Cheng, Jui-Hung ; Lin, Hsin-Hung - p. 215-230 , 2020

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

5

J-ReCoVer: Java Reducer Commutativity Verifier:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Chen, Yu-Fang ; Chiang, Chang-Yi ; Holík, Lukáš... - p. 357-366 , 2019

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

6

Effects of Expandable Optical Design for LED Lighting Produ..:

, In: 2019 IEEE 2nd International Conference on Knowledge Innovation and Invention (ICKII),

Cheng, Jui-Hung ; Lin, Hsin-Hung ; Yen, Chin-Chen - p. 354-357 , 2019

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

7

A Study of Mini Check Valve Product Development and Manufac..:

, In: 2019 IEEE Eurasia Conference on Biomedical Engineering, Healthcare and Sustainability (ECBIOS),

Cheng, Jui-Hung ; Lin, Hsin-Hung ; Yen, Chin-Chen - p. 9-12 , 2019

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

8

The Spotlight Effects of LED Lighting Design for Deep Aquar..:

, In: 2019 IEEE 2nd International Conference on Knowledge Innovation and Invention (ICKII),

Cheng, Jui-Hung ; Lin, Hsin-Hung ; Yen, Chin-Chen - p. 358-361 , 2019

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

9

Diamond Nanoparticles for Drug Delivery and Monitoring:

, In: Springer Series on Chemical Sensors and Biosensors; Carbon-Based Nanosensor Technology,

Hsiao, Wesley Wei-Wen ; Lin, Hsin-Hung ; Chang, Huan-Cheng - p. 119-140 , 2017

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

10

Releasing VDM proof obligations with SMT solvers:

, In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design,

Lin, Hsin-Hung ; Wang, Bow-Yaw - p. 132-135 , 2017

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

11

Visualizing centrality of process area networks in CMMI-DEV:

, In: Proceedings of the 2015 International Conference on Software and System Process,

Kusakabe, Shigeru ; Lin, Hsin-Hung ; Omori, Yoichi. - p. 173-174 , 2015

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

12

Generating supportive hypotheses in introducing formal meth..:

, In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering,

Kusakabe, Shigeru ; Lin, Hsin-Hung ; Omori, Yoichi. - p. 24-30 , 2014

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

13

Verifying Curve25519 Software:

, In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security,

Chen, Yu-Fang ; Hsu, Chang-Hong ; Lin, Hsin-Hung... - p. 299-309 , 2014

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

14

Designing mobile support care for patients with chronic kid..:

, In: 2013 IEEE Third International Conference on Consumer Electronics ¿ Berlin (ICCE-Berlin),

Hung, Shu-Hui ; Lin, Hsin-Hung ; Wang, Chin-Hsien. - p. 1-4 , 2013

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

15

Machine Vision Observation, Artificial Intelligence Pattern..:

, In: 2024 IEEE International Reliability Physics Symposium (IRPS),

Chen, Cheng-Shan ; Yang, Chun-Yen ; Yang, Shao-Jui... - p. 10B.5-1-10B.5-7 , 2024

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