Formal Design Methods for Reliable Computer-Aided Diagnosis: A Review

Physiological signals, medical images, and biosystems can be used to access the health of a subject and they can support clinicians by improving the diagnosis for treatment purposes. Computer-aided diagnosis (CAD) in healthcare applications can help in automated decision making, visualization and extraction of hidden complex features to aid in the clinical diagnosis. These CAD systems focus on improving the quality of patient care with a minimum of fault due to device failures. In this paper, we argue that a formal and model driven design methodology can lead to systems which meet this requirement. Modeling is not new to CAD, but modeling for systems design is less explored. Therefore, we discuss selected systems design techniques and provide a more concrete design example on computer-aided diagnosis and automated decision making.

[1]  Marilyn Sue Bogner.  Misadventures in Health Care: Inside Stories , 2003 .

[2]  Joakim Lundeberg,et al.  Generations of sequencing technologies. , 2009, Genomics.

[3]  I. Guler,et al.  Multiclass Support Vector Machines for EEG-Signals Classification , 2007, IEEE Transactions on Information Technology in Biomedicine.

[4]  Ehud Rivlin,et al.  Visual positioning of previously defined ROIs on microscopic slides , 2006, IEEE Transactions on Information Technology in Biomedicine.

[5]  W. P. Evans,et al.  American Cancer Society Guidelines for Breast Cancer Screening: Update 2003 , 2003, CA: a cancer journal for clinicians.

[6]  Elisa E. Konofagou,et al.  Challenges in Atherosclerotic Plaque Characterization With Intravascular Ultrasound (IVUS): From Data Collection to Classification , 2008, IEEE Transactions on Information Technology in Biomedicine.

[7]  U. Rajendra Acharya,et al.  Automated Identification of Diabetic Retinopathy Stages Using Digital Fundus Images , 2008, Journal of Medical Systems.

[8]  Jonathan E. Fieldsend,et al.  Confident Interpretation of Bayesian Decision Tree Ensembles for Clinical Applications , 2007, IEEE Transactions on Information Technology in Biomedicine.

[9]  K Doi,et al.  Image feature analysis and computer-aided diagnosis in digital radiography. I. Automated detection of microcalcifications in mammography. , 1987, Medical physics.

[10]  Klaus Oberauer,et al.  A formal model of capacity limits in working memory , 2006 .

[11]  D. Dasgupta,et al.  A formal model of an artificial immune system. , 2000, Bio Systems.

[12]  Isaac S. Kohane,et al.  Brief Review: The Contributions of Biomedical Informatics to the Fight Against Bioterrorism , 2002, J. Am. Medical Informatics Assoc..

[13]  Todd R. Johnson,et al.  What is biomedical informatics? , 2010, J. Biomed. Informatics.

[14]  Sabine Van Huffel,et al.  Bagging Linear Sparse Bayesian Learning Models for Variable Selection in Cancer Diagnosis , 2007, IEEE Transactions on Information Technology in Biomedicine.

[15]  Clive Wasserfall,et al.  Autologous umbilical cord blood infusion for type 1 diabetes. , 2008, Experimental hematology.

[16]  João M. Sanches,et al.  Fatty Liver Characterization and Classification by Ultrasound , 2009, IbPRIA.

[17]  Paul C. Tang,et al.  Integrated Personal Health Records: Transformative Tools for Consumer-Centric Care , 2008, BMC Medical Informatics Decis. Mak..

[18]  Michael J. Anderson,et al.  Auditory stimulus optimization with feedback from fuzzy clustering of neuronal responses , 2002, IEEE Transactions on Information Technology in Biomedicine.

[19]  U. Rajendra Acharya,et al.  Automated Diagnosis of Glaucoma Using Texture and Higher Order Spectra Features , 2011, IEEE Transactions on Information Technology in Biomedicine.

[20]  Panagiotis Tsakanikas,et al.  Protein spot detection and quantification in 2‐DE gel images using machine‐learning methods , 2011, Proteomics.

