| 臺大學術典藏 |
2018-09-10T08:14:42Z |
Formal modeling and verification for Network-on-chip
|
Chen, Y.-R.;Su, W.-T.;Hsiung, P.-A.;Lan, Y.-C.;Hu, Y.-H.;Chen, S.-J.; Chen, Y.-R.; Su, W.-T.; Hsiung, P.-A.; Lan, Y.-C.; Hu, Y.-H.; Chen, S.-J.; SAO-JIE CHEN |
| 亞洲大學 |
2008-01 |
Formal Modelling and Analysis of a Secure Mobile Agent System
|
Jeffrey J. P. Tsai;L. Ma |
| 國立中山大學 |
1995-10 |
Formal reasoning in intelligent database systems
|
Shie-Jue Lee |
| 臺大學術典藏 |
2018-09-10T08:46:23Z |
Formal Reset Recovery Slack Calculation at the Register Transfer Level
|
C. N. Chung; C. W. Chang; K. H. Chang; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-06-29T12:48:05Z |
Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL
|
Mok, A. K.; Emerson, E. A.; Wang, Farn; 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Emerson, E. A. |
| 國立臺灣大學 |
1992-05 |
Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
| 淡江大學 |
1995 |
Formal specification and verification in Z for syncchronous concurrent compution
|
Lin, Fuyau;施國琛; Shih, Timothy K. |
| 亞洲大學 |
1995-04 |
Formal Specification and Verification in Z for Synchronous Concurrent Computation
|
Fuyau Lin ; Timothy K. Shih |
| 淡江大學 |
1999-10 |
Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
|
葛煥昭; Keh, Huan-chao; 施國琛; Shih, Timothy K.; Wang, C. S. |
| 亞洲大學 |
1998 |
Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
|
Huan-Chao Keh ; Timothy K. Shih |
| 淡江大學 |
1998-12 |
Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
|
Keh, Huan Chao; Shi, Timothy K. |
| 亞洲大學 |
1997-04 |
Formal Specification of a Graph-Based Object-Oriented Software Testing
|
Chi-Ming Chung; Timothy K. Shih;Chun-Chia Wang |
| 淡江大學 |
1997-04 |
Formal specification of a graph-based object-oriented software testing
|
Chung, Chi-ming , Shih, Timothy K.; Wang, Chun-chia |
| 亞洲大學 |
1999 |
Formal Specification of an Object-Oriented database for Intelligent Multimedia Presentation
|
Huan-Chao Keh; Timothy K. Shih ; Ching-Sheng Wang |
| 淡江大學 |
1996-03 |
Formal specification of multimedia authoring
|
Shih, Timothy K.; Chiang, Ding-an; Keh, Huan-chao; Shis, Chien-chou |
| 亞洲大學 |
1996 |
Formal Specification of Multimedia Authoring
|
Timothy K. Shih; Ding-An Chiang; Huan-Chao Keh; Chien-Chou Shis |
| 亞洲大學 |
1997 |
Formal Specification of Multimedia Database Modeling with Z Notations
|
Timothy K. Shih; Nancy P. Lin; Huan-Chao Keh; Ying-Hong Wang; Yule-Chyun Lin |
| 淡江大學 |
1997-01 |
Formal specification of multimedia database modeling with Z notations
|
Shih, Timothy K.; Lin, Nancy P.; 葛煥昭; Keh, Huan-chao; Wang, Ying-hong; Lin, Yule-chyun |
| 國立交通大學 |
2014-12-08T15:29:39Z |
Formal Synthesis of 3-Deoxy-D-manno-Octulosonic Acid (KDO) and 3-Deoxy-D-arabino-2-heptulosonic Acid (DAH)
|
Pradhan, Tapan Kumar; Lin, Chun Cheng; Mong, Kwok Kong Tony |
| 國立交通大學 |
2020-10-05T02:02:00Z |
Formal synthesis of schulzeines B and C: A new route to Gurjar's lactams
|
Chou, Chu-En; Chen, Yi-An; Lin, Yi-Ching; Kao, Shih-Chieh; Chang, Chieh-Yu; Wu, Yen-Ku |
| 亞洲大學 |
2006 |
Formal synthesis of the ACE inhibitor-Benazepril?HCl via an asymmetric aza-Michael reaction
|
Yu L. T.; Huang, J. L.; Chang, C. Y.; Yang, T. K. |
| 國立交通大學 |
2014-12-08T15:17:45Z |
Formal synthesis of vallesamidine
|
Ho, TL; Chen, CK |
| 東海大學 |
1988-06-00 |
Formal Theory of Drift Instability in Tokamak
|
張龍 |
| 國立政治大學 |
2011.05 |
Formal Theory of State Loss of Siphon-based Deadlock Prevention
|
趙玉; Chao, D.Y. |
| 國立臺灣大學 |
2011 |
Formal Training in the Endoscopic Recognition of Barrett's Esophagus Improves Detection Rate and Increases Diagnostic Yield
|
林肇堂; LIN, JAW-TOWN |
| 國立中山大學 |
1997 |
Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic
|
Shie-Jue Lee; W.J. Lin |
| 臺大學術典藏 |
2018-09-10T03:47:50Z |
Formal verification of embedded real-time software in component-based application frameworks
|
Hsiung, P.-A.; See, W.-B.; Lee, T.-Y.; Fu, J.-M.; Chen, S.-J.; SAO-JIE CHEN |
| 國立中山大學 |
2000-11 |
Formal Verification of Rule-Based Systems Using Petri-Net Formalism and Hyper-Linking-Based Theorem Proving
|
C.H. Wu;S.J. Lee |
| 國立臺灣大學 |
2004-08 |
Formal verification of timed systems: a survey and perspective
|
Wang, Farn |
| 臺大學術典藏 |
2018-09-10T04:59:29Z |
Formal Verification of Timed Systems: A Survey and Perspective
|
Falk, H.F. Wang.; Falk, H.; FARN WANG |
| 亞洲大學 |
2001 |
Formal Verification Techniques for Communication Security Protocols
|
Jeffrey J. P. Tsai; |
| 國立虎尾科技大學 |
2014 |
Formal Vocabulary Instruction in EFL Context
|
Huang, Yung-Chi |
| 國立成功大學 |
2024-08-01 |
Formaldehyde gas sensing properties of a sputtered indium tin zinc oxide thin film decorated with evaporated gold nanoparticles
|
Yao;Pao-Chi;Chu;Pai-Yi;Shih;Dong-Her;Liu;Wen-Chau |
| 大葉大學 |
2006-10 |
Formaldehyde Gas Sensor Utilizing Self-heating NiO Thin Film and Pt Electrodes
|
Lee, C.Y.;Wang, Y.H.;Ho, W.F.;Ma, R.H.;Chou, P.C. |
| 國立臺灣大學 |
1993 |
Formaldehyde in Conventional Homes in Taiwan
|
林嘉明; Yao, Yung-How; Lin, Jia-Ming; Yao, Yung-How |
| 國立成功大學 |
2018-05 |
Formaldehyde Sensing Characteristics of a NiO-Based Sensor Decorated With Pd Nanoparticles and a Pd Thin Film
|
Chen;Huey-Ing;Hsiao;Cheng-Yu;Chen;Wei-Cheng;Chang;Ching-Hong;Liu;I-Ping;Chou;Tzu-Chieh;Liu;Wen-Chau |
| 國立成功大學 |
2018-02 |
Formaldehyde sensing characteristics of an aluminum-doped zinc oxide (AZO) thin-film-based sensor
|
Chi;Cheng-Yu;Chen;Huey-Ing;Chen;Wei-Cheng;Chang;Ching-Hong;Liu;Wen-Chau |
| 國家衛生研究院 |
2011-03 |
Formaldehyde-inactivated human enterovirus 71 vaccine is compatible for co-immunization with a commercial pentavalent vaccine
|
Chen, CW;Lee, YP;Wang, YF;Yu, CK |
| 國立成功大學 |
2011-03-24 |
Formaldehyde-inactivated human enterovirus 71 vaccine is compatible for co-immunization with a commercial pentavalent vaccine
|
Chen, Chun-Wei; Lee, Yi-Ping; Wang, Ya-Fang; Yu, Chun-Keung |
| 臺北醫學大學 |
2005 |
Formalin fixation alters water diffusion coefficient magnitude but not
|
許重義; Sun SW; Neil JJ; Liang HF; He YY; Schmidt RE; Hsu CY; Song SK. |
| 臺大學術典藏 |
2019-03-21T03:05:32Z |
Formalin Inactivation of Japanese Encephalitis Virus Vaccine Alters the Antigenicity and Immunogenicity of a Neutralization Epitope in Envelope Protein Domain III
|
Yi-Chin Fan;Chiu, Hc;Chen, Lk;Chang, Gjj;Chiou, Ss; YI-CHIN FAN; Chiu, HC; Chen, LK; Chang, GJJ; Chiou, SS |
| 臺大學術典藏 |
2022-05-09T08:57:25Z |
Formalin Inactivation of Japanese Encephalitis Virus Vaccine Alters the Antigenicity and Immunogenicity of a Neutralization Epitope in Envelope Protein Domain III
|
YI-CHIN FAN; Chiu H.-C.; Chen L.-K.; Chang G.-J.J.; Chiou S.-S. |
| 國家衛生研究院 |
2013-11-21 |
Formalin-inactivated EV71 vaccine candidate induced cross-neutralizing antibody against subgenotypes B1, B4, B5 and C4A in adult volunteers
|
Chou, AH;Liu, CC;Chang, JY;Jiang, R;Hsieh, YC;Tsao, A;Wu, CL;Huang, JL;Fung, CP;Hsieh, SM;Wang, YF;Wang, JR;Hu, MH;Chiang, JR;Su, IJ;Chong, PCS |
| 臺大學術典藏 |
2018-09-10T09:39:00Z |
Formalin-inactivated EV71 vaccine candidate induced cross-neutralizing antibody against subgenotypes B1, B4, B5 and C4A in adult volunteers
|
Chou, A.-H. and Liu, C.-C. and Chang, J.-Y. and Jiang, R. and Hsieh, Y.-C. and Tsao, A. and Wu, C.-L. and Huang, J.-L. and Fung, C.-P. and Hsieh, S.-M. and Wang, Y.-F. and Wang, J.-R. and Hu, M.-H. and Chiang, J.-R. and Su, I.-J. and Chong, P.C.-S.; SZU-MIN HSIEH |
| 臺大學術典藏 |
2020-12-29T06:37:46Z |
Formalin-inactivated EV71 vaccine candidate induced cross-neutralizing antibody against subgenotypes B1, B4, B5 and C4A in adult volunteers
|
Liu C.-C.; Chou A.-H.; Chang J.-Y.; Jiang R.; Hsieh Y.-C.; Tsao A.; Wu C.-L.; Huang J.-L.; Fung C.-P.; SZU-MIN HSIEH; Wang Y.-F.; Wang J.-R.; Hu M.-H.; Chiang J.-R.; Su I.-J.; Chong P.C.-S. |
| 中國醫藥大學 |
2013-11 |
Formalin-inactivated EV71 vaccine candidate induced cross-neutralizing antibody responses against subgenotypes B1, B4, B5 and C4A in adult volunteers
|
(Ai-Hsiang Chou);(CC Liu);(JY Chang);(WH Yang);(R Jiang R);(YC Hsieh);(A Tsao);(CL Wu CL);(JL Huang);(SC Lin);(TC Lu);(YF Wang YF);(CF Fung);(SM Hsieh);(Wang JR);(MH Hu);(JR Chiang);(IJ Su);莊再成(Pele Chong)* |
| 淡江大學 |
2007-08 |
Formalismos en la poesia espanola contemporanea, segun Jose Angel Valente
|
羅幕斯 |
| 臺大學術典藏 |
2018-09-10T04:57:52Z |
Formalization of Information Security Threats and Policy
|
Hsu, Jane Yung-Jen; Wang, F.; Hsu, Jane Yung-jen; Wang, F.; YUNG-JEN HSU |
| 國立臺灣科技大學 |
2014 |
Formalization of the virtual evaluation of strain intensity in SPDed commercially pure copper billet
|
Huang, S.-J.; Semenov, V.I.; Fakhretdinova, E.I.; Raab, A.G. |
| 淡江大學 |
1995-09 |
Formalizing Commonsense Knowledge by Using Logic Programs
|
Horng, Wen-Bing |
