دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات کاربردی ویرایش: 1 نویسندگان: Nataša Jonoska (auth.), Michael Domaratzki, Kai Salomaa (eds.) سری: Lecture Notes in Computer Science 6482 ISBN (شابک) : 3642180973, 9783642180972 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 345 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب پیاده سازی و کاربرد Automata: پانزدهمین کنفرانس بین المللی، CIAA 2010، وینیپگ، MB، کانادا، 12-15 اوت 2010. مقالات منتخب اصلاح شده: تحلیل الگوریتم و پیچیدگی مسئله، محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، ریاضیات گسسته در علوم کامپیوتر، منطق و معانی برنامه ها، ساختار داده ها
در صورت تبدیل فایل کتاب Implementation and Application of Automata: 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی و کاربرد Automata: پانزدهمین کنفرانس بین المللی، CIAA 2010، وینیپگ، MB، کانادا، 12-15 اوت 2010. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مقالات کاملاً داوری شده پانزدهمین کنفرانس بینالمللی پیادهسازی و کاربرد اتوماتا، CIAA 2010، در مانیتوبا، وینیپگ، کانادا، در آگوست 2010 برگزار شد.
26 مورد تجدیدنظر شده مقالات کامل همراه با 6 مقاله کوتاه از بین 52 مقاله ارسالی به دقت انتخاب شدند. این مقالات موضوعات مختلفی از جمله کاربردهای خودکار در تأیید به کمک رایانه را پوشش می دهد. پردازش زبان طبیعی؛ تطبیق الگو، ذخیره سازی و بازیابی داده ها؛ بیوانفورماتیک؛ جبر; نظریه گراف؛ و کار بنیادی بر روی نظریه اتوماتا.
This book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and Application of Automata, CIAA 2010, held in Manitoba, Winnipeg, Canada, in August 2010.
The 26 revised full papers together with 6 short papers were carefully selected from 52 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; bioinformatics; algebra; graph theory; and foundational work on automata theory.
Front Matter....Pages -
Using Automata to Describe Self-Assembled Nanostructures....Pages 1-3
A Summary of Some Discrete-Event System Control Problems....Pages 4-16
Large-Scale Training of SVMs with Automata Kernels....Pages 17-27
Filters for Efficient Composition of Weighted Finite-State Transducers....Pages 28-38
Incremental DFA Minimisation....Pages 39-48
Finite Automata for Generalized Approach to Backward Pattern Matching....Pages 49-58
Partial Derivative Automata Formalized in Coq ....Pages 59-68
Regular Geometrical Languages and Tiling the Plane....Pages 69-78
COMPAS - A Computing Package for Synchronization....Pages 79-86
From Sequential Extended Regular Expressions to NFA with Symbolic Labels....Pages 87-94
State Complexity of Catenation Combined with Union and Intersection....Pages 95-104
Complexity Results and the Growths of Hairpin Completions of Regular Languages (Extended Abstract)....Pages 105-114
On Straight Words and Minimal Permutators in Finite Transformation Semigroups....Pages 115-124
On Lazy Representations and Sturmian Graphs....Pages 125-134
Symbolic Dynamics, Flower Automata and Infinite Traces....Pages 135-142
The Cayley-Hamilton Theorem for Noncommutative Semirings....Pages 143-153
Approximating Minimum Reset Sequences....Pages 154-162
Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata....Pages 163-172
Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization....Pages 173-180
Partially Ordered Two-Way Büchi Automata....Pages 181-190
Two-Party Watson-Crick Computations....Pages 191-200
Better Hyper-minimization....Pages 201-210
Regular Expressions on Average and in the Long Run....Pages 211-221
Reachability Games on Automatic Graphs....Pages 222-230
Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions....Pages 231-240
A Polynomial Time Match Test for Large Classes of Extended Regular Expressions....Pages 241-250
A Challenging Family of Automata for Classical Minimization Algorithms....Pages 251-260
State of Büchi Complementation....Pages 261-271
Types of Trusted Information That Make DFA Identification with Correction Queries Feasible....Pages 272-281
Compressing Regular Expressions’ DFA Table by Matrix Decomposition....Pages 282-289
Relational String Verification Using Multi-track Automata....Pages 290-299
A Note on a Tree-Based 2D Indexing....Pages 300-309
Regular Expressions at Their Best: A Case for Rational Design....Pages 310-320
Simulations of Weighted Tree Automata....Pages 321-330
Back Matter....Pages -