[21]  J A Patton,et al.  Differentiation between malignant and benign solitary thyroid nodules by fluorescent scanning. , 1976, Journal of nuclear medicine : official publication, Society of Nuclear Medicine.

[22]  H. K. Verma,et al.  SVM Based System for classification of Microcalcifications in Digital Mammograms , 2006, 2006 International Conference of the IEEE Engineering in Medicine and Biology Society.

[23]  Max A. Viergever,et al.  Computer-aided diagnosis in chest radiography: a survey , 2001, IEEE Transactions on Medical Imaging.

[24]  C J Vyborny,et al.  Artificial neural networks in chest radiography: application to the differential diagnosis of interstitial lung disease. , 1999, Academic radiology.

[25]  Lilla Böröczky,et al.  Feature Subset Selection for Improving the Performance of False Positive Reduction in Lung Nodule CAD , 2005, IEEE Transactions on Information Technology in Biomedicine.

[26]  U. Rajendra Acharya,et al.  Algorithms for the Automated Detection of Diabetic Retinopathy Using Digital Fundus Images: A Review , 2012, Journal of Medical Systems.

[27]  Andrzej K Konopka,et al.  Surrogacy theory and models of convoluted organic systems , 2007, Proteomics.

[28]  Oguz Findik,et al.  Effects of principle component analysis on assessment of coronary artery diseases using support vector machine , 2010, Expert Syst. Appl..

[29]  Y. Masutani,et al.  Computerized detection of colonic polyps at CT colonography on the basis of volumetric features: pilot study. , 2002, Radiology.

[30]  Yun Zhang,et al.  Numerical Methods and Workstation for the Quantitative Analysis of Real-Time Myocardial Contrast Echocardiography , 2010, IEEE Transactions on Information Technology in Biomedicine.

[31]  A Burgun,et al.  Accessing and Integrating Data and Knowledge for Biomedical Research , 2008, Yearbook of Medical Informatics.

[32]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[33]  U. Rajendra Acharya,et al.  Symptomatic vs. Asymptomatic Plaque Classification in Carotid Ultrasound , 2012, Journal of Medical Systems.

[34]  Hojjat Adeli,et al.  Improved spiking neural networks for EEG classification and epilepsy and seizure detection , 2007, Integr. Comput. Aided Eng..

[35]  Nicholas Ayache,et al.  Medical Image Analysis: Progress over Two Decades and the Challenges Ahead , 2000, IEEE Trans. Pattern Anal. Mach. Intell..

[36]  Frits Mastik,et al.  Accuracy in Prediction of Catheter Rotation in IVUS With Feature-Based Optical Flow—A Phantom Study , 2008, IEEE Transactions on Information Technology in Biomedicine.

[37]  Yung-Chang Chen,et al.  Ultrasonic Liver Tissues Classification by Fractal Feature Vector Based on M-band Wavelet Transform , 2001, IEEE Trans. Medical Imaging.

[38]  S. Selvan,et al.  Efficient subspace clustering for higher dimensional data using fuzzy entropy , 2009 .

[39]  M. Skubic,et al.  Classification of coronary artery disease stress ECGs using uncertainty modeling , 2005, 2005 ICSC Congress on Computational Intelligence Methods and Applications.

[40]  Kunwoo Lee,et al.  Framework of an evolutionary design system incorporating design information and history , 2001 .

[41]  G J Hademenos,et al.  Principles and philosophy of modeling in biomedical research. , 1998, FASEB journal : official publication of the Federation of American Societies for Experimental Biology.

[42]  Harris Papadopoulos,et al.  Reliable Confidence Measures for Medical Diagnosis With Evolutionary Algorithms , 2011, IEEE Transactions on Information Technology in Biomedicine.

[43]  Bradley James Erickson,et al.  Computer-Aided Detection and Diagnosis at the Start of the Third Millennium , 2002, Journal of Digital Imaging.

