Membrane Computing [[electronic resource] ] : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / / edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (X, 363 p. 52 illus.) |
Disciplina | 006.32 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Pattern recognition systems Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Automated Pattern Recognition |
ISBN | 3-319-54072-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484817703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Membrane Computing [[electronic resource] ] : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers / / edited by Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XI, 387 p. 56 illus. in color.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Pattern recognition systems Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Automated Pattern Recognition |
ISBN | 3-319-28475-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Information Theory in Genome Analysis -- Towards a Theory of Life -- An Excursion through Quantitative Model Refinement -- Polarizationless P Systems with One Active Membrane -- Bridging Deterministic P Systems and Conditional Grammars -- Automated Verification of Stochastic Spiking Neural P Systems -- Dynamically Changing Environment for Generalized Communicating P Systems -- Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem -- P Systems with Generalized Multisets over Totally Ordered Abelian Groups -- On the Power of Catalytic P Systems with One Catalyst -- An Integrated Model Checking Toolset for Kernel P Systems -- A New Strategy to Improve the Performance of PDP-systems Simulators -- Automatic Translation of MP+V Systems to Register Machines -- On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP systems -- Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential -- A Solution of Horn-SAT with P Systems Using Antimatter -- Tissue P systems can be Simulated Efficiently with Counting Oracles -- Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms -- Pictures and Chomsky Languages in Array P System -- Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules on Synapses -- Regulating Rule Application with Membrane Boundaries in P Systems -- Structured Grid Algorithms Modelled with Complex Objects -- Chemistry-inspired Adaptive Stream Processing -- Computing Partial Recursive Functions by Virus Machines -- About models derived from colonies. |
Record Nr. | UNISA-996466359603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Membrane Computing [[electronic resource] ] : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers / / edited by Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XI, 387 p. 56 illus. in color.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Pattern recognition systems Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Automated Pattern Recognition |
ISBN | 3-319-28475-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Information Theory in Genome Analysis -- Towards a Theory of Life -- An Excursion through Quantitative Model Refinement -- Polarizationless P Systems with One Active Membrane -- Bridging Deterministic P Systems and Conditional Grammars -- Automated Verification of Stochastic Spiking Neural P Systems -- Dynamically Changing Environment for Generalized Communicating P Systems -- Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem -- P Systems with Generalized Multisets over Totally Ordered Abelian Groups -- On the Power of Catalytic P Systems with One Catalyst -- An Integrated Model Checking Toolset for Kernel P Systems -- A New Strategy to Improve the Performance of PDP-systems Simulators -- Automatic Translation of MP+V Systems to Register Machines -- On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP systems -- Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential -- A Solution of Horn-SAT with P Systems Using Antimatter -- Tissue P systems can be Simulated Efficiently with Counting Oracles -- Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms -- Pictures and Chomsky Languages in Array P System -- Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules on Synapses -- Regulating Rule Application with Membrane Boundaries in P Systems -- Structured Grid Algorithms Modelled with Complex Objects -- Chemistry-inspired Adaptive Stream Processing -- Computing Partial Recursive Functions by Virus Machines -- About models derived from colonies. |
Record Nr. | UNINA-9910483003303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Membrane Computing [[electronic resource] ] : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers / / edited by Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sosík, Claudio Zandron |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIX, 397 p. 72 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Pattern recognition systems Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Automated Pattern Recognition |
ISBN | 3-319-14370-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From P Colonies to 2D P Colonies and Simulations of Multiagent Systems -- A Bioinspired Computing Approach to Model Complex Systems -- P Systems with Active Membranes Working in Sublinear Space -- Membrane Computing Inspired Approach for Executing Scientific Workflow in the Cloud -- P Systems with Anti-Matter -- Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems -- P Systems with Toxic Objects -- Promoters and Inhibitors in Purely Catalytic P Systems -- Red–Green P Automata -- Extended Simulation and Verification Platform for Kernel P Systems -- The Abilities of P Colony Based Models in Robot Control -- Probabilistic Guarded P Systems, a New Formal Modelling Framework -- Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques -- Simulating Turing Machines with Polarizationless P Systems with Active Membranes -- Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms -- Polymorphic P Systems with Non-cooperative Rules and No Ingredients -- Spiking Neural P Systems with Astrocytes Using the Rules in the Exhaustive Mode -- Simulating Elementary Active Membranes with an Application to the P Conjecture -- Small Universal Spiking Neural P Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating Rules -- Parallel Thinning with Complex Objects and Actors -- Causal Nets for Geometrical Gandy–Paun–Rozenberg Machines -- P System Computational Model as Framework for Hybrid (Membrane-Quantum) Computations -- Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems. |
Record Nr. | UNISA-996211263303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Membrane Computing [[electronic resource] ] : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers / / edited by Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sosík, Claudio Zandron |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIX, 397 p. 72 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Pattern recognition systems Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Automated Pattern Recognition |
ISBN | 3-319-14370-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From P Colonies to 2D P Colonies and Simulations of Multiagent Systems -- A Bioinspired Computing Approach to Model Complex Systems -- P Systems with Active Membranes Working in Sublinear Space -- Membrane Computing Inspired Approach for Executing Scientific Workflow in the Cloud -- P Systems with Anti-Matter -- Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems -- P Systems with Toxic Objects -- Promoters and Inhibitors in Purely Catalytic P Systems -- Red–Green P Automata -- Extended Simulation and Verification Platform for Kernel P Systems -- The Abilities of P Colony Based Models in Robot Control -- Probabilistic Guarded P Systems, a New Formal Modelling Framework -- Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques -- Simulating Turing Machines with Polarizationless P Systems with Active Membranes -- Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms -- Polymorphic P Systems with Non-cooperative Rules and No Ingredients -- Spiking Neural P Systems with Astrocytes Using the Rules in the Exhaustive Mode -- Simulating Elementary Active Membranes with an Application to the P Conjecture -- Small Universal Spiking Neural P Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating Rules -- Parallel Thinning with Complex Objects and Actors -- Causal Nets for Geometrical Gandy–Paun–Rozenberg Machines -- P System Computational Model as Framework for Hybrid (Membrane-Quantum) Computations -- Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems. |
Record Nr. | UNINA-9910483037103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Membrane Computing [[electronic resource] ] : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers / / edited by Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 323 p. 23 illus.) |
Disciplina | 006.3/842 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Pattern recognition systems Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Automated Pattern Recognition |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-54239-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996205180903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Membrane Computing [[electronic resource] ] : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers / / edited by Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 323 p. 23 illus.) |
Disciplina | 006.3/842 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Pattern recognition systems Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Automated Pattern Recognition |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-54239-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484601803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Membrane Computing [[electronic resource] ] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / / edited by Erzsebet Csuhaj-Varju, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 425 p. 104 illus.) |
Disciplina | 006.3/842 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Computers—History Image processing—Digital techniques Computer vision Theory of Computation Software Engineering History of Computing Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-642-36751-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- (Tissue) P Systems with Decaying Objects -- Alan Turing and John von Neumann - Their Brains and Their Computers -- Turing’s Three Pioneering Initiatives and Their Interplays -- An Outline of MP Modeling Framework -- Turing Computability and Membrane Computing -- Membrane Systems and Hypercomputation -- Regular Papers -- Case-Study on the Influence of Noise to Log-Gain Principles for Flux Dynamic Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN -- Sequential P Systems with Regular Control -- Mobile Membranes with Objects on Surface as Colored Petri Nets -- On Structures and Behaviors of Spiking Neural P Systems and Petri Nets -- 2D P Colonies -- Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs -- A New Approach for Solving SAT by P Systems with Active Membranes -- Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency -- Spiking Neural P Systems with Functional Astrocytes -- The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment -- DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution -- Membranes with Boundaries -- On Efficient Algorithms for SAT -- Multigraphical Membrane Systems Revisited -- An Analysis of Correlative and Static Causality in P Systems -- Sublinear-Space P Systems with Active Membranes -- Modelling Ecological Systems with the Calculus of Wrapped Compartments -- Observer/Interpreter P Systems -- Limits of the Power of Tissue P Systems with Cell Division -- Fast Hardware Implementations of P Systems. |
Record Nr. | UNISA-996465972203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Membrane Computing [[electronic resource] ] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / / edited by Erzsebet Csuhaj-Varju, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 425 p. 104 illus.) |
Disciplina | 006.3/842 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Software engineering Computers—History Image processing—Digital techniques Computer vision Theory of Computation Software Engineering History of Computing Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-642-36751-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- (Tissue) P Systems with Decaying Objects -- Alan Turing and John von Neumann - Their Brains and Their Computers -- Turing’s Three Pioneering Initiatives and Their Interplays -- An Outline of MP Modeling Framework -- Turing Computability and Membrane Computing -- Membrane Systems and Hypercomputation -- Regular Papers -- Case-Study on the Influence of Noise to Log-Gain Principles for Flux Dynamic Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN -- Sequential P Systems with Regular Control -- Mobile Membranes with Objects on Surface as Colored Petri Nets -- On Structures and Behaviors of Spiking Neural P Systems and Petri Nets -- 2D P Colonies -- Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs -- A New Approach for Solving SAT by P Systems with Active Membranes -- Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency -- Spiking Neural P Systems with Functional Astrocytes -- The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment -- DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution -- Membranes with Boundaries -- On Efficient Algorithms for SAT -- Multigraphical Membrane Systems Revisited -- An Analysis of Correlative and Static Causality in P Systems -- Sublinear-Space P Systems with Active Membranes -- Modelling Ecological Systems with the Calculus of Wrapped Compartments -- Observer/Interpreter P Systems -- Limits of the Power of Tissue P Systems with Cell Division -- Fast Hardware Implementations of P Systems. |
Record Nr. | UNINA-9910739423603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Results and Trends in Theoretical Computer Science [[electronic resource] ] : Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings / / edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg |
Edizione | [1st ed. 1994.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
Descrizione fisica | 1 online resource (XI, 449 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Algorithms Computer logic Mathematical logic Data encryption (Computer science) Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages Cryptology |
ISBN | 3-540-48445-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Generalizing Cook's transformation to imperative stack programs -- A rewriting of Fife's theorem about overlap-free words -- Reconsidering the jeep problem or how to transport a birthday present to Salosauna -- Learning picture sets from examples -- Randomness as an invariant for number representations -- Cooperating grammars' systems: Power and parameters -- Parallel pattern generation with one-way communications -- Dynamic labeled 2-structures with variable domains -- Deciding the NTS property of context-free grammars -- Homomorphic representations by products of tree automata -- Identities and transductions -- Decomposition of infinite labeled 2-structures -- An iteration property of Lindenmayerian power series -- Comparing descriptional and computational complexity of infinite words -- On some open problems concerning the complexity of cellular arrays -- Power of controlled insertion and deletion -- From colonies to eco(grammar)systems -- On the multiplicity equivalence problem for context-free grammars -- On general solution of word equations -- On (left) partial shuffle -- Learning theoretical aspects is important but (Sometimes) dangerous -- Bisimulation, games, and logic -- Cryptographic protocols and voting -- Cryptographic protocols for auctions and bargaining -- On the size of components of cooperating grammar systems -- An elementary algorithmic problem from an advanced standpoint -- Event detection for ODES and nonrecursive hierarchies -- Rediscovering pushdown machines -- String matching algorithms and automata -- Classifying regular languages by their syntactic algebras -- On polynomial matrix equations XT=p(X) and X=p(X) Where all parameters are nonnegative -- Gram's equation — A probabilistic proof. |
Record Nr. | UNISA-996466268803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|