Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008736157/catalog> ?p ?o. }
Showing items 1 to 38 of
38
with 100 items per page.
- catalog abstract "In the ?rst part of the present volume of LNCS, the reader will ?nd the invited talks given at the MCU 2001 conference. In the second part, he/she will ?nd the contributions that were presented at the conference after selection. In both cases, papers are arranged in the alphabetical order of the authors. MCU 2001 is the third conference in theoretical computer science, Machines, computations and universality, formerly, Machines et calculs universels. Both previous conferences, MCU’95 and MCU’98, were organized by Maurice M- genstern in Paris and in Metz (France), respectively. From the very beginning, MCU conferences have been an international sci- ti?c event. For the third conference, in order to stress that aspect, it was decided to hold it outside France. Moldova was chosen thanks to the close cooperation between the present chairmen of MCU 2001. MCU 2001 also aims at high scienti?c standards. We hope that the present volume will convince the reader that the tradition of previous conferences have been upheld by this one. Cellular automata and molecular computing are well represented in this volume. And this is also the case for quantum computing, f- mal languages, and the theory of automata. MCU 2001 does not fail its tradition of providing our community with important results on Turing machines.".
- catalog alternative "MCU 2001".
- catalog contributor b12241224.
- catalog contributor b12241225.
- catalog contributor b12241226.
- catalog created "c2001.".
- catalog date "2001".
- catalog date "c2001.".
- catalog dateCopyrighted "c2001.".
- catalog description "In the ?rst part of the present volume of LNCS, the reader will ?nd the invited talks given at the MCU 2001 conference. In the second part, he/she will ?nd the contributions that were presented at the conference after selection. In both cases, papers are arranged in the alphabetical order of the authors. MCU 2001 is the third conference in theoretical computer science, Machines, computations and universality, formerly, Machines et calculs universels. Both previous conferences, MCU’95 and MCU’98, were organized by Maurice M- genstern in Paris and in Metz (France), respectively. From the very beginning, MCU conferences have been an international sci- ti?c event. For the third conference, in order to stress that aspect, it was decided to hold it outside France. Moldova was chosen thanks to the close cooperation between the present chairmen of MCU 2001. MCU 2001 also aims at high scienti?c standards. We hope that the present volume will convince the reader that the tradition of previous conferences have been upheld by this one. Cellular automata and molecular computing are well represented in this volume. And this is also the case for quantum computing, f- mal languages, and the theory of automata. MCU 2001 does not fail its tradition of providing our community with important results on Turing machines.".
- catalog description "Includes bibliographical references and index.".
- catalog description "On a P-optimal proof system for the set of all satishiable boolean formulas {SAT} / Zenon Sadowski -- DOL system + watson-crick complementarity=universal computation / Petr Sosík.".
- catalog description "On the transition graphs of turning machines / Didier Caucal -- JC-nets / Gabriel Ciobanu, Mihai Rotaru -- Nonterminal complexity of progreammed grammars / Henning Fernau -- On the number of non-terminal symbols in graph-controlled, programmed and matrix grammars / Rudolf Freund, Gheorghe Pǎun -- Direct construction of a universal extended H system / Pierluigi Frisco -- Speeding-up cellular automata by alternations / Chuzo Iwamoto [and others] -- Efficient universal pushdown cellular automata and their application to complexity / Martin Kutrib -- Firing squad synchronization problem on didimensional cellular automata with communication constraints / Salvatore La Torre, Margherita Napoli, Mimmo Parente -- P systems with membrane creation: university and efficiency / Madhu Mutyam, Kamala K. Krithivasan -- On the computational power of a continuous-space optical model of computation / Thomas J. Naughton, Damien Woods --".
- catalog description "Three small universal turing machines / Claudio Baiocchi -- Computation in gene networks / Asa Ben-Hur, Hava, T. Siegelmann -- Power, puzzles and properties of entanglement / Jozef Gruska, Hiroshi Imai -- Combinatorial and computational problems on finite sets of words / Juhani Karhumäki -- Computing with membranes (P systems): universality results / Carlos Martín-Vide Gheorghe Pǎun -- Simple universal logic element and cellular automata for reversible computing / Kenichi Morita -- Some applications of the decidability of DPDA's equivalence / Géraud Sénizergues -- Equivalence problem for computational models: decidable and undecidable cases / Vladimir A. Zakharov -- Two normal forms for rewriting P systems / Claudio Zandron, Claudio Ferretti, Giancarlo Mauri -- Techical contributions -- On a conjecture of kůrka. A turning machine with no periodic configurations / Vicent D. Blondel, Julien Cassaigne, Codrin Nichitiu --".
- catalog extent "viii, 319 p. :".
- catalog identifier "3540421211".
- catalog isPartOf "Lecture notes in computer science 0302-9743 ; 2055".
- catalog issued "2001".
- catalog issued "c2001.".
- catalog language "eng".
- catalog publisher "Berlin : New York : Springer,".
- catalog subject "005.131 21".
- catalog subject "Algorithms Congresses.".
- catalog subject "Computer programming Congresses.".
- catalog subject "Computer science.".
- catalog subject "Computer software.".
- catalog subject "Logic design.".
- catalog subject "Machine theory Congresses.".
- catalog subject "QA267 .M33 2001".
- catalog tableOfContents "On a P-optimal proof system for the set of all satishiable boolean formulas {SAT} / Zenon Sadowski -- DOL system + watson-crick complementarity=universal computation / Petr Sosík.".
- catalog tableOfContents "On the transition graphs of turning machines / Didier Caucal -- JC-nets / Gabriel Ciobanu, Mihai Rotaru -- Nonterminal complexity of progreammed grammars / Henning Fernau -- On the number of non-terminal symbols in graph-controlled, programmed and matrix grammars / Rudolf Freund, Gheorghe Pǎun -- Direct construction of a universal extended H system / Pierluigi Frisco -- Speeding-up cellular automata by alternations / Chuzo Iwamoto [and others] -- Efficient universal pushdown cellular automata and their application to complexity / Martin Kutrib -- Firing squad synchronization problem on didimensional cellular automata with communication constraints / Salvatore La Torre, Margherita Napoli, Mimmo Parente -- P systems with membrane creation: university and efficiency / Madhu Mutyam, Kamala K. Krithivasan -- On the computational power of a continuous-space optical model of computation / Thomas J. Naughton, Damien Woods --".
- catalog tableOfContents "Three small universal turing machines / Claudio Baiocchi -- Computation in gene networks / Asa Ben-Hur, Hava, T. Siegelmann -- Power, puzzles and properties of entanglement / Jozef Gruska, Hiroshi Imai -- Combinatorial and computational problems on finite sets of words / Juhani Karhumäki -- Computing with membranes (P systems): universality results / Carlos Martín-Vide Gheorghe Pǎun -- Simple universal logic element and cellular automata for reversible computing / Kenichi Morita -- Some applications of the decidability of DPDA's equivalence / Géraud Sénizergues -- Equivalence problem for computational models: decidable and undecidable cases / Vladimir A. Zakharov -- Two normal forms for rewriting P systems / Claudio Zandron, Claudio Ferretti, Giancarlo Mauri -- Techical contributions -- On a conjecture of kůrka. A turning machine with no periodic configurations / Vicent D. Blondel, Julien Cassaigne, Codrin Nichitiu --".
- catalog title "MCU 2001".
- catalog title "Machines, computations, and universality : third international conference, MCU 2001, Chişinǎu, Moldova, May 23-27, 2001 : proceedings / Maurice Margenstern, Yurii Rogozhin (eds.)".
- catalog type "Chişinău (2001) swd".
- catalog type "Conference proceedings. fast".
- catalog type "Kongress. swd".
- catalog type "text".