Aspects of Molecular Computing [[electronic resource] ] : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday / / edited by Natasha Jonoska, Gheorghe Păun, Grzegorz Rozenberg |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 396 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Computer science Mathematical Logic and Foundations Computer Science, general |
ISBN |
1-280-30666-1
9786610306664 3-540-24635-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Solving Graph Problems by P Systems with Restricted Elementary Active Membranes -- Writing Information into DNA -- Balance Machines: Computing = Balancing -- Eilenberg P Systems with Symbol-Objects -- Molecular Tiling and DNA Self-assembly -- On Some Classes of Splicing Languages -- The Power of Networks of Watson-Crick D0L Systems -- Fixed Point Approach to Commutation of Languages -- Remarks on Relativisations and DNA Encodings -- Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems -- Digital Information Encoding on DNA -- DNA-based Cryptography -- Splicing to the Limit -- Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs -- n-Insertion on Languages -- Transducers with Programmable Input by DNA Self-assembly -- Methods for Constructing Coded DNA Languages -- On the Universality of P Systems with Minimal Symport/Antiport Rules -- An Algorithm for Testing Structure Freeness of Biomolecular Sequences -- On Languages of Cyclic Words -- A DNA Algorithm for the Hamiltonian Path Problem Using Microfluidic Systems -- Formal Languages Arising from Gene Repeated Duplication -- A Proof of Regularity for Finite Splicing -- The Duality of Patterning in Molecular Genetics -- Membrane Computing: Some Non-standard Ideas -- The P Versus NP Problem Through Cellular Computing with Membranes -- Realizing Switching Functions Using Peptide-Antibody Interactions -- Plasmids to Solve #3SAT -- Communicating Distributed H Systems with Alternating Filters. |
Record Nr. | UNINA-9910145797803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Aspects of Molecular Computing [[electronic resource] ] : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday / / edited by Natasha Jonoska, Gheorghe Păun, Grzegorz Rozenberg |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 396 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Computer science Mathematical Logic and Foundations Computer Science, general |
ISBN |
1-280-30666-1
9786610306664 3-540-24635-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Solving Graph Problems by P Systems with Restricted Elementary Active Membranes -- Writing Information into DNA -- Balance Machines: Computing = Balancing -- Eilenberg P Systems with Symbol-Objects -- Molecular Tiling and DNA Self-assembly -- On Some Classes of Splicing Languages -- The Power of Networks of Watson-Crick D0L Systems -- Fixed Point Approach to Commutation of Languages -- Remarks on Relativisations and DNA Encodings -- Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems -- Digital Information Encoding on DNA -- DNA-based Cryptography -- Splicing to the Limit -- Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs -- n-Insertion on Languages -- Transducers with Programmable Input by DNA Self-assembly -- Methods for Constructing Coded DNA Languages -- On the Universality of P Systems with Minimal Symport/Antiport Rules -- An Algorithm for Testing Structure Freeness of Biomolecular Sequences -- On Languages of Cyclic Words -- A DNA Algorithm for the Hamiltonian Path Problem Using Microfluidic Systems -- Formal Languages Arising from Gene Repeated Duplication -- A Proof of Regularity for Finite Splicing -- The Duality of Patterning in Molecular Genetics -- Membrane Computing: Some Non-standard Ideas -- The P Versus NP Problem Through Cellular Computing with Membranes -- Realizing Switching Functions Using Peptide-Antibody Interactions -- Plasmids to Solve #3SAT -- Communicating Distributed H Systems with Alternating Filters. |
Record Nr. | UNISA-996466048603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Genetic and Evolutionary Computation - GECCO 2003 [[electronic resource] ] : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, David Lawrence, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Natasha Jonoska, Kathryn A. Dowsland, Julian F. Miller |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XCIV, 1256 p.) |
Disciplina | 006.3/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computers Computer programming Algorithms Application software Bioinformatics Artificial Intelligence Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing |
ISBN | 3-540-45105-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization -- A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization — Posters -- Artificial Immune Systems -- Artificial Immune Systems — Posters -- Coevolution -- Coevolution — Posters -- DNA, Molecular, and Quantum Computing -- DNA, Molecular, and Quantum Computing — Posters -- Evolvable Hardware -- Evolvable Hardware — Posters -- Evolutionary Robotics -- Evolutionary Robotics — Posters -- Evolution Strategies/Evolutionary Programming -- Evolution Strategies/Evolutionary Programming — Posters -- Evolutionary Scheduling Routing -- Evolutionary Scheduling Routing — Posters -- Genetic Algorithms. |
Record Nr. | UNISA-996465897103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Genetic and Evolutionary Computation - GECCO 2003 [[electronic resource] ] : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, David Lawrence, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Natasha Jonoska, Kathryn A. Dowsland, Julian F. Miller |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XCIV, 1256 p.) |
Disciplina | 006.3/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computers Computer programming Algorithms Application software Bioinformatics Artificial Intelligence Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing |
ISBN | 3-540-45105-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization -- A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization — Posters -- Artificial Immune Systems -- Artificial Immune Systems — Posters -- Coevolution -- Coevolution — Posters -- DNA, Molecular, and Quantum Computing -- DNA, Molecular, and Quantum Computing — Posters -- Evolvable Hardware -- Evolvable Hardware — Posters -- Evolutionary Robotics -- Evolutionary Robotics — Posters -- Evolution Strategies/Evolutionary Programming -- Evolution Strategies/Evolutionary Programming — Posters -- Evolutionary Scheduling Routing -- Evolutionary Scheduling Routing — Posters -- Genetic Algorithms. |
Record Nr. | UNINA-9910767534703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|