Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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
| 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 | ||
| ||
Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday / / edited by Natasha Jonoska, Gheorghe Păun, Grzegorz Rozenberg
| Aspects of Molecular Computing : 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 | ||
| ||
Enjoying Natural Computing [[electronic resource] ] : Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday / / edited by Carmen Graciani, Agustín Riscos-Núñez, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa
| Enjoying Natural Computing [[electronic resource] ] : Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday / / edited by Carmen Graciani, Agustín Riscos-Núñez, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 331 p. 67 illus.) |
| Disciplina | 004.65 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Software engineering Theory of Computation Computer Engineering and Networks Software Engineering |
| ISBN | 3-030-00265-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chocolate P Automata -- Solving the N-Queens Puzzle by Using Few Membranes -- Model of Antibiotic Resistance Evolution Dynamics Through P Systems with Active Membranes and Communication Rules -- Small Spiking Neural P Systems with Structural Plasticity -- Approximating Polygons for Space-Filling Curves Generated with P Systems -- A Logical Representation of P Colonies: An Introduction -- The Fair Proportion is a Shapley Value on Phylogenetic Networks Too -- Deterministic Parsing with P Colony Automata -- ACORD: Ant Colony Optimization and BNF Grammar Rule Derivation -- Membrane Computing as a Modeling Tool: Looking Back and Forward from Seville -- Identifiable Kernel P Systems -- Other Buds in Membrane Computing -- The Java Environment for Nature-Inspired Approaches (JENA): A Workbench for Bio-Computing and Bio-Modeling Enthusiasts -- WEBRSIM: A Web-Based Reaction Systems Simulator -- Open Problems in Membrane Computing and How Not to Solve Them -- A Note on the Entropy of -- An Introduction to cP Systems -- A Look at the Descriptional Complexity of SNQ P Systems -- Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing -- Spiking Neural P Systems: Theoretical Results and Applications -- Aggregating Parallel Multi-set Rewriting Systems -- On Languages Generated by Context-Free Matrix Insertion-Deletion Systems with Exo-Operations -- A Simulation Workflow for Membrane Computing: from MeCoSim to PMCGPU Through P-Lingua -- An Implementation of Elementary Arithmetic with Virus Machine -- A Kernel-Based Membrane Clustering Algorithm. . |
| Record Nr. | UNISA-996466284003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Enjoying Natural Computing : Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday / / edited by Carmen Graciani, Agustín Riscos-Núñez, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa
| Enjoying Natural Computing : Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday / / edited by Carmen Graciani, Agustín Riscos-Núñez, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 331 p. 67 illus.) |
| Disciplina |
004.65
006.382 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Software engineering Theory of Computation Computer Engineering and Networks Software Engineering |
| ISBN | 3-030-00265-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chocolate P Automata -- Solving the N-Queens Puzzle by Using Few Membranes -- Model of Antibiotic Resistance Evolution Dynamics Through P Systems with Active Membranes and Communication Rules -- Small Spiking Neural P Systems with Structural Plasticity -- Approximating Polygons for Space-Filling Curves Generated with P Systems -- A Logical Representation of P Colonies: An Introduction -- The Fair Proportion is a Shapley Value on Phylogenetic Networks Too -- Deterministic Parsing with P Colony Automata -- ACORD: Ant Colony Optimization and BNF Grammar Rule Derivation -- Membrane Computing as a Modeling Tool: Looking Back and Forward from Seville -- Identifiable Kernel P Systems -- Other Buds in Membrane Computing -- The Java Environment for Nature-Inspired Approaches (JENA): A Workbench for Bio-Computing and Bio-Modeling Enthusiasts -- WEBRSIM: A Web-Based Reaction Systems Simulator -- Open Problems in Membrane Computing and How Not to Solve Them -- A Note on the Entropy of -- An Introduction to cP Systems -- A Look at the Descriptional Complexity of SNQ P Systems -- Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing -- Spiking Neural P Systems: Theoretical Results and Applications -- Aggregating Parallel Multi-set Rewriting Systems -- On Languages Generated by Context-Free Matrix Insertion-Deletion Systems with Exo-Operations -- A Simulation Workflow for Membrane Computing: from MeCoSim to PMCGPU Through P-Lingua -- An Implementation of Elementary Arithmetic with Virus Machine -- A Kernel-Based Membrane Clustering Algorithm. . |
| Record Nr. | UNINA-9910349392703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
In Memoriam, Solomon Marcus
| In Memoriam, Solomon Marcus |
| Autore | Calude Cristian S |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 electronic resource (148 p.) |
| Soggetto topico |
Information technology industries
Computer science |
| Soggetto non controllato |
automata theory
formal language theory bio-informatics recursive function theory evolutionary processor network of evolutionary processors network topology theory of computation computational models intrinsic perception Hausdorff dimension fractal computational complexity Turing machine oracle Turing machine shortest computations quasiperiod formal language asymptotic growth polynomial membrane computing computational complexity theory P vs. NP problem evolutional communication symport/antiport Kolmogorov complexity random strings extractors finite languages deterministic finite cover automata multiple entry automata automata with “do not care” symbols similarity relations process calculus communication patterns control structures hypergraph model P systems cP systems NP-complete NP-hard SAT logarithmic time complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910566467603321 |
Calude Cristian S
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Membrane Computing [[electronic resource] ] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (IX, 393 p. 128 illus., 26 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Computer networks Theory of Computation Formal Languages and Automata Theory Computer Modelling Computational and Systems Biology Computer Communication Networks Computer Science |
| ISBN | 3-642-18123-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466048803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing [[electronic resource] ] : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers / / edited by David Corne, Pierluigi Frisco, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers / / edited by David Corne, Pierluigi Frisco, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 403 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Life sciences Computer programming Machine theory Computer simulation Computer Science Life Sciences Programming Techniques Theory of Computation Formal Languages and Automata Theory Computer Modelling |
| ISBN | 3-540-95885-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Investigation of a Biological Repair Scheme -- An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways -- Multilevel Modeling of Morphogenesis -- A Definition of Cellular Interface Problems -- A Multiscale Modeling Framework Based on P Systems -- Regular Papers -- On the Qualitative Analysis of Conformon P Systems -- Dual P Systems -- Solving PP-Complete and #P-Complete Problems by P Systems with Active Membranes -- Fast Synchronization in P Systems -- Membrane Systems Using Noncooperative Rules with Unconditional Halting -- Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study -- MetaPlab: A Computational Framework for Metabolic P Systems -- Usefulness States in New P System Communication Architectures -- A P-Lingua Programming Environment for Membrane Computing -- On Testing P Systems -- Hebbian Learning from Spiking Neural P Systems View -- Event-Driven Metamorphoses of P Systems -- Effects of HIV-1 Proteins on the Fas-Mediated Apoptotic Signaling Cascade: A Computational Study of Latent CD4+ T Cell Activation -- Transforming State-Based Models to P Systems Models in Practice -- How Redundant Is Your Universal Computation Device? -- Enumerating Membrane Structures -- Toward an MP Model of Non-Photochemical Quenching -- Applications of Page Ranking in P Systems -- An Algorithm for Non-deterministic Object Distribution in P Systems and Its Implementation in Hardware -- First Steps Towards a Wet Implementation for ?-DPP -- Defining and Executing P Systems with Structured Data in K -- Translating Multiset Tree Automata into P Systems. |
| Record Nr. | UNISA-996465786303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||