دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings
دانلود کتاب نظریه و کاربرد مدل های محاسبات: کنفرانس 11 ساله TAMC 2014، چنای، هند، آوریل 11-13، 2014. پرونده ها
مشخصات کتاب
Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings
ویرایش: 1 نویسندگان: T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper (eds.) سری: Lecture Notes in Computer Science 8402 Theoretical Computer Science and General Issues ISBN (شابک) : 9783319060880, 9783319060897 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 434 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 74,000
کلمات کلیدی مربوط به کتاب نظریه و کاربرد مدل های محاسبات: کنفرانس 11 ساله TAMC 2014، چنای، هند، آوریل 11-13، 2014. پرونده ها: نظریه محاسبات، ریاضیات محاسبات، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها، ساختارهای داده، رمز شناسی و نظریه اطلاعات، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه و کاربرد مدل های محاسبات: کنفرانس 11 ساله TAMC 2014، چنای، هند، آوریل 11-13، 2014. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه و کاربرد مدل های محاسبات: کنفرانس 11 ساله TAMC 2014، چنای، هند، آوریل 11-13، 2014. پرونده ها
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس سالانه نظریه و کاربردهای مدلهای محاسباتی، TAMC 2014، که در چنای، هند، در آوریل 2014 برگزار شد، تشکیل میشود. . این مقالات مبانی الگوریتمی، روشهای محاسباتی و دستگاههای محاسباتی را برای رویارویی با چالشهای امروز و فردای پیچیدگی، مقیاسپذیری و پایداری، با تأثیرات گسترده بر همه چیز، از طراحی سیستمهای بیولوژیکی گرفته تا درک بازارهای اقتصادی و شبکههای اجتماعی، بررسی میکنند. p>
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers explore the algorithmic foundations, computational methods and computing devices to meet today's and tomorrow's challenges of complexity, scalability and sustainability, with wide-ranging impacts on everything from the design of biological systems to the understanding of economic markets and social networks.
فهرست مطالب
Front Matter....Pages -
A Roadmap for TAMC....Pages 1-6
A Tight Lower Bound Instance for k-means++ in Constant Dimension....Pages 7-22
An Improved Upper-Bound for Rivest et al.’s Half-Lie Problem....Pages 23-38
Reversibility of Elementary Cellular Automata under Fully Asynchronous Update....Pages 39-49
Finite State Incompressible Infinite Sequences....Pages 50-66
Finding Optimal Strategies of Almost Acyclic Simple Stochastic Games....Pages 67-85
The Parameterized Complexity of Domination-Type Problems and Application to Linear Codes....Pages 86-103
On Representations of Abstract Systems with Partial Inputs and Outputs....Pages 104-123
Complexity Information Flow in a Multi-threaded Imperative Language....Pages 124-140
A Personalized Privacy Preserving Method for Publishing Social Network Data....Pages 141-157
A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers....Pages 158-167
Generalized Finite Automata over Real and Complex Numbers....Pages 168-187
An Incremental Algorithm for Computing Prime Implicates in Modal Logic....Pages 188-202
Approximation Algorithms for the Weight-Reducible Knapsack Problem....Pages 203-215
Polynomial-Time Algorithms for Subgraph Isomorphism in Small Graph Classes of Perfect Graphs....Pages 216-228
A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic....Pages 229-247
Set Cover, Set Packing and Hitting Set for Tree Convex and Tree-Like Set Systems....Pages 248-258
Efficient Algorithms for the Label Cut Problems....Pages 259-270
A Dynamic Approach to Frequent Flyer Program....Pages 271-279
A Categorical Treatment of Malicious Behavioral Obfuscation....Pages 280-299
Space Complexity of Optimization Problems in Planar Graphs....Pages 300-311
Fine-Tuning Decomposition Theorem for Maximum Weight Bipartite Matching....Pages 312-322
Intersection Dimension of Bipartite Graphs....Pages 323-340
On the Parameterized Complexity for Token Jumping on Graphs....Pages 341-351
Universality of Spiking Neural P Systems with Anti-spikes....Pages 352-365
Self-stabilizing Minimal Global Offensive Alliance Algorithm with Safe Convergence in an Arbitrary Graph....Pages 366-377
A Local-Global Approach to Solving Ideal Lattice Problems....Pages 378-400
Modular Form Approach to Solving Lattice Problems....Pages 401-421
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Jacob of Sarug’s Homily on the Sinful Woman
دانلود کتاب The Lost Dispatch
دانلود کتاب Characterizing and Communicating Uncertainty in the Assessment of Benefits and Risks of Pharmaceutical Products: Workshop Summary
دانلود کتاب Supporting Adolescents with Autism in Secondary Schools
