Tous les livres numériques de Rashmie Abeysinghe en PDF et EPUB

2 Livre(s)
Télécharger le livre : Formal Methods for the Analysis of Biomedical Ontologies
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...

Editeur : Springer
Parution : 2025-08-29
PDF, ePub

58,01 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Formal Methods for the Analysis of Biomedical Ontologies
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...

Editeur : Springer
Parution : 2022-11-08
PDF, ePub

49,57 €
Téléchargement immédiat
Dès validation de votre commande