|
研究計畫 |
1. |
蔡進發 教育部 2003.09.1 ~2004.06.30
|
災後生活重建計劃—霧峰地區學校教學及學生輔導計畫 |
2. |
蔡進發 教育部 2002.08.1 ~2002.12.31
|
霧峰實驗--九二一重建生活教育學習空間(I) |
3. |
蔡進發 其他單位 2003.06.1 ~2004.05.31
|
台電保全事業營運規劃之研究 |
4. |
蔡進發 教育部 2003.09.1 ~2004.06.30
|
災後生活重建計劃—霧峰地區學校教學及學生輔導計畫 |
5. |
蔡進發 教育部 2002.08.1 ~2002.12.31
|
霧峰實驗--九二一重建生活教育學習空間(I) |
6. |
蔡進發 國科會 2007.08.1 ~2010.07.31
|
生醫分析系統之語意整合 |
7. |
蔡進發 國科會 2010.08.1 ~2013.07.31
|
阿拉伯芥整合系統生物學研究 |
SCI、SSCI、A&HCI、EI、TSSCI期刊論文 |
1. |
蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu)* ,2010-10, (已刊登)
|
MEDICAL ONCOLOGY 19卷期:97707頁~97709頁 |
Decreased expression of p39 is associated with a poor prognosis in human hepatocellular carcinoma |
2. |
蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu)* ,2010-10, (已刊登)
|
MEDICAL ONCOLOGY 卷期:頁~頁 |
Decreased expression of p39 is associated with a poor prognosis in human hepatocellular carcinoma |
3. |
蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu) ,2011-, (已接受未出版)
|
Acta Histochemica 卷期:頁~頁 |
Overexpression of Thy1/CD90 in human hepatocellular carcinoma is associated with HBV infection and poor prognosis |
4. |
蔡進發(Jeffrey J. P. Tsai)、吳家樂(Ng, Ka-Lok)* ,2007-, ()
|
LECTURE NOTES IN COMPUTER SCIENCE 4023卷1期:166頁~177頁 |
Topological Robustness of the Protein-protein Interaction Networks |
5. |
蔡進發(Jeffrey J. P. Tsai) ,2000-, (已刊登)
|
IEEE Transactions on Software Engineering 26卷4期:340頁~361頁 |
Clustering Algorithm for Parallelizing Software Systems in Multi-Processors Environment |
6. |
蔡進發(Jeffrey J. P. Tsai) ,2000-, (已刊登)
|
Tamkang Journal of Science and Engineering 3卷3期:173頁~186頁 |
Fault-toleration by Duplication and Debugging for Distributed Real-Time Systems |
7. |
蔡進發(Jeffrey J. P. Tsai) ,2001-, (已刊登)
|
IEEE Transactions on Software Engineering 27卷5期:422頁~448頁 |
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets |
8. |
蔡進發(Jeffrey J. P. Tsai) ,2002-, (已刊登)
|
International Journal of Software Engineering and Knowledge Engineering 12卷2期:135頁~154頁 |
Development of Wireless Embedded Systems Using Component Based Software |
9. |
蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
|
IEEE Transactions on Knowledge and Data Engineering 15卷2期:457頁~473頁 |
Fuzzy Rule Base Systems Verification Using High Level Petri Nets |
10. |
蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
|
IEEE Transactions on Knowledge and Data Engineering 15卷2期:405頁~422頁 |
Model and Algorithm for Verification of High-Assurance Properties of Real-Time Systems |
11. |
蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
|
IEEE Transactions on Knowledge and Data Engineering 15卷5期:1099頁~1119頁 |
An Approach for Modeling and Analysis of Security System Architecture |
12. |
蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
|
SOFTWARE QUALITY JOURNAL 11卷2期:87頁~119頁 |
Machine Learning and Software Engineering |
13. |
蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
|
NUCLEAR MEDICINE COMMUNICATIONS 24卷7期:825頁~828頁 |
Evaluating the Changes in Alveolar Permeability and Lung Ventilation in Patients with Chronic Renal Failure after Haemodialysis using 99mTc-DTPA Radioaerosol Inhalation Lung Scan |
14. |
蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
|
PEDIATRIC RESEARCH 54卷1期:26頁~29頁 |
Association Analysis of γ2 Subunit of γ-Aminobutyric Acid Type A Receptor Polymorphisms with Febrile Seizures |
15. |
蔡進發(Jeffrey J. P. Tsai) ,2003-08, (已刊登)
|
JOURNAL OF CLINICAL LABORATORY ANALYSIS 17卷5期:168頁~173頁 |
Interleukin-10 Gene -627 Allele Variants, not Interleukin-I Beta Gene and Receptor Antagonist Gene Polymorphisms, are Associated with Atopic Bronchial Asthma |
16. |
蔡進發(Jeffrey J. P. Tsai) ,2003-08, (已刊登)
|
EPILEPSIA 44卷8期:1089頁~1093頁 |
Association of the Neuronal Nicotinic Acetylcholine Receptor Subunit Alpha4 Polymorphisms with Febrile Convulsions |
17. |
蔡進發(Jeffrey J. P. Tsai) ,2003-11, (已刊登)
|
RHEUMATOLOGY INTERNATIONAL 23卷6期:301頁~301頁 |
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 |
18. |
蔡進發(Jeffrey J. P. Tsai) ,2004-11, (已刊登)
|
INTERNATIONAL JOURNAL OF MOLECULAR MEDICINE 14卷5期:855頁~859頁 |
Glutathione S-transferase T1 Deletion is a Factor for Developing End-stage Renal Disease in Diabetic Patients |
19. |
蔡進發(Jeffrey J. P. Tsai) ,2004-10, (已刊登)
|
International Journal of Software Engineering and Knowledge Engineering 14卷5期:471頁~496頁 |
Constraint Propagation and Progressive Verification for Component-based Process Model |
20. |
蔡進發(Jeffrey J. P. Tsai) ,2004-03, (已刊登)
|
SCANDINAVIAN JOURNAL OF RHEUMATOLOGY 33卷2期:126頁~127頁 |
The Relationship between Insulin-like Growth Factor-II Gene Apa I Polymorphism and Rheumatoid Arthritis |
21. |
蔡進發(Jeffrey J. P. Tsai) ,2005-05, (已刊登)
|
International Journal of Software Engineering and Knowledge Engineering 15卷3期:571頁~585頁 |
A Software Architecture for Finding Motifs using Genetic Algorithm |
22. |
蔡進發(Jeffrey J. P. Tsai) ,2005-05, (已刊登)
|
International Journal of Software Engineering and Knowledge Engineering 15卷3期:473頁~474頁 |
Software Engineering Support for Bioinformatics |
23. |
蔡進發(Jeffrey J. P. Tsai) ,2005-, (已刊登)
|
EUROPEAN JOURNAL OF CANCER 41卷8期:1158頁~1163頁 |
Amino Acid Concentrations in Cerebrospinal Fluid in Children with Acute Lymphoblastic Leukemia undergoing Chemotherapy |
24. |
蔡進發(Jeffrey J. P. Tsai) ,2006-, (已刊登)
|
Journal of Information Science and Engineering 22卷4期:843頁~861頁 |
A Novel Cache-based Approach to Large Polygonal Mesh Simplification |
25. |
蔡進發(Jeffrey J. P. Tsai) ,2006-12, (已刊登)
|
International Journal of Computer Applications in Technology 27卷4期:223頁~231頁 |
An Efficient Intrusion Detection System using Boosting -Based Learning Algorithm |
26. |
蔡進發(Jeffrey J. P. Tsai) ,2007-, (已刊登)
|
International Journal of Distributed Sensor Networks 3卷2期:135頁~136頁 |
Sensor Networks, Ubiquitous and Trustworthy Computing |
27. |
蔡進發(Jeffrey J. P. Tsai) ,2007-, (已刊登)
|
International Journal of Distributed Sensor Networks 3卷2期:175頁~199頁 |
A Coordination Model for Improving Software System Attack-tolerance and Survivability in Open Hostile Environments |
28. |
蔡進發(Jeffrey J. P. Tsai) ,2007-, (已刊登)
|
ACM Transactions on Autonomous and Adaptive Systems 2卷3期:頁~頁 |
The Role of Roles in Supporting Reconfigurability and Fault Localizations for Open Distributed and Embedded Systems |
29. |
蔡進發(Jeffrey J. P. Tsai) ,2008-, (已刊登)
|
ACM Transactions on Autonomous and Adaptive Systems 3卷3期:頁~頁 |
An Adaptive Automatically Tuning Intrusion Detection System |
30. |
蔡進發(Jeffrey J. P. Tsai) ,2008-, (已刊登)
|
Journal of Information Science and Engineering 24卷5期:1361頁~1375頁 |
Predicting Subcellular Locations of Eukaryotic Proteins using Bayesian and K-nearest Neighbor Classifiers |
31. |
蔡進發(Jeffrey J. P. Tsai)、(D. Patel)、(C. Chan) ,2009-, (已刊登)
|
Fundamenta Informaticae 90卷3期:203頁~228頁 |
A Doctrine of Cognitive Informatics |
32. |
蔡進發(Jeffrey J. P. Tsai) ,2009-, (已刊登)
|
Journal of Systems and Software 82卷10期:1578頁~1587頁 |
Experience on Knowledge-based Software Engineering: A Logic-based Requirements Language and its Industrial Applications |
33. |
蔡進發(Jeffrey J. P. Tsai) ,2011-01, (已刊登)
|
INTERACTIVE LEARNING ENVIRONMENTS 19卷1期:45頁~62頁 |
A Collaborative Multimedia Annotation Tool for Enhancing Knowledge Sharing in CSCL |
34. |
蔡進發(Jeffrey J. P. Tsai) ,2010-, (撰寫中)
|
IEEE Transactions on Knowledge and Data Engineering 卷期:頁~頁 |
Personalized Annotation Management System: A Web 2.0 Collaborative e-Learning Tool through Knowledge Sharing |
35. |
蔡進發(Jeffrey J. P. Tsai) ,2010-, (已刊登)
|
International Journal on Artificial Intelligence Tools 19卷5期:551頁~595頁 |
A Model for Object Relational OLAP |
36. |
蔡進發(Jeffrey J. P. Tsai)* ,2011-, (已刊登)
|
International Journal on Artificial Intelligence Tools 20卷1期:179頁~194頁 |
Cumulative Spectral Repeat Finder (CSRF): A Spectral Approach for Identifying the Length of Repeats in DNA Sequences |
37. |
蔡進發(Jeffrey J. P. Tsai) ,2010-, (已刊登)
|
EXPERT SYSTEMS WITH APPLICATIONS 37卷12期:8770頁~8783頁 |
Improving Fuzzy Knowledge Integration with Particle Swarm Optimization |
38. |
蔡進發(Jeffrey J. P. Tsai) ,2010-, (已刊登)
|
International Journal on Artificial Intelligence Tools 19卷5期:551頁~595頁 |
A Model for Object Relational OLAP |
39. |
蔡進發(Jeffrey J. P. Tsai)、許承瑜(Sheu, Phillip C.Y.)、蕭震緯(Chen-Wei Hsiao) ,2010-, (已刊登)
|
International Journal on Artificial Intelligence Tools 19卷3期:233頁~234頁 |
Special Issue on Selected Papers from the 9th IEEE International Conference on Bioinformatics and Bioengineering (BIBE2009) PREFACE |
40. |
蔡進發(Jeffrey J. P. Tsai) ,2009-, (已刊登)
|
EXPERT SYSTEMS WITH APPLICATIONS 36卷7期:10312頁~10324頁 |
Improving Peer-to-Peer Performance through Intelligent Social Search |
41. |
蔡進發(Jeffrey J. P. Tsai) ,2009-, (已刊登)
|
International Journal on Artificial Intelligence Tools 18卷1期:141頁~161頁 |
SOA-based Content Delivery Model for Mobile Internet Navigation |
42. |
蔡進發(Jeffrey J. P. Tsai) ,2008-, (已刊登)
|
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 38卷1期:180頁~196頁 |
Formal Modeling and Analysis of Secure Mobile Agent Systems |
43. |
蔡進發(Jeffrey J. P. Tsai) ,2006-10, (已刊登)
|
International Journal on Artificial Intelligence Tools 15卷5期:693頁~694頁 |
Special issue on bioinformatics - Preface |
44. |
吳家樂(Ng, Ka-Lok)、蔡進發(Jeffrey J. P. Tsai) ,2006-04, (已刊登)
|
International Journal on Artificial Intelligence Tools 15卷2期:309頁~322頁 |
Modular structures and robustness of protein networks |
45. |
蕭震緯(Chen-Wei Hsiao)、張培均(Pei-Chun Chang)、蔡進發(Jeffrey J. P. Tsai) ,2008-, (已刊登)
|
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING 24卷期:1361頁~1375頁 |
Predicting subcellular locations of eukaryotic proteins using bayesian and k-nearest neighbor classifiers |
46. |
吳家樂(Ng, Ka-Lok)、蔡進發(Jeffrey J. P. Tsai) ,2011-, (已刊登)
|
IEEE BIBE 2011 1卷1期:頁~頁 |
Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions caused by Alternative Splicing |
47. |
蔡進發(Jeffrey J. P. Tsai)、范宗宸(Ming-Jen Fan) ,2011-10, (已刊登)
|
IEEE BIBE 2011 卷期:213頁~220頁 |
The application of molecular markers to identify edible fungi-A case study of Tremella fuciformis |
48. |
范宗宸(Ming-Jen Fan)、林新力(Hsin-Li Lin)、劉嘉政(Chia Cheng Liu)、蔡進發(Jeffrey J. P. Tsai)* ,2011-10, (已刊登)
|
IEEE BIBE 2011 卷期:221頁~227頁 |
TTRSIS: A Cloud Computing Platform for Rice Functional Genomics Research through a Reverse Genetics Approach |
49. |
張春明(Chun-Ming Chang)、蔡進發(Jeffrey J. P. Tsai)* ,2011-, (已刊登)
|
IEEE BIBE 2011 卷期:頁~頁 |
Ergonomic Designs Based on Musculoskeletal Models |
50. |
胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai)* ,2011-, (已刊登)
|
IEEE BIBE 2011 卷期:頁~頁 |
Molecular Modeling Studies of AmpR Mediated AmpC β-Lactamase Repression |
51. |
蕭震緯(Chen-Wei Hsiao)、胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai) ,2011-, (已刊登)
|
IEEE BIBE 2011 卷期:頁~頁 |
Object Relational Programming of Biomedical Images |
52. |
吳家樂(Ng, Ka-Lok)、蔡進發(Jeffrey J. P. Tsai)* ,2011-, (已刊登)
|
IEEE BIBE 2011 卷期:頁~頁 |
Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model |
非SCI、SSCI、A&HCI、EI、TSSCI...等具審查機制論文 |
1. |
王經篤(Jing-Doo Wang)、劉湘川(Hsiang-Chuan Liu)、蔡進發(Jeffrey J. P. Tsai)、吳家樂(Ng, Ka-Lok) ,2008-, (已刊登)
|
International Journal of Cognitive Informatics and Natural Intelligence 2卷3期:31頁~42頁 |
Scaling behavior of Maximal Repeat Distributions in Genomic Sequences |
2. |
蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
|
Annals of Nuclear Medicine and Sciences 17卷3期:213頁~218頁 |
The Influence of Volatile Anesthetics on Alveolar Epithelial Permeability Measured by Noninvasive Radionuclide Lung Scan |
3. |
蔡進發(Jeffrey J. P. Tsai) ,2005-12, (已刊登)
|
健康管理學刊 3卷2期:179頁~187頁 |
A Bioinformatics Approach for Predicting the Lengths of Motifs |
4. |
蔡進發(Jeffrey J. P. Tsai) ,2006-, (已刊登)
|
Asian Journal of Health and Information Sciences 1卷1期:122頁~133頁 |
Searching the Regulatory Protein Binding Site by Steepest Ascent Algorithm |
5. |
蔡進發(Jeffrey J. P. Tsai) ,2006-10, (已刊登)
|
Asian Journal of Health and Information Sciences 1卷3期:261頁~275頁 |
A Novel Feature with Dynamic Time Warping and Least Squares Adjustment for Protein Structure Alignment |
6. |
蔡進發(Jeffrey J. P. Tsai) ,2010-, (已刊登)
|
International Journal of Cognitive Informatics and Natural Intelligence 4卷3期:1頁~17頁 |
Modeling a Secure Sensor Network Using an Extended Elementary Object System |
7. |
蔡進發(Jeffrey J. P. Tsai) ,2007-01, (已刊登)
|
Lecture Notes in Bioinformatics 4023卷期:166頁~177頁 |
Topical Robustness of the Protein-protein Interaction Networks |
研討會論文 |
1. |
陳士農(Shih-Nung Chen)、蔡進發(Jeffrey J. P. Tsai) 2003.09. ~ . .
|
智慧型代理人於癌症相關基因之文獻資料探勘之整合與應用 |
第六屆工程科技與中西醫學應用研討會(ETCM 2003) |
2. |
陳士農(Shih-Nung Chen)、蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
|
An Intelligent Agent-Based Biomedical Literature Mining System for Cancer-Related Genes |
IEEE 5th International Symposium on Multimedia Software Engineering (MSE 2003) |
3. |
蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
|
Object Relational Programming of Biomedical Images |
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering |
4. |
張春明(Chun-Ming Chang)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
|
Ergonomic Designs Based on Musculoskeletal Models |
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering |
5. |
吳家樂(Ng, Ka-Lok)、陳玉菁(Yu-ching Chen)、許承瑜(Sheu, Phillip C.Y.)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
|
Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model |
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering, |
6. |
胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
|
Molecular Modeling Studies of AmpR Mediated AmpC beta-Lactamase Repression |
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering |
7. |
吳家樂(Ng, Ka-Lok)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
|
Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing |
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering |
8. |
蔡進發(Jeffrey J. P. Tsai)、范宗宸(Ming-Jen Fan) 2011.10.24~2011.10.26
|
The Application of Molecular Markers to Identify Edible Fungi - A Case Sudy of Tremella fuciformis |
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering |
9. |
范宗宸(Ming-Jen Fan)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
|
TTRSIS: A Cloud Computing Platform for Rice Functional Genomics Research through a Reverse Genetics Approach |
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering |
10. |
張春明(Chun-Ming Chang)、蔡進發(Jeffrey J. P. Tsai)、張春明(Chun-Ming Chang) 2011.10.24~2011.10.26
|
Ergonomic Designs Based on Musculoskeletal Models |
IEEE 11th International Conference on Bioinformatics & Bioengineering |
11. |
范宗宸(Ming-Jen Fan)、蔡進發(Jeffrey J. P. Tsai)、范宗宸(Ming-Jen Fan) 2011.10.24~2011.10.26
|
TTRSIS: A cloud computing platform for rice functional genomics research through a reverse genetics approach |
11th IEEE International Conference on Bioinformatics and Bioengineering (BIBE2011) |
12. |
胡若梅(Rouh-Mei Hu)、吳家樂(Ng, Ka-Lok)、蕭震緯(Chen-Wei Hsiao)、蔡進發(Jeffrey J. P. Tsai)、許承瑜(Sheu, Phillip C.Y.) 2008.06.11~2008.06.13
|
|
BIOSEMANTIC SYSTEM |
13. |
蔡進發(Jeffrey J. P. Tsai)、吳家樂(Ng, Ka-Lok) 2007.01.15~2007.01.17
|
|
APPLICATIONS OF DOMAIN-DOMAIN INTERACTION IN PATHWAYS STUDY |
14. |
蔡進發(Jeffrey J. P. Tsai) 1990.07. ~ . .
|
Classification of Intelligent Simulation |
Proceedings of the 1990 Summer Simulation Conf. |
15. |
蔡進發(Jeffrey J. P. Tsai) 1990.10. ~ . .
|
On Real-Time Software Testing and Debugging |
Proceedings of the 1990 IEEE Computer Software and Applications Conf. |
16. |
1990.11. ~ . .
|
KBRMS: An Intelligent Assistant for Requirement Definition |
Proceedings of the 1990 IEEE Conf. on Tools for Artificial Intelligence |
17. |
1990. . ~ . .
|
A Hybrid Knowledge Representation for Requirement Specification and Reasoning |
Proceedings of the 1990 IEEE Conf. on Tools for Artificial Intelligence |
18. |
1991.03. ~ . .
|
Integrating Data Collection, Debugging, and Visualization |
Proceedings of the 7th International Conference on Advanced Science and Technology |
19. |
蔡進發(Jeffrey J. P. Tsai) 1991.05. ~ . .
|
A Research Overview of Distributed Database System Design |
Proceedings of the 22nd Annual Pittsburgh Conf. on Modeling and Simulation |
20. |
蔡進發(Jeffrey J. P. Tsai) 1991.05. ~ . .
|
Nested Concurrency and Its Application to Distributed Database Systems Design |
Proceedings of the 22nd Annual Pittsburgh Conf. on Modeling and Simulation |
21. |
1991.05. ~ . .
|
Timing Errors of Real-Time Software Systems and Their Detection |
Proceedings of the 1991 IEEE International Symposium on Software Reliability Engineering |
22. |
1991.08. ~ . .
|
A Distributed Cooperative Agents Architecture for Software Development |
Proceedings of the IJCAI International Workshop on Intelligent Cooperative Information Systems |
23. |
1991.09. ~ . .
|
Artificial Intelligence Techniques for Software Engineering |
Proceedings of the Fujitsu International Software Symposium |
24. |
1991.09. ~ . .
|
RT-FRORL: A Formal Requirements Specification Language for Specifying and Analyzing Real-Time Systems |
Proceedings of the 1991 IEEE International Computer Software and Applications Conference |
25. |
1991.11. ~ . .
|
An Event-Based Real-Time Logic to Specify Behavior and Timing Properties of Real-Time Systems |
Proceedings of the 1991 IEEE Conf. on Tools for Artificial Intelligence |
26. |
蔡進發(Jeffrey J. P. Tsai) 1991.11. ~ . .
|
Is A.I. the Solution for Software Engineering |
Proceedings of the3rd IEEE Tools with Artificial Intelligence Conference |
27. |
1991.11. ~ . .
|
Non-Monotonic Logic as a Basis for Requirements Specification and Analysis |
Proceedings of the IJCAI 1991 International Symposium on Artificial Intelligence |
28. |
1991.12. ~ . .
|
ESCHE: Expert System for Feature Identification in Human Chest of Computer Tomography |
Proceedings of The World Congress on Expert Systems |
29. |
1992.09. ~ . .
|
Visualization and Debugging Distributed Real-Time Software Systems |
Proceedings of the 1992 IEEE Int'l Conf. on Automation, Robotics, and Computer Vision |
30. |
蔡進發(Jeffrey J. P. Tsai) 1992.09. ~ . .
|
A Framework of Logic-Based Transformation System |
Proceedings of the 1992 IEEE Computer Software and Applications Conference |
31. |
蔡進發(Jeffrey J. P. Tsai) 1992.10. ~ . .
|
A Framework for Knowledge-Based Systems Verification |
Proceedings of the 1992 IEEE System, Man, Cybernetics Conference |
32. |
蔡進發(Jeffrey J. P. Tsai) 1993.04. ~ . .
|
A Requirement Specification Language for Autonomous Decentralized Systems Development |
Proceedings of IEEE International Symposium on Autonomous Decentralized Systems |
33. |
蔡進發(Jeffrey J. P. Tsai) 1993.04. ~ . .
|
Timing Constraints Petri Nets and Their Application to Schedulability Analysis of Real-Time Software |
Proceedings of the IEEE Workshop on Parallel and Distributed Real-Time Systems |
34. |
蔡進發(Jeffrey J. P. Tsai) 1993.06. ~ . .
|
Debugging of Logic-Based Requirements Languages - A FRORL Approach |
Proceedings of the IEEE Int'l Conf. on Software Engineering and Knowledge Engineering |
35. |
蔡進發(Jeffrey J. P. Tsai) 1993.06. ~ . .
|
Schedulability Analysis of Real-Time Software Using Timing Constraints Petri Nets |
Proceedings of the European Computer Science Conference |
36. |
蔡進發(Jeffrey J. P. Tsai) 1993.07. ~ . .
|
Detection of Traffic Congestion Using Fuzzy Operator Logic in Advance-like Systems |
Proceedings of the Intelligent Vehicle Symposium |
37. |
蔡進發(Jeffrey J. P. Tsai) 1994.11. ~ . .
|
Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language |
Proceedings of the 18th IEEE International Computer Software and Applications Conference |
38. |
1994.10. ~ . .
|
A Simple Graph Algorithm for Message-optimized Distributed Computing |
Proceedings of the 7th International Conference on Parallel and Distributed Computing |
39. |
蔡進發(Jeffrey J. P. Tsai) 1994.10. ~ . .
|
Improving Parallel Execution Performance for Logic Programs Using Mode Information |
Proceedings of the 6th IEEE Symposium on Parallel and Distributed Processing |
40. |
蔡進發(Jeffrey J. P. Tsai) 1995.06. ~ . .
|
Requirements, Specification, and Analysis of Autonomous Distributed Communication Service |
Proceedings of the National Development Symposium |
41. |
蔡進發(Jeffrey J. P. Tsai) 1995.08. ~ . .
|
Improving Software Quality Through a New Testing Strategy |
Proceedings of the 19th IEEE International Computer Software and Applications Conference |
42. |
蔡進發(Jeffrey J. P. Tsai) 1995.09. ~ . .
|
A Knowledge-Based Approach to Specification-Based Software Architecture |
Proceedings of the 1995 NSF/DARPA/ONR Software Specification Workshop |
43. |
蔡進發(Jeffrey J. P. Tsai) 1995.11. ~ . .
|
A Knowledge-Based Approach for Requirements Analysis |
Proceedings of the 1995 IEEE Tools with Artificial Intelligence Conference |
44. |
蔡進發(Jeffrey J. P. Tsai) 1996.02. ~ . .
|
A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems |
Proceedings of the 2nd IEEE Object-Oriented Real-Time Dependable System Workshop |
45. |
蔡進發(Jeffrey J. P. Tsai) 1996.06. ~ . .
|
Automatic Generation of Verification Scenario from Systems Requirements Specification |
Proceedings of the 8th Int'l Conference on Software Engineering and Knowledge Engineering |
46. |
蔡進發(Jeffrey J. P. Tsai) 1996.08. ~ . .
|
Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets |
Proceedings of the 20th IEEE International Computer Software and Applications Conference |
47. |
蔡進發(Jeffrey J. P. Tsai) 1996.10. ~ . .
|
An Efficient Analysis Method for Large-Scale Concurrent Systems |
Proceedings of Int'l IEEE High-Assurance Systems Engineering |
48. |
蔡進發(Jeffrey J. P. Tsai) 1996.10. ~ . .
|
A Hybrid Execution Model for Logic-Based Requirements Specifications |
Proceedings of IEEE International High-Assurance Systems Engineering |
49. |
蔡進發(Jeffrey J. P. Tsai) 1996.12. ~ . .
|
An Integrated Architecture for Distributed Real-Time Systems Analysis |
Proceedings of the 2nd World Conference on Integrated Design and Process Technology |
50. |
蔡進發(Jeffrey J. P. Tsai) 1997.02. ~ . .
|
An Incremental Verification Approach for Software Architecture Specification of Real-Time Systems |
Proceeding of the 3rd IEEE Object Oriented Real-Time Dependable System Workshop |
51. |
蔡進發(Jeffrey J. P. Tsai) 1997.08. ~ . .
|
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems |
Proceedings of IEEE Int'l Symposium on High-Assurance Systems Engineering |
52. |
蔡進發(Jeffrey J. P. Tsai) 1997.10. ~ . .
|
An Incremental Verification of Software Architecture |
ACM SIGSOFT Notics |
53. |
蔡進發(Jeffrey J. P. Tsai) 1998.04. ~ . .
|
Multimedia Software Engineering |
Proceedings of Int'l Conf. on Software Engineering |
54. |
蔡進發(Jeffrey J. P. Tsai) 1999.06. ~ . .
|
Architecture Specification of Multimedia Software Systems |
Proceedings of the 6th IEEE International Conference on Multimedia Computing and Systems |
55. |
蔡進發(Jeffrey J. P. Tsai) 2000.06. ~ . .
|
A Compositional Approach for Modeling and Verification of Component-Based Software Systems |
Proceedings of the NSF/ARL Workshop on Software Evolution |
56. |
蔡進發(Jeffrey J. P. Tsai) 2000.06. ~ . .
|
An Agent-based Internet Software Integration System |
Proceedings of the 4th World Conference on Integrated Design and Process Technology |
57. |
蔡進發(Jeffrey J. P. Tsai) 2001.03. ~ . .
|
Formal Analysis of Software Security Systems Architecture |
Proceedings of the 5th IEEE Symposium on Autonomous Decentralized Systems |
58. |
蔡進發(Jeffrey J. P. Tsai) 2002.05.16~2002.05.17
|
Modeling a Secure Mobile Agent System with Petri Nets Scheme |
Proceedings of the 12th Information Security Conference |
59. |
蔡進發(Jeffrey J. P. Tsai) 2002.06. ~ . .
|
Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets |
Proceedings of the Workshop on Formal Methods Applied to Defense Systems |
60. |
蔡進發(Jeffrey J. P. Tsai) 2002.08.19~2002.08.20
|
Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems |
Proceedings of the 1st IEEE Int’l Conf. on Cognitive Informatics |
61. |
蔡進發(Jeffrey J. P. Tsai) 2002.11.4 ~2002.11.6
|
Machine Learning and Software Engineering |
Proceedings of the IEEE Int’l Conf. on Tools with Artificial Intelligent |
62. |
蔡進發(Jeffrey J. P. Tsai) 2002.06. ~ . .
|
A Secure Mobile Agent System Model Based on Extended Elementary Object Net |
Proceedings of the World Congress on Integrated Design and Process Technology |
63. |
蔡進發(Jeffrey J. P. Tsai) 2003.03.10~2003.03.12
|
A Framework for Cancer-related Genes Mining over the Internet |
Proceedings of the 3rd IEEE Symp. on Bioinformatics and Bioengineering |
64. |
蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
|
Extended Elementary Object System Model for Mobile Agent Security |
Proceedings of the 2003 World Congress on Integrated Design and Process Technology |
65. |
蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
|
Searching the Regulatory Protein Binding Site by Steepest Ascent Algorithm |
Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering |
66. |
蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
|
Subcellular Localization Prediction of Eukaryotic Protein Using Functional Domain Frequency Measure |
Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering |
67. |
蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
|
An Intelligent Agent-Based Biomedical Literature Mining System for Cancer-Related Genes |
Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering |
68. |
蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
|
A Bioinformatics Approach for Mining Cancer-related Genes over Internet |
Proceedings of the IEEE ICDE Workshop on Bioinformatics |
69. |
蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
|
In Silico Discovery of Cancer-Related Genes by Functional Domain Analysis |
Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering |
70. |
蔡進發(Jeffrey J. P. Tsai) 2004.05. ~ . .
|
Using Distributed Computing Platform to Solve High Computing and Huge Data Processing Problems in Bioinformatics |
Proceedings of the 5th IEEE Int'l Symp. on Bioinformatics and Bioengineering |
71. |
蔡進發(Jeffrey J. P. Tsai) 2004.05. ~ . .
|
FMGA: Finding Motifs by Genetic Algorithm |
Proceedings of the 5th IEEE Int'l Symp. on Bioinformatics and Bioengineering |
72. |
蔡進發(Jeffrey J. P. Tsai) 2004.05.21~2004.05.22
|
Analysis of Cancerous Genes based on Microarray Gene Expression Data |
Proceedings of the 21st Workshop on Combinatorial Mathematics and Computational Theory |
73. |
蔡進發(Jeffrey J. P. Tsai) 2004.05.21~2004.05.22
|
Regulatory Protein Binding Site Analysis Using Position Weight Matrix |
Proceedings of the 21st Workshop on Combinatorial Mathematics and Computational Theory |
74. |
蔡進發(Jeffrey J. P. Tsai) 2004.09. ~ . .
|
A Secure Mobile Agent System Model Based on Extended Elementary Object Net |
Proceedings of the 28th IEEE Int'l Computer Software and Applications Conference |
75. |
蔡進發(Jeffrey J. P. Tsai) 2004.09. ~ . .
|
A Multiple-Class System for KDD Intrusion Detection |
Proceedings of the 28th IEEE Int'l Computer Software and Applications Conference |
76. |
蔡進發(Jeffrey J. P. Tsai) 2004.12. ~ . .
|
Distributed Discovery of Asychronous Partial Periodic Patterns in Sequence Data Using Modified Periodicity Transform |
Proceedings of the 6th IEEE Int'l Symp. on Multimedia Software Engineering |
77. |
蔡進發(Jeffrey J. P. Tsai) 2004.12. ~ . .
|
Predication of Gene Regulatory Networks using Differential Expression of cDNA Microarray Data |
Proceedings of the 6th IEEE Int'l Symp. on Multimedia Software Engineering |
78. |
蔡進發(Jeffrey J. P. Tsai) 2005.05. ~ . .
|
Reliability Verification of Microarray Gene Expression Database |
Proceedings of the 8th ETCM Conference |
79. |
蔡進發(Jeffrey J. P. Tsai) 2005.05. ~ . .
|
Recognizing Cancer-Related Genes based on Single Nucleotide Polymorphism |
Proceedings of the 8th ETCM Conference |
80. |
蔡進發(Jeffrey J. P. Tsai) 2005.08. ~ . .
|
Study of the Protein-Protein Interaction Networks via Random Graph Approach |
Proceedings of the 4th IEEE Int’l Conf. on Cognitive Informatics |
81. |
蔡進發(Jeffrey J. P. Tsai) 2005.09. ~ . .
|
Evolutionary Analysis of MTA-Related Proteins |
Proceedings of the Bioinformatics in Taiwan (BIT), |
82. |
蔡進發(Jeffrey J. P. Tsai) 2005.11. ~ . .
|
Modular Structure of Protein-Protein Interaction |
Proceedings of the NCTS Symp. on Network Biology |
83. |
蔡進發(Jeffrey J. P. Tsai) 2005.12. ~ . .
|
Structure-Based Virtual Screening of HDAC Proteins with Functional Evolutionary Analysis |
Proceedings of the National Computer Symp. |
84. |
蔡進發(Jeffrey J. P. Tsai) 2005.12. ~ . .
|
A Graphical Simulation Environment for Modeling and Analysis of Sensor Networks |
Proceedings of the 6th IEEE Int’l Symp. on Multimedia |
85. |
蔡進發(Jeffrey J. P. Tsai) 2006.02. ~ . .
|
An Analysis of H5N1 Influenza A Virus Hemagglutinin |
Proceedings of the 4th Asia Pacific Bioinformatics Conference, (APBC06) |
86. |
蔡進發(Jeffrey J. P. Tsai) 2006.02.13~2006.02.16
|
Topological Stability of the Protein-Protein Interaction Networks |
Proceedings of the 4th Asia Pacific Bioinformatics Conference (APBC06) |
87. |
蔡進發(Jeffrey J. P. Tsai) 2006.02.13~2006.02.16
|
Large Scale Predication of Domain-Domain Interactions from Protein-Protein Interactions |
Proceedings of the 4th Asia Pacific Bioinformatics Conference (APBC06) |
88. |
蔡進發(Jeffrey J. P. Tsai) 2006.05. ~ . .
|
Modeling an E-Auctioning System using Formal Method with a Trusted Agent Proxy |
Proceedings of Workshop on Advances in Computer Science and Engineering |
89. |
蔡進發(Jeffrey J. P. Tsai) 2006.06.5 ~2006.06.7
|
A Ubiquitous Warning System for Asthma-Inducement |
Proceedings of the IEEE Workshop on Multimedia Technology and Ubiquitous Computing |
90. |
蔡進發(Jeffrey J. P. Tsai) 2006.06.5 ~2006.06.7
|
Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems |
Proceedings of the 1st IEEE International Conference on Sensor Network, Ubiquitous, and Trustworthy Computing |
91. |
蔡進發(Jeffrey J. P. Tsai) 2006.09.17~2006.09.21
|
Separating Functional and Non-functional Concerns through Coordination: an Application to Reliability |
Proceedings of the 30th IEEE Int'l Computer Software and Applications Conference |
92. |
蔡進發(Jeffrey J. P. Tsai) 2006.09. ~ . .
|
Fuzzy Model Tuning for Intrusion Detection Systems |
Proceedings of the 3rd IFIP International Autonomic and Trusted Computing Conference |
93. |
蔡進發(Jeffrey J. P. Tsai) 2006.12. ~ . .
|
Proceedings of the 8th IEEE International Symposium on Multimedia |
Issues, Challenges, and Future Directions in Multimedia Research |
94. |
蔡進發(Jeffrey J. P. Tsai) 2006.12.14~2006.12.16
|
Potential Function Optimization using Particle Swarm Approach to One-class Classification |
Proceedings of the 14th National Conference on Fuzzy Theory and Its Applications |
95. |
蔡進發(Jeffrey J. P. Tsai) 2008.05.5 ~2008.05.7
|
A Framework for Extrusion Detection Using Machine Learning |
Proceedings of the 11th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC08) |
96. |
蔡進發(Jeffrey J. P. Tsai) 2008.06.1 ~2008.06.6
|
IHCread: An Automatic Immuohistochemistry Image Analysis Tool |
Proceedings of 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science |
97. |
蔡進發(Jeffrey J. P. Tsai) 2008.06.1 ~2008.06.6
|
Sharing Cancer-Related Genes Research on Peer-to-Peer Network |
Proceedings of 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science |
98. |
蔡進發(Jeffrey J. P. Tsai) 2008.06.1 ~2008.06.6
|
A Systematic Genes Expression Explorer Tool for Multiple and Paired Chips |
Proceedings of 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science |
99. |
蔡進發(Jeffrey J. P. Tsai) 2008.06.11~2008.06.13
|
A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks |
Proceedings of the 2nd IEEE International Conference on Sensor Network, Ubiquitous, and Trustworthy Computing (SUTC2008) |
100. |
蔡進發(Jeffrey J. P. Tsai) 2008.06.11~2008.06.13
|
Biosemantic System: Applications of Structured Natural Language to Biological and Biochemical Research |
Proceedings of the 1st IEEE Ambient Semantic Computing Workshop (ASC2008) |
101. |
蔡進發(Jeffrey J. P. Tsai) 2008.08.14~2008.08.16
|
Modeling of Secure Sensor Networks Using an Extended Elementary Object System |
Proceedings of the 7th IEEE Int’l Conf. on Cognitive Informatics |
102. |
蔡進發(Jeffrey J. P. Tsai) 2008.09.23~2008.09.26
|
A Context-driven Content Adaptation Planner for Improving Mobile Internet Accessibility |
Proceedings of the 2008 IEEE Int’l Conf. on Web Services |
103. |
蔡進發(Jeffrey J. P. Tsai) 2008.11.26~2008.11.28
|
Local Alignment of Protein Structures Using Non-rigid Approach |
Proceedings of the 8th Int’l Conf. on Intelligent Systems Design and Applications |
104. |
蔡進發(Jeffrey J. P. Tsai) 2009.05.22~2009.05.24
|
Residue Contact with Dynamic Time Warping and Least Squares Adjustment for Protein Structure Alignment |
Proceedings of the ITAOI |
105. |
蔡進發(Jeffrey J. P. Tsai) 2009.06.22~2009.06.24
|
A Novel Approach for Motif Identification in Unaligned Molecular Sequences |
Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering |
106. |
蔡進發(Jeffrey J. P. Tsai) 2009.06.22~2009.06.24
|
An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data |
Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering |
107. |
蔡進發(Jeffrey J. P. Tsai) 2009.06.22~2009.06.24
|
Phylogenetic Analysis using Nuclear-encoded Mitochondrial Proteins |
Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering |
108. |
蔡進發(Jeffrey J. P. Tsai) 2009.06.22~2009.06.24
|
Describing Dynamic Biological Systems using SPDL and SCDL |
Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering |
109. |
蔡進發(Jeffrey J. P. Tsai) 2009.06.22~2009.06.24
|
SCDL Applications to Drug Discovery |
Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering |
110. |
蔡進發(Jeffrey J. P. Tsai) 2010.11.18~2010.11.20
|
A Computer-aided System for Discriminating Normal from Cancerous Areas in IHC Liver Cancer Tissue Images Using K-means Clustering |
The 2010 Conference on Technologies and Applications of Artificial Intelligence |
111. |
鍾景光(Jing-Gung Chung)、蔡進發(Jeffrey J. P. Tsai)、范宗宸(Ming-Jen Fan)、范宗宸(Ming-Jen Fan) 2011.10.24~2011.10.26
|
The application of molecular markers to identify edible fungi-A case study of Tremella fuciformis |
11th IEEE International Conference on Bioinformatics and Bioengineering (BIBE2011) |
專書 |
1. |
蔡進發(Jeffrey J. P. Tsai)、 2002.
|
Compositional Verification of Concurrent and Real-Time Systems |
2. |
蔡進發(Jeffrey J. P. Tsai)、 2005.
|
Machine Learning Application in Software Engineering |
3. |
蔡進發(Jeffrey J. P. Tsai)、 2006.
|
Security Modeling and Analysis of Mobile Agent Systems |
4. |
蔡進發(Jeffrey J. P. Tsai)、 2006.
|
Ubiquitous Intelligence and Computing |
5. |
蔡進發(Jeffrey J. P. Tsai)、 2007.
|
Advances in Machine Learning Applications in Software Engineering |
6. |
蔡進發(Jeffrey J. P. Tsai) 2008.
|
Sensor Networks, Ubiquitous and Trustworthy Computing |
專書論文 |
1. |
蔡進發(Jeffrey J. P. Tsai)、 2002.
|
Handbook of Software Engineering and Knowledge Engineering, Vol. I |
|
2. |
蔡進發(Jeffrey J. P. Tsai)、 2005.
|
Handbook of Software Engineering and Knowledge Engineering, Vol. III |
|
3. |
蔡進發(Jeffrey J. P. Tsai)、 2006.
|
Encyclopedia of Computer Science and Engineering |
|
4. |
蔡進發(Jeffrey J. P. Tsai) 2007.
|
Advances in Machine Learning Application in Software Engineering |
|
5. |
蔡進發(Jeffrey J. P. Tsai)、 2007.
|
Wireless Ad Hoc Networking: Personal-Area, Local-Area, and Sensory-Area Networks |
|
6. |
蔡進發(Jeffrey J. P. Tsai)、 2007.
|
Advances in Machine Learning Application in Software Engineering |
|
7. |
蔡進發(Jeffrey J. P. Tsai) 2008.
|
Encyclopedia of Computer Science and Engineering Engineering |
|
8. |
蔡進發(Jeffrey J. P. Tsai) 2009.
|
Machine Learning in Cyber Trust: Security, Privacy, and Reliability |
|
|
|