دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
دانلود کتاب تئوری و کاربردهای مدل های محاسبه: دهمین کنفرانس بین المللی ، TAMC 2013 ، هنگ کنگ ، چین ، 20-22 مه ، 2013. مجموعه مقالات
مشخصات کتاب
Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
ویرایش: 1 نویسندگان: Lin Chen, Deshi Ye, Guochuan Zhang (auth.), T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.) سری: Lecture Notes in Computer Science 7876 ISBN (شابک) : 9783642382352, 9783642382369 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 368 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب تئوری و کاربردهای مدل های محاسبه: دهمین کنفرانس بین المللی ، TAMC 2013 ، هنگ کنگ ، چین ، 20-22 مه ، 2013. مجموعه مقالات: نظریه محاسبات، ریاضیات محاسبات، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها، ساختارهای داده، رمز شناسی و نظریه اطلاعات، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری و کاربردهای مدل های محاسبه: دهمین کنفرانس بین المللی ، TAMC 2013 ، هنگ کنگ ، چین ، 20-22 مه ، 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری و کاربردهای مدل های محاسبه: دهمین کنفرانس بین المللی ، TAMC 2013 ، هنگ کنگ ، چین ، 20-22 مه ، 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کنفرانس بین‌المللی نظریه و کاربردهای مدل‌های محاسباتی، TAMC 2013، که در هنگ کنگ، چین، در ماه می 2013 برگزار شد، تشکیل می‌شود. ارسالی ها این مقالات با گرد هم آوردن طیف گسترده ای از محققان با علاقه به تئوری محاسباتی و کاربردها، به سه موضوع اصلی کنفرانس که محاسباتی، پیچیدگی و الگوریتم ها بودند می پردازد و تحقیقات فعلی در این زمینه ها را با جنبه هایی به علوم کامپیوتر نظری، ریاضیات الگوریتمی ارائه می کند. و کاربردها در علوم فیزیکی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, 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 -
Online Scheduling on a CPU-GPU Cluster....Pages 1-9
Throughput Maximization for Speed-Scaling with Agreeable Deadlines....Pages 10-19
Temperature Aware Online Algorithms for Minimizing Flow Time....Pages 20-31
Priority Queues and Sorting for Read-Only Data....Pages 32-41
(1 + ε )-Distance Oracles for Vertex-Labeled Planar Graphs....Pages 42-51
Group Nearest Neighbor Queries in the L 1 Plane....Pages 52-61
Modelling the Power Supply Network – Hardness and Approximation....Pages 62-71
Approximation Algorithms for a Combined Facility Location Buy-at-Bulk Network Design Problem....Pages 72-83
k-means++ under Approximation Stability....Pages 84-95
An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure....Pages 96-107
Non-crossing Connectors in the Plane....Pages 108-120
Minimax Regret 1-Sink Location Problems in Dynamic Path Networks....Pages 121-132
A Notion of a Computational Step for Partial Combinatory Algebras....Pages 133-143
Selection by Recursively Enumerable Sets....Pages 144-155
On the Boundedness Property of Semilinear Sets....Pages 156-168
Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer....Pages 169-180
Computing with and without Arbitrary Large Numbers....Pages 181-192
On the Sublinear Processor Gap for Parallel Architectures....Pages 193-204
On Efficient Constructions of Short Lists Containing Mostly Ramsey Graphs....Pages 205-211
On Martin-Löf Convergence of Solomonoff’s Mixture....Pages 212-223
Any Monotone Property of 3-Uniform Hypergraphs Is Weakly Evasive....Pages 224-235
The Algorithm for the Two-Sided Scaffold Filling Problem....Pages 236-247
Energy-Efficient Threshold Circuits Detecting Global Pattern in 1-Dimentional Arrays....Pages 248-259
Resolving Rooted Triplet Inconsistency by Dissolving Multigraphs....Pages 260-271
Obnoxious Facility Game with a Bounded Service Range....Pages 272-281
Efficient Self-pairing on Ordinary Elliptic Curves....Pages 282-293
Grey-Box Public-Key Steganography....Pages 294-305
Linear Vertex-kernels for Several Dense Ranking r -Constraint Satisfaction Problems....Pages 306-318
On Parameterized and Kernelization Algorithms for the Hierarchical Clustering Problem....Pages 319-330
Vector Connectivity in Graphs....Pages 331-342
Trees in Graphs with Conflict Edges or Forbidden Transitions....Pages 343-354
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب German Heavy Reconnaissance Vehicles: Sd.Kfz.231(6), 232(6) & 263(6)
دانلود کتاب Computational Science and High Performance Computing IV: The 4th Russian-German Advanced Research Workshop, Freiburg, Germany, October 12 to 16, 2009
دانلود کتاب A Chapter of Adventures Or, Through the Bombardment of Alexandria
دانلود کتاب Autorität: Spektren harter Kommunikation
