Borrow it
 Architecture Library
 Bizzell Memorial Library
 Boorstin Collection
 Chinese Literature Translation Archive
 Engineering Library
 Fine Arts Library
 Harry W. Bass Business History Collection
 History of Science Collections
 John and Mary Nichols Rare Books and Special Collections
 Library Service Center
 Price College Digital Library
 Western History Collections
The Resource Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 1821, 2015 : proceedings, Frank Drewes (Ed.)
Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 1821, 2015 : proceedings, Frank Drewes (Ed.)
Resource Information
The item Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 1821, 2015 : proceedings, Frank Drewes (Ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.This item is available to borrow from all library branches.
Resource Information
The item Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 1821, 2015 : proceedings, Frank Drewes (Ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.
This item is available to borrow from all library branches.
 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, multidimensional 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
 Language
 eng
 Extent
 1 online resource (xxiii, 316 pages)
 Note

 Includes author index
 International conference proceedings
 Contents

 Intro; Preface; Organization; Invited Papers; Automata and Logics for Concurrent Systems:Five Models in Five Pages; Resource Automatic Structures for Verificationof Boundedness Properties; FiniteState 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 NestedWord Automata; 5 Asynchronous Automata; 6 MessagePassing 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 OneUnambiguous Regular Languages2.3 Block Deterministic Regular Languages; 3 Previous Results on BlockDeterministic 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
 Isbn
 9783319223605
 Label
 Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 1821, 2015 : proceedings
 Title
 Implementation and application of automata
 Title remainder
 20th International Conference, CIAA 2015, Umeå, Sweden, August 1821, 2015 : proceedings
 Statement of responsibility
 Frank Drewes (Ed.)
 Title variation
 CIAA 2015
 Subject

 Computation by Abstract Devices
 Computers  Computer Science
 Conference papers and proceedings
 Information Storage and Retrieval
 Computer Science
 Machine theory
 Computers  Data Modeling & Design
 Information retrieval
 Electronic books
 Algorithm Analysis and Problem Complexity
 Computer Science
 Mathematical Logic and Formal Languages
 Data Structures
 Mathematical theory of computation
 Robotics
 Machine theory  Congresses
 Computers  System Administration  Storage & Retrieval
 Computers  Programming  Algorithms
 Algorithms & data structures
 Mathematics  Logic
 Computers  Machine Theory
 User interface design & usability
 Life sciences: general issues
 Engineering & Applied Sciences
 Robotics  Congresses
 Computational Biology/Bioinformatics
 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, multidimensional 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
 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 1821, 2015 : proceedings, Frank Drewes (Ed.)
 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; FiniteState 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 NestedWord Automata; 5 Asynchronous Automata; 6 MessagePassing 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 OneUnambiguous Regular Languages2.3 Block Deterministic Regular Languages; 3 Previous Results on BlockDeterministic 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/9783319223605
 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 1821, 2015 : proceedings, Frank Drewes (Ed.)
 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; FiniteState 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 NestedWord Automata; 5 Asynchronous Automata; 6 MessagePassing 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 OneUnambiguous Regular Languages2.3 Block Deterministic Regular Languages; 3 Previous Results on BlockDeterministic 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/9783319223605
 Other physical details
 illustrations.
 Specific material designation
 remote
 System control number

 (OCoLC)915757665
 (OCoLC)ocn915757665
Subject
 Algorithm Analysis and Problem Complexity
 Algorithms & data structures
 Computation by Abstract Devices
 Computational Biology/Bioinformatics
 Computer Science
 Computer Science
 Computers  Computer Science
 Computers  Data Modeling & Design
 Computers  Machine Theory
 Computers  Programming  Algorithms
 Computers  System Administration  Storage & Retrieval
 Conference papers and proceedings
 Data Structures
 Electronic books
 Engineering & Applied Sciences
 Information Storage and Retrieval
 Information retrieval
 Life sciences: general issues
 Machine theory
 Machine theory  Congresses
 Mathematical Logic and Formal Languages
 Mathematical theory of computation
 Mathematics  Logic
 Robotics
 Robotics  Congresses
 User interface design & usability
Genre
Member of
 LNCS sublibrary, SL 1, Theoretical computer science and general issues
 Lecture notes in computer science, 9223.
Library Locations

Architecture LibraryBorrow itGould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US35.205706 97.445050



Chinese Literature Translation ArchiveBorrow it401 W. Brooks St., RM 414, Norman, OK, 73019, US35.207487 97.447906

Engineering LibraryBorrow itFelgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US35.205706 97.445050

Fine Arts LibraryBorrow itCatlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US35.210371 97.448244

Harry W. Bass Business History CollectionBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

History of Science CollectionsBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

John and Mary Nichols Rare Books and Special CollectionsBorrow it401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US35.207487 97.447906


Price College Digital LibraryBorrow itAdams Hall 102 307 West Brooks St., Norman, OK, 73019, US35.210371 97.448244

Western History CollectionsBorrow itMonnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US35.209584 97.445414
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/Implementationandapplicationofautomata20th/oY56sRq2krk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/Implementationandapplicationofautomata20th/oY56sRq2krk/">Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 1821, 2015 : proceedings, Frank Drewes (Ed.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 1821, 2015 : proceedings, Frank Drewes (Ed.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/Implementationandapplicationofautomata20th/oY56sRq2krk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/Implementationandapplicationofautomata20th/oY56sRq2krk/">Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 1821, 2015 : proceedings, Frank Drewes (Ed.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>