| 國立成功大學 |
2021-03 |
Symbolic interval-valued data analysis for time series based on auto-interval-regressive models
|
Lin;Liang-Ching;Chien;Hsiang-Lin;Lee;Sangyeol |
| 國立成功大學 |
2021-3 |
Symbolic Interval-Valued Data Analysis for Time Series based on Auto-Interval-Regressive Models.
|
林良靖; LIN, LIANG-CHING; Lin, Liang-Ching;Chien, Hsiang-Lin;Lee, Sangyeol |
| 臺大學術典藏 |
2020-06-04T07:48:54Z |
Symbolic Model Checking for Distributed Real-Time Systems.
|
Wang, Farn;Mok, Aloysius K.;Emerson, E. Allen; Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG |
| 臺大學術典藏 |
1993 |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
Yang, J.; Mok, A. K.; Wang, Farn; 王 凡; Yang, J.; Mok, A. K.; Wang, Farn; Yang, J.; Mok, A. K. |
| 國立臺灣大學 |
1993 |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
王 凡; Yang, J.; Mok, A. K.; Wang, Farn; Yang, J.; Mok, A. K. |
| 臺大學術典藏 |
2018-09-10T06:37:13Z |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
J. Yang; A.K. Mok; F. Wang; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:58Z |
Symbolic Model Checking for Event-Driven Real-Time Systems.
|
Yang, Jin;Mok, Aloysius K.;Wang, Farn; Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
Mok, A. K.; Emerson, E. A.; Wang, Farn; 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn |
| 國立臺灣大學 |
1993-04 |
Symbolic Model-Checking for Distributed Real-Time Systems
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
| 國立臺灣大學 |
2007 |
Symbolic Modeling of Epistasis
|
蔡佳醍; 江福田; TSAI, CHIA-TI; CHIANG, FU-TIEN |
| 臺大學術典藏 |
2020-12-30T08:48:04Z |
Symbolic modeling of epistasis
|
Moore J.H.; Barney N.; CHIA-TI TSAI; Chiang F.-T.; Gui J.; White B.C. |
| 臺大學術典藏 |
2021-03-11T04:30:18Z |
Symbolic modeling of epistasis
|
Moore J.H.;Barney N.;Tsai C.-T.;Fu-Tien Chiang;Gui J.;White B.C.; Moore J.H.; Barney N.; Tsai C.-T.; FU-TIEN CHIANG; Gui J.; White B.C. |
| 國立高雄應用科技大學 |
2010 |
Symbolic Nodal Analysis of Circuits Using Pathological Elements
|
Wang, Hung-Yu; Huang, Wen-Chung; Chiang, Nan-Hui |
| 臺大學術典藏 |
2005 |
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
|
Wang, Farn; Wang, Farn |
| 國立臺灣大學 |
2005 |
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
|
Wang, Farn |
| 臺大學術典藏 |
2018-09-10T04:59:30Z |
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures
|
F. Wang.; FARN WANG |
| 國立交通大學 |
2014-12-08T15:45:38Z |
Symbolic path-based protocol verification
|
Liu, WC; Chung, CG |
| 臺大學術典藏 |
2018-09-10T05:03:13Z |
Symbolic Politics or Pragmatism? Public Opinion on Unification vs. Independence in Taiwan
|
FENG-YU LEE; Lin, Tse-min; Wu, Chin-en; FENG-YU LEE |
| 臺大學術典藏 |
2018-09-10T05:03:13Z |
Symbolic Politics or Pragmatism? The Issue of Unification vs. Independence in Taiwan
|
FENG-YU LEE; Wu, Chin-en; Lin, Tse-Min; FENG-YU LEE |
| 國立政治大學 |
2010.08 |
Symbolic Politics, Self-Interests and Threat Perceptions: An Analysis of Taiwan Citizens' Views on Cross–Strait Economic Exchanges
|
王德育;陳陸輝;耿曙; Chen, Lu-huei |
| 臺大學術典藏 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang; Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 臺大學術典藏 |
2018-09-10T04:35:38Z |
Symbolic Simulation of Real-Time Concurrent Systems
|
F. Wang; G.-D. Hwang; F. Yu; FARN WANG |
| 國立臺灣大學 |
1987 |
Symbolic Substitution Using ZnS Interference Filters
|
Tsao, M. T.; 王倫; Jin, R.; Tsao, M. T.; Wang, L. A.; Jin, R. |
| 臺大學術典藏 |
2021-09-02T00:05:34Z |
Symbolic Uniform Sampling with XOR Circuits
|
Lin Y.-T;Jiang J.-H.R;Kravets V.N.; Lin Y.-T; Jiang J.-H.R; Kravets V.N.; JIE-HONG JIANG |
