Formal Methods for the Analysis of Biomedical Ontologies Guo-Qiang Zhang, Licong Cui, Rashmie Abeysinghe
Idioma: inglés
Editorial: Springer International Publishing, 2022
- Tapa dura
- Usado
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AlemaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Vendedor de IberLibro desde 14 de julio de 2011
Condición: Usado - Bueno
EUR 179,99
Cantidad disponible: 1 disponible
Añadir al carritoDescripción del artículo del vendedor
Formal Methods for the Analysis of Biomedical Ontologies In deutscher Sprache. pages.
N° de ref. del artículo BN239273
- Título
- Formal Methods for the Analysis of Biomedical Ontologies Guo-Qiang Zhang, Licong Cui, Rashmie Abeysinghe
- Autor
- Guo-Qiang Zhang, Licong Cui, Rashmie Abeysinghe
- Editorial
- Springer International Publishing
- Año de publicación
- 2022
- Estado
- gut
- Encuadernación
- Hardcover
- Idioma
- inglés
- ISBN 10
- 3031121309
- ISBN 13
- 9783031121302
- Edición
- 2022.
- Peso del artículo
- 2000 gramos
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-latticedetection 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.
“Sinopsis” puede pertenecer a otra edición de este título.
Acerca del autor
Licong Cui received her Ph.D. in Computer Science from Case Western Reserve University. She is an assistant professor in School of Biomedical Informatics at the University of Texas Health Science Center at Houston. Before joining UTHealth, she was an assistant professor in the Department of Computer Science and member of the Institute for Biomedical Informatics at the University of Kentucky. Her research interests include ontologies and terminologies, neuroinformatics, big data analytics, large-scale data integration and management, and information extraction and retrieval. She has been a Principal Investigatorof several highly competitive research awards funded by the NIH and the NSF. She is a recipient of the prestigious NSF CAREER Award.
Rashmie Abeysinghe received his B.S. in Computer Science from University of Peradeniya, Peradeniya, Sri Lanka and Ph.D. in Computer Science from University of Kentucky. He completed a Summer Internship at the National Library of Medicine, NIH. After completing his Ph.D. study, he joined the Department of Neurology, McGovern Medical School at the University of Texas Health Science Center at Houston as a Research Scientist. His research interests revolve around biomedical ontologies particularly from a quality assurance perspective, information extraction, and deep learning. His paper won a Distinguished Paper Award at the 2021 American Medical Informatics Association (AMIA) Annual Symposium. His papers were also selected as finalists for both the 2018 and 2019 AMIA Annual Symposium Student Paper Competitions.
“Acerca de” puede pertenecer a otra edición de este título.
BUCHSERVICE / ANTIQUARIAT Lars Lutzer
Wahlstedt, Alemania
Vendedor de IberLibro desde 14 de julio de 2011
Tarifas de envío de Alemania a Estados Unidos de America
| Artículo | De 9 a 29 días hábiles | De 8 a 19 días hábiles |
|---|---|---|
| Primer artículo | EUR 39,95 | EUR 49,95 |
Métodos de pago
- Cheque
- Factura
- Giro bancario
- PayPal
Descripción de la tienda
ANTIQUARIAT *** LITERATUR RECHERCHE *** BUCHSERVICE *** ANTIQUARISCHE SUCHE Sollten Sie auf der Suche nach einem (ggf.raren/vergriffenen) Fachbuch sein, nutzen Sie einfach unseren persönlichen Service rund ums Buch. Wir besorgen jedes lieferbare Buch schnellstmöglich (sowie CDs, Kassetten, Spiele, Fortsetzungen, Fachzeitschriften etc.) und lösen auch anspruchsvollere Aufgaben - testen Sie uns! Für Kunden, die nach bestimmten Buchtiteln suchen, bieten wir einen unverbindlichen und kostenlosen Recherche-Service. Dank unserer guten Vernetzung kann unser Buchservice oft selbst solche Bücher aufspüren, die auf dem Markt bereits seit langem vergriffen sind. ANTIQUARIAT *** LITERATUR RECHERCHE *** BUCHSERVICE *** ANTIQUARISCHE SUCHE Impressum: BuchService Lars Lutzer - Einzelunternehmung -Alte Landstr. 39- 23812 Wahlstedt- TEL: +49 (0) 176 / 63887918 Email: L.LUTZER(AT)LLU-BUCHSERVICE(PUNKT)DE , UID: DE277819159…
Información empresarial del vendedor
BUCHSERVICE / ANTIQUARIAT Lars Lutzer
Alemania
Condiciones de venta
Información legal :
Servicio libros de ocasión Lars Lutzer - Empresa individual - Dirección: Lars Lutzer -Alte Landstr. 39- 23812 Wahlstedt Deutschland /Germany /Alemania - TEL: +49 (0) 176 / 63887918 - Email: L.Lutzer(at)LLU-Buchservice(punto)de, UID / VAT / IVA: DE277819159.
Derecho al desistimiento
Si es un consumidor, puede rescindir el contrato de acuerdo con lo siguiente. Por consumidor se entiende cualquier persona física que actúe con fines ajenos a su actividad comercial, empresarial, oficio o profesión.
Información sobre el derecho de desistimiento
Derecho legal de desistimiento
Tiene derecho a rescindir este contrato en un plazo de 14 días sin dar ningún motivo.
El periodo de desistimiento vencerá a los 14 días desde que usted, o un tercero que no sea el transportista e indicado por usted, adquiera la posesión física del último bien o del último lote o pieza.
Para ejercer el derecho de desistimiento, complete de forma electrónica y envíe una declaración clara en nuestro sitio web, desde "Mis compras" en "Mi cuenta". Le enviaremos sin demora un acuse de recibo de dicho desistimiento a través de un soporte duradero (por ejemplo, por correo electrónico).
Para cumplir con el plazo de desistimiento, basta con que envíe su comunicación relativa al ejercicio del derecho de desistimiento antes de que venza el periodo de desistimiento.
Efectos del desistimiento
Si rescinde este contrato, le reembolsaremos todos los pagos que hayamos recibido de usted, incluidos los gastos de envío (excepto los gastos adicionales que surjan si elige un tipo de envío que no sea el tipo de envío estándar más económico que ofrecemos).
Podemos hacer una deducción del reembolso por la pérdida de valor de cualquier bien suministrado, si la pérdida es el resultado de una manipulación innecesaria por su parte.
Efectuaremos el reembolso sin demoras indebidas y, a más tardar, 14 días después de que se nos informe de su decisión de rescindir este contrato.
Efectuaremos el reembolso utilizando el mismo medio de pago que utilizó para la transacción inicial, a menos que haya acordado expresamente lo contrario; en cualquier caso, no incurrirá en ningún cargo como resultado de dicho reembolso.
Podremos retener el reembolso hasta que hayamos recibido los bienes o hasta que nos haya presentado una prueba de que los ha devuelto, lo que ocurra primero.
Deberá devolver los bienes o entregarlos a BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Lars Lutzer, Alte Landstrasse 39, 23812, Wahlstedt, Germany, sin demoras indebidas y, en cualquier caso, en un plazo máximo de 14 días a partir del día en que nos comunique su desistimiento del presente contrato. El plazo se cumple si devuelve la mercancía antes de que venza el periodo de 14 días. Tendrá que asumir los gastos directos de devolución de los bienes. Usted solo es responsable de la disminución del valor de los bienes como resultado de una manipulación distinta a la necesaria para establecer la naturaleza, las características y el funcionamiento de los bienes.
Excepciones al derecho de desistimiento
El derecho de desistimiento no se aplica a lo siguiente:
- La entrega de periódicos, diarios o revistas, con la excepción de los contratos de suscripción; y
- El suministro de contenido digital que no se proporcione en un soporte tangible (por ejemplo, en un CD o DVD) si, al hacer el pedido, aceptó que podíamos empezar a entregarlo y que no podría desistir una vez iniciada la entrega.
Condiciones de envío
Widerrufsrecht für Verbraucher
Verbrauchern steht ein Widerrufsrecht nach folgender Maßgabe zu, wobei Verbraucher jede natürliche Person ist, die ein Rechtsgeschäft zu Zwecken abschließt, die überwiegend weder ihrer gewerblichen noch ihrer selbständigen beruflichen Tätigkeit zugerechnet werden können:
Widerrufsbelehrung
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gründen diesen Vertrag zu widerrufen. Die Widerrufsfrist beträgt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht Beförderer ist, die Waren in Besitz genommen haben bzw. hat.
Um Ihr Widerrufsrecht auszuüben, müssen Sie uns: Lars Lutzer - Einzelunternehmer - Alte Landstr. 39- 23812 Wahlstedt, Deutschland /Germany- Email: L.LUTZER(AT)LLU-BUCHSERVICE(PUNKT)DE , TEL: +49 (0) 176 / 63887918 - UID: DE277819159 mittels einer eindeutigen Erklärung (z.B. ein mit der Post versandter Brief oder E-Mail) über Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie können dafür das beigefügte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist.
Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Folgen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, günstigste Standardlieferung gewählt haben), unverzüglich und spätestens binnen vierzehn Tagen ab dem Tag zurückzuzahlen, an dem die Mitteilung über Ihren Widerruf dieses Vertrags bei uns eingegangen ist. Für diese Rückzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der ursprünglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser Rückzahlung Entgelte berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, welches der frühere Zeitpunkt ist.
Sie haben die Waren unverzüglich und in jedem Fall spätestens binnen vierzehn Tagen ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an uns zurückzusenden oder zu übergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden. Sie tragen die unmittelbaren Kosten der Rücksendung der Waren.
Sie müssen für einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Prüfung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zurückzuführen ist.
Muster-Widerrufsformular
(Wenn Sie den Vertrag widerrufen wollen, dann füllen Sie bitte dieses Formular aus und senden Sie es zurück.)
– An Lars Lutzer, Alte Landstr. 39, 23812 Wahlstedt, Deutschland, E-Mail: L.LUTZER(AT)LLU-BUCHSERVICE(PUNKT)DE:
– Hiermit widerrufe(n) ich/wir (*) den von mir/uns (*) abgeschlossenen Vertrag über den Kauf der folgenden Waren (*)/die Erbringung der folgenden Dienstleistung (*)
– Bestellt am (*)/erhalten am (*)
– Name des/der Verbraucher(s)
– Anschrift des/der Verbraucher(s)
– Unterschrift des/der Verbraucher(s) (nur bei Mitteilung auf Papier)
– Datum
(*) Unzutreffendes streichen.