top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.).
Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.).
Creatore [CMC (Conference : Membrane computing) (16th : 2015 : Valencia, Spain)]
Estensione 1 online resource.
Disciplina 006.3/842
Accesso persona Rozenberg, Grzegorz, editor
Salomaa, Arto, editor
Sempere, José M., editor.
Zandron, Claudio, editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319284750
3319284754
9783319284743
3319284746
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. NYU-006474232
[CMC (Conference : Membrane computing) (16th : 2015 : Valencia, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.).
Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.).
Creatore [CMC (Conference : Membrane computing) (16th : 2015 : Valencia, Spain)]
Estensione 1 online resource.
Disciplina 006.3/842
Accesso persona Rozenberg, Grzegorz, editor
Salomaa, Arto editor
Sempere, José M., editor
Zandron, Claudio, editor
ISBN 9783319284750
3319284754
9783319284743
3319284746
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. STANFORD-a11583194
[CMC (Conference : Membrane computing) (16th : 2015 : Valencia, Spain)]  
Materiale a stampa
Lo trovi qui: Stanford University
Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.).
Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.).
Creatore [CMC (Conference : Membrane computing) (16th : 2015 : Valencia, Spain)]
Estensione 1 online resource.
Accesso persona Rozenberg, Grzegorz, editor
Salomaa, Arto, editor
Sempere, José M., editor.
Zandron, Claudio, editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319284750
3319284754
9783319284743
3319284746
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. UCHICAGO-11097241
[CMC (Conference : Membrane computing) (16th : 2015 : Valencia, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.).
Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.).
Creatore [CMC (Conference : Membrane computing) (16th : 2015 : Valencia, Spain)]
Estensione 1 online resource.
Disciplina 006.3/842
Accesso persona Rozenberg, Grzegorz, editor
Salomaa, Arto, editor
Sempere, José M., editor.
Zandron, Claudio, editor
ISBN 9783319284750 (e-book)
3319284754 (e-book)
9783319284743 (print)
3319284746 (print)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7311467
[CMC (Conference : Membrane computing) (16th : 2015 : Valencia, Spain)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.).
Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.).
Creatore [CMC (Conference : Membrane computing) (16th : 2015 : Valencia, Spain)]
Estensione 1 online resource.
Disciplina 006.3/842
Accesso persona Rozenberg, Grzegorz, editor
Salomaa, Arto, editor
Sempere, José M., editor.
Zandron, Claudio, editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319284750
3319284754
9783319284743
3319284746
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. NYU-004459606
[CMC (Conference : Membrane computing) (16th : 2015 : Valencia, Spain)]  
Materiale a stampa
Lo trovi qui: New York University