Parametric Model Checking Continuous-Time Markov Chains. By Catalin-Andrei Ilie time2020 contributedtalk 280 views You may also like 03:59 Identification and ontology term enrichment analysis of genes associated with COVID-19 and acute kidney disease – Suyuan Peng 4 views bosk2021,icbo2021 contributedtalk 05:13 Leveraging Ontologies within the National Microbiome Data Collaborative – William D. Duncan 1 views bosk2021,icbo2021 contributedtalk 05:04 Analysis of Biomarker Data Towards Development of a Molecular Biomarker Ontology – Daniel Lyman 2 views bosk2021,icbo2021 contributedtalk 03:59 Expanding the Mammalian Phenotype Ontology to Meet the Needs of COVID-19 Model Curation – Susan Bello 0 views bosk2021,icbo2021 contributedtalk 06:17 Ontology-based modeling, representation, and analysis of biomarkers in healthy and disease kidney tissue – Yingtong Liu 4 views bosk2021,icbo2021 contributedtalk 15:05 CIDO ontology updates and secondary analysis of host responses to COVID-19 infection based on ImmPort reports and literature – Anthony Huffman 3 views bosk2021,icbo2021 contributedtalk 20:14 Why and how to engage expert stakeholders in ontology development: insights from social and behavioural sciences – Emma Norris 7 views bosk2021,icbo2021 contributedtalk 04:09 KG-Microbe: a reference knowledge-graph and platform for harmonized microbial information – Marcin P. Joachimiak 20 views bosk2021,icbo2021 contributedtalk 04:09 GNOme – Glycan Naming and Subsumption Ontology – Nathan Edwards 5 views bosk2021,icbo2021 contributedtalk 02:55 Challenges Arising from Ontology Imports Utilized for Exploring Mechanisms of Disease – Lynn Schriml 2 views bosk2021,icbo2021 contributedtalk «1…45678…13»Page 6 of 13
