The Resource Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings, Frank Drewes (Ed.)

Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings, Frank Drewes (Ed.)

Label
Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings
Title
Implementation and application of automata
Title remainder
20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings
Statement of responsibility
Frank Drewes (Ed.)
Title variation
CIAA 2015
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata
Member of
Cataloging source
NLGGC
Dewey number
621.39
Government publication
unknown if item is government publication
Illustrations
illustrations
Index
index present
LC call number
QA267
LC item number
.I46 2015eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2015
http://bibfra.me/vocab/lite/meetingName
CIAA (Conference)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Drewes, Frank
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
9223
http://library.link/vocab/subjectName
  • Machine theory
  • Robotics
  • Machine theory
  • Robotics
  • Computer Science
  • Engineering & Applied Sciences
  • Computer Science
  • Computation by Abstract Devices
  • Algorithm Analysis and Problem Complexity
  • Mathematical Logic and Formal Languages
  • Computational Biology/Bioinformatics
  • Data Structures
  • Information Storage and Retrieval
  • Computers
  • Mathematics
  • Computers
  • Computers
  • Computers
  • Algorithms & data structures
  • Mathematical theory of computation
  • Life sciences: general issues
  • Information retrieval
  • Computers
  • User interface design & usability
Label
Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings, Frank Drewes (Ed.)
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-319-22360-5
Instantiates
Publication
Copyright
Note
  • Includes author index
  • International conference proceedings
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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 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
Extent
1 online resource (xxiii, 316 pages)
Form of item
online
Isbn
9783319223605
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-3-319-22360-5
Other physical details
illustrations.
Specific material designation
remote
System control number
  • (OCoLC)915757665
  • (OCoLC)ocn915757665
Label
Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings, Frank Drewes (Ed.)
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-319-22360-5
Publication
Copyright
Note
  • Includes author index
  • International conference proceedings
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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 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
Extent
1 online resource (xxiii, 316 pages)
Form of item
online
Isbn
9783319223605
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-3-319-22360-5
Other physical details
illustrations.
Specific material designation
remote
System control number
  • (OCoLC)915757665
  • (OCoLC)ocn915757665

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...