دانلود کتاب FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings
دسته: کامپیوتر
کتاب FST TCS 2002: مبانی فناوری نرم افزار و علوم کامپیوتر نظری: بیست و دومین کنفرانس کانپور، هند، 12 تا 14 دسامبر، 2002 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب FST TCS 2002: مبانی فناوری نرم افزار و علوم کامپیوتر نظری: بیست و دومین کنفرانس کانپور، هند، 12 تا 14 دسامبر، 2002 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings
نام کتاب : FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : FST TCS 2002: مبانی فناوری نرم افزار و علوم کامپیوتر نظری: بیست و دومین کنفرانس کانپور، هند، 12 تا 14 دسامبر، 2002 مجموعه مقالات
سری : Lecture Notes in Computer Science 2556
نویسندگان : H. W. Lenstra Jr. (auth.), Manindra Agrawal, Anil Seth (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2002
تعداد صفحات : 371
ISBN (شابک) : 3540002251 , 9783540002253
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد شامل مجموعه مقالات بیست و دومین کنفرانس بین المللی مبانی فناوری نرم افزار و علوم رایانه نظری (FSTTCS 2002) است که تحت نظارت انجمن هند برای تحقیقات در علوم محاسباتی (IARCS) سازماندهی شده است. این کنفرانس در انستیتوی فناوری هند، کانپور در 12 تا 14 دسامبر 2002 برگزار شد. از این تعداد، در مجموع 26 مقاله برای ارائه در کنفرانس انتخاب شدند. همانطور که در سال گذشته، جلسه PC به صورت الکترونیکی برگزار شد (به مدت نزدیک به سه هفته در اوت 2002) و موفقیت بزرگی بود. علاوه بر مقالات ارائه شده، امسال از سخنرانان دعوت کرده بودیم: هندریک لنسترا، جونیور، هری میرسون، دیل میلر، چیه-هائو لوک اونگ، و مارگوس وینز. ما از آنها برای پذیرش دعوت ما و ارائه چکیده (یا حتی مقالات کامل) برای جلسات تشکر می کنیم. دو کارگاه در ارتباط با کنفرانس برگزار شد - هر دو در کانپور. کارگاهی در مورد پیچیدگی پارامتری شده طی 10 تا 11 دسامبر برگزار شد که توسط Mike Fellows و Venkatesh Raman سازماندهی شد. کارگاه دوم در واقع شامل سه کارگاه کوچک بود: نظریه کدگذاری توسط مادو سودان. در مورد الگوریتم های میدان محدود اثر هندریک لنسترا، جونیور. و در نظریه غربال توسط R. Balasubramanian. مایلیم از همه بازبینان و اعضای PC که کمک زیادی به موفقیت این کنفرانس کردند تشکر کنیم. ما همچنین می‌خواهیم از تیم Springer-Verlag برای کمک آنها در آماده‌سازی مراحل تشکر کنیم.
فهرست مطالب :
Primality Testing with Gaussian Periods....Pages 1-1
From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple....Pages 2-17
Encoding Generic Judgments....Pages 18-32
Model Checking Algol-Like Languages Using Game Semantics....Pages 33-36
Modeling Software: From Theory to Practice....Pages 37-46
Local Normal Forms for Logics over Traces....Pages 47-58
On the Hardness of Constructing Minimal 2-Connected Spanning Subgraphs in Complete Graphs with Sharpened Triangle Inequality....Pages 59-70
Communication Interference in Mobile Boxed Ambients....Pages 71-84
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity....Pages 85-96
Composing Strand Spaces....Pages 97-108
Generalising Automaticity to Modal Properties of Finite Structures....Pages 109-120
An Automata-Theoretic Approach to Constraint LTL....Pages 121-132
Hardness Results for Multicast Cost Sharing....Pages 133-144
How to Compose Presburger-Accelerations: Applications to Broadcast Protocols....Pages 145-156
State Space Reductions for Alternating Büchi Automata Quotienting by Simulation Equivalences....Pages 157-168
Algorithmic Combinatorics Based on Slicing Posets....Pages 169-181
Pattern Matching for Arc-Annotated Sequences....Pages 182-193
Knowledge over Dense Flows of Time (from a Hybrid Point of View)....Pages 194-205
The Complexity of the Inertia....Pages 206-217
The Quantum Communication Complexity of the Pointer Chasing Problem: The Bit Version....Pages 218-229
The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures....Pages 230-240
Deciding the First Level of the μ-Calculus Alternation Hierarchy....Pages 241-252
Dynamic Message Sequence Charts....Pages 253-264
The Complexity of Compositions of Deterministic Tree Transducers....Pages 265-276
On the Hardness of Approximating Minimum Monopoly Problems....Pages 277-288
Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems....Pages 289-300
Lower Bounds for Embedding Graphs into Graphs of Smaller Characteristic....Pages 301-310
Nearest Neighbors Search Using Point Location in Balls with Applications to Approximate Voronoi Decompositions....Pages 311-323
Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases....Pages 324-335
Decomposition in Asynchronous Circuit Design....Pages 336-347
Queue Layouts, Tree-Width, and Three-Dimensional Graph Drawing....Pages 348-359
توضیحاتی در مورد کتاب به زبان اصلی :
This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). The conference was held at the Indian Institute of Technology, Kanpur during December 12–14, 2002. The conference attracted 108 submissions (of which two were withdrawn). Of these, a total of 26 papers were selected for presentation in the conference. As in the last year, the PC meeting was held electronically (stretching over nearly three weeks in August 2002) and was a great success. In addition to the contributed papers, we had ?ve invited speakers this year: Hendrik Lenstra, Jr., Harry Mairson, Dale Miller, Chih-Hao Luke Ong, and Margus Veanes. We thank them for accepting our invitation and for providing abstracts (or even full papers) for the proceedings. Two workshops were organized in conjunction with the conference – both in Kanpur. A workshop on Parameterized Complexity was held during December 10–11, organized by Mike Fellows and Venkatesh Raman. The second workshop actually consisted of three miniworkshops: on Coding Theory by Madhu Sudan; on Finite Field Algorithms by Hendrik Lenstra, Jr.; and on Sieve Theory by R. Balasubramanian. We wish to thank all the reviewers and PC members who contributed greatly to making the conference a success. We also wish to thank the team at Springer- Verlag for their help in preparing the proceedings.
پست ها تصادفی