17,088 Hits in 6.6 sec

Special Issue on Model-Based Diagnostics

Peter Struss, Gregory Provan, Johan de Kleer, Gautam Biswas
2010 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
This methodology has been clearly formalized, mainly for a broad class of systems that can be described adequately by a set of interconnected component models, and a range of algorithms have been developed  ...  There are inherent difficulties in developing diagnosis models and inference algorithms at an appropriate level of generality.  ...  This expertise spans a range of modelling formalisms (from logic-based through hybrid modelling), algorithm design, and the analysis of control and diagnostics aspects of complex embedded systems.  ... 
doi:10.1109/tsmca.2010.2055210 fatcat:37syd3loqzaupkbztsyiok5c2a

A User-Friendly Development Tool for Medical Diagnosis Based on Bayesian Networks [chapter]

Isabel Milho, Ana Fred
2001 Enterprise Information Systems II  
Efficient statistical inference mechanisms are implemented, taking advantage of the simple structure of medical diagnostic models, composed of causal disease-symptom relations.  ...  The proposed system provides a user-friendly interface, giving the users (experts in the medical domain) the possibility to design diagnostic applications without deep background knowledge on Bayesian  ...  Teresa Paiva from Hospital de Santa Maria, Lisbon, and Dr. Markku Partinen from Helsinki University, Finland, for their contribution in the design of the domain knowledge of the SDDS system.  ... 
doi:10.1007/978-94-017-1427-3_16 fatcat:oaqvxbq74vgtxofp76jkycucuu

An Ontology Model-based Minnesota Code

2015 Acta Polytechnica Hungarica  
The authors present here, a possible solution to use the ontology model and ontology reasoning to provide a diagnostic evaluation of ECG information added to the Minnesota code ontology that corresponds  ...  In this paper, the authors present an approach towards modeling a classical expert system using an ontology-based solution.  ...  Acknowledgement The research was supported by the Hungarian OTKA projects 106392 and 105846, and project of the Vojvodina Academy of Sciences and Arts "Mathematical models of intelligent systems and theirs  ... 
doi:10.12700/aph.12.4.2015.4.6 fatcat:y5gxtbruczhtln4qfoxyvnscjq

ONCObc-ST: An Improved Clinical Reasoning Algorithm Based on Select and Test (ST) Algorithm for Diagnosing Breast Cancer

Olaide Nathaniel Oyelade, Sunday Adeyemi Adewuyi
2019 Current Research in Bioinformatics  
Even the Select and Test (ST) algorithm which is considered a more approximate reasoning algorithm is also limited by its approach of using bipartite graph in modeling domain knowledge and making inference  ...  The result of the improved ST algorithm revealed a sensitivity of 0.81 and 0.89 and specificity of 0.82 and 1.0 in the Wisconsin Breast Cancer Database (WBCD) and Wisconsin Diagnostic Breast Cancer (WDBC  ...  Author's Contributions The enhancment and implementation of the ST algorithm was the contribution of the first author.  ... 
doi:10.3844/ajbsp.2019.1.13 fatcat:hmnktsk7yzf33moq3qsnxodiwy

ECG and echocardiography processing for decision support in heart failure

F. Chiarugi, S. Colantonio, D. Emmanouilidou, D. Moroni, F. Perticone, A. Sciacqua, O. Salvetti
2008 2008 Computers in Cardiology  
This paper presents an effective way to achieve a high level integration of signal and image processing methods in the general management of heart failure, by means of a Clinical Decision Support System  ...  In particular, significant and suitably designed image and signal processing algorithms are introduced to objectively and reliably evaluate important features that can facilitate decisional problems in  ...  Acknowledgements This work was partially supported by European Project HEARTFAID "A knowledge based platform of services for supporting medical-clinical management of the heart failure within the elderly  ... 
doi:10.1109/cic.2008.4749125 fatcat:n2etoxrghvhendhpzda672a7cy

Hypothyroid Disease Diagnosis with Causal Explanation using Case-based Reasoning and Domain-specific Ontology

Mir Riyanul Islam, Shaibal Barua, Shahina Begum, Mobyen Uddin Ahmed
2019 International Conference on Case-Based Reasoning  
Finally, a mechanism is defined to deduce explanation for a solution to a problem case from the combined causal statements of similar cases.  ...  Recently, more efforts are made to leverage machine learning in solving causal inference problems of disease diagnosis, prediction and treatments.  ...  This model is described based on the basic four steps of a CBR system: i) retrieve, ii) reuse, iii) revise and iv) retain [21] .  ... 
dblp:conf/iccbr/IslamBBA19 fatcat:onqaixqz2fc5paoakazeelbrje

An Ontology based Decision support for Tuberculosis Management and Control in India

Kumar Abhishek, Singh M.P.
2016 International Journal of Engineering and Technology  
This paper presents an ontology based formalism of existing system for TB (Tuberculosis) control and management in India that is RNTCP (Revised National TB Control Programme).  ...  The formalism presented in the paper will help in further investigation /research of a new improved method in developing a decision support system for different government / NGO (Non-Government Organization  ...  Table II indicates the RNTCP guidelines for detection and patient management of patient with suspected symptoms of pulmonary TB , represented using SWRL The implementation of diagnostic algorithm for  ... 
doi:10.21817/ijet/2016/v8i6/160806247 fatcat:aj5krqj7wbadvfz2hp4gglz7b4

Context Aware SmartHealth Cloud Platform for Medical Diagnostics

Sarah Shafqat, Almas Abbasi, Muhammad Naeem, Muhammad Ahsan, Tehmina Amjad, Hafiz Farooq
2018 International Journal of Advanced Computer Science and Applications  
This analysis lead us to propose a data model for hybrid distributed simulation model for future Context Aware SmartHealth cloud platform for diagnostics.  ...  To come up with the right metrics for the diagnostic solution we have explored the known criteria to validate healthcare analytics techniques involved in formation of diagnosis that results in betterment  ...  This paper has started off with proposing a solution to our first problem of defining a data model and validate a proposed simulation model in [18] based on it that would give us a testbed in future  ... 
doi:10.14569/ijacsa.2018.090741 fatcat:kcl23226hjh47fmnuituhfndwi

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms [article]

Patrick Rodler
2022 arXiv   pre-print
The aim is to (i) give researchers and practitioners an impression of the diverse landscape of available diagnostic techniques, (ii) allow them to easily retrieve the main features as well as pros and  ...  of the "right" algorithm to adopt for a particular problem case, e.g., in practical diagnostic settings, for comparison in experimental evaluations, or for reuse, modification, extension, or improvement  ...  Due to its generality, the model-based diagnosis formalism has been used to express and tackle a wide diversity of debugging problems in application areas ranging from software [1] , logic programming  ... 
arXiv:2207.12583v1 fatcat:vl7jifbm2zb2zktk756dwydzuy

Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution

Alessandro Daidone, Felicita Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
2006 Symposium on Reliable Distributed Systems. Proceedings  
This paper proposes instead a general framework and a formalism to model such over-time diagnosis scenarios, and to find appropriate solutions.  ...  Hidden Markov models are well suited to represent problems where the internal state of a certain entity is not known and can only be inferred from external observations of what this entity emits.  ...  Acknowledgment This work has been partially supported by the European Community through the IST Projects CRUTIAL (Contract n. 027513) and HIDENETS (Contract n. 26979).  ... 
doi:10.1109/srds.2006.24 dblp:conf/srds/DaidoneGBC06 fatcat:fwoq3iyhvfaerichvcxhcrczba

Default Logic for Diagnostic of Discrete Time System

Tan Le, Andrei Doncescu, Pierre Siegel
2013 2013 Eighth International Conference on Broadband and Wireless Computing, Communication and Applications  
In this paper, we propose default logic for diagnostic of Discrete Time System (DTS) by focusing on automatic synthesis of the signaling pathways from factors within the cell.  ...  By choosing an adequate representation of biological knowledge, the "reasoning" is able to assign in acquisition of the facts and extract interactions necessary for the synthesis of the signaling pathways  ...  Jean-Charles Faye and C.R. Olivier Sordet of Claudius Regaud Cancer Institute (ICR). Moreover, we are particularly grateful to Vietnamese and French Government to finance this work.  ... 
doi:10.1109/bwcca.2013.72 dblp:conf/bwcca/LeDS13 fatcat:yog5pmliabethhykusfhy5b6ui

Formal Psychological Assessment in Evaluating Depression: A New Methodology to Build Exhaustive and Irredundant Adaptive Questionnaires

Francesca Serra, Andrea Spoto, Marta Ghisi, Giulio Vidotto, Fabio Lucidi
2015 PLoS ONE  
Psychological Assessment can be defined as a complex procedure of information collection, analysis and processing.  ...  Diagnostic criteria for major depressive disorder were derived from the DSM-5, literature and Seligman's and Beck's theories.  ...  , and is intended to build a formal representation of the relationship between the items of a questionnaire and a given set of diagnostic criteria.  ... 
doi:10.1371/journal.pone.0122131 pmid:25875359 pmcid:PMC4398546 fatcat:4l7oxdfayzgblptycellgnk7bu

Advanced soft computing diagnosis method for tumour grading

E.I. Papageorgiou, P.P. Spyridonos, C.D. Stylios, P. Ravazoula, P.P. Groumpos, G.N. Nikiforidis
2006 Artificial Intelligence in Medicine  
Results: The proposed FCM grading model achieved a classification accuracy of 72.5%, 74.42% and 95.55% for tumours of grades I, II and III, respectively.  ...  A novel soft computing modelling methodology based on the augmentation of fuzzy cognitive maps (FCMs) with the unsupervised active Hebbian learning (AHL) algorithm is applied.  ...  in developing the FCM model and for providing us with the clinical data.  ... 
doi:10.1016/j.artmed.2005.04.001 pmid:16095888 fatcat:redbykynyndj5ahlskm2oy7gqu

Survey on learning-based formal methods: Taxonomy, Applications and Possible future directions

Fujun Wang, Zining Cao, Lixing Tan, Hui Zong
2020 IEEE Access  
This paper is not a comprehensive survey of learning-based techniques in formal methods area, but rather as a survey of the taxonomy, applications and possible future directions in learning-based formal  ...  Learning-based techniques have been extensively applied to learn (a model or model-free) for formal verification and to learn system specifications, and resulted in numerous contributions.  ...  ACKNOWLEDGMENT The authors would like to thank the anonymous referees for their comments that helped to substantially improve the quality of the article.  ... 
doi:10.1109/access.2020.3000907 fatcat:uiy7d2ellrc4jmzn4eumleeoy4

An intelligent and integrated platform for supporting the management of chronic heart failure patients

S. Colantonio, D. Conforti, M. Martinelli, D. Moroni, F. Perticone, O. Salvetti, A. Sciacqua
2008 2008 Computers in Cardiology  
formalized.  ...  The core of the platform intelligence is represented by a Knowledge based Clinical Decision Support System, which is aimed at making more effective and efficient all the processes related to chronic heart  ...  Algorithms for processing diagnostic data such as ECG and Echo images have been developed and included into a dedicated Model Base [19] .  ... 
doi:10.1109/cic.2008.4749187 fatcat:qofvtqg5xrgtbeiyopajwv3u5i
« Previous Showing results 1 — 15 out of 17,088 results