Introduction to Bio-Ontologies explores the computational background of ontologies. Emphasizing computational and algorithmic issues surrounding bio-ontologies, this self-contained text helps readers understand ontological algorithms and their applications.

The first part of the book defines ontology and bio-ontologies. It also explains the importance of mathematical logic for understanding concepts of inference in bio-ontologies, discusses the probability and statistics topics necessary for understanding ontology algorithms, and describes ontology...

Energy Geotechnics includes 97 technical papers presented at the 1st International Conference on Energy Geotechnics (ICEGT 2016, Kiel, Germany, 29-31 August 2016). The contributions provides significant advances and critical challenges facing the areas of fundamentals, constitutive and numerical modelling, testing techniques and energy geotechnics applications.

Energy Geotechnics contains seven regular sessions and six minisymposia, with contributions on discrete and continuum based modelling as well as investigations based on experimental studies at...