Warning: Trying to access array offset on false in E:\WWW\html\user.php on line 121
Zhang Formal Methods for the Analysis of Biomedical Ontologies 9783031121333
Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Formal Methods for the Analysis of Biomedical Ontologies, Zhang


Варианты приобретения
Цена: 7317.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2026-06-01
Ориентировочная дата поставки: Июль
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Zhang
Название:  Formal Methods for the Analysis of Biomedical Ontologies
ISBN: 9783031121333
Издательство: Springer
Классификация:




ISBN-10: 3031121333
Обложка/Формат: Soft cover
Страницы: 245
Вес: 0.00 кг.
Дата издания: 24.11.2023
Серия: Synthesis lectures on data, semantics, and knowledge
Язык: English
Издание: 1st ed. 2022
Иллюстрации: 52 illustrations, color; 67 illustrations, black and white; xiv, 245 p. 119 illus., 52 illus. in color.
Размер: 240 x 168
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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. The book first introduces simple but formalized strategies for discovering undesired and incoherent patterns in ontologies before exploring the application of formal concept analysis for semantic completeness. The book then turns to formal concept analysis, a classical approach used in the mathematical treatment of orders and lattices, as an ontological engineering principle, focusing on the structural property of ontologies with respect to its conformation to lattice or not (non-lattice). The book helpfully covers the development of more efficient algorithms for non-lattice detection and extraction required by exhaustive lattice/non-lattice analysis. The book goes on to highlight the power and utility of uncovering non-lattice structure for debugging ontologies and describes methods that leverage the linguistic information in concept names (labels) for ontological analysis. It also addresses visualization and performance evaluation issues before closing with an overview and forward-looking perspectives on the field. This book is intended for graduate students and researchers interested in biomedical ontologies and their applications. It can be a useful supplement for courses on knowledge representation and engineering and also provide readers with a reference for related scientific publications and literature to assist in identifying potential research topics. All mathematical concepts and notations used in this book can be found in standard discrete mathematics textbooks, and the appendix at the end of the book provides a list of key ontological resources, as well as annotated non-lattice and lattice examples that were discovered using the authors methods, demonstrating how bugs are fixed by converting non-lattices to lattices with minimal edit changes.
Дополнительное описание: Introduction.- Simple Relational Patterns.- Formal Concept Analysis and Semantic Completeness.- Algorithms for Extracting Non-lattice Substructures.- Non-lattice Substructures in Ontological Analysis.- Lexical Sequences and Patterns.- Visualization and Re



Formal Methods for the Analysis of Biomedical Ontologies

Автор: Zhang
Название: Formal Methods for the Analysis of Biomedical Ontologies
ISBN: 3031121309 ISBN-13(EAN): 9783031121302
Издательство: Springer
Рейтинг:
Цена: 7317.00 р.
Наличие на складе: Нет в наличии.

Описание: 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. The book first introduces simple but formalized strategies for discovering undesired and incoherent patterns in ontologies before exploring the application of formal concept analysis for semantic completeness. The book then turns to formal concept analysis, a classical approach used in the mathematical treatment of orders and lattices, as an ontological engineering principle, focusing on the structural property of ontologies with respect to its conformation to lattice or not (non-lattice). The book helpfully covers the development of more efficient algorithms for non-lattice detection and extraction required by exhaustive lattice/non-lattice analysis. The book goes on to highlight the power and utility of uncovering non-lattice structure for debugging ontologies and describes methods that leverage the linguistic information in concept names (labels) for ontological analysis. It also addresses visualization and performance evaluation issues before closing with an overview and forward-looking perspectives on the field. This book is intended for graduate students and researchers interested in biomedical ontologies and their applications. It can be a useful supplement for courses on knowledge representation and engineering and also provide readers with a reference for related scientific publications and literature to assist in identifying potential research topics. All mathematical concepts and notations used in this book can be found in standard discrete mathematics textbooks, and the appendix at the end of the book provides a list of key ontological resources, as well as annotated non-lattice and lattice examples that were discovered using the authors' methods, demonstrating how "bugs are fixed" by converting non-lattices to lattices with minimal edit changes.

Information-Theoretic Evaluation for Computational Biomedical Ontologies

Автор: Wyatt Travis Clark
Название: Information-Theoretic Evaluation for Computational Biomedical Ontologies
ISBN: 3319041371 ISBN-13(EAN): 9783319041377
Издательство: Springer
Рейтинг:
Цена: 6097.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The development of effective methods for the prediction of ontological annotations is an important goal in computational biology, yet evaluating their performance is difficult due to problems caused by the structure of biomedical ontologies and incomplete annotations of genes.

New Trends of Research in Ontologies and Lexical Resources

Автор: Alessandro Oltramari; Piek Vossen; Lu Qin; Eduard
Название: New Trends of Research in Ontologies and Lexical Resources
ISBN: 3642437788 ISBN-13(EAN): 9783642437786
Издательство: Springer
Рейтинг:
Цена: 11586.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Surveying new directions of research and development in the interdisciplinary framework where ontologies and lexical resources intersect, this book deals with the complex relation between lexicons (in different languages) and the underlying ontological model.

