Machines, Computations, and Universality  5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings /  [electronic resource] : 
edited by Jérôme Durand-Lose, Maurice Margenstern. 
 - 1st ed. 2007. 
 - X, 328 p.  online resource. 
 - Theoretical Computer Science and General Issues,  4664  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  4664 .
<br/><br/>Invited Talks -- Encapsulating Reaction-Diffusion Computers -- On the Computational Capabilities of Several Models -- Universality, Reducibility, and Completeness -- Using Approximation to Relate Computational Classes over the Reals -- A Survey of Infinite Time Turing Machines -- The Tiling Problem Revisited (Extended Abstract) -- Decision Versus Evaluation in Algebraic Complexity -- A Universal Reversible Turing Machine -- P Systems and Picture Languages -- Regular Papers -- Partial Halting in P Systems Using Membrane Rules with Permitting Contexts -- Uniform Solution of QSAT Using Polarizationless Active Membranes -- Satisfiability Parsimoniously Reduces to the TantrixTM Rotation Puzzle Problem -- Planar Trivalent Network Computation -- On the Power of Networks of Evolutionary Processors -- Study of Limits of Solvability in Tag Systems -- Query Completeness of Skolem Machine Computations -- More on the Size of Higman-Haines Sets: Effective Constructions -- Insertion-Deletion Systems with One-Sided Contexts -- Accepting Networks of Splicing Processors with Filtered Connections -- Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata -- Four Small Universal Turing Machines -- Changing the Neighborhood of Cellular Automata -- A Simple P-Complete Problem and Its Representations by Language Equations -- Slightly Beyond Turing's Computability for Studying Genetic Programming -- A Smallest Five-State Solution to the Firing Squad Synchronization Problem -- Small Semi-weakly Universal Turing Machines -- Simple New Algorithms Which Solve the Firing Squad Synchronization Problem: A 7-States 4n-Steps Solution. 
<br/><br/><label>ISBN: </label>9783540745938 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-74593-8  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computers.<br/>Computer programming.<br/>Machine theory.<br/>Theory of Computation.<br/>Computer Hardware.<br/>Programming Techniques.<br/>Formal Languages and Automata Theory.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151