Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings /: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings. ([2015])
- Record Type:
- Book
- Title:
- Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings /: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings. ([2015])
- Main Title:
- Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings
- Other Titles:
- CIAA 2015
- Further Information:
- Note: Frank Drewes (Ed.).
- Editors:
- Drewes, Frank
- Other Names:
- CIAA (Conference), 20th
- Contents:
- Intro; Preface; Organization; Invited Papers; Automata and Logics for Concurrent Systems:Five Models in Five Pages; Resource Automatic Structures for Verificationof Boundedness Properties; Finite-State Technologyin Natural Language Processing; Hardware Implementationsof Finite Automata and Regular Expressions; Contents; Invited Papers; Automata and Logics for Concurrent Systems: Five Models in Five Pages; 1 Introduction; 2 Finite Automata; 3 Class Memory Automata; 4 Nested-Word Automata; 5 Asynchronous Automata; 6 Message-Passing Automata; 7 Conclusion; References Hardware Implementations of Finite Automata and Regular Expressions1 Introduction; 2 Typical Solutions; 2.1 Abstractions; 2.2 Implementations; 2.3 Gaps in Current Solutions; 3 New Implementations; 4 Ongoing and Future Work; References; Regular Papers; Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems; 1 Introduction; 1.1 Motivation; 1.2 Problems Considered and Summary of Results; 1.3 Related Work; 2 Definitions and Problem Formulation; 2.1 Formal Definition of the SyDS Model; 2.2 Additional Terminology and Notation; 2.3 Problem Formulations 2.4 Preliminary Results3 Threshold Inference from Homogeneous Behavior Specifications; 3.1 Inferring Thresholds from Stable Configurations; 3.2 Inferring Thresholds from Unstable Configurations; 4 Inference from Heterogeneous Collections of Behavior; 4.1 The Complexity of ITSUC; 4.2 Fixed Parameter Tractability of ITSUC; 5 Future ResearchIntro; Preface; Organization; Invited Papers; Automata and Logics for Concurrent Systems:Five Models in Five Pages; Resource Automatic Structures for Verificationof Boundedness Properties; Finite-State Technologyin Natural Language Processing; Hardware Implementationsof Finite Automata and Regular Expressions; Contents; Invited Papers; Automata and Logics for Concurrent Systems: Five Models in Five Pages; 1 Introduction; 2 Finite Automata; 3 Class Memory Automata; 4 Nested-Word Automata; 5 Asynchronous Automata; 6 Message-Passing Automata; 7 Conclusion; References Hardware Implementations of Finite Automata and Regular Expressions1 Introduction; 2 Typical Solutions; 2.1 Abstractions; 2.2 Implementations; 2.3 Gaps in Current Solutions; 3 New Implementations; 4 Ongoing and Future Work; References; Regular Papers; Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems; 1 Introduction; 1.1 Motivation; 1.2 Problems Considered and Summary of Results; 1.3 Related Work; 2 Definitions and Problem Formulation; 2.1 Formal Definition of the SyDS Model; 2.2 Additional Terminology and Notation; 2.3 Problem Formulations 2.4 Preliminary Results3 Threshold Inference from Homogeneous Behavior Specifications; 3.1 Inferring Thresholds from Stable Configurations; 3.2 Inferring Thresholds from Unstable Configurations; 4 Inference from Heterogeneous Collections of Behavior; 4.1 The Complexity of ITSUC; 4.2 Fixed Parameter Tractability of ITSUC; 5 Future Research Directions; References; From Ambiguous Regular Expressions to Deterministic Parsing Automata; 1 Introduction; 2 Basic Definitions; 3 Parser Construction; 4 Tree and Complexity; 5 Disambiguation Criteria; 6 Conclusion; References Deciding Synchronous Kleene Algebra with Derivatives1 Introduction; 2 Deciding Synchronous Kleene Algebra; 2.1 Partial Derivative Automata for SKA; 2.2 Equivalence of SKA Expressions; 2.3 Implementation and Experimental Results; 3 Deciding Synchronous Kleene Algebra with Tests; 3.1 SKAT and Guarded Synchronous Strings; 3.2 Automata for Guarded Synchronous Strings; 3.3 Partial Derivatives for SKAT; 4 Experimental Results; 5 Conclusion; References; On the Hierarchy of Block Deterministic Languages; 1 Introduction; 2 Preliminaries; 2.1 Languages and Automata Basics 2.2 One-Unambiguous Regular Languages2.3 Block Deterministic Regular Languages; 3 Previous Results on Block-Deterministic Languages; 4 A Witness for the Infinite Hierarchy; References; Security of Numerical Sensors in Automata; 1 Introduction; 2 Preliminaries; 3 Maximal Mutual Information; 4 Secure Numerical Sensing in Automata; 4.1 Secure Numerical Sensing w.r.t. Estimated Mutual Information Rate; 4.2 Secure Numerical Sensing in Automata; 5 Conclusions; References; Jumping Finite Automata: Characterizations and Complexity; 1 Introduction; 2 Operations on Languages and Their Properties … (more)
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2015
- Copyright Date:
- 2015
- Extent:
- 1 online resource (xxiii, 316 pages), illustrations
- Subjects:
- 621.39
Computer science
Machine theory -- Congresses
Robotics -- Congresses
Computer software
Bioinformatics
Data structures (Computer science)
Information storage and retrieva
Machine theory
Robotics
Computer Science
Engineering & Applied Sciences
Computers -- Programming -- Algorithms
Mathematics -- Logic
Computers -- Computer Science
Computers -- Data Modeling & Design
Computers -- System Administration -- Storage & Retrieval
Algorithms & data structures
Mathematical theory of computation
Life sciences: general issues
Information retrieval
Computers -- Machine Theory
User interface design & usability
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319223605
3319223607 - Related ISBNs:
- 9783319223599
3319223593 - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.354973
- Ingest File:
- 02_338.xml