[44]  Monique Frize,et al.  Weight-elimination neural networks applied to coronary surgery mortality prediction , 2003, IEEE Transactions on Information Technology in Biomedicine.

[45]  Timothy J. Dasey,et al.  Detection of multiple sclerosis with visual evoked potentials - an unsupervised computational intelligence system , 2000, IEEE Transactions on Information Technology in Biomedicine.

[46]  Pascal Hols,et al.  Metabolic engineering of lactic acid bacteria for the production of nutraceuticals , 2002, Antonie van Leeuwenhoek.

[47]  Abdul V. Roudsari,et al.  Clinical decision support, systems methodology, and telemedicine: their role in the management of chronic disease , 1998, IEEE Transactions on Information Technology in Biomedicine.

[48]  B.P. Zeigler,et al.  Design, analysis, and implementation of a telemedicine remote consultation and diagnosis session playback using discrete event system specification , 1997, IEEE Transactions on Information Technology in Biomedicine.

[49]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[50]  Michiel Kleerebezem,et al.  10 years of the nisin-controlled gene expression system (NICE) in Lactococcus lactis , 2005, Applied Microbiology and Biotechnology.

[51]  Dimitrios I. Fotiadis,et al.  EEG Transient Event Detection and Classification Using Association Rules , 2006, IEEE Transactions on Information Technology in Biomedicine.

[52]  Raoul Praful Jetley,et al.  A formal methods approach to medical device review , 2006, Computer.

[53]  Marco Das,et al.  Small pulmonary nodules: effect of two computer-aided detection systems on radiologist performance. , 2006, Radiology.

[54]  Reyer Zwiggelaar,et al.  Computer technology in detection and staging of prostate carcinoma: A review , 2006, Medical Image Anal..

[55]  Richard L. Horst,et al.  A systems engineering perspective on the human-centered design of health information systems , 2005, J. Biomed. Informatics.

[56]  Christian Haubelt,et al.  A SystemC-Based Design Methodology for Digital Signal Processing Systems , 2007, EURASIP J. Embed. Syst..

[57]  Srinivasan Parthasarathy,et al.  Spatial Modeling and Classification of Corneal Shape , 2007, IEEE Transactions on Information Technology in Biomedicine.

[58]  A. Nicolaides,et al.  Characterization of carotid atherosclerosis based on motion and texture features and clustering using fuzzy c-means , 2004, The 26th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[59]  T. Clemmer,et al.  A computer-assisted management program for antibiotics and other antiinfective agents. , 1998, The New England journal of medicine.

[60]  S. Walczak,et al.  Artificial neural network medical decision support tool: predicting transfusion requirements of ER patients , 2005, IEEE Transactions on Information Technology in Biomedicine.

[61]  Kunio Doi,et al.  Computer-aided diagnosis to distinguish benign from malignant solitary pulmonary nodules on radiographs: ROC analysis of radiologists' performance--initial experience. , 2003, Radiology.

[62]  A. Church.  Review: A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem , 1937 .

[63]  Mauro Gaspari,et al.  Refining an Automatic EDSS Scoring Expert System for Routine Clinical Use in Multiple Sclerosis , 2009, IEEE Transactions on Information Technology in Biomedicine.

[64]  Hiroyuki Yoshida,et al.  Computer-aided diagnosis scheme for detection of polyps at CT colonography. , 2002, Radiographics : a review publication of the Radiological Society of North America, Inc.

[65]  K. Doi,et al.  Lung cancers missed on chest radiographs: results obtained with a commercial computer-aided detection program. , 2008, Radiology.

[66]  Oliver Faust,et al.  A Study of Percolation Phenomena in Process Networks , 2006, CPA.

[67]  Richi Nayak,et al.  Artificial neural networks in biomedical engineering: a review , 2001 .

[68]  V. Srinivasan,et al.  Approximate Entropy-Based Epileptic EEG Detection Using Artificial Neural Networks , 2007, IEEE Transactions on Information Technology in Biomedicine.

