ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings

دانلود کتاب Datalog در دانشگاه و صنعت: دومین کارگاه آموزشی بین المللی، Datalog 2.0، وین، اتریش، 11-13 سپتامبر 2012. مقالات

Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings

مشخصات کتاب

Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings

ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 7494 
ISBN (شابک) : 9783642329258, 3642329241 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 201 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



کلمات کلیدی مربوط به کتاب Datalog در دانشگاه و صنعت: دومین کارگاه آموزشی بین المللی، Datalog 2.0، وین، اتریش، 11-13 سپتامبر 2012. مقالات: برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، شبکه های ارتباطی کامپیوتری، داده کاوی و کشف دانش، هوش مصنوعی (شامل رباتیک)، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی



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

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


در صورت تبدیل فایل کتاب Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Datalog در دانشگاه و صنعت: دومین کارگاه آموزشی بین المللی، Datalog 2.0، وین، اتریش، 11-13 سپتامبر 2012. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب Datalog در دانشگاه و صنعت: دومین کارگاه آموزشی بین المللی، Datalog 2.0، وین، اتریش، 11-13 سپتامبر 2012. مقالات



این کتاب مجموعه مقالات داوری دومین کارگاه بین المللی Datalog 2.0 است که در سپتامبر 2012 در وین، اتریش برگزار شد. از بین 17 ارسال اولیه انتخاب شده است. Datalog 2.0 یک کارگاه آموزشی برای پیشگامان Datalog، مجریان و متخصصان فعلی است. هدف مشارکت‌ها این است که هر شرکت‌کننده را با جدیدترین پیشرفت‌ها به‌روز کند و مسیرهای آینده را ترسیم کند.


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

This book constitutes the refereed proceedings of the Second International Workshop on Datalog 2.0, held in Vienna, Austria, in September 2012.
The 14 revised full papers presented together with 2 invited talks and 2 invited tutorials were carefully reviewed and selected from 17 initial submissions. Datalog 2.0 is a workshop for Datalog pioneers, implementors, and current practitioners; the contributions aim to bring every participant up-to-date with the newest developments and map out directions for the future.



فهرست مطالب

Front Matter....Pages -
LogicBlox, Platform and Language: A Tutorial....Pages 1-8
Datalog: A Perspective and the Potential....Pages 9-20
Existential Rules: A Graph-Based View....Pages 21-26
How (Well) Do Datalog, SPARQL and RIF Interplay?....Pages 27-30
Magic-Sets for Datalog with Existential Quantifiers....Pages 31-43
On the CRON Conjecture....Pages 44-55
Order in Datalog with Applications to Declarative Output....Pages 56-67
A Broad Class of First-Order Rewritable Tuple-Generating Dependencies....Pages 68-80
Datalog Development Tools....Pages 81-85
Query Rewriting Using Datalog for Duplicate Resolution....Pages 86-98
Reasoning about Knowledge in Distributed Systems Using Datalog....Pages 99-110
Declarative Datalog Debugging for Mere Mortals....Pages 111-122
Inconsistency-Tolerant Query Rewriting for Linear Datalog+/–....Pages 123-134
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach....Pages 135-147
Business Network Reconstruction Using Datalog....Pages 148-152
Data Exchange in Datalog Is Mainly a Matter of Choice....Pages 153-164
Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop....Pages 165-176
Logical Foundations of Continuous Query Languages for Data Streams....Pages 177-189
Back Matter....Pages -




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