E-LIB Suche - Ergebnisse für: Wang, Yeu-Farn

1

China's science and technology policy

1949 - 1989

Wang, Yeu-Farn , c 1993

Exemplar: Zentrale:Magazin 01.c.8463

2

Addition of a carboxy-terminal tail to the normally tailles..:

Toufaily, Chirine ; Fortin, Jérôme ; Alonso, Carlos AI...
eLife. 10 (2021) - p. , 2021

Link: https://doi.org/10.7554/..

3

TGFBR3L is an inhibin B co-receptor that regulates female f..:

Brûlé, Emilie ; Wang, Ying ; Li, Yining...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8673766/. , 2021

Link: http://www.ncbi.nlm.nih...

4

Addition of a carboxy-terminal tail to the normally tailles..:

Chirine Toufaily ; Jérôme Fortin ; Carlos AI Alonso...
https://elifesciences.org/articles/72937. , 2021

Link: https://doi.org/10.7554/..

5

Steroidogenic Factor 1 Regulates Transcription of the Inhib..:

Lin, Yeu-Farn ; Schang, Gauthier ; Buddle, Evan R S...
Endocrinology. 163 (2022) 11 - p. , 2022

Link: https://doi.org/10.1210/..

6

OR09-03 Loss of Inhibin Negative Feedback In The Pituitary ..:

(Claire) Lin, Yeu-Farn ; Brule, Emilie ; Cowan, Mitra..
Journal of the Endocrine Society. 7 (2023) Supplement_1 - p. , 2023

Link: https://doi.org/10.1210/..

7

Synthesize Models for Quantitative Analysis Using Automata ..:

, In: Networked Systems; Lecture Notes in Computer Science,

Chen, Yu-Fang ; Chung, Hsiao-Chen ; Hung, Wen-Chi... - p. 75-92 , 2019

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

8

PAC learning-based verification and model synthesis:

, In: Proceedings of the 38th International Conference on Software Engineering,

Chen, Yu-Fang ; Hsieh, Chiao ; Lengál, Ondřej... - p. 714-724 , 2016

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

9

A Game-Theoretic Foundation for the Maximum Software Resili..:

Huang, Chung-Hao ; Peled, Doron A. ; Schewe, Sven.
IEEE Transactions on Software Engineering. 42 (2016) 7 - p. 605-622 , 2016

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

10

An Extension of ATL with Strategy Interaction:

Wang, Farn ; Schewe, Sven ; Huang, Chung-Hao
ACM Transactions on Programming Languages and Systems (TOPLAS). 37 (2015) 3 - p. 1-41 , 2015

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

11

Model-checking fair dense-time systems with propositions an..:

Wang, Farn
International Journal on Software Tools for Technology Transfer. 17 (2014) 2 - p. 223-243 , 2014

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

12

Efficient verification of distributed real-time systems wit..:

Wang, Farn ; Yao, Li-Wei ; Yang, Ya-Lan
Real-Time Systems. 47 (2011) 4 - p. 285-318 , 2011

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

13

Test automation for kernel code and disk arrays with virtua..:

, In: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering,

Cai, Lin-Zan ; Wu, Rong-Shiung ; Huang, Wen-Ting. - p. 505-508 , 2007

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

14

Efficient verification of timed automata with BDD-like data..:

Wang, Farn
International Journal on Software Tools for Technology Transfer. 6 (2004) 1 - p. 77-97 , 2004

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

15

Symbolic model checking for event-driven real-time systems:

Yang, Jin ; Mok, Aloysius K. ; Wang, Farn
ACM Transactions on Programming Languages and Systems (TOPLAS). 19 (1997) 2 - p. 386-412 , 1997

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