Formal Methods for the Analysis of Biomedical Ontologies, Zhang

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

Автор: Zhang
Название: Formal Methods for the Analysis of Biomedical Ontologies
ISBN: 3031121333 ISBN-13(EAN): 9783031121333
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

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

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.

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

Автор: Gerard Kuperus; Marjolein Oele
Название: Ontologies of Nature
ISBN: 331966235X ISBN-13(EAN): 9783319662350
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: By providing ontologies of nature from the perspective of the history of philosophy and of contemporary philosophy alike, the book shows that such perspectives need to be seen in dialogue with each other in order to offer a deeper and more comprehensive philosophy of nature.

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

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

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

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

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

Автор: , Xu Qiang
Название: Ontologies and Big Data Considerations for Effective Intelligence
ISBN: 1522520589 ISBN-13(EAN): 9781522520580
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 238390.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Across numerous industries in modern society, there is a constant need to gather precise and relevant data efficiently and quickly. As such, it is imperative to research new methods and approaches to increase productivity in these areas.Ontologies and Big Data Considerations for Effective Intelligence is a key source on the latest advancements in multidisciplinary research methods and applications and examines effective techniques for managing and utilizing information resources. Featuring extensive coverage across a range of relevant perspectives and topics, such as visual analytics, spatial databases, retrieval systems, and ontology models, this book is ideally designed for researchers, graduate students, academics, and industry professionals seeking ways to optimize knowledge management processes.