[69]  W Wiechert,et al.  Visual exploration of isotope labeling networks in 3D , 2008, Bioprocess and biosystems engineering.

[70]  Elias S. Manolakos,et al.  Parallel processing for biomedical signal processing , 1991, Computer.

[71]  R. Haynes,et al.  Effects of Computer-based Clinical Decision Support Systems on Clinician Performance and Patient Outcome: A Critical Appraisal of Research , 1994, Annals of Internal Medicine.

[72]  Refet Firat Yazicioglu,et al.  ECG Signal Compression and Classification Algorithm With Quad Level Vector for ECG Holter System , 2010, IEEE Transactions on Information Technology in Biomedicine.

[73]  Dimitrios K. Iakovidis,et al.  Intuitionistic Fuzzy Cognitive Maps for Medical Decision Making , 2011, IEEE Transactions on Information Technology in Biomedicine.

[74]  Juan Manuel Dodero,et al.  A Systems Engineering Analysis Method for the Development of Reusable Computer-Supported Learning Systems , 2008 .

[75]  Guang-Zhong Yang,et al.  Image analysis tools and emerging algorithms for expression proteomics , 2010, Proteomics.

[76]  K. Doi,et al.  Current status and future potential of computer-aided diagnosis in medical imaging. , 2005, The British journal of radiology.

[77]  Patrik Rogalla,et al.  Computer-aided Detection in Computed Tomography Colonography with Full Fecal Tagging: Comparison of Standalone Performance of 3 Automated Polyp Detection Systems , 2010, Canadian Association of Radiologists journal = Journal l'Association canadienne des radiologistes.

[78]  V. Maojo,et al.  Biomedical Informatics and HealthGRIDs: A European Perspective - Past and Current Efforts and Projects in the Synergy of Bionformatics and Medical Informatics , 2007, IEEE Engineering in Medicine and Biology Magazine.

[79]  U. Rajendra Acharya,et al.  Infrared thermography on ocular surface temperature: A review , 2009 .

[80]  Oguz Findik,et al.  A comparison of feature selection models utilizing binary particle swarm optimization and genetic algorithm in determining coronary artery disease using support vector machine , 2010, Expert Syst. Appl..

[81]  Adrien Richard,et al.  Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. , 2004, Journal of theoretical biology.

[82]  Kunio Doi,et al.  Artificial neural networks (ANNs) for differential diagnosis of interstitial lung disease : results of a simulation test with actual clinical cases1 , 2004 .

[83]  Franz Schweiggert,et al.  On the Classification of Prostate Carcinoma With Methods from Spatial Statistics , 2007, IEEE Transactions on Information Technology in Biomedicine.

[84]  Robert M. Nishikawa,et al.  Potential usefulness of digital imaging in clinical diagnostic radiology: Computer-aided diagnosis , 2009, Journal of Digital Imaging.

[85]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[86]  Michael A. Arbib,et al.  A formal model of computation for sensory-based robotics , 1989, IEEE Trans. Robotics Autom..

[87]  Michael Schroeder,et al.  Structural modeling of histone methyltransferase complex Set1C from Saccharomyces cerevisiae using constraint‐based docking , 2010, Proteomics.

[88]  O. Fiehn.  Metabolomics – the link between genotypes and phenotypes , 2004, Plant Molecular Biology.

[89]  T Groth,et al.  KBSIM: a system for interactive knowledge-based simulation. , 1991, Computer methods and programs in biomedicine.

[90]  S. V. Sree,et al.  Breast imaging: A survey. , 2011, World journal of clinical oncology.

[91]  Fabrice Carrat,et al.  Detection of lung cancer on radiographs: receiver operating characteristic analyses of radiologists', pulmonologists', and anesthesiologists' performance. , 2004, Radiology.

