مشخصات کتاب

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

دسته بندی: ریاضیات محاسباتی
ویرایش: 1 
نویسندگان: Ahmed Bouajjani,  Peter Habermehl,  Yan Jurski,  Mihaela Sighireanu (auth.),  Erzsébet Csuhaj-Varjú,  Zoltán Ésik (eds.)  
سری: Lecture Notes in Computer Science 4639 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783540742395, 3540742395 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 519 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

کلمات کلیدی مربوط به کتاب اصول تئوری محاسبات: 16 سمپوزیوم بین المللی، FCT 2007، بوداپست، مجارستان، 27-30 اوت 2007. پرونده ها: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق ریاضی و زبان های رسمی، گرافیک کامپیوتری، ریاضیات گسسته در علوم کامپیوتر

در صورت تبدیل فایل کتاب Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اصول تئوری محاسبات: 16 سمپوزیوم بین المللی، FCT 2007، بوداپست، مجارستان، 27-30 اوت 2007. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب اصول تئوری محاسبات: 16 سمپوزیوم بین المللی، FCT 2007، بوداپست، مجارستان، 27-30 اوت 2007. پرونده ها



شانزدهمین سمپوزیوم بین المللی مبانی نظریه محاسبات در بوداپست، مجارستان، در آگوست 2007 برگزار شد. این سمپوزیوم ذهن های پیشرو در نظریه محاسبات را از سراسر جهان برای ارائه یافته های خود و بحث در مورد تحولات جدید در این زمینه به خود جلب کرد. این جلد مجموعه مقالات داوری سمپوزیوم است.

سی و نه مقاله کامل همراه با چهار مقاله دعوت شده ارائه شده است. همه مقالات به دقت توسط ویراستاران مورد بررسی قرار گرفتند تا اطمینان حاصل شود که هر یک از بالاترین استانداردهای تحقیق و پژوهش را برآورده می‌کنند.

این مقالات به موضوعات جاری در تئوری محاسبات، از جمله خودکار و زبان‌های رسمی، طراحی و تجزیه و تحلیل الگوریتم‌ها می‌پردازند. پیچیدگی محاسباتی و ساختاری، معناشناسی، منطق، جبر و مقوله‌ها در علوم کامپیوتر، مدارها و شبکه‌ها، نظریه یادگیری، مشخصات و تأیید، سیستم‌های موازی و توزیع شده، نظریه همزمانی، رمزنگاری و پروتکل‌های رمزنگاری، الگوریتم‌های تقریبی و تصادفی، هندسه محاسباتی، کوانتومی محاسبات و اطلاعات، و محاسبات الهام گرفته از زیستی.

توضیحاتی درمورد کتاب به خارجی

The 16th International Symposium on Fundamentals of Computation Theory was held in Budapest, Hungary, in August 2007. This symposium drew leading minds in computation theory from around the world to present their findings and discuss new developments in the field. This volume constitutes the refereed proceedings of the symposium.

Thirty-nine full papers are presented along with four invited papers. All the papers were carefully reviewed by the editors to ensure that each one meets the highest standards of research and scholarship.

The papers address current topics in computation theory, including automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, algebra and categories in computer science, circuits and networks, learning theory, specification and verification, parallel and distributed systems, concurrency theory, cryptography and cryptographic protocols, approximation and randomized algorithms, computational geometry, quantum computation and information, and bio-inspired computation.

فهرست مطالب

Front Matter....Pages -
Rewriting Systems with Data....Pages 1-22
Spiking Neural P Systems: Some Characterizations....Pages 23-37
Approximating Graphs by Graphs and Functions (Abstract)....Pages 38-38
Traces, Feedback, and the Geometry of Computation (Abstract)....Pages 39-39
A Largest Common d-Dimensional Subsequence of Two d-Dimensional Strings....Pages 40-51
Analysis of Approximation Algorithms for k -Set Cover Using Factor-Revealing Linear Programs....Pages 52-63
A Novel Information Transmission Problem and Its Optimal Solution....Pages 64-75
Local Testing of Message Sequence Charts Is Difficult....Pages 76-87
On Notions of Regularity for Data Languages....Pages 88-99
FJMIP: A Calculus for a Modular Object Initialization....Pages 100-112
Top-Down Deterministic Parsing of Languages Generated by CD Grammar Systems....Pages 113-124
The Complexity of Membership Problems for Circuits over Sets of Positive Numbers....Pages 125-136
Pattern Matching in Protein-Protein Interaction Graphs....Pages 137-148
From Micro to Macro: How the Overlap Graph Determines the Reduction Graph in Ciliates....Pages 149-160
A String-Based Model for Simple Gene Assembly....Pages 161-172
On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation....Pages 173-186
On Block-Wise Symmetric Signatures for Matchgates....Pages 187-198
Path Algorithms on Regular Graphs....Pages 199-212
Factorization of Fuzzy Automata....Pages 213-225
Factorisation Forests for Infinite Words....Pages 226-237
Marked Systems and Circular Splicing....Pages 238-249
The Quantum Query Complexity of Algebraic Properties....Pages 250-260
On the Topological Complexity of Weakly Recognizable Tree Languages....Pages 261-273
Productivity of Stream Definitions....Pages 274-287
Multi-dimensional Packing with Conflicts....Pages 288-299
On Approximating Optimal Weighted Lobbying, and Frequency of Correctness Versus Average-Case Polynomial Time....Pages 300-311
Efficient Parameterized Preprocessing for Cluster Editing....Pages 312-321
Representing the Boolean OR Function by Quadratic Polynomials Modulo 6....Pages 322-327
On the Complexity of Kings....Pages 328-340
Notions of Hyperbolicity in Monoids....Pages 341-352
P Systems with Adjoining Controlled Communication Rules....Pages 353-364
The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable....Pages 365-375
Real-Time Reversible Iterative Arrays....Pages 376-387
The Computational Complexity of Monotonicity in Probabilistic Networks....Pages 388-399
Impossibility Results on Weakly Black-Box Hardness Amplification....Pages 400-411
Maximal and Minimal Scattered Context Rewriting....Pages 412-423
Strictly Deterministic CD-Systems of Restarting Automata....Pages 424-434
Product Rules in Semidefinite Programming....Pages 435-445
Expressive Power of LL( k ) Boolean Grammars....Pages 446-457
Complexity of Pebble Tree-Walking Automata....Pages 458-469
Some Complexity Results for Prefix Gröbner Bases in Free Monoid Rings....Pages 470-481
Fast Asymptotic FPTAS for Packing Fragmentable Items with Costs....Pages 482-493
An O (1.787 n )-Time Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes....Pages 494-505
Back Matter....Pages -

نظرات کاربران

کتاب های مرتبط

دانلود کتاب Foundations of Secure Computation

دانلود کتاب Fast Algorithms and Their Applications to Numerical Quasiconformal Mappings of Doubly Connected Domains Onto Annuli

دانلود کتاب Introduction to Finite Element Analysis: Formulation, Verification and Validation (Wiley Series in Computational Mechanics)

دانلود کتاب Advanced Topics in Difference Equations

دانلود کتاب Computational Genome Analysis: An Introduction

دانلود کتاب Basics of quantum computation

دانلود کتاب Nichtlineare Finite-Elemente-Analyse von Festkörpern und Strukturen (German Edition)

دانلود کتاب Parallel computation of polynomial GCDs 1989

دانلود کتاب Boundary collocation techniques and their application in engineering

دانلود کتاب Computational Economics: A Perspective from Computational Intelligence