Semantic Web, Ontologies and Databases

Автор: Vassilis Christophides; Martine Collard; Claudio G
Название: Semantic Web, Ontologies and Databases
ISBN: 3540709592 ISBN-13(EAN): 9783540709596
Издательство: Springer
Рейтинг:
Цена: 7927.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the thoroughly refereed post-conference proceedings of the joint International Workshops on Semantic Web, Ontologies and Databases, SWDB-ODBIS 2007, co-located with the 33rd International Conference on Very Large Data Bases, VLDB 2007, held in Vienna, Austria, in September 2007.

Anatomy Ontologies for Bioinformatics

Автор: Albert Burger; Duncan Davidson; Richard Baldock
Название: Anatomy Ontologies for Bioinformatics
ISBN: 1849966664 ISBN-13(EAN): 9781849966665
Издательство: Springer
Рейтинг:
Цена: 19376.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a timely and first-of-its-kind collection of papers on anatomy ontologies. The book aims to provide readers with a comprehensive understanding of the foundations of anatomical ontologies and the-state-of-the-art in terms of existing tools and applications.

Modular Ontologies

Автор: Heiner Stuckenschmidt; Christine Parent; Stefano S
Название: Modular Ontologies
ISBN: 3642019064 ISBN-13(EAN): 9783642019067
Издательство: Springer
Рейтинг:
Цена: 8537.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of research achievements mature enough to provide a firm and reliable basis on modular ontologies. It offers an analysis of the research area and discusses the concepts, theories and techniques for knowledge modularization.

Ontologies for Software Engineering and Software Technology

Автор: Coral Calero; Francisco Ruiz; Mario Piattini
Название: Ontologies for Software Engineering and Software Technology
ISBN: 3642070876 ISBN-13(EAN): 9783642070877
Издательство: Springer
Рейтинг:
Цена: 17074.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers two applications of ontologies in software engineering and software technology: sharing knowledge of the problem domain and using a common terminology among all stakeholders;

Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation

Автор: Polovina
Название: Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation
ISBN: 303122227X ISBN-13(EAN): 9783031222276
Издательство: Springer
Рейтинг:
Цена: 9146.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitures selected and revised papers presented at the First International Workshop on Measuring Ontologies for Value Enhancement, MOVE 2020, held as Virtual Event in October 2020. The 7 extended and revised papers presented were thoroughly reviewed and selected from the 13 submissions. Along with them, the volume presents 5 invited papers. The volume articles are arranged in the topical sections on complexity of knowledge-intensive endeavors; ontology modeling; enterprise ontologies; knowledge discovery and innovations.

Introduction to Bio-Ontologies

Автор: Robinson, Peter N.
Название: Introduction to Bio-Ontologies
ISBN: 0367659271 ISBN-13(EAN): 9780367659271
Издательство: Taylor&Francis
Рейтинг:
Цена: 7348.00 р.
Наличие на складе: Нет в наличии.

Introduction to Bio-Ontologies

Автор: Robinson, Peter N.
Название: Introduction to Bio-Ontologies
ISBN: 1439836655 ISBN-13(EAN): 9781439836651
Издательство: Taylor&Francis
Рейтинг:
Цена: 17609.00 р.
Наличие на складе: Нет в наличии.

Computational Methods With Applications In Bioinformatics Analysis

Автор: Tsai Jeffrey J P & Ng Ka-Lok
Название: Computational Methods With Applications In Bioinformatics Analysis
ISBN: 9813207973 ISBN-13(EAN): 9789813207974
Издательство: World Scientific Publishing
Рейтинг:
Цена: 13622.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This compendium contains 10 chapters written by world renowned researchers with expertise in semantic computing, genome sequence analysis, biomolecular interaction, time-series microarray analysis, and machine learning algorithms.

The salient feature of this book is that it highlights eight types of computational techniques to tackle different biomedical applications. These techniques include unsupervised learning algorithms, principal component analysis, fuzzy integral, graph-based ensemble clustering method, semantic analysis, interolog approach, molecular simulations and enzyme kinetics.

The unique volume will be a useful reference material and an inspirational read for advanced undergraduate and graduate students, computer scientists, computational biologists, bioinformatics and biomedical professionals.

Optimization and Data Analysis in Biomedical Informatics

Автор: Panos M. Pardalos; Thomas F. Coleman; Petros Xanth
Название: Optimization and Data Analysis in Biomedical Informatics
ISBN: 1489999663 ISBN-13(EAN): 9781489999665
Издательство: Springer
Рейтинг:
Цена: 13415.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work is targeted to applied mathematicians, computer scientists, industrial engineers, and clinical scientists who are interested in exploring emerging and fascinating interdisciplinary topics of research.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия