ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Methods for the Analysis of Biomedical Ontologies

دانلود کتاب روش های رسمی برای تجزیه و تحلیل هستی شناسی های زیست پزشکی

Formal Methods for the Analysis of Biomedical Ontologies

مشخصات کتاب

Formal Methods for the Analysis of Biomedical Ontologies

ویرایش:  
نویسندگان: , ,   
سری: Synthesis Lectures on Data, Semantics, and Knowledge 
ISBN (شابک) : 3031121309, 9783031121302 
ناشر: Springer 
سال نشر: 2022 
تعداد صفحات: 257
[258] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 Mb

قیمت کتاب (تومان) : 51,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 4


در صورت تبدیل فایل کتاب Formal Methods for the Analysis of Biomedical Ontologies به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های رسمی برای تجزیه و تحلیل هستی شناسی های زیست پزشکی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش های رسمی برای تجزیه و تحلیل هستی شناسی های زیست پزشکی



این کتاب تحقیقاتی را در مورد تجزیه و تحلیل هستی شناسی های زیست پزشکی با استفاده از تجزیه و تحلیل مفهوم رسمی، از جمله از طریق حسابرسی، سرپرستی، و ارتقاء ترکیب می کند. از آنجایی که تکامل هستی‌شناسی‌های زیست‌پزشکی تقریباً ناگزیر مستلزم کار دستی است، روش‌های رسمی ابزار مفیدی برای مهندسی و تمرین هستی‌شناسی هستند، به‌ویژه در کشف «اشکالات» غیرمنتظره و مواد محتوا.

این کتاب ابتدا راهبردهای ساده اما رسمی برای کشف الگوهای نامطلوب و نامنسجم در هستی شناسی ها را قبل از کاوش در کاربرد تحلیل مفهوم رسمی برای کامل بودن معنایی معرفی می کند. این کتاب سپس به تحلیل مفهوم رسمی می پردازد، یک رویکرد کلاسیک که در درمان ریاضی نظم ها و شبکه ها، به عنوان یک اصل مهندسی هستی شناسی، با تمرکز بر ویژگی ساختاری هستی شناسی ها با توجه به انطباق آن با شبکه (غیر شبکه) استفاده می شود. این کتاب به طور مفید توسعه الگوریتم‌های کارآمدتر برای تشخیص و استخراج غیر شبکه‌ای را که توسط تحلیل جامع شبکه/غیر شبکه مورد نیاز است، پوشش می‌دهد. این کتاب در ادامه قدرت و کاربرد کشف ساختار غیر شبکه ای را برای اشکال زدایی هستی شناسی ها برجسته می کند و روش هایی را توصیف می کند که از اطلاعات زبانی در نام های مفهومی (برچسب ها) برای تحلیل هستی شناختی استفاده می کنند. همچنین به مسائل تجسم و ارزیابی عملکرد قبل از پایان با یک مرور کلی و دیدگاه‌های آینده‌نگر در این زمینه می‌پردازد.

این کتاب برای دانشجویان تحصیلات تکمیلی و محققان علاقه مند به هستی شناسی های زیست پزشکی و کاربردهای آن در نظر گرفته شده است. این می‌تواند مکمل مفیدی برای دوره‌های بازنمایی دانش و مهندسی باشد و همچنین مرجعی برای انتشارات علمی و ادبیات مرتبط برای کمک به شناسایی موضوعات بالقوه تحقیقاتی در اختیار خوانندگان قرار دهد. تمام مفاهیم ریاضی و نمادهای استفاده شده در این کتاب را می توان در کتاب های استاندارد ریاضیات گسسته پیدا کرد و پیوست در انتهای کتاب فهرستی از منابع هستی شناسی کلیدی و همچنین نمونه های مشبک و غیر مشبک مشروح شده را ارائه می دهد که با استفاده از روش‌های نویسندگان، نشان می‌دهد که چگونه \"اشکال‌ها رفع می‌شوند\" با تبدیل غیرشبکه‌ها به شبکه‌هایی با حداقل تغییرات ویرایشی.


توضیحاتی درمورد کتاب به خارجی

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.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی