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 : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, revised selected papers / Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa (eds.).
| Membrane computing : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, revised selected papers / Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa (eds.). |
| Creatore | [CMC (Conference : Membrane computing) (14th : 2013 : Chişinău, Moldova)] |
| Estensione | 1 online resource (x, 323 pages) : illustrations. |
| Disciplina | 004.0151 |
| Accesso persona |
Alhazov, Artiom, editor
Cojocaru, Svetlana, editor Gheorghe, Marian, 1953-editor Rogozhin, Yurii, editor Rozenberg, Grzegorz, editor Salomaa, Arto, editor |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
9783642542398
3642542395 9783642542381 3642542387 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | NYU-004444314 |
[CMC (Conference : Membrane computing) (14th : 2013 : Chişinău, Moldova)]
|
|
| 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 |
| 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 [electronic resource] : 11th international conference, CMC 2010, Jena, Germany, August 24-27, 2010 : revised selected papers / Marian Gheorghe [and others] (eds.).
| Membrane computing [electronic resource] : 11th international conference, CMC 2010, Jena, Germany, August 24-27, 2010 : revised selected papers / Marian Gheorghe [and others] (eds.). |
| Creatore | [CMC (Conference : Membrane computing) (11th : 2010 : Jena, Germany)] |
| Estensione | 1 online resource (ix, 391 pages) : illustrations. |
| Disciplina | 004.1015113 |
| Accesso persona | Gheorghe, Marian, 1953- |
| Genere/Forma |
Electronic books
Conference papers and proceedings Kongress |
| ISBN |
9783642181238
3642181236 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | NYU-004367974 |
|
[CMC (Conference : Membrane computing) (11th : 2010 : Jena, Germany)]
|
|
| 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 : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised selected papers / Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron (eds.).
| Membrane computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised selected papers / Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron (eds.). |
| Creatore | [CMC (Conference : Membrane computing) (17th : 2016 : Milan, Italy)] |
| Estensione | 1 online resource (x, 363 pages) : illustrations. |
| Accesso persona |
Leporati, Alberto, editor
Rozenberg, Grzegorz, editor Salomaa, Arto, editor Zandron, Claudio, editor |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
9783319540726
3319540726 9783319540719 3319540718 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-11272065 |
|
[CMC (Conference : Membrane computing) (17th : 2016 : Milan, Italy)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Membrane computing : 11th international conference, CMC 2010, Jena, Germany, August 24-27, 2010 : revised selected papers / Marian Gheorghe [and others] (eds.).
| Membrane computing : 11th international conference, CMC 2010, Jena, Germany, August 24-27, 2010 : revised selected papers / Marian Gheorghe [and others] (eds.). |
| Creatore | [CMC (Conference : Membrane computing) (11th : 2010 : Jena, Germany)] |
| Estensione | 1 online resource (ix, 391 pages) : illustrations. |
| Accesso persona | Gheorghe, Marian, 1953- |
| Genere/Forma |
Electronic books
Conference papers and proceedings Kongress |
| ISBN |
9783642181238
3642181236 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-11075300 |
|
[CMC (Conference : Membrane computing) (11th : 2010 : Jena, Germany)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised selected papers / Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil (eds.).
| Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised selected papers / Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil (eds.). |
| Creatore | [CMC (Conference : Membrane computing) (13th : 2012 : Budapest, Hungary)] |
| Estensione | 1 online resource (xi, 423 pages) : illustrations (black and white). |
| Accesso persona |
Csuhaj-Varjú, E., editor.
Gheorghe, Marian, 1953-editor Rozenberg, Grzegorz, editor Salomaa, Arto, editor Vaszil, György, editor |
| Genere/Forma |
Electronic books
Conference papers and proceedings Congresses |
| Soggetto non controllato |
Computer science
Software engineering Computer software Computer vision Computation by Abstract Devices Algorithm Analysis and Problem Complexity History of Computing Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN |
9783642367519
3642367518 364236750X 9783642367502 |
| Classificazione | 54.10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Invited Papers -- (Tissue) P Systems with Decaying Objects / Rudolf Freund -- Alan Turing and John von Neumann -- Their Brains and Their Computers / Sorin Istrail, Solomon Marcus -- Turing's Three Pioneering Initiatives and Their Interplays / Jozef Kelemen -- An Outline of MP Modeling Framework / Vincenzo Manca -- Turing Computability and Membrane Computing / Yurii Rogozhin, Artiom Alhazov -- Membrane Systems and Hypercomputation / Mike Stannett -- Regular Papers -- A Case-Study on the Influence of Noise to Log-Gain Principles for Flux Dynamic Discovery / Tanvir Ahmed, Garrett DeLancy, Andrei Păun -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN / Artiom Alhazov, Rudolf Freund -- Sequential P Systems with Regular Control / Artiom Alhazov, Rudolf Freund, Hilbert Heikenwälder, Marion Oswald, Yurii Rogozhin.
Mobile Membranes with Objects on Surface as Colored Petri Nets / Bogdan Aman, Gabriel Ciobanu -- On Structures and Behaviors of Spiking Neural P Systems and Petri Nets / Francis George C. Cabarle, Henry N. Adorna -- 2D P Colonies / Luděk Cienciala, Lucie Ciencialová, Michal Perdek -- Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs / Hossam ElGindy, Radu Nicolescu, Huiling Wu -- A New Approach for Solving SAT by P Systems with Active Membranes / Zsolt Gazdag, Gábor Kolonits -- Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency / Thomas Hinze, Benjamin Schell, Mathias Schumann, Christian Bodenstein -- Spiking Neural P Systems with Functional Astrocytes / Luis F. Macías-Ramos, Mario J. Pérez-Jiménez -- The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment / Luis F. Macías-Ramos, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Miquel Rius-Font. DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution / Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Manuel García-Quismondo -- Membranes with Boundaries / Tamás Mihálydeák, Zoltán Ernő Csajbók -- On Efficient Algorithms for SAT / Benedek Nagy Multigraphical Membrane Systems Revisited / Adam Obtułowicz -- An Analysis of Correlative and Static Causality in P Systems / Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu, Vincenzo Manca -- Sublinear-Space P Systems with Active Membranes / Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron -- Modelling Ecological Systems with the Calculus of Wrapped Compartments / Pablo Ramón, Angelo Troina -- Observer/Interpreter P Systems / Dragoş Sburlan -- Limits of the Power of Tissue P Systems with Cell Division / Petr Sosík -- Fast Hardware Implementations of P Systems / Sergey Verlan, Juan Quiros. |
| Record Nr. | UCHICAGO-11078257 |
|
[CMC (Conference : Membrane computing) (13th : 2012 : Budapest, Hungary)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised selected papers / Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil (eds.).
| Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised selected papers / Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil (eds.). |
| Creatore | [CMC (Conference : Membrane computing) (13th : 2012 : Budapest, Hungary)] |
| Estensione | 1 online resource (xi, 423 pages) : illustrations (black and white). |
| Disciplina | 004.1 |
| Accesso persona |
Csuhaj-Varjú, E., editor.
Gheorghe, Marian, 1953-editor Rozenberg, Grzegorz, editor Salomaa, Arto, editor Vaszil, György, editor |
| Genere/Forma |
Congresses
Electronic books Conference papers and proceedings |
| Soggetto non controllato |
Computer science
Software engineering Computer software Computer vision Computation by Abstract Devices Algorithm Analysis and Problem Complexity History of Computing Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN |
9783642367519
3642367518 364236750X 9783642367502 |
| Classificazione | 54.10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Invited Papers -- (Tissue) P Systems with Decaying Objects / Rudolf Freund -- Alan Turing and John von Neumann -- Their Brains and Their Computers / Sorin Istrail, Solomon Marcus -- Turing's Three Pioneering Initiatives and Their Interplays / Jozef Kelemen -- An Outline of MP Modeling Framework / Vincenzo Manca -- Turing Computability and Membrane Computing / Yurii Rogozhin, Artiom Alhazov -- Membrane Systems and Hypercomputation / Mike Stannett -- Regular Papers -- A Case-Study on the Influence of Noise to Log-Gain Principles for Flux Dynamic Discovery / Tanvir Ahmed, Garrett DeLancy, Andrei Păun -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN / Artiom Alhazov, Rudolf Freund -- Sequential P Systems with Regular Control / Artiom Alhazov, Rudolf Freund, Hilbert Heikenwälder, Marion Oswald, Yurii Rogozhin.
Mobile Membranes with Objects on Surface as Colored Petri Nets / Bogdan Aman, Gabriel Ciobanu -- On Structures and Behaviors of Spiking Neural P Systems and Petri Nets / Francis George C. Cabarle, Henry N. Adorna -- 2D P Colonies / Luděk Cienciala, Lucie Ciencialová, Michal Perdek -- Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs / Hossam ElGindy, Radu Nicolescu, Huiling Wu -- A New Approach for Solving SAT by P Systems with Active Membranes / Zsolt Gazdag, Gábor Kolonits -- Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency / Thomas Hinze, Benjamin Schell, Mathias Schumann, Christian Bodenstein -- Spiking Neural P Systems with Functional Astrocytes / Luis F. Macías-Ramos, Mario J. Pérez-Jiménez -- The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment / Luis F. Macías-Ramos, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Miquel Rius-Font. DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution / Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Manuel García-Quismondo -- Membranes with Boundaries / Tamás Mihálydeák, Zoltán Ernő Csajbók -- On Efficient Algorithms for SAT / Benedek Nagy Multigraphical Membrane Systems Revisited / Adam Obtułowicz -- An Analysis of Correlative and Static Causality in P Systems / Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu, Vincenzo Manca -- Sublinear-Space P Systems with Active Membranes / Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron -- Modelling Ecological Systems with the Calculus of Wrapped Compartments / Pablo Ramón, Angelo Troina -- Observer/Interpreter P Systems / Dragoş Sburlan -- Limits of the Power of Tissue P Systems with Cell Division / Petr Sosík -- Fast Hardware Implementations of P Systems / Sergey Verlan, Juan Quiros. |
| Record Nr. | NYU-004390973 |
|
[CMC (Conference : Membrane computing) (13th : 2012 : Budapest, Hungary)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Membrane computing : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, revised selected papers / Marian Gheorghe [and 4 more] (eds.).
| Membrane computing : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, revised selected papers / Marian Gheorghe [and 4 more] (eds.). |
| Creatore | [CMC (Conference : Membrane computing) (15th : 2014 : Prague, Czech Republic)] |
| Estensione | 1 online resource (xix, 397 pages) : illustrations. |
| Disciplina | 004.0151 |
| Accesso persona | Gheorghe, Marian, 1953- editor |
| ISBN |
9783319143705
3319143700 3319143697 9783319143699 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | STANFORD-a10740168 |
|
[CMC (Conference : Membrane computing) (15th : 2014 : Prague, Czech Republic)]
|
|
| Materiale a stampa | |
| Lo trovi qui: Stanford University | |
Membrane computing : 11th international conference, CMC 2010, Jena, Germany, August 24-27, 2010 : revised selected papers / Marian Gheorghe [and others] (eds.).
| Membrane computing : 11th international conference, CMC 2010, Jena, Germany, August 24-27, 2010 : revised selected papers / Marian Gheorghe [and others] (eds.). |
| Creatore | [CMC (Conference : Membrane computing) (11th : 2010 : Jena, Germany)] |
| Estensione | 1 online resource (ix, 391 pages) : illustrations. |
| Disciplina | 004.1015113 |
| Accesso persona | Gheorghe, Marian, 1953- |
| ISBN |
9783642181238
3642181236 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | STANFORD-a9116234 |
|
[CMC (Conference : Membrane computing) (11th : 2010 : Jena, Germany)]
|
|
| Materiale a stampa | |
| Lo trovi qui: Stanford University | |