[92]  Anke Meyer-Bäse,et al.  Analysis of Dynamic Susceptibility Contrast MRI Time Series Based on Unsupervised Clustering Methods , 2007, IEEE Transactions on Information Technology in Biomedicine.

[93]  Andrew Kusiak,et al.  The G-algorithm for extraction of robust decision rules - children's postoperative intra-atrial arrhythmia case study , 2001, IEEE Transactions on Information Technology in Biomedicine.

[94]  Sean P Brophy,et al.  Roles for learning sciences and learning technologies in biomedical engineering education: a review of recent advances. , 2002, Annual review of biomedical engineering.

[95]  Hiroyuki Yoshida,et al.  Three-dimensional computer-aided diagnosis scheme for detection of colonic polyps , 2001, IEEE Transactions on Medical Imaging.

[96]  Alberto Paoluzzi,et al.  Proto-Plasm: parallel language for adaptive and scalable modelling of biosystems , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[97]  L. Kohn,et al.  To Err Is Human : Building a Safer Health System , 2007 .

[98]  Giulio Iannello,et al.  Aggregation of Classifiers for Staining Pattern Recognition in Antinuclear Autoantibodies Analysis , 2009, IEEE Transactions on Information Technology in Biomedicine.

[99]  D. Berry,et al.  Effect of screening and adjuvant therapy on mortality from breast cancer , 2005 .

[100]  U. Rajendra Acharya,et al.  A systematic approach to embedded biomedical decision making , 2012, Comput. Methods Programs Biomed..

[101]  Solange Akselrod,et al.  An automatic approach for morphological analysis and malignancy evaluation of ovarian masses using B-scans. , 2003, Ultrasound in medicine & biology.

[102]  Guangyu Liu,et al.  Optimization of Spring-Loaded Crutches via Boundary Value Problem , 2011, IEEE Transactions on Neural Systems and Rehabilitation Engineering.

[103]  Sung-Hwan Shin,et al.  Automatic Detection System for Cough Sounds as a Symptom of Abnormal Health Condition , 2009, IEEE Transactions on Information Technology in Biomedicine.

[104]  Dimitrios I. Fotiadis,et al.  Epileptic Seizure Detection in EEGs Using Time–Frequency Analysis , 2009, IEEE Transactions on Information Technology in Biomedicine.

[105]  N T Ellis,et al.  When protocols fail: technical evaluation, biomedical knowledge, and the social production of 'facts' about a telemedicine clinic. , 2001, Social science & medicine.

[106]  Oliver Faust,et al.  A Versatile Hardware-Software Platform for In-Situ Monitoring Systems , 2007, CPA.

[107]  Andrew Kusiak,et al.  Autonomous decision-making: a data mining approach , 2000, IEEE Transactions on Information Technology in Biomedicine.

[108]  Bruce E. Bursten,et al.  Chemistry the central science: a broad perspective , 2006 .

[109]  Alessandro Sarti,et al.  Tracking of left ventricular long axis from real-time three-dimensional echocardiography using optical flow techniques , 2006, IEEE Transactions on Information Technology in Biomedicine.

[110]  Richard M. Golden,et al.  Artificial Neural Networks: Neurocomputation , 2001 .

[111]  Rassoul Amirfattahi,et al.  Noninvasive detection and classification of coronary artery occlusions using wavelet analysis of heart sounds with neural networks , 2005 .

[112]  Wei Wang,et al.  Clustering Linear Discriminant Analysis for MEG-Based Brain Computer Interfaces , 2011, IEEE Transactions on Neural Systems and Rehabilitation Engineering.

[113]  E H Shortliffe,et al.  The science of biomedical computing. , 1984, Medical informatics = Medecine et informatique.

[114]  C. M. Lim,et al.  Analysis of epileptic EEG signals using higher order spectra , 2009, Journal of medical engineering & technology.

[115]  S Katsuragawa,et al.  Computer-aided diagnosis for detection of interstitial opacities on chest radiographs. , 1998, AJR. American journal of roentgenology.

