| 亞洲大學 |
2003-12 |
An Intelligent Agent-Based Biomedical Literature Mining System for Cancer-Related Genes
|
陳士農;Chen, Shih-Nung;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003-12 |
A Bioinformatics Approach for Mining Cancer-related Genes over Internet
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003-12 |
Extended Elementary Object System Model for Mobile Agent Security
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003-12 |
In Silico Discovery of Cancer-Related Genes by Functional Domain Analysis
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003-12 |
Searching the Regulatory Protein Binding Site by Steepest Ascent Algorithm
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003-12 |
Subcellular Localization Prediction of Eukaryotic Protein Using Functional Domain Frequency Measure
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003-11 |
A Pilot Trial of Quantitative Tc-99m HMPAO and Ga-67 Citrate Lung Scans to Detect Pulmonary Endothelial Damage and Lung Inflatammation in Patients of Collagen Vascular Diseases with Active Diffuse Infiltrative Lung Disease
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003-09 |
智慧型代理人於癌症相關基因之文獻資料探勘之整合與應用
|
陳士農;Chen, Shih-Nung;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003-08 |
Association of the Neuronal Nicotinic Acetylcholine Receptor Subunit Alpha4 Polymorphisms with Febrile Convulsions
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003-08 |
Interleukin-10 Gene -627 Allele Variants, not Interleukin-I Beta Gene and Receptor Antagonist Gene Polymorphisms, are Associated with Atopic Bronchial Asthma
|
蔡進發;Jeffrey, J.P.Tsai |
| 中原大學 |
2003-03 |
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
|
Jeffrey J.P. Tsai;Eric Y.T. Juan;Avinash Sahay |
| 亞洲大學 |
2003-03 |
Model and Algorithm for Verification of High-Assurance Properties of Real-Time Systems
|
Jeffrey J. P. Tsai;E. Juan;A. Sahay |
| 亞洲大學 |
2003-03 |
Fuzzy Rule Base Systems Verification Using High Level Petri Nets
|
Jeffrey J. P. Tsai;S. Yang |
| 亞洲大學 |
2003-03 |
A Framework for Exploring Cancer-related Genes
|
Jeffrey J. P. Tsai;J.G. Chang, R.M. Chen, H.W. Hsiao, R.M. Hu, S.N. Chen, M.M. Lee, W.L. Chan, P.X. Wu, W.H. Chen, S.S. Chen, F.M. Liu, Y.C. Lin |
| 中國醫藥大學 |
2003-03 |
The clinical usefulness of dual phase 201Tl thyroid scan for false-negative fine-needle aspiration cytological diagnoses in non-functioning cold thyroid nodules
|
張淳堆(Chwen-Tzuei Chang); (Feng-Yuan Liu); (Jeffrey J.P. Tsai); 林正介(Cheng-Chieh Lin); 李正淳(Cheng-Chun Lee); 高嘉鴻(Chia-Hung Kao) |
| 亞洲大學 |
2003 |
An Approach for Modeling and Analysis of Security System Architecture
|
Jeffrey J. P. Tsai;Y. Deng |
| 亞洲大學 |
2003 |
An Approach for Modeling and Analysis of Security System Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Association Analysis of γ2 Subunit of γ-Aminobutyric Acid Type A Receptor Polymorphisms with Febrile Seizures
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Evaluating the Changes in Alveolar Permeability and Lung Ventilation in Patients with Chronic Renal Failure after Haemodialysis using 99mTc-DTPA Radioaerosol Inhalation Lung Scan
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Fuzzy Rule Base Systems Verification Using High Level Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Machine Learning and Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
Model and Algorithm for Verification of High-Assurance Properties of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2003 |
The Influence of Volatile Anesthetics on Alveolar Epithelial Permeability Measured by Noninvasive Radionuclide Lung Scan
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002.11 |
Machine Learning and Software Engineering
|
D.Zhang;D.Zhang;蔡進發;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 |
| 亞洲大學 |
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 |
| 亞洲大學 |
2002.06 |
A Secure Mobile Agent System Model Based on Extended Elementary Object Net
|
L.Ma;L.Ma;蔡進發;Jeffrey, J.P.Tsai;T.Murata;T.Murata |
| 亞洲大學 |
2002.05 |
Modeling a Secure Mobile Agent System with Petri Nets Scheme
|
L.Ma;L.Ma;蔡進發;Jeffrey, J.P.Tsai;T.Murata;T.Murata |
| 亞洲大學 |
2002-11 |
Machine Learning and Software Engineering
|
Jeffrey J. P. Tsai;D. Zhang |
| 亞洲大學 |
2002-11 |
Machine Learning and Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002-08 |
Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems
|
蔡進發;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 |
A Secure Mobile Agent System Model Based on Extended Elementary Object Net
|
蔡進發;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-05 |
Modeling a Secure Mobile Agent System with Petri Nets Scheme
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002 |
Development of Wireless Embedded Systems Using Component Based Software
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2002 |
Compositional Verification of Concurrent and Real-Time Systems
|
Y.T.Juan;Eric, Y.T.Juan;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2001.03 |
Formal Analysis of Software Security Systems Architecture
|
Y.Deng;Y.Deng;J.Wang;J.Wang;蔡進發;Jeffrey, J.P.Tsai;K.Beznosov;K.Beznosov |
| 中原大學 |
2001-12 |
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
|
Jeffrey J. P. Tsai;Eric Y. T. Juan |
| 國立臺灣海洋大學 |
2001-12 |
Modelling and Verification of High-Assurance Properties of Safety-Critical Systems
|
Jeffrey J. P. Tsai; Eric Y. T. Juan |
| 中原大學 |
2001-05 |
Reduction Methods for Real-Time Systems using Delay Time Petri Nets
|
Eric Y. T. Juan;Jeffrey J. P. Tsai;Tadao Murata;Yi Zhou |
| 亞洲大學 |
2001-03 |
Reduction Methods for Real-Time Systems using Delay Time Petri Nets
|
Jeffrey J. P. Tsai;. Juan T. Murata;Y. Zhou |
| 亞洲大學 |
2001-03 |
Formal Analysis of Software Security System Architectures
|
Jeffrey J. P. Tsai; |
| 亞洲大學 |
2001-03 |
Formal Analysis of Software Security Systems Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2001 |
Formal Verification Techniques for Communication Security Protocols
|
Jeffrey J. P. Tsai; |
| 亞洲大學 |
2001 |
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2001 |
Hybrid Parallel Execution Model for Logic-Based Specification Languages
|
蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li |
| 亞洲大學 |
2000.06 |
An Agent-based Internet Software Integration System
|
J.-M.Lin;J.-M.Lin;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
2000.06 |
A Compositional Approach for Modeling and Verification of Component-Based Software Systems
|
蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan |
| 亞洲大學 |
2000-06 |
A Compositional Approach for Modeling and Verification of Component-Based Software Systems
|
蔡進發;Jeffrey, J.P.Tsai |
