دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Parameterized and Exact Computation: First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings
دانلود کتاب محاسبه پارامتری و دقیق: اولین کارگاه بین المللی ، IWPEC 2004 ، برگن ، نروژ ، 14 تا 17 سپتامبر 2004. مجموعه مقالات
مشخصات کتاب
Parameterized and Exact Computation: First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Peter Damaschke (auth.), Rod Downey, Michael Fellows, Frank Dehne (eds.) سری: Lecture Notes in Computer Science 3162 ISBN (شابک) : 3540230718, 9783540286394 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 309 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 56,000
کلمات کلیدی مربوط به کتاب محاسبه پارامتری و دقیق: اولین کارگاه بین المللی ، IWPEC 2004 ، برگن ، نروژ ، 14 تا 17 سپتامبر 2004. مجموعه مقالات: تحلیل الگوریتم و پیچیدگی مسئله، محاسبات با دستگاه های انتزاعی، ساختارهای داده، ریاضیات گسسته در علوم کامپیوتر، الگوریتم ها
در صورت تبدیل فایل کتاب Parameterized and Exact Computation: First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبه پارامتری و دقیق: اولین کارگاه بین المللی ، IWPEC 2004 ، برگن ، نروژ ، 14 تا 17 سپتامبر 2004. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبه پارامتری و دقیق: اولین کارگاه بین المللی ، IWPEC 2004 ، برگن ، نروژ ، 14 تا 17 سپتامبر 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری اولین کارگاه بین المللی محاسبه پارامتری و دقیق، IWPEC 2004 است که در برگن، نروژ، در سپتامبر 2004 برگزار شد.
25 مقاله کامل اصلاح شده همراه با یک دعوت شده ارائه شده است. مقاله به دقت بررسی و از بین 47 مقاله ارسالی انتخاب شد. موضوعات پرداخته شده بر روی تمام مسائل جاری در این رویکرد جدید برای طراحی الگوریتم ها تمرکز دارند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the First International Workshop on Parameterized and Exact Computation, IWPEC 2004, held in Bergen, Norway, in September 2004.
The 25 revised full papers presented together with an invited paper were carefully reviewed and selected from 47 submissions. The topics addressed focus on all current issues in this new approach to designing algorithms.
فهرست مطالب
Front Matter....Pages -
Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction....Pages 1-12
Online Problems, Pathwidth, and Persistence....Pages 13-24
Chordless Paths Through Three Vertices....Pages 25-36
Computing Small Search Numbers in Linear Time....Pages 37-48
Bounded Fixed-Parameter Tractability: The Case 2 poly( k) ....Pages 49-60
Refined Memorisation for Vertex Cover....Pages 61-70
Parameterized Graph Separation Problems....Pages 71-82
Parameterized Coloring Problems on Chordal Graphs....Pages 83-95
On Decidability of MSO Theories of Representable Matroids....Pages 96-107
On Miniaturized Problems in Parameterized Complexity Theory....Pages 108-120
Smaller Kernels for Hitting Set Problems of Constant Arity....Pages 121-126
Packing Edge Disjoint Triangles: A Parameterized View....Pages 127-137
Looking at the Stars....Pages 138-148
Moving Policies in Cyclic Assembly-Line Scheduling....Pages 149-161
A Structural View on Parameterizing Problems: Distance from Triviality....Pages 162-173
Perfect Path Phylogeny Haplotyping with Missing Data Is Fixed-Parameter Tractable....Pages 174-186
Simplifying the Weft Hierarchy....Pages 187-199
The Minimum Weight Triangulation Problem with Few Inner Points....Pages 200-212
A Direct Algorithm for the Parameterized Face Cover Problem....Pages 213-222
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets....Pages 223-234
Parameterized Algorithms for Feedback Vertex Set....Pages 235-247
Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms....Pages 248-259
Improved Parameterized Algorithms for Feedback Set Problems in Weighted Tournaments....Pages 260-270
Greedy Localization, Iterative Compression, and Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting , and a Novel 2 k Kernelization for Vertex Cover ....Pages 271-280
Space and Time Complexity of Exact Algorithms: Some Open Problems....Pages 281-290
Practical FPT Implementations and Applications....Pages 291-291
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
دانلود کتاب Click-It: Computer Fun Science
دانلود کتاب A Concise Introduction to Languages and Machines
دانلود کتاب Evernote Essentials
دانلود کتاب Compressed image file formats: JPEG, PNG, GIF, XBM, BMP
دانلود کتاب Basic Polymorphic Typechecking
دانلود کتاب Computerworld - 24 January 2011
دانلود کتاب Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
دانلود کتاب The Open Mobile Alliance: Delivering Service Enablers for Next-Generation Applications