[116]  Davor Jurkovic,et al.  Sonographic prediction of malignancy in adnexal masses using an artificial neural network , 1999, British journal of obstetrics and gynaecology.

[117]  Sharon E. Straus,et al.  Personal health records: a scoping review , 2011, J. Am. Medical Informatics Assoc..

[118]  Anthony Hall,et al.  Realising the Benefits of Formal Methods , 2005, J. Univers. Comput. Sci..

[119]  D. J. Taylor,et al.  Nasal architecture: form and flow , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[120]  C. D'Orsi,et al.  Diagnostic Performance of Digital versus Film Mammography for Breast-Cancer Screening , 2006 .

[121]  T Groth,et al.  Object-oriented biomedical system modelling--the language. , 1999, Computer methods and programs in biomedicine.

[122]  Evelina Lamma,et al.  Artificial intelligence techniques for monitoring dangerous infections , 2006, IEEE Transactions on Information Technology in Biomedicine.

[123]  K. Burrowes,et al.  Towards a virtual lung: multi-scale, multi-physics modelling of the pulmonary system , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[124]  N. Boyd,et al.  Case-control study of factors associated with failure to detect breast cancer by mammography. , 1992, Journal of the National Cancer Institute.

[125]  Arie Hasman,et al.  Modeling in biomedical informatics - An exploratory analysis: Part 2 , 2007, Int. J. Medical Informatics.

[126]  Wang Yi,et al.  Model-based validation of QoS properties of biomedical sensor networks , 2008, EMSOFT '08.

[127]  Hojjat Adeli,et al.  Mixed-Band Wavelet-Chaos-Neural Network Methodology for Epilepsy and Epileptic Seizure Detection , 2007, IEEE Transactions on Biomedical Engineering.

[128]  D M Rodvold,et al.  Artificial neural networks in clinical urology. , 1999, Urology.

[129]  Amanda Thompson,et al.  A systematic analysis of human CHMP protein interactions: additional MIT domain-containing proteins bind to multiple components of the human ESCRT III complex. , 2006, Genomics.

[130]  John Yen,et al.  A Distributed, Collaborative Intelligent Agent System Approach for Proactive Postmarketing Drug Safety Surveillance , 2010, IEEE Transactions on Information Technology in Biomedicine.

[131]  Denise R. Aberle,et al.  TimeLine: Visualizing Integrated Patient Records , 2007, IEEE Transactions on Information Technology in Biomedicine.

[132]  U. Rajendra Acharya,et al.  Towards the Systematic Development of Medical Networking Technology , 2009, Journal of Medical Systems.

[133]  Natalie I. Tasman,et al.  A guided tour of the Trans‐Proteomic Pipeline , 2010, Proteomics.

[134]  C. M. Lim,et al.  Automatic identification of epileptic electroencephalography signals using higher-order spectra , 2009, Proceedings of the Institution of Mechanical Engineers. Part H, Journal of engineering in medicine.

[135]  Kunio Doi,et al.  Artificial neural networks (ANNs) for differential diagnosis of interstitial lung disease: results of a simulation test with actual clinical cases. , 2004, Academic radiology.

[136]  Kunio Doi,et al.  Use of an artificial neural network to determine the diagnostic value of specific clinical and radiologic parameters in the diagnosis of interstitial lung disease on chest radiographs. , 2002, Academic radiology.

[137]  U. Rajendra Acharya,et al.  Automatic Identification of Epileptic and Background EEG Signals Using Frequency Domain Parameters , 2010, Int. J. Neural Syst..

[138]  F. Dehghan,et al.  Automatic detection of clustered microcalcifications in digital mammograms: Study on applying Adaboost with SVM-based component classifiers , 2008, 2008 30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[139]  Russ B. Altman,et al.  Modeling and Analyzing Biomedical Processes using Workflow/Petri Net Models and Tools , 2004, MedInfo.

