دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
دانلود کتاب افق های ذهن. ادای احترام به Prakash Panangaden: مقاله هایی به مناسبت 60 سالگی خود به Prakash Panangaden اختصاص یافته
مشخصات کتاب
Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
ویرایش: 1 نویسندگان: Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten (eds.) سری: Lecture Notes in Computer Science 8464 Theoretical Computer Science and General Issues ISBN (شابک) : 9783319068794, 9783319068800 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 514 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 19 مگابایت
قیمت کتاب (تومان) : 33,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب افق های ذهن. ادای احترام به Prakash Panangaden: مقاله هایی به مناسبت 60 سالگی خود به Prakash Panangaden اختصاص یافته: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، احتمال و آمار در علوم کامپیوتر، محاسبات با دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب افق های ذهن. ادای احترام به Prakash Panangaden: مقاله هایی به مناسبت 60 سالگی خود به Prakash Panangaden اختصاص یافته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب افق های ذهن. ادای احترام به Prakash Panangaden: مقاله هایی به مناسبت 60 سالگی خود به Prakash Panangaden اختصاص یافته
این جلد Festschrift شامل مقالات ارائه شده در کنفرانسی است، Prakash Fest، که به افتخار پراکاش پانانگادن، در آکسفورد، انگلستان، در ماه می 2014، برای جشن تولد 60 سالگی او برگزار شد. پراکاش پانانگادن روی موضوعات مختلف از جمله محاسبات احتمالی و همزمان، منطق و دوگانگی و اطلاعات و محاسبات کوانتومی کار کرده است. علیرغم گستردگی وسیع تحقیقاتش، او سهم قابل توجه و عمیقی داشته است. به عنوان مثال، او منطق و تفسیری با ارزش واقعی از منطق را معرفی کرد تا معادل سازی فرآیندهای احتمالی را به صورت کمی بدست آورد. 25 مقاله موجود در این جلد به دقت بررسی شد. آنها طیف گسترده ای از موضوعات را در علوم کامپیوتر نظری پوشش می دهند.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For example, he introduced logic and a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively. The 25 papers included in this volume were carefully reviewed. They cover a large variety of topics in theoretical computer science.
فهرست مطالب
Front Matter....Pages -
Layout Randomization and Nondeterminism....Pages 1-39
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations....Pages 40-58
An Operational Interpretation of Negative Probabilities and No-Signalling Models....Pages 59-75
Bisimulation on Markov Processes over Arbitrary Measurable Spaces....Pages 76-95
Probabilistic Model Checking for Energy-Utility Analysis....Pages 96-123
(Co)Algebraic Characterizations of Signal Flow Graphs....Pages 124-145
Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra....Pages 146-167
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs....Pages 168-179
Privacy from Accelerating Eavesdroppers: The Impact of Losses....Pages 180-190
The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata....Pages 191-213
From Haar to Lebesgue via Domain Theory....Pages 214-228
Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars....Pages 229-249
The Logic of Entanglement....Pages 250-267
Free Energy of Petri Nets....Pages 268-289
Laudatio for Prakash Panangaden....Pages 290-291
Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms....Pages 292-318
Bisimulation for Markov Decision Processes through Families of Functional Expressions....Pages 319-342
Random Measurable Selections....Pages 343-362
A Final Coalgebra for k -regular Sequences....Pages 363-383
Automata Learning: A Categorical Perspective....Pages 384-406
Optimal Coin Flipping....Pages 407-426
Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation....Pages 427-453
Euclidean Representations of Quantum States....Pages 454-457
TCC, with History....Pages 458-475
Probabilistic and Quantum Event Structures....Pages 476-497
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Baking school: the Bread Ahead cookbook
دانلود کتاب Surplus radio conversion manual
دانلود کتاب Vibrational Spectroscopy in Protein Research: From Purified Proteins to Aggregates and Assemblies
دانلود کتاب SELL LIKE CRAZY: How to Get As Many Clients, Customers and Sales As You Can Possibly Handle
