دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Samson Abramsky (auth.), Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg (eds.) سری: Lecture Notes in Computer Science 6714 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642213410, 3642213413 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 255 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب محاسبات غیر متعارف: دهمین کنفرانس بین المللی، UC 2011، Turku، فنلاند، 6 تا 10 ژوئن 2011. مقالات: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها، زیست شناسی محاسباتی/بیوانفورماتیک
در صورت تبدیل فایل کتاب Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات غیر متعارف: دهمین کنفرانس بین المللی، UC 2011، Turku، فنلاند، 6 تا 10 ژوئن 2011. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دهمین کنفرانس بینالمللی محاسبات غیرمتعارف، UC 2011، برگزار شده در تورکو، فنلاند، در ژوئن 2011 است. آموزش ها به دقت بررسی و از بین 33 ارسال اولیه انتخاب شدند. این مقالات به تمام جنبه های نظریه محاسبات غیر متعارف و همچنین آزمایش ها و کاربردها اختصاص داده شده است. موضوعات معمولی عبارتند از: محاسبات طبیعی از جمله محاسبات کوانتومی، سلولی، مولکولی، غشایی، عصبی، و محاسبات تکاملی، و همچنین محاسبات مبتنی بر سیستم مبتنی بر آشوب و دینامیک، و پیشنهادهای مختلف برای مکانیسمهای محاسباتی که فراتر از مدل تورینگ است.
This book constitutes the refereed proceedings of the 10th International Conference on Unconventional Computation, UC 2011, held in Turku, Finland, in June 2011. The 17 revised full papers presented together with 6 extended abstracts of invited talks, and 3 extended abstracts of tutorials were carefully reviewed and selected from 33 initial submissions. The papers are devoted to all aspects of unconventional computation theory as well as experiments and applications. Typical topics are: natural computing including quantum, cellular, molecular, membrane, neural, and evolutionary computing, as well as chaos and dynamical system-based computing, and various proposals for computational mechanisms that go beyond the Turing model.
Front Matter....Pages -
The Logic and Topology of Non-locality and Contextuality....Pages 1-1
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations....Pages 2-8
Unconventional Optimizer Development....Pages 9-9
A Formal Framework for Bioprocesses in Living Cells....Pages 10-10
Quantum Information – A Tutorial....Pages 11-13
Weighted Finite Automata: Computing with Different Topologies....Pages 14-33
Tutorial on Cellular Automata....Pages 34-35
Membrane Computing at Twelve Years(Back to Turku)....Pages 36-37
Membrane Computing (Tutorial)....Pages 38-39
Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits....Pages 40-51
Robustness of Cellular Automata in the Light of Asynchronous Information Transmission....Pages 52-63
Hidden Variables Simulating Quantum Contextuality Increasingly Violate the Holevo Bound....Pages 64-76
Can Anything from Noether’s Theorem Be Salvaged for Discrete Dynamical Systems?....Pages 77-88
On Normal Forms for Networks of Evolutionary Processors....Pages 89-100
Geometrical Accumulations and Computably Enumerable Real Numbers....Pages 101-112
Heterotic Computing....Pages 113-124
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution....Pages 125-137
Geometric Computations by Broadcasting Automata on the Integer Grid....Pages 138-151
Computations with Uncertain Time Constraints: Effects on Parallelism and Universality....Pages 152-163
BFS Solution for Disjoint Paths in P Systems....Pages 164-176
The Key Elements of Logic Design in Ternary Quantum-Dot Cellular Automata....Pages 177-188
A Universal Flying Amorphous Computer....Pages 189-200
Computation with Narrow CTCs....Pages 201-211
Extended Watson-Crick L Systems with Regular Trigger Languages....Pages 212-223
Computing with Planar Toppling Domino Arrangements....Pages 224-233
Increasing Fault-Tolerance in Cellular Automata-Based Systems....Pages 234-245
Back Matter....Pages -