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 9783031121302
Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Formal Methods for the Analysis of Biomedical Ontologies, Zhang


Варианты приобретения
Цена: 7317.00р.
Кол-во:
 о цене
Наличие: Отсутствует. 
Возможна поставка под заказ. Дата поступления на склад уточняется после оформления заказа


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

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




ISBN-10: 3031121309
Обложка/Формат: Hardback
Страницы: 245
Вес: 0.62 кг.
Дата издания: 23.11.2022
Серия: 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
Читательская аудитория: Professional & vocational
Основная тема: 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



Building Ontologies with Basic Formal Ontology

Автор: Arp Robert, Smith Barry, Spear Andrew D.
Название: Building Ontologies with Basic Formal Ontology
ISBN: 0262527812 ISBN-13(EAN): 9780262527811
Издательство: Random House (USA)
Рейтинг:
Цена: 8276.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

An introduction to the field of applied ontology with examples derived particularly from biomedicine, covering theoretical components, design practices, and practical applications.

In the era of "big data," science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use.

After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies.

Andean Ontologies: New Archaeological Perspectives

Автор: Maria Cecilia Lozada, Henry Tantalean
Название: Andean Ontologies: New Archaeological Perspectives
ISBN: 0813056373 ISBN-13(EAN): 9780813056371
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 13794.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Andean Ontologies is a fascinating interdisciplinary investigation of how ancient Andean people understood their world and the nature of being. Exploring pre-Hispanic ideas of time, space, and the human body, these essays highlight a range of beliefs across the region’s different cultures, emphasizing the relational aspects of identity in Andean worldviews.This volume breaks new ground by bringing together an array of renowned specialists including anthropologists, bioarchaeologists, historians, linguists, ethnohistorians, and art historians to evaluate ancient Amerindian ideologies through different interpretive lenses. Many are local researchers from South American countries such as Ecuador, Peru, Bolivia, Chile, and Argentina, and this volume makes their work available to North American readers for the first time. Their essays are highly contextualized according to the territories and time periods studied. Instead of taking an external, outside-in approach, they prioritize internal and localized views that incorporate insights from today’s indigenous societies. This cutting-edge collection demonstrates the value of a multifaceted, holistic, inside-out approach to the pre-Columbian world.

Mereologies, Ontologies, and Facets: The Categorial Structure of Reality

Автор: Hackett Paul M.
Название: Mereologies, Ontologies, and Facets: The Categorial Structure of Reality
ISBN: 1498524974 ISBN-13(EAN): 9781498524971
Издательство: Bloomsbury
Рейтинг:
Цена: 15048.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Realities are structured categorically, and comprehension of our internal and external conditions do not appear to be global or unitary. Drawing upon many areas of life, the authors consider the ontological, mereological and multi-faceted structure of experience to explore how an understanding of categories can further knowledge.

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.

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.

Statistical Methods For Biomedical Research

Автор: Ji-qian Fang
Название: Statistical Methods For Biomedical Research
ISBN: 9811228868 ISBN-13(EAN): 9789811228865
Издательство: World Scientific Publishing
Рейтинг:
Цена: 34848.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book consists of four parts with 32 chapters adapted for four short courses, from the basic to the advanced levels of medical statistics (biostatistics), ideal for biomedical students .

BioMEMS and Biomedical Nanotechnology

Автор: Rashid Bashir; Mauro Ferrari; Steven T. Wereley
Название: BioMEMS and Biomedical Nanotechnology
ISBN: 1489977430 ISBN-13(EAN): 9781489977434
Издательство: Springer
Рейтинг:
Цена: 19376.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Part I. Micro and Nanoscale Biosensors and Materials: Biosensors and Biochips.- Cantilever Assays: A Universal Platform for Multi-plexed Label-Free Bioassays.- An On-chip Artificial Pore For Molecular Sensing.- Cell Based Chemical Sensing Technologies.- Fabrication issues of Biomedical Micro Devices.- Intelligent Polymeric Networks in Biomolecular Sensing.- Part II Processing and Integrated Systems: A Multi-Functional Micro Total Analysis System ( TAS) Platform for Transport and Sensing of Biological Fluids using Microchannel Parallel Electrodes.- Dielectrophoretic Traps for Cell Manipulation.- BioMEMS for Cellular Manipulation and Analysis.- Implantable Wireless Microsystems.- Microfluidic Tectonics: An integrated organic autonomous platform.- AC Electrokinetic Stirring and Focusing of Nanoparticles.- Part III. Micro-fluidics and Characterization: Particle Dynamics in a Dielectrophoretic Microdevice.- Microfluidics Simulations I.- Modeling Electroosmotic Flow in Nanochannels.- Nano-Particle Image Velocimetry: A Near-Wall Velocimetry Technique with Submicron Spatial Resolution.- Optical MEMS-Based Sensor Development with Applications to Microfluidics.- Vascular Cell Responses to Fluid Shear Stress.

