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 Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29July 3, 2015. Proceedings, edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova
Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29July 3, 2015. Proceedings, edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova
Resource Information
The item Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29July 3, 2015. Proceedings, edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova 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 Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29July 3, 2015. Proceedings, edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova 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 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015. The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams and Reverse Mathematics, were introduced for the first time in the conference series. In addition to this, new developments in areas frequently covered in the CiE conference series were addressed in the further special sessions on Automata, Logic and Infinite Games; Bioinspired Computation; Classical Computability Theory; as well as History and Philosophy of Computing
 Language
 eng
 Extent
 1 online resource (xv, 363 pages)
 Note

 International conference proceedings
 Includes author index
 Contents

 Computers and the Mechanics of Communication. Outline of a Vision from the Work of Petri and Holt
 Error and predicativity
 Is Human Mind Fully Algorithmic? Remarks on Kurt Godel's Incompleteness Theorems
 A New Approach to the Paperfolding Sequences
 Covering the Recursive Sets
 On Distributed Monitoring and Synthesis
 Newton's Forward Difference Equation for Functions from Words to Words
 Degrees of unsolvability: a tutorial
 Universality in Molecular and Cellular Computing
 Some results on interactive proofs for real computations
 Prime Model with No Degree of Autostability Relative to Strong Constructivizations
 Immune Systems in Computer Virology
 ITRMRecognizability from Random Oracles
 Systems with Parallel Rewriting for Chain Code Picture Languages
 BaseComplexity Classifications of QCB0Spaces (Extended Abstract)
 Maximal Vector Spaces form an Automorphism Basis
 New Bounds on Optimal Sorting Networks
 Nonexistence of Minimal Pairs in L[d]
 Intuitionistic Provability versus Uniform Provability in RCA
 Randomness and Differentiability of Convex Functions
 Weighted automata on infinite words in the context of AttackerDefender games
 Turing jumps through provability
 Rice's Theorem in Effectively Enumerable Topological Spaces
 Decidability of Termination Problems for Sequential P Systems with Active Membranes
 Weihrauch degrees of finding equilibria in sequential games
 Prefix and RightPartial Derivative Automata
 A Note on the Computable Categoricity of l^p Spaces
 n the Computational Content of Termination Proofs
 Local compactness for computable Polish metric spaces is $\Pi^1_1$complete
 Iterative forcing and hyperimmunity in reverse mathematics
 Completely regular Bishop spaces
 Computing EqualityFree String Factorisations
 Towards the Effective Descriptive Set Theory
 On Computability of NavierStokes' Equation
 Undecidability as a Consequence of Incompleteness
 How to compare Buchholzstyle ordinal notation systems with Gordeevstyle notation systems
 Isbn
 9783319200286
 Label
 Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29July 3, 2015. Proceedings
 Title
 Evolving computability
 Title remainder
 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29July 3, 2015. Proceedings
 Statement of responsibility
 edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova
 Title variation
 CiE 2015
 Subject

 Computation by Abstract Devices
 Computers  Computer Science
 Conference papers and proceedings
 Computer Science
 Electronic books
 Algorithm Analysis and Problem Complexity
 Computer Science
 Mathematical Logic and Formal Languages
 Computable functions  Congresses
 Electronic books
 Mathematical theory of computation
 Mathematics of Computing
 Computers  Programming  Algorithms
 Algorithms & data structures
 Computer science  Mathematics  Congresses
 Mathematics  Logic
 Computers  Machine Theory
 User interface design & usability
 Computers  Data Processing
 Life sciences: general issues
 Engineering & Applied Sciences
 Computer science  Mathematics
 Computable functions
 Computational Biology/Bioinformatics
 Language
 eng
 Summary
 This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015. The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams and Reverse Mathematics, were introduced for the first time in the conference series. In addition to this, new developments in areas frequently covered in the CiE conference series were addressed in the further special sessions on Automata, Logic and Infinite Games; Bioinspired Computation; Classical Computability Theory; as well as History and Philosophy of Computing
 Cataloging source
 GW5XE
 Dewey number
 511.3/52
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA9.59
 LC item number
 .C65 2015eb
 Literary form
 non fiction
 http://bibfra.me/vocab/lite/meetingDate
 2015
 http://bibfra.me/vocab/lite/meetingName
 Conference on Computability in Europe
 Nature of contents
 dictionaries
 http://library.link/vocab/relatedWorkOrContributorName

 Beckmann, Arnold
 Mitrana, Victor
 Soskova, Mariya
 Series statement

 Lecture notes in computer science,
 LNCS sublibrary. SL 1, Theoretical computer science and general issues
 Series volume
 9136
 http://library.link/vocab/subjectName

 Computable functions
 Computer science
 Computable functions
 Computer science
 Computer Science
 Engineering & Applied Sciences
 Computer Science
 Computation by Abstract Devices
 Algorithm Analysis and Problem Complexity
 Mathematics of Computing
 Mathematical Logic and Formal Languages
 Computational Biology/Bioinformatics
 Computers
 Computers
 Mathematics
 Computers
 Algorithms & data structures
 Mathematical theory of computation
 Life sciences: general issues
 Computers
 User interface design & usability
 Label
 Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29July 3, 2015. Proceedings, edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova
 Note

 International conference proceedings
 Includes author index
 Antecedent source
 unknown
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Computers and the Mechanics of Communication. Outline of a Vision from the Work of Petri and Holt  Error and predicativity  Is Human Mind Fully Algorithmic? Remarks on Kurt Godel's Incompleteness Theorems  A New Approach to the Paperfolding Sequences  Covering the Recursive Sets  On Distributed Monitoring and Synthesis  Newton's Forward Difference Equation for Functions from Words to Words  Degrees of unsolvability: a tutorial  Universality in Molecular and Cellular Computing  Some results on interactive proofs for real computations  Prime Model with No Degree of Autostability Relative to Strong Constructivizations  Immune Systems in Computer Virology  ITRMRecognizability from Random Oracles  Systems with Parallel Rewriting for Chain Code Picture Languages  BaseComplexity Classifications of QCB0Spaces (Extended Abstract)  Maximal Vector Spaces form an Automorphism Basis  New Bounds on Optimal Sorting Networks  Nonexistence of Minimal Pairs in L[d]  Intuitionistic Provability versus Uniform Provability in RCA  Randomness and Differentiability of Convex Functions  Weighted automata on infinite words in the context of AttackerDefender games  Turing jumps through provability  Rice's Theorem in Effectively Enumerable Topological Spaces  Decidability of Termination Problems for Sequential P Systems with Active Membranes  Weihrauch degrees of finding equilibria in sequential games  Prefix and RightPartial Derivative Automata  A Note on the Computable Categoricity of l^p Spaces  n the Computational Content of Termination Proofs  Local compactness for computable Polish metric spaces is $\Pi^1_1$complete  Iterative forcing and hyperimmunity in reverse mathematics  Completely regular Bishop spaces  Computing EqualityFree String Factorisations  Towards the Effective Descriptive Set Theory  On Computability of NavierStokes' Equation  Undecidability as a Consequence of Incompleteness  How to compare Buchholzstyle ordinal notation systems with Gordeevstyle notation systems
 Dimensions
 unknown
 Extent
 1 online resource (xv, 363 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9783319200286
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Note
 SpringerLink
 Other control number
 10.1007/9783319200286
 Other physical details
 illustrations.
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)911621687
 (OCoLC)ocn911621687
 Label
 Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29July 3, 2015. Proceedings, edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova
 Note

 International conference proceedings
 Includes author index
 Antecedent source
 unknown
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Computers and the Mechanics of Communication. Outline of a Vision from the Work of Petri and Holt  Error and predicativity  Is Human Mind Fully Algorithmic? Remarks on Kurt Godel's Incompleteness Theorems  A New Approach to the Paperfolding Sequences  Covering the Recursive Sets  On Distributed Monitoring and Synthesis  Newton's Forward Difference Equation for Functions from Words to Words  Degrees of unsolvability: a tutorial  Universality in Molecular and Cellular Computing  Some results on interactive proofs for real computations  Prime Model with No Degree of Autostability Relative to Strong Constructivizations  Immune Systems in Computer Virology  ITRMRecognizability from Random Oracles  Systems with Parallel Rewriting for Chain Code Picture Languages  BaseComplexity Classifications of QCB0Spaces (Extended Abstract)  Maximal Vector Spaces form an Automorphism Basis  New Bounds on Optimal Sorting Networks  Nonexistence of Minimal Pairs in L[d]  Intuitionistic Provability versus Uniform Provability in RCA  Randomness and Differentiability of Convex Functions  Weighted automata on infinite words in the context of AttackerDefender games  Turing jumps through provability  Rice's Theorem in Effectively Enumerable Topological Spaces  Decidability of Termination Problems for Sequential P Systems with Active Membranes  Weihrauch degrees of finding equilibria in sequential games  Prefix and RightPartial Derivative Automata  A Note on the Computable Categoricity of l^p Spaces  n the Computational Content of Termination Proofs  Local compactness for computable Polish metric spaces is $\Pi^1_1$complete  Iterative forcing and hyperimmunity in reverse mathematics  Completely regular Bishop spaces  Computing EqualityFree String Factorisations  Towards the Effective Descriptive Set Theory  On Computability of NavierStokes' Equation  Undecidability as a Consequence of Incompleteness  How to compare Buchholzstyle ordinal notation systems with Gordeevstyle notation systems
 Dimensions
 unknown
 Extent
 1 online resource (xv, 363 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9783319200286
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Note
 SpringerLink
 Other control number
 10.1007/9783319200286
 Other physical details
 illustrations.
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)911621687
 (OCoLC)ocn911621687
