Filter by
Formal Methods for the Analysis of Biomedical Ontologies
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 particularly useful tool for ontological engineering and practice, particularly in uncovering unexpected "bugs" and content materials. …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-12131-9
- Collation
- xiv, 245p.: Ill.
- Series Title
- Synthesis Lectures on Data, Semantics, and Knowledge
- Call Number
- 005.75 For
Social Informatics: 13th International Conference, SocInfo 2022, Glasgow, UK,…
This book constitutes the refereed proceedings of the 13th International Conference on Social Informatics, SocInfo 2022, which took place in Glasgow, UK, during October 19-21, 2022. The 22 full papers, 8 short papers, and 4 late breaking papers included in this book were carefully reviewed and selected from 102 submissions. The deal with topics ranging from information-system design on soci…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19097-1
- Collation
- xvi, 508p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.75 Soc
Mobile Forensics – The File Format Handbook: Common File Formats and File S…
This open access book summarizes knowledge about several file systems and file formats commonly used in mobile devices. In addition to the fundamental description of the formats, there are hints about the forensic value of possible artefacts, along with an outline of tools that can decode the relevant data. The book is organized into two distinct parts: Part I describes several different …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-98467-0
- Collation
- xiii, 269p.: Ill.
- Series Title
- -
- Call Number
- 005.75 Mob
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography