دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Bob Coecke, Ross Duncan (auth.), Robert Glück, Tetsuo Yokoyama (eds.) سری: Lecture Notes in Computer Science 7581 Programming and Software Engineering ISBN (شابک) : 9783642363146, 9783642363153 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 250 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب محاسبات برگشت پذیر: 4 کارگاه بین المللی، RC 2012، کپنهاگ، دانمارک، 2-3 ژوئیه 2012. مقالات بازبینی شده: طراحی منطق، منطق و معانی برنامه ها، محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات برگشت پذیر: 4 کارگاه بین المللی، RC 2012، کپنهاگ، دانمارک، 2-3 ژوئیه 2012. مقالات بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری چهارمین کارگاه بینالمللی محاسبات برگشتپذیر، RC 2012، برگزار شده در کپنهاگ، دانمارک، در ژوئیه 2012 است. 19 مقاله ارائه شده در این جلد به دقت بررسی و از 46 مورد ارسالی انتخاب شدند. این مقالات ملاحظات نظری، نرمافزار برگشتپذیر و سختافزار برگشتپذیر، و تحقق فیزیکی و کاربردها در محاسبات کوانتومی را پوشش میدهند.
This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The 19 contributions presented in this volume were carefully reviewed and selected from 46 submissions. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing.
Front Matter....Pages -
Tutorial: Graphical Calculus for Quantum Circuits....Pages 1-13
One-Way Reversible Multi-head Finite Automata....Pages 14-28
A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads....Pages 29-43
Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine....Pages 44-56
Isomorphic Interpreters from Logically Reversible Abstract Machines....Pages 57-71
Synthesizing Loops for Program Inversion....Pages 72-84
Frugal Encoding in Reversible $\mathcal{MOQA}$ : A Case Study for Quicksort....Pages 85-96
Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots....Pages 97-111
Reversible and Quantum Circuit Optimization: A Functional Approach....Pages 112-124
Properties of Quantum Templates....Pages 125-137
Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits....Pages 138-151
Design of an Online Testable Ternary Circuit from the Truth Table....Pages 152-159
Garbageless Reversible Implementation of Integer Linear Transformations....Pages 160-170
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1....Pages 171-182
Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams....Pages 183-196
Using π DDs in the Design of Reversible Circuits....Pages 197-203
A Verification Technique for Reversible Process Algebra....Pages 204-217
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway....Pages 218-232
Controlled Reversibility and Compensations....Pages 233-240
Back Matter....Pages -