Siblings Other Research Project [0/2] Theses & dissertations [657/662] Books [0/23] Journal Article [749/1233] Ministry of Science and Technology College Student Research Projects [29/42] Ministry of Science and Technology Research Project [57/62] Collection Statistics Item counts issued in 3 years:0(0.00%) Items With Fulltext:101(28.94%) Download counts of the item Download times greater than 0:101(100.00%) Download times greater than 100:101(100.00%) Total Bitstream Download Counts:62637(9.02%) Last Update: 2024-11-28 08:51 Top Upload Loading... Top Download Loading... Recent Submissions 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...

Jump to: [Chinese Items]   [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 ] or enter the first few letters:

Showing items 151-200 of 349. (7 Page(s) Totally) << < 1 2 3 4 5 6 7 > >> View [10|25|50] records per page

Date	Title	Authors
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

Showing items 151-200 of 349. (7 Page(s) Totally) << < 1 2 3 4 5 6 7 > >> View [10|25|50] records per page