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.
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 [[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 | ||
| ||
Multiset Processing [[electronic resource] ] : Mathematical, Computer Science, and Molecular Computing Points of View / / edited by Christian S. Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
| Multiset Processing [[electronic resource] ] : Mathematical, Computer Science, and Molecular Computing Points of View / / edited by Christian S. Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 364 p.) |
| Disciplina | 004/.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Mathematical logic Computers Bioinformatics Data Structures Data Structures and Information Theory Mathematical Logic and Foundations Computation by Abstract Devices Mathematical Logic and Formal Languages |
| ISBN | 3-540-45523-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Structures and Bio-language to Simulate Transition P Systems on Digital Computers -- Gamma and the Chemical Reaction Model: Fifteen Years After -- Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning -- Multiset Automata -- Parikh Mapping and Iteration -- Multiset Constraints and P Systems -- Toward a Formal Macroset Theory -- Normal Forms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages -- On Multisets in Database Systems -- Tolerance Multisets -- Fuzzy Multisets and Their Generalizations -- Universality Results for Some Variants of P Systems -- Multiset and K-Subset Transforming Systems -- On P Systems with Active Membranes Solving the Integer Factorization Problem in a Polynomial Time -- The Linear Theory of Multiset Based Dynamic Systems -- Artificial Life Applications of a Class of P Systems: Abstract Rewriting Systems on Multisets -- Mathematics of Multisets. |
| Record Nr. | UNISA-996465873903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
New Trends in Formal Languages [[electronic resource] ] : Control, Cooperation, and Combinatorics / / edited by Gheorghe Paun, Arto Salomaa
| New Trends in Formal Languages [[electronic resource] ] : Control, Cooperation, and Combinatorics / / edited by Gheorghe Paun, Arto Salomaa |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 474 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Artificial intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-68703-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A grammatical approach to the LBA problem -- Conditional context-free languages of finite index -- On the number of nonterminals in matrix grammars with leftmost derivations -- The accepting power of finite automata over groups -- Controlled fuzzy parallel rewriting -- On controlling rewriting by properties of strings and symbols -- Accepting array grammars with control mechanisms -- On restarting automata with rewriting -- Deterministic cooperating distributed grammar systems -- Grammar systems with counting derivation and dynamical priorities -- Characterization of RE using CD grammar systems with two registers and RL rules -- On cooperating distributed uniformly limited 0L systems -- Teams in grammar systems: Sub-context-free cases -- A note on the incomparability of the E0L family with certain families of languages generated by cooperating grammar systems -- Colonies as models of reactive systems -- Grammatical inference of colonies -- A grammar characterization of logarithmic-space computation -- On the computational complexity of context-free Parallel Communicating Grammar Systems -- Parallel communicating grammar systems with communication by signals -- PC grammar systems versus some non-context-free constructions from natural and artificial languages -- Grammar systems for the description of certain natural language facts -- Networks of parallel language processors -- A reduced distributed splicing system for RE languages -- On the generative capacity of splicing grammar systems -- Array splicing systems -- Two lower bounds on computational complexity of infinite words -- On ?-power languages -- Shuffle-like operations on ?-words -- Generalized Lindenmayerian algebraic systems -- The structure of the basic morphisms -- On mix operation -- On the complexity of iterated insertions -- The decidability of the generalized confluence problem for context-free languages. |
| Record Nr. | UNISA-996465537403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory Is Forever [[electronic resource] ] : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday / / edited by Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg
| Theory Is Forever [[electronic resource] ] : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday / / edited by Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 286 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer logic Mathematical logic Computer science—Mathematics Numerical analysis Theory of Computation Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Numeric Computing |
| ISBN | 3-540-27812-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Duality for Three: Ternary Symmetry in Process Spaces -- Mathematical Proofs at a Crossroad? -- Rational Relations as Rational Series -- Networks of Standard Watson-Crick D0L Systems with Incomplete Information Communication -- On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems -- Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages -- A Semiring-Semimodule Generalization of ?-Context-Free Languages -- Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials -- Two Models for Gene Assembly in Ciliates -- On Self-Dual Bases of the Extensions of the Binary Field -- On NFA Reductions -- Some Results on Directable Automata -- Rectangles and Squares Recognized by Two-Dimensional Automata -- Substitution on Trajectories -- Recombination Systems -- Algebraic Aspects of Parikh Matrices -- On Distributed Computing on Elliptic Curves -- On the Formal Modelling of Trust in Reputation-Based Systems -- Issues with Applying Cryptography in Wireless Systems -- On a Tomographic Equivalence Between (0,1)-Matrices -- P Systems with Tables of Rules -- Some Properties of Multistage Interconnection Networks -- Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof -- Complexity of Evolving Interactive Systems. |
| Record Nr. | UNISA-996465718803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
