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.
Bio-inspired Computing: Theories and Applications : 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014, Proceedings / / edited by Linqiang Pan, Gheorghe Paun, Mario J. Pérez-Jiménez, Tao Song
| Bio-inspired Computing: Theories and Applications : 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014, Proceedings / / edited by Linqiang Pan, Gheorghe Paun, Mario J. Pérez-Jiménez, Tao Song |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 672 p. 198 illus.) |
| Disciplina | 006 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer simulation
Simulation and Modeling |
| ISBN | 3-662-45049-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Evolutionary computing -- Neural computing -- DNA computing -- Membrane computing. |
| Record Nr. | UNINA-9910298986403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Membrane Computing [[electronic resource] ] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers / / edited by Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan
| Membrane Computing [[electronic resource] ] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers / / edited by Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (380 p. 83 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Computer networks Software engineering Theory of Computation Formal Languages and Automata Theory Computer Modelling Computational and Systems Biology Computer Communication Networks Software Engineering |
| ISBN | 3-642-28024-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465981803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing [[electronic resource] ] : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / / edited by Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / / edited by Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 487 p. 86 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Computer Modelling Computational and Systems Biology |
| Soggetto genere / forma |
Curtea de Argeş (2010)
Kongress. |
| ISBN |
1-280-38549-9
9786613563415 3-642-11467-9 |
| Classificazione |
004
DAT 168f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- P Automata: Concepts, Results, and New Aspects -- Computational Nature of Processes Induced by Biochemical Reactions -- Transition and Halting Modes in (Tissue) P Systems -- Conformon P Systems and Topology of Information Flow -- Formal Verification and Testing Based on P Systems -- A Look Back at Some Early Results in Membrane Computing -- From P to MP Systems -- The Biological Cell in Spectacle -- Energy-Based Models of P Systems -- A Computational Complexity Theory in Membrane Computing -- Regular Presentations -- Evolving by Maximizing the Number of Rules: Complexity Study -- On Reversibility and Determinism in P Systems -- Typed Membrane Systems -- A P System Based Model of an Ecosystem of Some Scavenger Birds -- Metabolic P System Flux Regulation by Artificial Neural Networks -- A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems -- Implementing P Systems Parallelism by Means of GPUs -- Regulation and Covering Problems in MP Systems -- (Tissue) P Systems with Hybrid Transition Modes -- An Overview of P-Lingua 2.0 -- Characterizing Tractability by Tissue-Like P Systems -- Searching Previous Configurations in Membrane Computing -- Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator -- Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules -- Tuning P Systems for Solving the Broadcasting Problem -- An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition -- A Region-Oriented Hardware Implementation for Membrane Computing Applications -- Discovering the Membrane Topology of Hyperdag P Systems -- A Note on Small Universal Spiking Neural P Systems -- On the Power of Computing with Proteins on Membranes -- An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes -- Look-Ahead Evolution for P Systems. |
| Record Nr. | UNISA-996465321003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing [[electronic resource] ] : 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers / / edited by Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers / / edited by Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 556 p.) |
| Disciplina | 621.39/1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Computer Modelling Computational and Systems Biology |
| ISBN | 3-540-69090-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Biological Roots and Applications of P Systems: Further Suggestions -- Formalizing Spherical Membrane Structures and Membrane Proteins Populations -- Quorum Sensing: A Cell-Cell Signalling Mechanism Used to Coordinate Behavioral Changes in Bacterial Populations -- A Modeling Approach Based on P Systems with Bounded Parallelism -- Synchrony and Asynchrony in Membrane Systems -- MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations -- Modeling Signal Transduction Using P Systems -- Regular Papers -- Extended Spiking Neural P Systems -- Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes -- Expressing Control Mechanisms of Membranes by Rewriting Strategies -- Tissue P Systems with Communication Modes -- Towards a Hybrid Metabolic Algorithm -- Towards a P Systems Pseudomonas Quorum Sensing Model -- Membrane Systems with External Control -- A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers -- Computing with Genetic Gates, Proteins, and Membranes -- Classifying States of a Finite Markov Chain with Membrane Computing -- Partial Knowledge in Membrane Systems: A Logical Approach -- Tau Leaping Stochastic Simulation Method in P Systems -- P Machines: An Automata Approach to Membrane Computing -- Modeling Dynamical Parallelism in Bio-systems -- P Colonies with a Bounded Number of Cells and Programs -- P Finite Automata and Regular Languages over Countably Infinite Alphabets -- Mitotic Oscillators as MP Graphs -- Infinite Hierarchies of Conformon-P Systems -- A Protein Substructure Based P System for Description and Analysis of Cell Signalling Networks -- Characterizations of Some Restricted Spiking Neural P Systems -- A Membrane Algorithm for the Min Storage Problem -- P Systems with Symport/Antiport and Time -- Towards Probabilistic Model Checking on P Systems Using PRISM -- Graphical Modeling of Higher Plants Using P Systems -- Identifying P Rules from Membrane Structures with an Error-Correcting Approach -- Computational Completeness of Tissue P Systems with Conditional Uniport -- Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. |
| Record Nr. | UNISA-996466137303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing [[electronic resource] ] : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers / / edited by Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers / / edited by Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 374 p.) |
| Disciplina | 621.39/1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Computer Modelling |
| ISBN | 3-540-32340-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Computational Power of Symport/Antiport: History, Advances, and Open Problems -- Structural Operational Semantics of P Systems -- Some Recent Results Concerning Deterministic P Systems -- Membrane Algorithms -- On Evolutionary Lineages of Membrane Systems -- Regular Presentations -- Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness -- Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules -- On P Systems as a Modelling Tool for Biological Systems -- Encoding-Decoding Transitional Systems for Classes of P Systems -- On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism -- A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment -- P Systems with Memory -- Algebraic and Coalgebraic Aspects of Membrane Computing -- P Systems and the Modeling of Biochemical Oscillations -- P Systems, Petri Nets, and Program Machines -- On the Power of Dissolution in P Systems with Active Membranes -- A Linear Solution for QSAT with Membrane Creation -- On Symport/Antiport P Systems and Semilinear Sets -- Boolean Circuits and a DNA Algorithm in Membrane Computing -- Towards a Petri Net Semantics for Membrane Systems -- Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes -- Editing Distances Between Membrane Structures -- Relational Membrane Systems -- On the Rule Complexity of Universal Tissue P Systems -- Non-cooperative P Systems with Priorities Characterize PsET0L. |
| Record Nr. | UNISA-996465533603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing [[electronic resource] ] : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers / / edited by Giancarlo Mauri, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers / / edited by Giancarlo Mauri, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 413 p.) |
| Disciplina | 004.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Computer Modelling |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- ?P Systems and Typed ?-Calculus -- P Automata -- Asynchronous P Systems and P Systems Working in the Sequential Mode -- Evolution and Oscillation in P Systems: Applications to Biological Phenomena -- An Approach to Computational Complexity in Membrane Computing -- LMNtal: A Language Model with Links and Membranes -- Regular Presentations -- Executable Specifications of P Systems -- On the Efficiency of P Systems with Active Membranes and Two Polarizations -- Communicative P Systems with Minimal Cooperation -- Ultimately Confluent Rewriting Systems. Parallel Multiset–Rewriting with Permitting or Forbidding Contexts -- Unstable P Systems: Applications to Linguistics -- A P System Description of the Sodium-Potassium Pump -- Inhibiting/De-inhibiting Rules in P Systems -- Time–Independent P Systems -- On Two-Dimensional Mesh Networks and Their Simulation with P Systems -- Exploring Computation Trees Associated with P Systems -- Approximating Non-discrete P Systems -- Reducing the Size of Extended Gemmating P Systems -- P Systems Generating Trees -- On Descriptive Complexity of P Systems -- P Systems with Symport/Antiport: The Traces of RBCs -- Conservative Computations in Energy–Based P Systems -- General Multi-fuzzy Sets and Fuzzy Membrane Systems -- Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes -- Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems -- On the Size of P Systems with Minimal Symport/Antiport. |
| Record Nr. | UNISA-996465683703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing [[electronic resource] ] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / / edited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / / edited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 382 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Computers Computer simulation Bioinformatics Mathematical Logic and Foundations Theory of Computation Computation by Abstract Devices Mathematical Logic and Formal Languages Simulation and Modeling |
| ISBN |
1-280-30798-6
9786610307982 3-540-24619-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Proton Pumping P Systems -- A Binary Data Structure for Membrane Processors: Connectivity Arrays -- Parsing with Active P Automata -- Universality of Minimal Symport/Antiport: Five Membranes Suffice -- Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts -- Evolution and Observation: A New Way to Look at Membrane Systems -- Tiling Rectangular Pictures with P Systems -- Simulating Boolean Circuits with P Systems -- P Systems Running on a Cluster of Computers -- Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem -- On the Dynamics of PB Systems: A Petri Net View -- P Systems Generating Hexagonal Picture Languages -- A Membrane System for the Leukocyte Selective Recruitment -- P Systems with Cutting/Recombination Rules Assigned to Membranes -- ? -P Automata with Communication Rules -- The Number of Membranes Matters -- An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies -- Can Hyperbolic Geometry Be of Help for P Systems? -- A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes -- A Reconfigurable Hardware Membrane System -- P Systems and Petri Nets -- Simulation of Mobile Ambients by P Systems. Part 1 -- Computing Partial Recursive Functions by Transition P Systems -- P Systems with External Input and Learning Strategies -- A Distributed Simulation of Transition P Systems -- About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems. |
| Record Nr. | UNISA-996466170503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / / edited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / / edited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 382 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Computers Computer simulation Bioinformatics Mathematical Logic and Foundations Theory of Computation Computation by Abstract Devices Mathematical Logic and Formal Languages Simulation and Modeling |
| ISBN |
1-280-30798-6
9786610307982 3-540-24619-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Proton Pumping P Systems -- A Binary Data Structure for Membrane Processors: Connectivity Arrays -- Parsing with Active P Automata -- Universality of Minimal Symport/Antiport: Five Membranes Suffice -- Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts -- Evolution and Observation: A New Way to Look at Membrane Systems -- Tiling Rectangular Pictures with P Systems -- Simulating Boolean Circuits with P Systems -- P Systems Running on a Cluster of Computers -- Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem -- On the Dynamics of PB Systems: A Petri Net View -- P Systems Generating Hexagonal Picture Languages -- A Membrane System for the Leukocyte Selective Recruitment -- P Systems with Cutting/Recombination Rules Assigned to Membranes -- ? -P Automata with Communication Rules -- The Number of Membranes Matters -- An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies -- Can Hyperbolic Geometry Be of Help for P Systems? -- A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes -- A Reconfigurable Hardware Membrane System -- P Systems and Petri Nets -- Simulation of Mobile Ambients by P Systems. Part 1 -- Computing Partial Recursive Functions by Transition P Systems -- P Systems with External Input and Learning Strategies -- A Distributed Simulation of Transition P Systems -- About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems. |
| Record Nr. | UNINA-9910144208603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Membrane Computing [[electronic resource] ] : International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers / / edited by Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron
| Membrane Computing [[electronic resource] ] : International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers / / edited by Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VIII, 424 p.) |
| Disciplina | 004.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Mathematical logic Computer simulation Bioinformatics Bioinformatics Computational biology Theory of Computation Computation by Abstract Devices Mathematical Logic and Formal Languages Simulation and Modeling Computer Appl. in Life Sciences |
| ISBN | 3-540-36490-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Molecular Biology of Bacteria and Its Relevance for P Systems -- A Software Simulation of Transition P Systems in Haskell -- Authentication of Messages Using P Systems -- Eilenberg P Systems -- A MzScheme Implementation of Transition P Systems -- Preliminaries about Some Possible Applications of P Systems in Linguistics -- An Application of Dynamic P Systems: Generating Context-Free Languages -- P Systems with Boundary Rules -- Parallel Rewriting P Systems without Target Conflicts -- Evolution–Communication P Systems -- Dynamic P Systems -- Membrane Systems and Distributed Computing -- Client–Server P Systems in Modeling Molecular Interaction -- P Automata or Purely Communicating Accepting P Systems -- Self-activating P Systems -- Energy–Controlled P Systems -- P Systems with Activated/Prohibited Membrane Channels -- Membrane Systems with Symport/Antiport Rules: Universality Results -- Simulating Counter Automata by P Systems with Symport/Antiport -- Towards a Hierarchy of Conformons – P Systems -- Accretive Rules in Cayley P Systems -- Tissue P Systems with Contextual and Rewriting Rules -- Considerations on a Multiset Model for Membrane Computing -- A Survey of Some Variants of P Systems -- Bridging P Systems and Genomics: A Preliminary Approach -- Probabilistic P Systems -- Decision P Systems and the P?NP Conjecture -- P Systems without Priorities Are Computationally Universal -- The Architecture of Living Structures -A Possible Basis for Molecular Computing. |
| Record Nr. | UNISA-996465283903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing : International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers / / edited by Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron
| Membrane Computing : International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers / / edited by Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VIII, 424 p.) |
| Disciplina | 004.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Mathematical logic Computer simulation Bioinformatics Bioinformatics Computational biology Theory of Computation Computation by Abstract Devices Mathematical Logic and Formal Languages Simulation and Modeling Computer Appl. in Life Sciences |
| ISBN | 3-540-36490-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Molecular Biology of Bacteria and Its Relevance for P Systems -- A Software Simulation of Transition P Systems in Haskell -- Authentication of Messages Using P Systems -- Eilenberg P Systems -- A MzScheme Implementation of Transition P Systems -- Preliminaries about Some Possible Applications of P Systems in Linguistics -- An Application of Dynamic P Systems: Generating Context-Free Languages -- P Systems with Boundary Rules -- Parallel Rewriting P Systems without Target Conflicts -- Evolution–Communication P Systems -- Dynamic P Systems -- Membrane Systems and Distributed Computing -- Client–Server P Systems in Modeling Molecular Interaction -- P Automata or Purely Communicating Accepting P Systems -- Self-activating P Systems -- Energy–Controlled P Systems -- P Systems with Activated/Prohibited Membrane Channels -- Membrane Systems with Symport/Antiport Rules: Universality Results -- Simulating Counter Automata by P Systems with Symport/Antiport -- Towards a Hierarchy of Conformons – P Systems -- Accretive Rules in Cayley P Systems -- Tissue P Systems with Contextual and Rewriting Rules -- Considerations on a Multiset Model for Membrane Computing -- A Survey of Some Variants of P Systems -- Bridging P Systems and Genomics: A Preliminary Approach -- Probabilistic P Systems -- Decision P Systems and the P?NP Conjecture -- P Systems without Priorities Are Computationally Universal -- The Architecture of Living Structures -A Possible Basis for Molecular Computing. |
| Record Nr. | UNINA-9910143880503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
