دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.) سری: Lecture Notes in Computer Science 8977 ISBN (شابک) : 9783319155784, 9783319155791 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 753 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
کلمات کلیدی مربوط به کتاب زبان و ماشین آلات تئوری و برنامه های کاربردی: 9th کنفرانس بین المللی، LATA 2015، نیس، فرانسه، مارس 2-6، 2015، پرونده ها: محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، تجزیه و تحلیل الگوریتم و پیچیدگی مسئله، دستکاری نمادین و جبری، ریاضیات گسسته در علوم کامپیوتر، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Language and Automata Theory and Applications: 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان و ماشین آلات تئوری و برنامه های کاربردی: 9th کنفرانس بین المللی، LATA 2015، نیس، فرانسه، مارس 2-6، 2015، پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی زبان و تئوری و کاربردهای خودکار، LATA 2015، که در نیس، فرانسه در مارس 2015 برگزار شد، تشکیل شده است. بررسی و از 115 مورد ارسالی انتخاب شد. این مقالات موضوعات زیر را پوشش می دهد: نظریه زبان جبری. الگوریتم های داده کاوی نیمه ساختاریافته، الگوریتم های خودکار و کلمات؛ خودکار و منطق؛ خودکار برای تجزیه و تحلیل سیستم و تأیید برنامه؛ شبکه های خودکار، شبکه های همزمان و پتری؛ سازه های اتوماتیک؛ اتوماتای سلولی، کدها، ترکیبات روی کلمات. پیچیدگی محاسباتی؛ فشرده سازی داده ها و تصویر؛ پیچیدگی توصیفی؛ کتابخانه های دیجیتال و مهندسی اسناد؛ مبانی فناوری حالت محدود؛ مبانی XML؛ زبان های مبهم و خشن؛ استنتاج دستوری و یادگیری الگوریتمی؛ نمودارها و تبدیل گراف؛ انواع زبان ها و نیمه گروه ها؛ بازنویسی موازی و تنظیم شده؛ تجزیه; الگوها؛ موضوعات رشته ای و ترکیبی در زیست شناسی محاسباتی و بیوانفورماتیک؛ الگوریتم های پردازش رشته ای؛ پویایی نمادین؛ بازنویسی اصطلاح؛ مبدل ها؛ درختان، زبان های درختی و اتوماتای درختی؛ اتوماتای وزن دار.
This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. The 53 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 115 submissions. The papers cover the following topics: algebraic language theory; algorithms for semi-structured data mining, algorithms on automata and words; automata and logic; automata for system analysis and program verification; automata networks, concurrency and Petri nets; automatic structures; cellular automata, codes, combinatorics on words; computational complexity; data and image compression; descriptional complexity; digital libraries and document engineering; foundations of finite state technology; foundations of XML; fuzzy and rough languages; grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; parallel and regulated rewriting; parsing; patterns; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.
Front Matter....Pages I-XV
Front Matter....Pages 1-1
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications....Pages 3-24
Automated Program Verification....Pages 25-46
Hankel Matrices: From Words to Graphs (Extended Abstract)....Pages 47-55
Complexity Classes for Membrane Systems: A Survey....Pages 56-69
The Shuffle Product: New Research Directions....Pages 70-81
Front Matter....Pages 83-83
Average-Case Optimal Approximate Circular String Matching....Pages 85-96
An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring....Pages 97-108
Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree....Pages 109-120
Frequent Pattern Mining with Non-overlapping Inversions....Pages 121-132
A Parallel Algorithm for Finding All Minimal Maximum Subsequences via Random Walk....Pages 133-144
Building Bridges Between Sets of Partial Orders....Pages 145-160
Complexity of Road Coloring with Prescribed Reset Words....Pages 161-172
Front Matter....Pages 173-173
Logics for Unordered Trees with Data Constraints on Siblings....Pages 175-187
Weak and Nested Class Memory Automata....Pages 188-199
Insertion Operations on Deterministic Reversal-Bounded Counter Machines....Pages 200-211
On the Synchronizing Probability Function and the Triple Rendezvous Time....Pages 212-223
On Robot Games of Degree Two....Pages 224-236
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable....Pages 237-248
On Observability of Automata Networks via Computational Algebra....Pages 249-262
Reasoning on Schemas of Formulas: An Automata-Based Approach....Pages 263-274
Front Matter....Pages 173-173
Derivatives for Regular Shuffle Expressions....Pages 275-286
From $$\omega $$ -Regular Expressions to Büchi Automata via Partial Derivatives....Pages 287-298
Quotient of Acceptance Specifications Under Reachability Constraints....Pages 299-311
Front Matter....Pages 313-313
Structure and Measure of a Decidable Class of Two-dimensional Codes....Pages 315-327
On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata....Pages 328-339
Coding Non-orientable Laminations....Pages 340-352
Preset Distinguishing Sequences and Diameter of Transformation Semigroups....Pages 353-364
Hierarchy and Expansiveness in 2D Subshifts of Finite Type....Pages 365-377
Front Matter....Pages 379-379
On the Number of Closed Factors in a Word....Pages 381-390
Online Computation of Abelian Runs....Pages 391-401
Coverability in Two Dimensions....Pages 402-413
Equation $$x^iy^jx^k=u^iv^ju^k$$ in Words....Pages 414-423
Square-Free Words over Partially Commutative Alphabets....Pages 424-435
On the Language of Primitive Partial Words....Pages 436-445
Front Matter....Pages 447-447
Complexity of Regular Functions....Pages 449-460
A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Size Lower Bounds Against NEXP....Pages 461-472
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity....Pages 473-485
A Game Characterisation of Tree-like Q-resolution Size....Pages 486-498
Recurrence Relations, Succession Rules, and the Positivity Problem....Pages 499-510
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures....Pages 511-523
Front Matter....Pages 447-447
Parameterized Enumeration for Modification Problems....Pages 524-536
Preimage Problems for Reaction Systems....Pages 537-548
Parameterized Complexity of CTL....Pages 549-560
Front Matter....Pages 561-561
Single-Pass Testing Automata for LTL Model Checking....Pages 563-576
Compressed Data Structures for Range Searching....Pages 577-586
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform....Pages 587-598
Backward Linearised Tree Pattern Matching....Pages 599-610
BFS-Based Symmetry Breaking Predicates for DFA Identification....Pages 611-622
Learning Conjunctive Grammars and Contextual Binary Feature Grammars....Pages 623-635
Front Matter....Pages 637-637
Recognizable Series on Hypergraphs....Pages 639-651
Towards More Precise Rewriting Approximations....Pages 652-663
Sorting Networks: The End Game....Pages 664-675
Bounding Clique-Width via Perfect Graphs....Pages 676-688
Order Structures for Subclasses of Generalised Traces....Pages 689-700
Front Matter....Pages 701-701
A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic....Pages 703-715
Rational Selecting Relations and Selectors....Pages 716-726
A Hierarchy of Transducing Observer Systems....Pages 727-738
Sublinear DTD Validity....Pages 739-751
Back Matter....Pages 753-754