[140]  Elif Derya Übeyli,et al.  Recurrent neural networks employing Lyapunov exponents for EEG signals classification , 2005, Expert Syst. Appl..

[141]  M. Marra,et al.  Applications of next-generation sequencing technologies in functional genomics. , 2008, Genomics.

[142]  Marina Vannucci,et al.  Models and computational strategies linking physiological response to molecular networks from large-scale data , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[143]  John Fox,et al.  Decision support and disease management: a logic engineering approach , 1998, IEEE Transactions on Information Technology in Biomedicine.

[144]  Wei-Yin Loh,et al.  A Comparison of Prediction Accuracy, Complexity, and Training Time of Thirty-Three Old and New Classification Algorithms , 2000, Machine Learning.

[145]  R. Dittus,et al.  Optimizing cardiology capacity to reduce emergency department boarding: a systems engineering approach. , 2008, American heart journal.

[146]  Yasuaki Seki,et al.  Biological materials: a materials science approach. , 2011, Journal of the mechanical behavior of biomedical materials.

[147]  Insup Lee,et al.  Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project , 2007, 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007).

[148]  Anthony Hall.  What does industry need from formal specification techniques? , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.

[149]  Jennifer Shoemaker,et al.  A preoperative diagnostic test that distinguishes benign from malignant thyroid carcinoma based on gene expression. , 2004, The Journal of clinical investigation.

[150]  T Barsalou.  An object-based architecture for biomedical expert database systems. , 1989, Computer methods and programs in biomedicine.

[151]  Paul Rubel,et al.  A Novel Neural-Network Model for Deriving Standard 12-Lead ECGs From Serial Three-Lead ECGs: Application to Self-Care , 2010, IEEE Transactions on Information Technology in Biomedicine.

[152]  Koichi Nagata,et al.  Sources of false positives in computer-assisted CT colonography , 2011, Abdominal Imaging.

[153]  Paulo J. G. Lisboa,et al.  A review of evidence of health benefit from artificial neural networks in medical intervention , 2002, Neural Networks.

[154]  S. Armato,et al.  Lung cancer: performance of automated lung nodule detection applied to cancers missed in a CT screening program. , 2002, Radiology.

[155]  J. Rogers,et al.  hORFeome v3.1: A resource of human open reading frames representing over 10,000 human genes , 2007, Genomics.

[156]  Wolfgang Emmerich,et al.  Deadlock detection in distribution object systems , 2001, ESEC/FSE-9.

[157]  Raouf N. Gorgui-Naguib,et al.  A fuzzy logic based-method for prognostic decision making in breast and prostate cancers , 2003, IEEE Transactions on Information Technology in Biomedicine.

[158]  Qiuming Zhu,et al.  Algorithmic fusion of gene expression profiling for diffuse large B-cell lymphoma outcome prediction , 2004, IEEE Transactions on Information Technology in Biomedicine.

[159]  J. Suri,et al.  Cost-Effective and Non-Invasive Automated Benign & Malignant Thyroid Lesion Classification in 3D Contrast-Enhanced Ultrasound Using Combination of Wavelets and Textures: A Class of ThyroScan™ Algorithms , 2011, Technology in cancer research & treatment.

[160]  Ilias Sachpazidis,et al.  Image and medical data communication protocols for telemedicine and teleradiology , 2008 .

[161]  Christian Roux,et al.  Computer-assisted diagnosis system in digestive endoscopy , 2003, IEEE Transactions on Information Technology in Biomedicine.

[162]  Stephen T. C. Wong,et al.  Information system modeling for biomedical imaging applications , 1999, Medical Imaging.

[163]  Kunio Doi,et al.  Computer-aided diagnosis in medical imaging: Historical review, current status and future potential , 2007, Comput. Medical Imaging Graph..

[164]  Christina Catley,et al.  Predicting High-Risk Preterm Birth Using Artificial Neural Networks , 2006, IEEE Transactions on Information Technology in Biomedicine.