Signal and Image Analysis for Biomedical and Life Sciences

Автор: Changming Sun; Tomasz Bednarz; Tuan D. Pham; Pasca
Название: Signal and Image Analysis for Biomedical and Life Sciences
ISBN: 3319109839 ISBN-13(EAN): 9783319109831
Издательство: Springer
Рейтинг:
Цена: 18294.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Part I Signal Analysis

1. Visual Analytics of Signalling Pathways Using Time Profiles; David K. G. Ma, Christian Stolte, Sandeep Kaur, Michael Bain and Se an I. O'Donoghue

2. Modeling of Testosterone Regulation by Pulse-modulated Feedback; Per Mattsson and Alexander Medvedev

3. Hybrid Algorithms for Multiple Change-Point Detection in Biological Sequence; Madawa Priyadarshana, Tatiana Polushina and Georgy Sofronov

4. Stochastic Anomaly Detection in Eye-Tracking Data for Quantification of Motor Symptoms in Parkinson's Disease; Daniel Jansson, Alexander Medvedev, Hans Axelson and Dag Nyholm

5. Identification of the Reichardt Elementary Motion Detector Model; Egi Hidayat, Alexander Medvedev and Karin Nordstrцm

6. Multi-Complexity Ensemble Measures for Gait Time Series Analysis: Application to Diagnostics, Monitoring and Biometrics; Valeriy Gavrishchaka, Olga Senyukova and Kristina Davis

7. Development of a Motion Capturing and Load Analyzing System for Caregivers Aiding a Patient to Sit Up in Bed; Akemi Nomura, Yasuko Ando, Tomohiro Yano, Yosuke Takami, Shoichiro Ito, Takako Sato, Akinobu Nemoto and Hiroshi Arisawa

8. Classifying Epileptic EEG Signals with Delay Permutation Entropy and Multi-Scale K-means; Guohun Zhu, Yan Li, Peng (Paul) Wen and Shuaifang Wang

9. Tracking of EEG Activity Using Motion Estimation to Understand Brain Wiring; Humaira Nisar, Aamir Saeed Malik, Rafi Ullah, Seong-O Shim, Abdullah Bawakid, Muhammad Burhan Khan and Ahmad Rauf Subhani

Part II Image Analysis

10. Towards Automated Quantitative Vasculature Understanding via Ultra High-Resolution Imagery; Rongxin Li, Dadong Wang, Changming Sun, Ryan Lagerstrom, Hai Tan, You He and Tiqiao Xiao

11. Cloud Based Toolbox for Image Analysis, Processing and Reconstruction Tasks; Tomasz Bednarz, Dadong Wang, Yulia Arzhaeva, Ryan Lagerstrom, Pascal Vallotton, Neil Burdett, Alex Khassapov, Piotr Szul, Shiping Chen, Changming Sun, Luke Domanski, Darren Thompson, Timur Gureyev and John A. Taylor

12. Pollen Image Classification Using the Classifynder System: Algorithm Comparison and a Case Study on New Zealand Honey; Ryan Lagerstrom, Katherine Holt, Yulia Arzhaeva, Leanne Bischof, Simon Haberle, Felicitas Hopf and David Lovell

13. Digital Image Processing and Analysis for Activated Sludge Wastewater Treatment; Muhammad Burhan Khan, Xue Yong Lee, Humaira Nisar, Choon Aun Ng, Kim Ho Yeap and Aamir Saeed Malik

14. A Complete System for 3D Reconstruction of Roots for Phenotypic Analysis; Pankaj Kumar, Jinhai Cai and Stan Miklavcic

Signal and Image Analysis for Biomedical and Life Sciences

