Tous les ebooks de Licong Cui en PDF et EPUB


2  résultat(s)
Télécharger le livre :  Formal Methods for the Analysis of Biomedical Ontologies
Ajouter à ma liste d'envies

Formal Methods for the Analysis of Biomedical Ontologies


Rashmie Abeysinghe , Licong Cui , Guo-Qiang Zhang


This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies.  The authors take a pragmatic approach focused on generating actionable insights to achieve high-quality codified...

Parution : 2025-08-29
Format(s) : PDF, ePub
Éditeur : Springer
J'achète
58,01
Télécharger le livre :  Formal Methods for the Analysis of Biomedical Ontologies
Ajouter à ma liste d'envies

Formal Methods for the Analysis of Biomedical Ontologies


Rashmie Abeysinghe , Licong Cui , Guo-Qiang Zhang


The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a...

Parution : 2022-11-08
Format(s) : PDF, ePub
Éditeur : Springer
J'achète
49,57

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés