دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
دانلود کتاب محاسبات برگشت پذیر: دوازدهمین کنفرانس بین المللی، RC 2020، اسلو، نروژ، 9-10 ژوئیه، 2020، مجموعه مقالات
مشخصات کتاب
Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
ویرایش: 1st ed.
نویسندگان: Ivan Lanese. Mariusz Rawski
سری: Lecture Notes in Computer Science 12227
ISBN (شابک) : 9783030524814, 9783030524821
ناشر: Springer International Publishing;Springer
سال نشر: 2020
تعداد صفحات: 287
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب محاسبات برگشت پذیر: دوازدهمین کنفرانس بین المللی، RC 2020، اسلو، نروژ، 9-10 ژوئیه، 2020، مجموعه مقالات: علوم کامپیوتر، طراحی منطق، ساختارهای داده، رمز شناسی و نظریه اطلاعات، سازمان سیستم های کامپیوتری و شبکه های ارتباطی
در صورت تبدیل فایل کتاب Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات برگشت پذیر: دوازدهمین کنفرانس بین المللی، RC 2020، اسلو، نروژ، 9-10 ژوئیه، 2020، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات برگشت پذیر: دوازدهمین کنفرانس بین المللی، RC 2020، اسلو، نروژ، 9-10 ژوئیه، 2020، مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین المللی محاسبات برگشت پذیر، RC 2020، که در اسلو، نروژ، در ژوئیه 2020 برگزار شد. > مقالات در بخش های موضوعی زیر سازماندهی شده اند: نظریه و مبانی. زبانهای برنامه نویسی؛ سنتز مدار؛ ارزیابی سنتز مدار؛ و برنامه ها و پیاده سازی ها.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions.
The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
فهرست مطالب
Front Matter ....Pages i-xii
Front Matter ....Pages 1-1
Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems (Marek Perkowski)....Pages 3-32
Front Matter ....Pages 33-33
Reversible Occurrence Nets and Causal Reversible Prime Event Structures (Hernán Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski)....Pages 35-53
Involutory Turing Machines (Keisuke Nakano)....Pages 54-70
Event Structures for the Reversible Early Internal \(\pi \)-Calculus (Eva Graversen, Iain Phillips, Nobuko Yoshida)....Pages 71-90
Front Matter ....Pages 91-91
Hermes: A Language for Light-Weight Encryption (Torben Ægidius Mogensen)....Pages 93-110
Reversible Programming Languages Capturing Complexity Classes (Lars Kristiansen)....Pages 111-127
On the Expressivity of Total Reversible Programming Languages (Armando B. Matos, Luca Paolini, Luca Roversi)....Pages 128-143
Toward a Curry-Howard Equivalence for Linear, Reversible Computation (Kostia Chardonnet, Alexis Saurin, Benoît Valiron)....Pages 144-152
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper (Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger)....Pages 153-168
Fractional Types (Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry)....Pages 169-186
Front Matter ....Pages 187-187
Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem (Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche)....Pages 189-205
Maximality of Reversible Gate Sets (Tim Boykett)....Pages 206-217
Search-Based Transformation Synthesis for 3-Valued Reversible Circuits (D. Michael Miller, Gerhard W. Dueck)....Pages 218-236
Front Matter ....Pages 237-237
ReverCSP: Time-Travelling in CSP Computations (Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit)....Pages 239-245
Reversible Computations in Logic Programming (Germán Vidal)....Pages 246-254
Towards a Formal Account for Software Transactional Memory (Doriana Medić, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida)....Pages 255-263
Encoding Reversing Petri Nets in Answer Set Programming (Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara)....Pages 264-271
A Reversible Runtime Environment for Parallel Programs (Takashi Ikeda, Shoji Yuen)....Pages 272-279
Back Matter ....Pages 281-281
