دانلود کتاب Machines, Computations, and Universality: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
کتاب ماشین‌ها، محاسبات و جهانی بودن: هفتمین کنفرانس بین‌المللی، MCU 2015، فاماگوستا، قبرس شمالی، 9-11 سپتامبر 2015، مجموعه مقالات نسخه زبان اصلی
دانلود کتاب ماشین‌ها، محاسبات و جهانی بودن: هفتمین کنفرانس بین‌المللی، MCU 2015، فاماگوستا، قبرس شمالی، 9-11 سپتامبر 2015، مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Machines, Computations, and Universality: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
نام کتاب : Machines, Computations, and Universality: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : ماشین‌ها، محاسبات و جهانی بودن: هفتمین کنفرانس بین‌المللی، MCU 2015، فاماگوستا، قبرس شمالی، 9-11 سپتامبر 2015، مجموعه مقالات
سری : Lecture Notes in Computer Science 9288
نویسندگان : Jerome Durand-Lose, Benedek Nagy (eds.)
ناشر : Springer International Publishing
سال نشر : 2015
تعداد صفحات : 214
ISBN (شابک) : 9783319231105 , 9783319231112
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین‌المللی ماشین‌ها، محاسبات و جهانی، MCU 2015 است که در فاماگوستا، قبرس شمالی، در سپتامبر 2015 برگزار شد.
10 مقاله کامل اصلاح‌شده با هم ارائه شده‌اند. با 4 گفتگو دعوت شده به دقت بررسی و از بین 23 مورد ارسالی انتخاب شد. MCU محاسبات را در تنظیمات مدل‌های گسسته مختلف (ماشین‌های تورینگ، ماشین‌های ثبت، اتوماتای سلولی، سیستم‌های مونتاژ کاشی، سیستم‌های بازنویسی، مدل‌های محاسباتی مولکولی، مدل‌های عصبی و غیره) و مدل‌های آنالوگ و ترکیبی (ماشین‌های BSS، اتومات‌های سلولی زمان بی‌نهایت) بررسی می‌کند. ، ماشین های واقعی، محاسبات کوانتومی و غیره).فهرست مطالب :
Front Matter....Pages I-XX
Front Matter....Pages 1-1
Decidability Problems for Self-induced Systems Generated by a Substitution....Pages 3-16
Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics....Pages 17-27
Front Matter....Pages 29-29
A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems....Pages 31-44
Tight Bounds for Cut-Operations on Deterministic Finite Automata....Pages 45-60
Non-isometric Contextual Array Grammars with Regular Control and Local Selectors....Pages 61-78
Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States....Pages 79-93
Tinput-Driven Pushdown Automata....Pages 94-112
Reversible Limited Automata....Pages 113-128
An Intrinsically Universal Family of Causal Graph Dynamics....Pages 129-148
The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems....Pages 149-163
A Characterization of NP Within Interval-Valued Computing....Pages 164-179
Universality in Infinite Petri Nets....Pages 180-197
Back Matter....Pages 199-199
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 7th International Conference on Machines, Computations, and Universality, MCU 2015, held in Famagusta, North Cyprus, in September 2015.
The 10 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 23 submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.).پست ها تصادفی