Formal design methods for reliable computer-aided diagnosis: A review

IEEE Reviews in Biomedical Engineering

Volumn 5, Issue , 2012, Pages 15-28

  Faust, Oliver ^a   Acharya, U Rajendra ^a   Tamura, Toshiyo ^b  

^a DEPARTMENT OF ELECTRONICS AND COMPUTER ENGINEERING   (Singapore)

^b CHIBA UNIVERSITY   (Japan)

Author keywords

Algorithms; artificial neural network (ANN); computer aided diagnosis; formal methods; infrastructure; reliability; safety critical; systems engineering

Indexed keywords

AUTOMATED DECISION MAKING; BIO-SYSTEMS; CAD SYSTEM; CLINICAL DIAGNOSIS; CONCRETE DESIGN; DESIGN TECHNIQUE; DEVICE FAILURES; FORMAL DESIGN; HEALTH CARE APPLICATION; INFRASTRUCTURE; MEDICAL IMAGES; MODEL DRIVEN DESIGN; PATIENT CARE; PHYSIOLOGICAL SIGNALS; SAFETY-CRITICAL;

ALGORITHMS; DECISION MAKING; FORMAL METHODS; HEALTH CARE; NEURAL NETWORKS; RELIABILITY; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING;

COMPUTER AIDED DIAGNOSIS;

ALGORITHM; ARTIFICIAL NEURAL NETWORK; BIOMEDICAL ENGINEERING; COMPUTER ASSISTED DIAGNOSIS; HUMAN; METHODOLOGY; REVIEW; STATISTICAL MODEL;

ALGORITHMS; BIOMEDICAL ENGINEERING; DIAGNOSIS, COMPUTER-ASSISTED; HUMANS; MODELS, STATISTICAL; NEURAL NETWORKS (COMPUTER);

EID: 84871002424     PISSN: 19373333     EISSN: None     Source Type: Journal    
DOI: 10.1109/RBME.2012.2184750     Document Type: Review

References (174)

1. N. Archer, U. Fevrier-Thomas, C. Lokker, K. A. McKibbon, and S. E.Straus, "Personal health records: A scoping review," J. Amer. Med.Informatics Assoc. vol. 18, no. 4, pp. 515-522, 2011, 10.1136/amiajnl-2011-000105 [Online] . Available: http://jamia.bmj.com/content/18/4/515.abstract, arXiv:http://jamia.bmj.com/content/18/4/515.full.pdf+html
2. D. Detmer,M. Bloomrosen, B. Raymond, and P. Tang, "Integrated personalhealth records: Transformative tools for consumer-centric care,"BMC Med. Informatics Decision Making, vol. 8, no. 1, pp. 1-45, 2008,10.1186/1472- 6947-8-45 [Online] . Available: http://www.biomedcentral.com/1472-6947/8/45
3. J. S. Duncan and N. Ayache, "Medical image analysis: Progress overtwo decades and the challenges ahead," IEEE Trans. Pattern Anal.MachineIntell., vol. 22, no. 1, pp. 85-106, Jan. 2000.
4. A. Burgun and O. Bodenreider, "Accessing and integrating data andknowledge for biomedical research," Yearbook Med. Informaticspp. 91-101, 2008 [Online] . Available: http://www.ncbi.nlm.nih.gov/pubmed/18660883
5. K. Doi, "Computer-aided diagnosis in medical imaging: Historical review,current status and future potential," Computerized Med. ImagingGraphics, vol. 31, no. 4-5, pp. 198-211, 2007.
6. B. J. Erickson and B. Bartholmai, "Computer-aided detection and diagnosisat the start of the third millennium," J. Digital Imaging, vol.15, pp. 59-68, 2002.
7. K. Doi, "Current status and future potential of computer-aided diagnosisin medical imaging," Brit. J. Radiol., vol. 78, no. suppl-1, pp.S3-S19, 2005.
8. K. Doi, M. Giger, R. Nishikawa, K. Hoffmann, H. MacMahon, and R.Schmidt, "Potential usefulness of digital imaging in clinical diagnosticradiology: Computer-aided diagnosis," J. Digital Imaging, vol. 8, pp.2-7, 1995.
9. H. P. Chan, K. Doi, S. Galhotra, C. J. Vyborny, H. MacMahon, andP. M. Jokich, "Image feature analysis and computer-aided diagnosisin digital radiography. I. Automated detection of microcalcifications inmammography," Med. Phys., vol. 14, no. 4, pp. 538-548, 1987.
10. M. Das, G. Mühlenbruch, A. H. Mahnken, T. G. Flohr, L. Gündel, S.Stanzel, T. Kraus, R. W. Günther, and J. E. Wildberger, "Small pulmonarynodules: Effect of two computer-aided detection systems on radiologistperformance," Radiology, vol. 241, no. 2, pp. 564-571, Nov.2006.
11. L. Monnier-Cholley, F. Carrat, B. P. Cholley, J.-M. Tubiana, and L.Arrivé, "Detection of lung cancer on radiographs: Receiver operatingcharacteristic analyses of radiologists', pulmonologists', and anesthesiologists'performance," Radiology, vol. 233, no. 3, pp. 799-805, 2004.
12. B. Van Ginneken, B. M. Ter Haar Romeny, and M. A. Viergever, "Computer-aided diagnosis in chest radiography: A survey," IEEETrans. Med. Imaging, vol. 20, no. 12, pp. 1228-1241, Dec. 2001.
13. O. Faust, U. R. Acharya, L. C. Min, and B. H. C. Sputh, "Automaticidentification of epileptic and background EEG signals using frequencydomain parameters," Int. J. Neural Syst., vol. 20, no. 2, pp. 159-176,2010.
14. Y. Zhu, S. Williams, and R. Zwiggelaar, "Computer technology indetection and staging of prostate carcinoma: A review," Med. ImageAnal., vol. 10, no. 2, pp. 178-199, 2006.
15. D. A. Berry, K. A. Cronin, S. K. Plevritis, D. G. Fryback, L. Clarke,M. Zelen, J. S. Mandelblatt, A. Y. Yakovlev, J. D. F. Habbema, and E.J. Feuer, "Effect of screening and adjuvant therapy on mortality frombreast cancer," New Engl. J.Medicine, vol. 353, no. 17, pp. 1784-1792,2005.
16. R.A.Smith, D. Saslow,K.A.Sawyer,W. Burke,M. E.Costanza,W.P.Evans, R. S. Foster, E. Hendrick, H. J. Eyre, and S. Sener, "Americancancer society guidelines for breast cancer screening: Update 2003,"CA: Cancer J. Clinicians, vol. 53, no. 3, pp. 141-169, 2003.
17. E. D. Pisano, C. Gatsonis, E. Hendrick, M. Yaffe, J. K. Baum, S.Acharyya, E. F. Conant, L. L. Fajardo, L. Bassett, C. D'Orsi, R.Jong, and M. Rebner, "Diagnostic performance of digital versus filmmammography for breast-cancer screening," New Engl. J. Medicine,vol. 353, no. 17, pp. 1773-1783, 2005.
18. L. Ma, E. Fishell, B. Wright, W. Hanna, S. Allan, and N. F. Boyd,"Case-control study of factors associated with failure to detect breastcancer by mammography," J. Nat. Cancer Inst., vol. 84, no. 10, pp.781-785, 1992.
19. L. Monnier-Cholley, H. MacMahon, S. Katsuragawa, J. Morishita, T.Ishida, and K. Doi, "Computer-aided diagnosis for detection of interstitialopacities on chest radiographs," Amer. J. Roentgenol., vol. 171,no. 6, pp. 1651-1656, 1998.
20. J. Shiraishi, H. Abe, R. Engelmann, M.Aoyama,H.MacMahon, and K.Doi, "Computer-aided diagnosis to distinguish benign from malignantsolitary pulmonary nodules on radiographs: Roc analysis of radiologists'performance- initial experience," Radiology, vol. 227, no. 2, pp.469-474, 2003.
21. S. G. Armato, F. Li, M. L. Giger, H. MacMahon, S. Sone, and K. Doi,"Lung cancer: Performance of automated lung nodule detection appliedto cancers missed in a CT screening program," Radiology, vol. 225, no.3, pp. 685-692, 2002.
22. P. A. Hein, L. D. Krug, V. C. Romano, S. Kandel, B. Hamm, and P. Rogalla,"Computer-aided detection in computed tomography colonographywith full fecal tagging: Comparison of standalone performanceof 3 automated polyp detection systems," Canadian Assoc. RadiologistsJ., vol. 61, no. 2, pp. 102-108, 2010.
23. J. Näppi and K. Nagata, "Sources of false positives in computer-assistedCT colonography," Abdominal Imaging, vol. 36, pp. 153-164,2011.
24. H. Yoshida, J. Näppi, P. MacEneaney, D. T. Rubin, and A. H.Dachman, "Computer-aided diagnosis scheme for detection of polypsat CT colonography," Radiographics, vol. 22, no. 4, pp. 963-979,2002.
25. H. Yoshida, Y. Masutani, P. MacEneaney, D. T. Rubin, and A. H.Dachman, "Computerized detection of colonic polyps at CT colonographyon the basis of volumetric features: Pilot study," Radiology, vol.222, no. 2, pp. 327-336, 2002.
26. H. Yoshida and J. Nappi, "Three-dimensional computer-aided diagnosisscheme for detection of colonic polyps," IEEE Trans. Med.Imaging, vol. 20, no. 12, pp. 1261-1274, Dec. 2001.
27. F. Li, R. Engelmann, C. E. Metz, K. Doi, and H. MacMahon, "Lungcancers missed on chest radiographs: Results obtained with a commercialcomputer-aided detection program," Radiology, vol. 246, no. 1, pp.273-280, Jan. 2008.
28. J. Kent, S. Hoo, and S. T. C. Wong, "Information system modelingfor biomedical imaging applications," in Proc. Medical Imaging 1999:PACS Design and Evaluation: Eng. Clinical Issues, G. J. Blaine and S.C. Horii, Eds., 1999, vol. 3662, pp. 202-208, SPIE.
29. K.-S. Lee andK. Lee, "Framework of an evolutionary design system incorporatingdesign information and history," Computers Industry, vol.44, no. 3, pp. 205-227, 2001.
30. C. Haubelt, J. Falk, J. Keinert, T. Schlichter, M. Streubühr, A. Deyhle,A. Hadert, and J. Teich, "A systemic-based design methodology fordigital signal processing systems," EURASIP J. Embedded Syst., vol.2007, pp. 15-15, 2007.
31. AIAA Space 2006 Conf., Societal Impacts of the Apollo Program.
32. J. Fox and R. Thomson, "Decision support and disease management:A logic engineering approach," IEEE Trans. Inform. Technol. Biomedicine,vol. 2, no. 4, pp. 217-228, Apr. 1998.
33. A. V. Aho and J. E. Hopcroft, The Design and Analysis of ComputerAlgorithms, 1st ed. Boston, MA: Addison-Wesley Longman, 1974.
34. G. Begelman, M. Lifshits, and E. Rivlin, "Visual positioning ofpreviously defined ROIs on microscopic slides," IEEE Trans. Inform.Technol. Biomedicine, vol. 10, no. 1, pp. 42-50, Jan. 2006.
35. O. Faust, U. R. Acharya, E. Ng, K.-H. Ng, and J. S. Suri, "Algorithmsfor the automated detection of diabetic retinopathyusing digital fundus images: A review," J. Med. Syst. 2010,1-1310.1007/s10916-010-9454-7 [Online] . Available: http://dx.doi.org/10.1007/s10916-010-9454-7
36. V. S. Sree, E. Y. Ng, U. R. Acharya, and O. Faust, "Breast imaging: Asurvey,"World J. Clin. Oncol., vol. 2, no. 4, pp. 171-178, 2011.
37. M.G.Danilouchkine, F.Mastik, and A. F.W. van der Steen, "Accuracyin prediction of catheter rotation in ivuswith feature-based optical flow:A phantom study," IEEE Trans. Inform. Technol. Biomedicine, vol. 12,no. 3, pp. 356-365, Mar. 2008.
38. P. Soda and G. Iannello, "Aggregation of classifiers for staining patternrecognition in antinuclear autoantibodies analysis," IEEE Trans.Inform. Technol. Biomedicine, vol. 13, no. 3, pp. 322-329, Mar. 2009.
39. T. J. Dasey and E. Micheli-Tzanakou, "Detection of multiple sclerosiswith visual evoked potentials-An unsupervised computational intelligencesystem," IEEE Trans. Inform. Technol. Biomedicine, vol. 4, no.3, pp. 216-224, Mar. 2000.
40. M. Anderson and E. Micheli-Tzanakou, "Auditory stimulus optimizationwith feedback from fuzzy clustering of neuronal responses," IEEETrans. Inform. Technol. Biomedicine, vol. 6, no. 2, pp. 159-170, Feb.2002.
41. C. Lu, A. Devos, J. A. K. Suykens, C. Arus, and S. Van Huffel, "Bagginglinear sparse Bayesian learning models for variable selection incancer diagnosis," IEEE Trans. Inform. Technol. Biomedicine, vol. 11,no. 3, pp. 338-347, Mar. 2007.
42. C. Wittke, J. Mayer, and F. Schweiggert, "On the classification ofprostate carcinoma with methods from spatial statistics," IEEE Trans.Inform. Technol. Biomedicine, vol. 11, no. 4, pp. 406-414, Apr. 2007.
43. H. Kim, R. F. Yazicioglu, P. Merken, C. Van Hoof, and H.-J. Yoo,"ECG signal compression and classification algorithm with quad levelvector for ecg holter system," IEEE Trans. Inform. Technol. Biomedicine,vol. 14, no. 1, pp. 93-100, Jan. 2010.
44. Q. Zhu, H. Cui, K. Cao, and W. C. Chan, "Algorithmic fusion of geneexpression profiling for diffuse large b-cell lymphoma outcome prediction,"IEEE Trans. Inform. Technol. Biomedicine, vol. 8, no. 2, pp.79-88, Feb. 2004.
45. U. R. Acharya, O. Faust, S. V. Sree, F. Molinari, R. Garberoglio, andJ. S. Suri, "Cost-effective and non-invasive automated benign and malignantthyroid lesion classification in 3D contrast-enhanced ultrasoundusing combination of wavelets and textures: A class of thyroscan," AlgorithmsTechnol. Cancer Res. Treat., vol. 10, pp. 371-380, 2011.
46. A. Meyer-Baese, O. Lange, A. Wismueller, and M. K. Hurdal, "Analysisof dynamic susceptibility contrast MRI time series based on unsupervisedclustering methods," IEEE Trans. Inform. Technol. Biomedicine,vol. 11, no. 5, pp. 563-573, May 2007.
47. F. R. Sun, M. Q. Zhang, X. B. Jia, X. J.Wang, G. H. Yao, and Y. Zhang,"Numerical methods and workstation for the quantitative analysis ofreal-time myocardial contrast echocardiography," IEEE Trans. Inform.Technol. Biomedicine, vol. 14, no. 5, pp. 1204-1210, May 2010.
48. F. Veronesi, C. Corsi, E. G. Caiani, A. Sarti, and C. Lamberti,"Tracking of left ventricular long axis from real-time three-dimensionalechocardiography using optical flow techniques," IEEE Trans.Inform. Technol. Biomedicine, vol. 10, no. 1, pp. 174-181, Jan. 2006.
49. A. Katouzian, S. Sathyanarayana, B. Baseri, E. E. Konofagou, and S.Carlier, "Challenges in atherosclerotic plaque characterization with intravascularultrasound (IVUS): From data collection to classification, "IEEE Trans. Inform. Technol. Biomedicine, vol. 12, no. 3, pp. 315-327,Mar. 2008.
50. S. Singh, V. Kumar, H. K. Verma, and D. Singh, "SVM based systemfor classification of microcalcifications in digital mammograms," inProc. 28th Annu. Int. Conf. IEEE Eng. Medicine Biology Soc. EMBS'06, 2006, pp. 4747-4750.
51. F. Dehghan, H. Abrishami-Moghaddam, and M. Giti, "Automatic detectionof clustered microcalcifications in digital mammograms: Studyon applying adaboost with svm-based component classifiers," in Proc.30th Annu. Int. Conf. IEEE Eng. Medicine Biology Soc., 2008, pp.4789-4792.
52. J. M. Cerutti, R. Delcelo, M. J. Amadei, C. Nakabashi, R. M. B. Maciel,B. Peterson, J. Shoemaker, and G. J. Riggins, "A preoperativediagnostic test that distinguishes benign from malignant thyroid carcinomabased on gene expression," J. Clinical Investigation, vol. 113,no. 8, pp. 1234-1242, 2004.
53. J. A. Patton, J. W. Hollifield, A. B. Brill, G. S. Lee, and D. D. Patton,"Differentiation between malignant and benign solitary thyroid nodulesby fluorescent scanning," J. Nucl. Medicine, vol. 17, no. 1, pp.17-21, 1976.
54. J. Stoitsis, S. Golemati, K. S. Nikita, and A. N. Nicolaides, "Characterizationof carotid atherosclerosis based on motion and texture featuresand clustering using fuzzy c-means," in Proc. 26th Annu. Int. Conf.IEEE Eng. Medicine Biology Soc., 2004, vol. 1, pp. 1407-1410.
55. U. R. Acharya, O. Faust, A. Alvin, S. Sree, F. Molinari, L. Saba, A.Nicolaides, and J. Suri, "Symptomatic vs. asymptomatic plaque classificationin carotid ultrasound," J. Med. Syst., pp. 1-11, 2011.
56. M. J. Haller, H.-L. Viener, C. Wasserfall, T. Brusko, M. A. Atkinson,and D. A. Schatz, "Autologous umbilical cord blood infusion for type1 diabetes," Experimental Hematol., vol. 36, no. 6, pp. 710-715, 2008.
57. M. A. Meyers, P.-Y. Chen, M. I. Lopez, Y. Seki, and A. Y. M. Lin,"Biological materials: A materials science approach," J. MechanicalBehavior Biomedical Materials, vol. 4, no. 5, pp. 626-657, 2011.
58. T. Brown, Chemistry: The Central Science: A Broad Perspective.Sydney, Australia: Pearson, 2007.
59. I. Sachpazidis, Image and Medical Data Communication Protocols forTelemedicine and Teleradiology Oct. 2008.
60. C. V. Haaff, "Virtually on-sight," Just for Canadian Doctors, vol. 22,pp. 22-22, 2009.
61. M. Karimi, R. Amirfattahi, S. Sadri, and S. A. Marvasti, "Noninvasivedetection and classification of coronary artery occlusions using waveletanalysis of heart sounds with neural networks," in Proc. 3rd IEE Int.SeminarMedical Applicat. Signal Processing, 2005, pp. 117-120, Ref.2005-1119.
62. S. Arafat, M. Dohrmann, and M. Skubic, "Classification of coronaryartery disease stress ECGS using uncertainty modeling," in Proc. ICSCCongr. Computational Intelligence Methods Applications, 2005.
63. I. Babao?lu, O. Findik, andM. Bayrak, "Effects of principle componentanalysis on assessment of coronary artery diseases using support vectormachine," Expert Syst. Appl., vol. 37, pp. 2182-2185, 2010.
64. I. Babaoglu, O. Findik, and E. te;lker, "A comparison of feature selectionmodels utilizing binary particle swarm optimization and geneticalgorithm in determining coronary artery disease using support vectormachine," Expert Syst. Appl., vol. 37, pp. 3177-3183, 2010.
65. S. Ghosh-Dastidar and H. Adeli, "Improved spiking neural networksfor eeg classification and epilepsy and seizure detection," Integr.Comput.-Aided Eng., vol. 14, no. 3, pp. 187-212, 2007.
66. S. Ghosh-Dastidar, H. Adeli, and N. Dadmehr, "Mixed-band waveletchaos-neural network methodology for epilepsy and epileptic seizuredetection," IEEE Trans. Biomed. Eng., vol. 54, no. 9, pp. 1545-1551,Sep. 2007.
67. N. F. Güler, E. D. Übeyli, and I. Güler, "Recurrent neural networksemploying Lyapunov exponents for EEG signals classification, " ExpertSyst. Applicat., vol. 29, no. 3, pp. 506-514, 2005.
68. K. C. Chua, V. Chandran, U. R. Acharya, and C. M. Lim, "Automaticidentification of epileptic electroencephalography signals usinghigher-order spectra," Proc. Inst. Mechanical Engineers, Part H: J.Eng. Medicine, vol. 223, no. 4, pp. 485-495, 2009.
69. K. C. Chua, V. Chandran, U. R. Acharya, and C. M. Lim, "Analysisof epileptic EEG signals using higher order spectra," J. Med. Eng.Technol., vol. 33, no. 1, pp. 42-50, 2009.
70. J. Zhang, G. Sudre, X. Li, W. Wang, D. Weber, and A. Bagic, "Clusteringlinear discriminant analysis for MEG-based brain computer interfaces,"IEEE Trans. Neural Syst. Rehabil. Eng., vol. 19, to be published.
71. G. Liu, S.-Q. Xie, and Y. Zhang, "Optimization of spring-loadedcrutches via boundary value problem," IEEE Trans. Neural Syst.Rehab. Eng., vol. 19, no. 1, pp. 64-70, Jan. 2011.
72. R. Ribeiro and J. A. Sanches, "Fatty liver characterization and classificationby ultrasound," in Proc. 4th Iberian Conf. Pattern RecognitionImage Analysis, Berlin, Germany, 2009, pp. 354-361, Springer-Verlag.
73. W.-L. Lee, Y.-C. Chen, and K.-S. Hsieh, "Ultrasonic liver tissuesclassification by fractal feature vector based on m-band wavelettransform," IEEE Trans. Med. Imaging, vol. 22, no. 3, pp. 382-392,Mar. 2003.
74. A. Tailor, D. Jurkovic, T. H. Bourne, W. P. Collins, and S. Campbell,"Sonographic prediction of malignancy in adnexal masses using an artificialneural network," BJOG: Int. J. Obstetrics Gynaecol., vol. 106,no. 1, pp. 21-30, 1999.
75. Y. Zimmer, R. Tepper, and S. Akselrod, "An automatic approachfor morphological analysis and malignancy evaluation of ovarianmasses using b-scans," Ultrasound Medicine Biol., vol. 29, no. 11, pp.1561-1570, 2003.
76. J.. Nayak, P. S. Bhat, U. R. Acharya, C. M. Lim, and M. Gupta, "Automatedidentification of different stages of diabetic retinopathy usingdigital fundus images," J. Med. Syst. USA, vol. 32, no. 2, pp. 107-115,2008.
77. U. R. Acharya, S. Dua, X. Du, S.V. Sree, andC.K.Chua, "Automateddiagnosis of glaucoma using texture and higher order spectra features,"IEEE Trans. Inform. Technol. Biomedicine, vol. 15, no. 5, pp. 449-455,May 2011.
78. J. H. Tan, E. Y. K. Ng, U. R. Acharya, and C. Chee, "Infrared thermographyon ocular surface temperature: A review," Infrared Phys.Technol., vol. 52, no. 4, pp. 97-108, 2009.
79. A. Hasman and R. Haux, "Modeling in biomedical informatics- Anexploratory analysis: Part 2," Int. J. Med. Informatics, vol. 76, no. 2-3,pp. 96-102, 2007.
80. M. Sapir, "Formalization of induction logic in biomedical research,"in Proc. 4th Int. Symp. Robotics Automation ISRA'2004, Queretaro,Mexico, 2004, pp. 1-8.
81. T. F. Massoud, G. J. Hademenos, W. L. Young, E. Gao, J.Pile-Spellman, and F. Viñuela, "Principles and philosophy of modelingin biomedical research," FASEB J., vol. 12, no. 3, pp. 275-285, 1998.
82. K. S.Burrowes, A. J. Swan,N. J.Warren, andM. H. Tawhai, "Towardsa virtual lung: Multi-scale, multi-physics modelling of the pulmonarysystem," Philosophical Trans. Roy. Soc. A: Mathematical, PhysicalEng. Sci., vol. 366, no. 1879, pp. 3247-3263, 2008.
83. O. Fiehn, "Metabolomics-The link between genotypes and phenotypes,"Plant Molecular Biol., vol. 48, pp. 155-171, 2002.
84. J. Hugenholtz, W. Sybesma, M. Nierop Groot, W. Wisselink, V.Ladero, K. Burgess, D. van Sinderen, J.-C. Piard, G. Eggink, E.Smid, G. Savoy, F. Sesma, T. Jansen, P. Hols, and M. Kleerebezem,"Metabolic engineering of lactic acid bacteria for the production ofnutraceuticals," Antonie van Leeuwenhoek, vol. 82, pp. 217-235,2002, 10.1023/A:1020608304886.
85. I. Mierau and M. Kleerebezem, "10 years of the nisin-controlled geneexpression system (nice) in lactococcus lactis," Applied Microbiol.Biotechnol., vol. 68, pp. 705-717, 2005.
86. P. Droste, M. Weitzel, and W. Wiechert, "Visual exploration of isotopelabeling networks in 3D," Bioprocess Biosyst. Eng., vol. 31, pp.227-239, 2008.
87. O. Morozova and M. A. Marra, "Applications of next-generation sequencingtechnologies in functional genomics," Genomics, vol. 92, no.5, pp. 255-264, 2008.
88. P. Lamesch, N. Li, S. Milstein, C. Fan, T. Hao, G. Szabo, Z. Hu, K.Venkatesan, G. Bethel, P. Martin, J. Rogers, S. Lawlor, S. McLaren,A. Dricot, H. Borick,M. E. Cusick, J. Vandenhaute, I. Dunham, D. E.Hill, andM. Vidal, "horfeome v3.1: A resource of human open readingframes representing over 10,000 human genes," Genomics, vol. 89, no.3, pp. 307-315, 2007.
89. H. T. Tsang, J. W. Connell, S. E. Brown, A. Thompson, E. Reid, andC. M. Sanderson, "A systematic analysis of human chmp protein interactions:Additional mit domain-containing proteins bind to multiplecomponents of the human escrt iii complex," Genomics, vol. 88, no. 3,pp. 333-346, 2006.
90. E. Pettersson, J. Lundeberg, and A. Ahmadian, "Generations of sequencingtechnologies," Genomics, vol. 93, no. 2, pp. 105-111, 2009.
91. R. M. Twyman, Principles of Proteomics. Oxford, U.K.: Taylor andFrancis, 2004, Advanced text.
92. A. K. Konopka, "Surrogacy theory and models of convoluted organicsystems," PROTEOMICS, vol. 7, no. 6, pp. 846-856, 2007.
93. A. W. Dowsey, J. A. English, F. Lisacek, J. S. Morris, G.-Z. Yang, andM. J. Dunn, "Image analysis tools and emerging algorithms for expressionproteomics," PROTEOMICS, vol. 10, no. 23, pp. 4226-4257,2010.
94. A. Tuukkanen, B. Huang, A. Henschel, F. Stewart, and M. Schroeder,"Structural modeling of histone methyltransferase complex set1cfrom saccharomyces cerevisiae using constraint-based docking, "PROTEOMICS, vol. 10, no. 23, pp. 4186-4195, 2010.
95. P. Tsakanikas and E. S. Manolakos, "Protein spot detection and quantificationin 2-de gel images using machine-learning methods," PROTEOMICS,vol. 11, no. 10, pp. 2038-2050, 2011.
96. E. W. Deutsch, L. Mendoza, D. Shteynberg, T. Farrah, H. Lam, N.Tasman, Z. Sun,E.Nilsson, B. Pratt, B. Prazen, J. K. Eng, D. B.Martin,A. I. Nesvizhskii, and R. Aebersold, "A guided tour of the trans-proteomicpipeline," PROTEOMICS, vol. 10, no. 6, pp. 1150-1159, 2010.
97. F. Ortega, K. Sameith, N. Turan, R. Compton, V. Trevino, M. Vannucci,and F. Falciani, "Models and computational strategies linkingphysiological response to molecular networks from large-scale data,"Philosophical Trans. Roy. Soc. A: Mathematical, Phys. Eng. Sci., vol.366, no. 1878, pp. 3067-3089, 2008.
98. D. J. Doorly, D. J. Taylor, A. M. Gambaruto, R. C. Schroter, and N.Tolley, "Nasal architecture: Form and flow," Philosophical Trans. Roy.Soc. A: Math., Phys. Eng. Sc., vol. 366, no. 1879, pp. 3225-3246, 2008.
99. M. Peleg, S. Tu, A. Manindroo, and R. B. Altman, "Modeling andanalyzing biomedical processes using workflow/Petri net models andtools," Medinfo, vol. 11, pt. 1, pp. 74-78, 2004.
100. K. Oberauer and R. Kliegl, "A formal model of capacity limits inworking memory," J. Memory Language, vol. 55, no. 4, pp. 601-626,2006, Special Issue on Memory Models.
101. A. Tarakanov and D. Dasgupta, "A formal model of an artificial immunesystem," Biosystems, vol. 55, no. 1-3, pp. 151-158, 2000.
102. M. Hakman and T. Groth, "Kbsim: A system for interactive knowledge-based simulation," Computer Methods Programs in Biomedicine,vol. 34, no. 2-3, pp. 91-113, 1991.
103. D. M. Lyons and M. A. Arbib, "A formal model of computation forsensory-based robotics," IEEE Trans. Robot. Automat., vol. 5, no. 3,pp. 280-293, Mar. 1989.
104. G. Bernot, J.-P. Comet, A. Richard, and J. Guespin, "Application offormal methods to biological regulatory networks: Extending Thomas'asynchronous logical approach with temporal logic," J. TheoreticalBiol., vol. 229, no. 3, pp. 339-347, 2004.
105. R. Jetley, S. Purushothaman Iyer, and P. Jones, "A formal methods approachto medical device review," Computer, vol. 39, no. 4, pp. 61-67,2006, 10.1109/MC.2006.113.
106. D. Arney, R. Jetley, P. Jones, I. Lee, and O. Sokolsky, "Formalmethods based development of a pca infusion pump reference model:Generic infusion pump (GIP) project," in Proc. Joint WorkshopHigh Confidence Medical Devices, Software, and Systems and MedicalDevice Plug-and-Play Interoperability, HCMDSS-MDPNP'07, Washington, DC, 2007, pp. 23-33, http://dx.doi.org/10.1109/HCMDSS-MDPnP.2007.36 [Online] . Available: http://dx.doi.org/10.1109/HCMDSS-MDPnP.2007.36, IEEE Computer Society
107. E. V. Bernstam, J. W. Smith, and T. R. Johnson, "What is biomedicalinformatics?," J. Biomed. Informatics, vol. 43, no. 1, pp. 104-110,2010.
108. E. H. Shortliffe, "The science of biomedical computing," InformaticsHealth Social Care, vol. 9, no. 3-4, pp. 185-193, 1984.
109. V. Maojo and M. N. Tsiknakis, "Biomedical informatics and healthgrids:A European perspective-Past and current efforts and projectsin the synergy of bionformatics and medical informatics," IEEE Eng.Medicine Biol. Mag., vol. 26, no. 3, pp. 34-41, 2007.
110. T. Barsalou, An object-based architecture for biomedical expert databasesystems, knowledge systems AI Lab., Tech. Rep. KSL-88-60,1988.
111. M. Hakman and T. Groth, "Object-oriented biomedical system modelling-The language," Computer Methods Programs Biomedicine, vol.60, no. 3, pp. 153-181, 1999.
112. I. S. Kohane, "The contributions of biomedical informatics to the fightagainst bioterrorism," J. Amer. Med. Informatics Assoc., vol. 9, no. 2,pp. 116-119, 2002.
113. C. May and N. T. Ellis, "When protocols fail: Technical evaluation,biomedical knowledge, and the social production of 'facts' about atelemedicine clinic," Social Sci. Medicine, vol. 53, no. 8, pp. 989-1002,2001.
114. E. S. Manolakos, H. M. Stellakis, and D. H. Brooks, "Parallel processingfor biomedical signal processing," Computer, vol. 24, pp.33-43, 1991.
115. C. Bajaj, A. DiCarlo, and A. Paoluzzi, "Proto-plasm: Parallel languagefor adaptive and scalable modelling of biosystems," PhilosophicalTrans. Roy. Soc. A: Mathematical, Physical Eng. Sci., vol. 366, no.1878, pp. 3045-3065, 2008.
116. S. Tschirner, L. Xuedong, and W. Yi, "Model-based validation of QoSproperties of biomedical sensor networks," in Proc. 8th ACM Int. Conf.Embedded Software, EMSOFT '08, New York, 2008, pp. 69-78, ACM.
117. A. M. Turing, "On computable numbers, with an application tothe entscheidungsproblem," Proc. London Math. Soc., vol. 42, pp.230-265, 1936.
118. M. E. Johnston, K. B. Langton, R. B. Haynes, and A.Mathieu, "Effectsof computer-based clinical decision support systems on clinician performanceand patient outcome: A critical appraisal of research," Ann.Intern. Med., vol. 120, no. 2, pp. 135-142, 1994.
119. R. S. Evans, S. L. Pestotnik, D. C. Classen, T. P. Clemmer, L. K.Weaver, J. F. Orme, J. F. Lloyd, and J. P. Burke, "A computer-assistedmanagement program for antibiotics and other antiinfective agents,"New Engl. J. Medicine, vol. 338, no. 4, pp. 232-238, 1998.
120. P. J. Shah, R.Martinez, and B. P. Zeigler, "Design, analysis, and implementationof a telemedicine remote consultation and diagnosis sessionplayback using discrete event system specification," IEEE Trans. InformationTechnol. Biomedicine, vol. 1, no. 3, pp. 179-188, Mar. 1997.
121. "NASA Systems Engineering Handbook," NASA, 1995, (Ed.).
122. G. M. Samaras and R. L. Horst, "A systems engineering perspective onthe human-centered design of health information systems," J. Biomed.Informatics, vol. 38, no. 1, pp. 61-74, 2005, Human-Centered Computingin Health Information Systems. Part 1: Analysis and Design.
123. S. R. Levin, R. Dittus, D. Aronsky, M. B. Weinger, J. Han, J. Boord,and D. France, "Optimizing cardiology capacity to reduce emergencydepartment boarding: A systems engineering approach," Amer. HeartJ., vol. 156, no. 6, pp. 1202-1209, 2008.
124. L. T. Kohn, J. Corrigan, and M. S. Donaldson, To Err is Human:Building a Safer Health System. Washington, DC: NationalAcademy, 2000.
125. M. S. Bogner, Misadventures in Health Care: Inside Stories. Hillsdale,NJ: Lawrence Erlbaum, 2000.
126. D. Diez, C. Fernandez, and D. J. Manuel, "A systems engineeringanalysis method for the development of reusable computer- supportedlearning systems," Interdisciplinary J. Knowledge Learning Objects,vol. 4, pp. 243-257, 2008.
127. C. Palanisamy and S. Selvan, "Efficient subspace clustering for higherdimensional data using fuzzy entropy," J. Syst. Sci. Syst. Eng., vol. 18,no. 1, pp. 95-110, 2009.
128. Systems Management College Department of Defense, System EngineeringFundamentals, 2001.
129. Z. Song, Z. Ji, J.-G. Maa,B. H. C. Sputh, U. R. Acharya, andO. Faust,"A systematic approach to embedded biomedical decision making,"Computer Methods Programs in Biomedicine, 2011, to be published.
130. O. Faust, R. Shetty, V. S. Sree, S. Acharya, U. R. Acharya,E. Ng, C. Poo, and J. S. Suri, "Towards the systematic developmentof medical networking technology," J. Med. Syst.2010, 1-1510.1007/s10916-009-9420-4
131. A. A. Bui, D. R. Aberle, and H. Kangarloo, "Timeline: Visualizingintegrated patient records," IEEE Trans. Inform. Technol. Biomedicine,vol. 11, no. 4, pp. 462-473, Apr. 2007.
132. A. Kusiak, J. A. Kern, K. H. Kernstine, and B. T. L. Tseng, "Autonomous decision-making: A data mining approach," IEEETrans. Inform. Technol. Biomedicine, vol. 4, no. 2, pp. 274-284,Feb. 2000.
133. J. M. Cauvin, C. L. Guillou, B. Solaiman, M. Robaszkiewicz, P. L.Beux, and C. Roux, "Computer-assisted diagnosis system in digestiveendoscopy, " IEEE Trans. Inform. Technol. Biomedicine, vol. 7, no. 2,pp. 256-262, Feb. 2003.
134. H. Seker, R. N. G. Naguib, M. O. Odetayo, and D. Petrovic, "A fuzzylogic based-method for prognostic decision making in breast andprostate cancers," IEEE Trans. Inform. Technol. Biomedicine, vol. 7,no. 1, pp. 114-122, Jan. 2003.
135. L. Böröczky, L. Zhao, and K. P. Lee, "Feature subset selection forimproving the performance of false positive reduction in lung nodulecad," IEEE Trans. Inform. Technol. Biomedicine, vol. 10, no. 3, pp.504-511, Mar. 2006.
136. K. Marsolo, M. D. Twa, M. A. Bullimore, and S. Parthasarathy, "Spatialmodeling and classification of corneal shape," IEEE Trans. Inform.Technol. Biomedicine, vol. 11, no. 2, pp. 203-212, Feb. 2007.
137. E. R. Carson, D. G. Cramp, A. Morgan, and A. V. Roudsari, "Clinicaldecision support, systems methodology, and telemedicine: Their rolein the management of chronic disease," IEEE Trans. Inform. Technol.Biomedicine, vol. 3, no. 1, pp. 80-88, Jan. 1998.
138. A. Lambrou, H. Papadopoulos, and A. Gammerman, "Reliable confidencemeasures for medical diagnosis with evolutionary algorithms,"IEEE Trans. Inform. Technol. Biomedicine, vol. 15, no. 1, pp. 93-99,Jan. 2011.
139. Y. Ji, H. Ying, M. S. Farber, J. Yen, P. Dews, R. E. Miller, and R.M. Massanari, "A distributed, collaborative intelligent agent systemapproach for proactive postmarketing drug safety surveillance," IEEETrans. Inform. Technol. Biomedicine, vol. 14, no. 4, pp. 826-837, Apr.2010.
140. T.-S. Lim, W.-Y. Loh, and Y.-S. Shih, "A comparison of predictionaccuracy, complexity, and training time of thirty-three old and newclassification algorithms," Machine Learning, vol. 40, pp. 203-228,2000.
141. D. K. Iakovidis and E. Papageorgiou, "Intuitionistic fuzzy cognitivemaps for medical decision making," IEEE Trans. Inform. Technol. Biomedicine,vol. 15, no. 1, pp. 100-107, Jan. 2011.
142. A. Kusiak, I. H. Law, and D.MacDonald, II, "The g-algorithm for extractionof robust decision rules children's postoperative intra-atrial arrhythmiacase study," IEEE Trans. Inform. Technol. Biomedicine, vol.5, no. 2, pp. 225-235, Feb. 2001.
143. I. Güler and E. D. Übeyli, "Multiclass support vector machines forEEG-signals classification," IEEE Trans. Inform. Technol. Biomedicine,vol. 11, no. 1, pp. 117-126, Jan. 2007.
144. V. Schetinin, J. E. Fieldsend, D. Partridge, T. J. Coats, W. J.Krzanowski, R. M. Everson, T. C. Bailey, and A. Hernandez, "Confidentinterpretation of bayesian decision tree ensembles for clinicalapplications," IEEE Trans. Inform. Technol. Biomedicine, vol. 11, no.2, pp. 312-319, Feb. 2007.
145. T. P. Exarchos, A. T. Tzallas, D. I. Fotiadis, S. Konitsiotis, and S. Giannopoulos,"EEG transient event detection and classification using associationrules," IEEE Trans. Inform. Technol. Biomedicine, vol. 10,no. 3, pp. 451-457, Mar. 2006.
146. M. Gaspari, D. Saletti, C. Scandellari, and S. Stecchi, "Refining anautomatic edss scoring expert systemfor routine clinical use inmultiplesclerosis," IEEE Trans. Inform. Technol. Biomedicine, vol. 13, no. 4,pp. 501-511, Apr. 2009.
147. L. N. Kanal, "Perceptron," in Encyclopedia Computer Science.Chichester, U.K.: Wiley, 2003, pp. 1383-1385.
148. F. Rosenblatt, The Perceptron-A Perceiving and Recognizing AutomatonCornell Aeronautical Lab., Rep. 85-460-1.
149. K. Ashizawa, T. Ishida, H.MacMahon, C. J. Vyborny, S. Katsuragawa,and K.Doi, "Artificial neural networks in chest radiography: Applicationto the differential diagnosis of interstitial lung disease," AcademicRadiol., vol. 6, no. 1, pp. 2-9, 1999.
150. H. Abe, K. Ashizawa, S. Katsuragawa, H. MacMahon, and K. Doi,"Use of an artificial neural network to determine the diagnostic valueof specific clinical and radiologic parameters in the diagnosis of interstitiallung disease on chest radiographs," Academic Radiol., vol. 9, no.1, pp. 13-17, 2002.
151. P. B. Snow, D. M. Rodvold, and J. M. Brandt, "Artificial neuralnetworks in clinical urology," Urology, vol. 54, no. 5, pp. 787-790,1999.
152. H. Abe, K. Ashizawa, F. Li, N.Matsuyama, A. Fukushima, J. Shiraishi,H. MacMahon, and K. Doi, "Artificial neural networks (anns) for differentialdiagnosis of interstitial lung disease: Results of a simulationtest with actual clinical cases," Academic Radiol., vol. 11, no. 1, pp.29-37, 2004.
153. S. Walczak, "Artificial neural network medical decision supporttool: Predicting transfusion requirements of ER patients," IEEETrans. Inform. Technol. Biomedicine, vol. 9, no. 3, pp. 468-474,Mar. 2005.
154. R. M. Golden, "Artificial neural networks: Neurocomputation," in Int.Encyclopedia Social Behavioral Sci., N. J. Smelser and P. B. Baltes,Eds. Oxford, U.K.: Pergamon, 2001, pp. 806-811.
155. C. M. Ennett and M. Frize, "Weight-elimination neural networks appliedto coronary surgery mortality prediction," IEEE Trans. Inform.Technol. Biomedicine, vol. 7, no. 2, pp. 86-92, Feb. 2003.
156. E. Lamma, P. Mello, A. Nanetti, F. Riguzzi, S. Storari, and G.Valastro, "Artificial intelligence techniques for monitoring dangerousinfections, " IEEE Trans. Inform. Technol. Biomedicine, vol. 10, no. 1,pp. 143-155, Jan. 2006.
157. C. Catley, M. Frize, C. R. Walker, and D. C. Petriu, " Predictinghigh-risk preterm birth using artificial neural networks," IEEE Trans.Inform. Technol. Biomedicine, vol. 10, no. 3, pp. 540-549, Mar.2006.
158. V. Srinivasan, C. Eswaran, and N. Sriraam, "Approximate entropybasedepileptic EEG detection using artificial neural networks," IEEETrans. Inform. Technol. Biomedicine, vol. 11, no. 3, pp. 288-295, Mar.2007.
159. S.-H. Shin, T. Hashimoto, and S. Hatano, "Automatic detection systemfor cough sounds as a symptom of abnormal health condition," IEEETrans. Inform. Technol. Biomedicine, vol. 13, no. 4, pp. 486-493, Apr.2009.
160. H. Atoui, J. Fayn, and P. Rubel, "A novel neural-network model forderiving standard 12-lead ECGS from serial three-lead ECGS: Applicationto self-care," IEEE Trans. Inform. Technol. Biomedicine, vol.14, no. 3, pp. 883-890, Mar. 2010.
161. A. T. Tzallas, M. G. Tsipouras, and D. I. Fotiadis, "Epileptic seizuredetection in EEGS using time frequency analysis," IEEE Trans.Inform. Technol. Biomedicine, vol. 13, no. 5, pp. 703-710, May2009.
162. Artificial Neural Networks-Methodological Advances and BiomedicalApplications, K. Suzuki, Ed. Rijeka, Croatia: InTech, 2011.
163. A. Hall, "Realising the benefits of formal methods," J. UCS, vol. 13,no. 5, pp. 669-678, 2007.
164. A. Hall, "What does industry need from formal specification techniques?,"in Proc. Second IEEE Workshop Industrial Strength FormalSpecification Techniques, WIFT '98, Washington, DC, 1998, p. 2,IEEE Computer Soc.
165. C. A. R. Hoare, "Communicating sequential processes," Commun.ACM, vol. 21, no. 8, pp. 666-677, 1978.
166. C. A. R. Hoare, Communicating Sequential Processes, 1st ed. UpperSaddle River, NJ: Prentice Hall, 1978.
167. A. W. Roscoe, C. A. R. Hoare, and B. Richard, The Theory and Practiceof Concurrency. Upper Saddle River, NJ: Prentice Hall PTR,1997.
168. C. B. Jones, A. W. Roscoe, and K. R. Wood, Reflections on the Workof C. A. R. Hoare, 1st ed. New York: Springer, 2010.
169. O. Faust, B. Sputh, and A. R. Allen, "A study of percolation phenomenain process networks," in Communicating Process Architectures 2006,F. R. M. Barnes, J. M. Kerridge, and P. H. Welch, Eds., 2006, pp.109-121.
170. B. Sputh, O. Faust, and A. R. Allen, "A versatile hardware-softwareplatform for in-situ monitoring systems," in Communicating ProcessArchitectures, A. A. McEwan, S. Schneider, W. Ifill, and P. Welch,Eds., 2007.
171. T. R. Harris, J. D. Bransford, and S. P. Brophy, "Roles for learning sciencesand learning technologies in biomedical engineering education:A review of recent advances," Annu. Rev. Biomedical Eng., vol. 4, no.1, pp. 29-48, 2002.
172. R. Nayak, L. Jain, and B. Ting, "Artificial neural networks in biomedicalengineering: A review," in Proc. Asia-Pacific Conf. Advance Computation,2001.
173. P. J. G. Lisboa, "A review of evidence of health benefit from artificialneural networks in medical intervention," Neural Networks, vol. 15,no. 1, pp. 11-39, 2002.
174. N. Kaveh and W. Emmerich, "Deadlock detection in distribution objectsystems," in Proc. 8th Eur. Software Eng. Conf. Held Jointly With 9thACM SIGSOFT Int. Symp. Found. Software Eng., ESEC/FSE-9, NewYork, 2001, pp. 44-51.