Автор: Changming Sun; Tomasz Bednarz; Tuan D. Pham; Pasca
Название: Signal and Image Analysis for Biomedical and Life Sciences
ISBN: 3319359029 ISBN-13(EAN): 9783319359021
Издательство: Springer
Рейтинг:
Цена: 18294.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Part I Signal Analysis

1. Visual Analytics of Signalling Pathways Using Time Profiles; David K. G. Ma, Christian Stolte, Sandeep Kaur, Michael Bain and Se an I. O'Donoghue

2. Modeling of Testosterone Regulation by Pulse-modulated Feedback; Per Mattsson and Alexander Medvedev

3. Hybrid Algorithms for Multiple Change-Point Detection in Biological Sequence; Madawa Priyadarshana, Tatiana Polushina and Georgy Sofronov

4. Stochastic Anomaly Detection in Eye-Tracking Data for Quantification of Motor Symptoms in Parkinson's Disease; Daniel Jansson, Alexander Medvedev, Hans Axelson and Dag Nyholm

5. Identification of the Reichardt Elementary Motion Detector Model; Egi Hidayat, Alexander Medvedev and Karin Nordstrцm

6. Multi-Complexity Ensemble Measures for Gait Time Series Analysis: Application to Diagnostics, Monitoring and Biometrics; Valeriy Gavrishchaka, Olga Senyukova and Kristina Davis

7. Development of a Motion Capturing and Load Analyzing System for Caregivers Aiding a Patient to Sit Up in Bed; Akemi Nomura, Yasuko Ando, Tomohiro Yano, Yosuke Takami, Shoichiro Ito, Takako Sato, Akinobu Nemoto and Hiroshi Arisawa

8. Classifying Epileptic EEG Signals with Delay Permutation Entropy and Multi-Scale K-means; Guohun Zhu, Yan Li, Peng (Paul) Wen and Shuaifang Wang

9. Tracking of EEG Activity Using Motion Estimation to Understand Brain Wiring; Humaira Nisar, Aamir Saeed Malik, Rafi Ullah, Seong-O Shim, Abdullah Bawakid, Muhammad Burhan Khan and Ahmad Rauf Subhani

Part II Image Analysis

10. Towards Automated Quantitative Vasculature Understanding via Ultra High-Resolution Imagery; Rongxin Li, Dadong Wang, Changming Sun, Ryan Lagerstrom, Hai Tan, You He and Tiqiao Xiao

11. Cloud Based Toolbox for Image Analysis, Processing and Reconstruction Tasks; Tomasz Bednarz, Dadong Wang, Yulia Arzhaeva, Ryan Lagerstrom, Pascal Vallotton, Neil Burdett, Alex Khassapov, Piotr Szul, Shiping Chen, Changming Sun, Luke Domanski, Darren Thompson, Timur Gureyev and John A. Taylor

12. Pollen Image Classification Using the Classifynder System: Algorithm Comparison and a Case Study on New Zealand Honey; Ryan Lagerstrom, Katherine Holt, Yulia Arzhaeva, Leanne Bischof, Simon Haberle, Felicitas Hopf and David Lovell

13. Digital Image Processing and Analysis for Activated Sludge Wastewater Treatment; Muhammad Burhan Khan, Xue Yong Lee, Humaira Nisar, Choon Aun Ng, Kim Ho Yeap and Aamir Saeed Malik

14. A Complete System for 3D Reconstruction of Roots for Phenotypic Analysis; Pankaj Kumar, Jinhai Cai and Stan Miklavcic

The Fourier Transform in Biomedical Engineering

Автор: Terry M. Peters; Jacqueline C. Williams
Название: The Fourier Transform in Biomedical Engineering
ISBN: 1461268494 ISBN-13(EAN): 9781461268499
Издательство: Springer
Рейтинг:
Цена: 12196.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In 1994, in my role as Technical Program Chair for the 17th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, I solicited proposals for mini-symposia to provide delegates with accessible summaries of important issues in research areas outside their particular specializations.

Formal Ontologies Meet Industry

Автор: Roberta Cuel; Robert Young
Название: Formal Ontologies Meet Industry
ISBN: 3319215442 ISBN-13(EAN): 9783319215440
Издательство: Springer
Рейтинг:
Цена: 4879.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers focus on theoretical studies of formal ontologies committed to provide a sound basis for industrial applications and to allow formal representation of corporate knowledge, and on business experiences in case studies that single out concrete problems and possible solutions in the creation and deployment of formal ontologies.

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.


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