E-LIB Suche - Ergebnisse für: Ho, Yen-Sheng

1

Efficient uninterpreted function abstraction and refinement..:

, In: 2016 Formal Methods in Computer-Aided Design (FMCAD),

Ho, Yen-Sheng ; Chauhan, Pankaj ; Roy, Pritam.. - p. 65-72 , 2016

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

2

Efficient uninterpreted function abstraction and refinement..:

, In: Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design,

Ho, Yen-Sheng ; Chauhan, Pankaj ; Roy, Pritam.. - p. 65-72 , 2016

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

3

Symbolic model checking on SystemC designs:

, In: Proceedings of the 49th Annual Design Automation Conference,

Chou, Chun-Nan ; Ho, Yen-Sheng ; Hsieh, Chiao. - p. 327-333 , 2012

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

4

99mTc-glycopeptide: Synthesis, biodistribution and imaging ..:

Wei, I-Chien ; Tsao, Ning ; Huang, Ya-Hui...
Applied Radiation and Isotopes. 66 (2008) 3 - p. 320-331 , 2008

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

5

Efficient Abstraction and Refinement for Word-level Model C..:

Ho, Yen-Sheng
qt6jz4z4dn. , 2017

Link: https://escholarship.org..

6

APLF facilitates interstrand DNA crosslink repair and repli..:

Wu, Cheng-Kuei ; Shiu, Jia-Lin ; Wu, Chao-Liang...
Nucleic Acids Research. 52 (2024) 10 - p. 5676-5697 , 2024

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

7

ATOSIBAN MAY HAVE NO BENEFICIAL EFFECT ON EMBRYO TRANSFER O..:

Ho, Nguyen-Tuong ; Hwu, Yuh Ming ; Lin, Shyr-Yeu...
Fertility and Sterility. 120 (2023) 4 - p. e324 , 2023

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

8

#41 : The Effectiveness of GnRH Agonist Administration Prio..:

Ho, Nguyen Tuong ; Ho, Dang Khanh Ngan ; Tomai, Xuan Hong...
Fertility & Reproduction. 5 (2023) 4 - p. 337-337 , 2023

Link: https://doi.org/10.1142/..

9

#202 : Adverse Effect on Pregnancy Outcome of Oocyte Preser..:

Huang, Yung-Ling ; Hu, Yu-Ming ; Lin, Ching-Mei...
Fertility & Reproduction. 5 (2023) 4 - p. 730-731 , 2023

Link: https://doi.org/10.1142/..

10

MACHINE LEARNING APPROACH WITH RANDOM FOREST AND SYNTHETIC ..:

Ho, Nguyen-Tuong ; Hwu, Yuh Ming ; Lin, Shyr-Yeu...
Fertility and Sterility. 120 (2023) 4 - p. e107 , 2023

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

11

GONADOTROPIN-RELEASING HORMONE AGONIST ADMINISTRATION PRIOR..:

Ho, Nguyen-Tuong ; Hwu, Yuh Ming ; Ho, Yen-Ping...
Fertility and Sterility. 120 (2023) 4 - p. e141 , 2023

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

12

PARP1 recruits DNA translocases to restrain DNA replication..:

Ho, Yen-Chih ; Ku, Chen-Syun ; Tsai, Siang-Sheng...
PLOS Genetics. 18 (2022) 12 - p. e1010545 , 2022

Link: https://doi.org/10.1371/..

13

Novel Method for the Growth of Two-Dimensional Layered InSe..:

Hsiao, Sheng-Wei ; Yang, Chu-Shou ; Yang, Hao-Ning...
Frontiers in Materials. 9 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

14

Sm-Doped NiO Nanoparticles for Magnetic Memory at Room Temp..:

Gandhi, Ashish Chhaganlal ; Tummala, Srikrishna ; Chiu, Hsin-Hao...
ACS Applied Nano Materials. 4 (2021) 10 - p. 10116-10127 , 2021

Link: https://doi.org/10.1021/..

15

Chronic treatment with cisplatin induces chemoresistance th..:

Su, Wen-Pin ; Ho, Yen-Chih ; Wu, Cheng-Kuei...
Scientific Reports. 7 (2017) 1 - p. , 2017

Link: https://doi.org/10.1038/..