Subject
 Algorithm Analysis and Problem Complexity
 Algorithms & data structures
 Computable functions
 Computable functions  Congresses
 Computation by Abstract Devices
 Computational Biology/Bioinformatics
 Computer Science
 Computer Science
 Computer science  Mathematics
 Computer science  Mathematics  Congresses
 Computers  Computer Science
 Computers  Data Processing
 Computers  Machine Theory
 Computers  Programming  Algorithms
 Conference papers and proceedings
 Electronic books
 Electronic books
 Engineering & Applied Sciences
 Life sciences: general issues
 Mathematical Logic and Formal Languages
 Mathematical theory of computation
 Mathematics  Logic
 Mathematics of Computing
 User interface design & usability
Genre
Member of
 LNCS sublibrary, SL 1, Theoretical computer science and general issues
 Lecture notes in computer science, 9136.
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/Evolvingcomputability11thConferenceon/zYAuMEh_KIA/" 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/Evolvingcomputability11thConferenceon/zYAuMEh_KIA/">Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29July 3, 2015. Proceedings, edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova</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 Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29July 3, 2015. Proceedings, edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova
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/Evolvingcomputability11thConferenceon/zYAuMEh_KIA/" 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/Evolvingcomputability11thConferenceon/zYAuMEh_KIA/">Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29July 3, 2015. Proceedings, edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova</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>