Siblings 其他研究計畫 [0/2] 博碩士論文 [657/662] 專書 [0/23] 期刊論文 [749/1233] 科技部大專學生研究計畫 [29/42] 科技部研究計畫 [57/62] Collection Statistics 近3年內發表的文件:0(0.00%) 含全文筆數:101(28.94%) 文件下載次數統計 下載大於0次:101(100.00%) 下載大於100次:101(100.00%) 檔案下載總次數:62816(9.01%) 最後更新時間: 2024-12-03 01:22 上傳排行 資料載入中..... 下載排行 資料載入中..... 最近上傳 The epidemiology and progression ti... Phylogenetic Analysis using Nuclear... Local Alignment of Protein Structur... Subcellular Localization Prediction... Potential Function Optimization usi... Object Relational Programming of Bi... Timing Errors of Real-Time Software... A Hybrid Knowledge Representation f... Non-Monotonic Logic as a Basis for ... A Logic-Based Requirements Language...

跳至: [中文]   [數字0-9]   [ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ] 請輸入前幾個字:

顯示項目151-200 / 349. (共7頁) << < 1 2 3 4 5 6 7 > >> 每頁顯示[10|25|50]項目

日期	題名	作者
1997-09	Incremental Verification of Software Architectures	Jeffrey J. P. Tsai; A. Sistla, A. Sahay, R. Paul
1996-12	An Integrated Architecture for Distributed Real-Time Systems Analysis	蔡進發; Jeffrey, J.P.Tsai
1996-12	An Integrated Architecture for Distributed Real-Time Systems Analysis	S.Yang; S.Yang; 蔡進發; Jeffrey, J.P.Tsai; A.Liu; A.Liu
1991-03	Integrating Data Collection, Debugging, and Visualization	蔡進發; Jeffrey, J.P.Tsai
1991-03	Integrating Data Collection, Debugging, and Visualization	蔡進發; Jeffrey, J.P.Tsai
2009-06	An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data	J.W.Ou; J.W.Ou; R.M.Chen; R.M.Chen; 胡若梅; Hu, Rouh-Mei; C.Y.Tang; C.Y.Tang; 蔡進發; Jeffrey, J.P.Tsai
2009-06	An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data	蔡進發; Jeffrey, J.P.Tsai
2003-12	An Intelligent Agent-Based Biomedical Literature Mining System for Cancer-Related Genes	陳士農; Chen, Shih-Nung; 蔡進發; Jeffrey, J.P.Tsai; W.H.Chen; W.H.Chen
2011-10	Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing	吳家樂; Ng, Ka-Lok; 蔡進發; Jeffrey, J.P.Tsai
2011-10	Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing	Lee, Yu-Liang; Lee, Yu-Liang; Weng, Jie-Wei; Weng, Jie-Wei; Chi, Wen-Chin; Chiang, Wen-Chin; Lin, Yi-Wen; Lin, Yi-Wen; 吳家樂; Ng, Ka-Lok; 蔡進發; Jeffrey, J.P.Tsai; Hua, Chi-Ying; Huang, Chi-Ying
1991-11	Is A.I. the Solution for Software Engineering	蔡進發; Jeffrey, J.P.Tsai
1991-11	Is A.I. the Solution for Software Engineering	D.Cooke; D.Cooke; M.Feather; M.Feather; S.Fickas; S.Fickas; N.Minsky; N.Minsky
2009	Is that possible to design the versatile inhibitors for H1N1, H5N1, H5N2, and H5N7?	Chen, Chien-Yu; Bau, Da-Tian; Tsai, Ming-Hsui; Hsu, Yuan-Man; Ho, Tin-Yun; Huang, Hung-Jin; Chang, Yea-Huey; Tsai, Fuu-Jen; Tsai, Chang-Hai; Chen, Calvin Yu-Chian
1990-11	KBRMS: An Intelligent Assistant for Requirement Definition	B.Binder; B.Binder; 蔡進發; Jeffrey, J.P.Tsai
1990-11	KBRMS: An Intelligent Assistant for Requirement Definition	蔡進發; Jeffrey, J.P.Tsai
1999	Knowledge Verification	Jeffrey J. P. Tsai; E. Juan, A. sahay, D. Zhang
1995-11	A Knowledge-Based Approach for Requirements Analysis	蔡進發; Jeffrey, J.P.Tsai
1995-11	A Knowledge-Based Approach for Requirements Analysis	A.Liu; A.Liu; 蔡進發; Jeffrey, J.P.Tsai
1995-09	A Knowledge-Based Approach to Specification-Based Software Architecture	蔡進發; Jeffrey, J.P.Tsai
1995-09	A Knowledge-Based Approach to Specification-Based Software Architecture	蔡進發; Jeffrey, J.P.Tsai
1995-09	A Knowledge-Based Approach to Specification-Based Software Architecture	Jeffrey J. P. Tsai;
2006-02	Large Scale Predication of Domain-Domain Interactions from Protein-Protein Interactions	蔡進發; Jeffrey, J.P.Tsai
2006-02	Large Scale Predication of Domain-Domain Interactions from Protein-Protein Interactions	J.R.Lee; J.R.Lee; H.C.Liu; H.C.Liu; 蔡進發; Jeffrey, J.P.Tsai
2008-11	Local Alignment of Protein Structures Using Non-rigid Approach	蕭震緯; Hsiao, Chen-Wei; S.J.X.Lee; S.J.X.Lee; 蔡進發; Jeffrey, J.P.Tsai
2008-11	Local Alignment of Protein Structures Using Non-rigid Approach	蔡進發; Jeffrey, J.P.Tsai
1996-02	A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems	蔡進發; Jeffrey, J.P.Tsai
1996-02	A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems	Jeffrey J. P. Tsai;
1996-02	A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems	蔡進發; Jeffrey, J.P.Tsai; T.Weigert; T.Weigert
2002-11	Machine Learning and Software Engineering	蔡進發; Jeffrey, J.P.Tsai
2002-11	Machine Learning and Software Engineering	Jeffrey J. P. Tsai; D. Zhang
2002-11	Machine Learning and Software Engineering	D.Zhang; D.Zhang; 蔡進發; Jeffrey, J.P.Tsai
2012-04	A Measurement System for Human Face Orientation Estimation Based on Coefficients of Karhunen-Lo?ve Transformation	李正宇; Lee, Cheng-Yu
2012-04	A Measurement System for Human Face Orientation Estimation Based on Coefficients of Karhunen-Lo?ve Transformation	李正宇; Lee, Cheng-Yu
2010-11	The Measurements of Biomolecular Interactions by Surface Plasmon Resonance Techniques	胡文品; Hu, Wen-Pin
2002-05	Modeling a Secure Mobile Agent System with Petri Nets Scheme	蔡進發; Jeffrey, J.P.Tsai
2002-05	Modeling a Secure Mobile Agent System with Petri Nets Scheme	L.Ma; L.Ma; 蔡進發; Jeffrey, J.P.Tsai; T.Murata; T.Murata
2006-05	Modeling an E-Auctioning System using Formal Method with a Trusted Agent Proxy	蔡進發; Jeffrey, J.P.Tsai
2006-05	Modeling an E-Auctioning System using Formal Method with a Trusted Agent Proxy	P.S.; P.Srinivasan; 蔡進發; Jeffrey, J.P.Tsai; L.Ma; L.Ma
2002-08	Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems	蔡進發; Jeffrey, J.P.Tsai
2002-08	Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems	蔡進發; Jeffrey, J.P.Tsai; E.Juan; E.Juan
1994-11	Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language	蔡進發; Jeffrey, J.P.Tsai; B.Li; B.Li; A.Liu; A.Liu
1994-11	Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language	蔡進發; Jeffrey, J.P.Tsai
2002-06	Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets	蔡進發; Jeffrey, J.P.Tsai
2002-06	Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets	Jeffrey J. P. Tsai; C. Xiong, T. Murata
2002-06	Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets	C.Xiong; C.Xiong; T.Murata; T.Murata; 蔡進發; Jeffrey, J.P.Tsai
2008-08	Modeling of Secure Sensor Networks Using an Extended Elementary Object System	蔡進發; Jeffrey, J.P.Tsai
2008-08	Modeling of Secure Sensor Networks Using an Extended Elementary Object System	V.D.; V.Devarashetty; 蔡進發; Jeffrey, J.P.Tsai; L.Ma; L.Ma; D.Zhang; D.Zhang
2005-11	Modular Structure of Protein-Protein Interaction	蔡進發; Jeffrey, J.P.Tsai
2005-11	Modular Structure of Protein-Protein Interaction	C.H.Huang; C.H.Huang; P.H.Lee; P.H.Lee; 蔡進發; Jeffrey, J.P.Tsai; 吳家樂; Ng, Ka-Lok
2011-10	Molecular Modeling Studies of AmpR Mediated AmpC beta-Lactamase Repression	Hecht, David; Hecht, David; C.N.Wang; Charles, C.N.Wang; 胡若梅; Hu, Rouh-Mei; 蔡進發; Jeffrey, J.P.Tsai

顯示項目151-200 / 349. (共7頁) << < 1 2 3 4 5 6 7 > >> 每頁顯示[10|25|50]項目