دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
دانلود کتاب تئوری و کاربردهای مدل های محاسبه: هفتمین کنفرانس سالانه ، TAMC 2010 ، پراگ ، جمهوری چک ، 7-11 ژوئن ، 2010. مجموعه مقالات
مشخصات کتاب
Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ویرایش: 1 نویسندگان: John Hopcroft (auth.), Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman (eds.) سری: Lecture Notes in Computer Science 6108 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642135613, 3642135617 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 493 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب تئوری و کاربردهای مدل های محاسبه: هفتمین کنفرانس سالانه ، TAMC 2010 ، پراگ ، جمهوری چک ، 7-11 ژوئن ، 2010. مجموعه مقالات: نظریه محاسبات، ریاضیات محاسبات، تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری و کاربردهای مدل های محاسبه: هفتمین کنفرانس سالانه ، TAMC 2010 ، پراگ ، جمهوری چک ، 7-11 ژوئن ، 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری و کاربردهای مدل های محاسبه: هفتمین کنفرانس سالانه ، TAMC 2010 ، پراگ ، جمهوری چک ، 7-11 ژوئن ، 2010. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین‌المللی تئوری و کاربردهای مدل‌های محاسبات، TAMC 2010، که در پراگ، جمهوری چک، در ژوئن 2010 برگزار شد، تشکیل می‌شود. 2 گفتگوی عمومی به دقت بررسی و از بین 76 مورد ارسالی انتخاب شد. این مقالات به سه موضوع اصلی کنفرانس که محاسبه‌پذیری، پیچیدگی و الگوریتم‌ها بودند، پرداخته و تحقیقات جاری در این زمینه‌ها را با جنبه‌های علوم کامپیوتر نظری، ریاضیات الگوریتمی و کاربرد در علوم فیزیکی ارائه می‌کند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Prague, Czech Republic, in June 2010. The 35 revised full papers presented together with 5 contributions of special sessions as well as 2 plenary talks were carefully reviewed and selected from 76 submissions. The papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences.
فهرست مطالب
Front Matter....Pages -
New Research Directions in the Information Age....Pages 1-1
The Laplacian Paradigm: Emerging Algorithms for Massive Graphs....Pages 2-14
Proof Complexity of Non-classical Logics....Pages 15-27
Optimal Acceptors and Optimal Proof Systems....Pages 28-39
The Complexity of Geometric Problems in High Dimension....Pages 40-49
Different Approaches to Proof Systems....Pages 50-59
Algebraic Proofs over Noncommutative Formulas....Pages 60-71
Nonlocal Quantum XOR Games for Large Number of Players....Pages 72-83
Nontriviality for Exponential Time w.r.t. Weak Reducibilities....Pages 84-93
Streaming Algorithms for Some Problems in Log-Space....Pages 94-104
Temperature Aware Online Scheduling with a Low Cooling Factor....Pages 105-116
On Solution Concepts for Matching Games....Pages 117-127
Binary De Bruijn Partial Words with One Hole....Pages 128-138
Complexity Invariance of Real Interpretations....Pages 139-150
Pivot and Loop Complementation on Graphs and Set Systems....Pages 151-162
Revisiting the Minimum Breakpoint Linearization Problem....Pages 163-174
An ${\\mathcal{O}}(n^2)$ -time Algorithm for the Minimal Interval Completion Problem....Pages 175-186
Centdian Computation for Sensor Networks....Pages 187-198
Twisted Jacobi Intersections Curves....Pages 199-210
L (2,1,1)-Labeling Is NP-Complete for Trees....Pages 211-221
Complexity of Paths, Trails and Circuits in Arc-Colored Digraphs....Pages 222-233
The Max k -Cut Game and Its Strong Equilibria....Pages 234-246
Kernel and Fast Algorithm for Dense Triplet Inconsistency....Pages 247-257
Incremental List Coloring of Graphs, Parameterized by Conservation....Pages 258-270
Schnyder Greedy Routing Algorithm....Pages 271-283
Exploiting Restricted Linear Structure to Cope with the Hardness of Clique-Width....Pages 284-295
A Note on the Testability of Ramsey’s Class....Pages 296-307
Deterministic Polynomial-Time Algorithms for Designing Short DNA Words....Pages 308-319
Hamiltonian Cycles in Subcubic Graphs: What Makes the Problem Difficult....Pages 320-327
A Dichotomy for k -Regular Graphs with {0, 1}-Vertex Assignments and Real Edge Functions....Pages 328-339
Graph Sharing Games: Complexity and Connectivity....Pages 340-349
A Visual Model of Computation....Pages 350-360
An Automata-Theoretic Characterization of the Chomsky-Hierarchy....Pages 361-372
Maximum Independent Set in Graphs of Average Degree at Most Three in ${\\mathcal O}(1.08537^n)$ ....Pages 373-384
Simultaneity in Event Structures....Pages 385-396
Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable....Pages 397-408
Closed Rectangle-of-Influence Drawings for Irreducible Triangulations....Pages 409-418
Recovering Social Networks from Contagion Information....Pages 419-430
Two-Layer Planarization Parameterized by Feedback Edge Set....Pages 431-442
A Categorical View of Timed Weak Bisimulation....Pages 443-454
Community Structure in Large Complex Networks....Pages 455-466
Generating Internally Triconnected Rooted Plane Graphs....Pages 467-478
Back Matter....Pages -
