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 : 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 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. NYU-004627792
[CMC (Conference : Membrane computing) (13th : 2012 : Budapest, Hungary)]  
Materiale a stampa
Lo trovi qui: New York University
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
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. STANFORD-a10092651
[CMC (Conference : Membrane computing) (13th : 2012 : Budapest, Hungary)]  
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.
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
Membrane computing : International Workshop, WMC ... : revised papers
Membrane computing : International Workshop, WMC ... : revised papers
Creatore [WMC.]
Estensione v. : ill. ; 24 cm.
Accesso ente SpringerLink (Online service)
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UMICH-005030529
[WMC.]  
Materiale a stampa
Lo trovi qui: University of Michigan Ann Arbor
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.
Accesso persona Gheorghe, Marian, 1953-editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319143705
3319143700
3319143697
9783319143699
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11090905
[CMC (Conference : Membrane computing) (15th : 2014 : Prague, Czech Republic)]  
Materiale a stampa
Lo trovi qui: University of Chicago
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
Accesso convegno CMC (Conference : Molecular computers)
ISBN 9783642542398 (electronic bk.)
3642542395 (electronic bk.)
9783642542381
3642542387
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-6596444
[CMC (Conference : Membrane computing) (14th : 2013 : Chişinău, Moldova)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Membrane computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised selected papers / Marian Gheorghe [and others] (eds.).
Membrane computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised selected papers / Marian Gheorghe [and others] (eds.).
Creatore [CMC (Conference : Membrane computing) (12th : 2011 : Fontainebleau, France)]
Estensione 1 online resource (viii, 370 pages).
Disciplina 003/.5
Accesso persona Gheorghe, Marian, 1953-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer simulation
Bioinformatics
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Simulation and Modeling
Computational Biology/Bioinformatics
Software Engineering/Programming and Operating Systems
ISBN 9783642280245
3642280242
9783642280238
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004373756
[CMC (Conference : Membrane computing) (12th : 2011 : Fontainebleau, France)]  
Materiale a stampa
Lo trovi qui: New York University
Membrane computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised selected papers / Marian Gheorghe [and others] (eds.).
Membrane computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised selected papers / Marian Gheorghe [and others] (eds.).
Creatore [CMC (Conference : Membrane computing) (12th : 2011 : Fontainebleau, France)]
Estensione 1 online resource (viii, 370 pages).
Disciplina 003/.5
Accesso persona Gheorghe, Marian, 1953-
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer simulation
Bioinformatics
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Simulation and Modeling
Computational Biology/Bioinformatics
Software Engineering/Programming and Operating Systems
ISBN 9783642280245
3642280242
9783642280238
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9518631
[CMC (Conference : Membrane computing) (12th : 2011 : Fontainebleau, France)]  
Materiale a stampa
Lo trovi qui: Stanford University
Membrane computing : 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised selected papers / Thomas Hinze, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron (eds.).
Membrane computing : 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised selected papers / Thomas Hinze, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron (eds.).
Creatore [CMC (Conference : Membrane computing) (19th : 2018 : Dresden, Germany)]
Estensione 1 online resource (xvi, 275 pages) : illustrations (some color)
Disciplina 006.3/842
Accesso persona Hinze, Thomas, editor
Rozenberg, Grzegorz, editor
Salomaa, Arto, editor
Zandron, Claudio, editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783030127978
3030127974
3030127966
9783030127961
9783030127985
3030127982
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers.- Impacts of Membrane Computing on Theoretical Computer Science.- Time and Space Complexity of P Systems -- And Why They Matter.- A Brute-Force Solution to the 27-Queens Puzzle Using a Distributed Computation.- Regular Papers.-Tissue P Systems with Point Mutation Rules.- Adaptive P Systems.- Chain Code P System Generating a Variant of the Peano Space-filling Curve.- APCol Systems with Agent Creation.- APCol Systems with Verifier Agents.- A Semantic Investigation of Spiking Neural P Systems.- Towards Automated Analysis of Belousov-Zhabotinsky Reactions in a Petri Dish by Membrane Computing using Optic Flow.- Testing Identifiable Kernel P Systems using an X-machine Approach.- Actor-like cP Systems.- Solving QSAT in Sublinear Depth.- Design of specific P systems simulators on GPUs.- Construction of Stable and Lightweight Technical Structures Inspired by Ossification of Bones using Osteogenetic P Systems.- On Small Universality of Spiking Neural P Systems with Multiple Channels.- Modeling Plant Development with M Systems.- An Improved Quicksort Algorithm Based on Tissue-Like P Systems with Promoters.
Record Nr. NYU-006920810
[CMC (Conference : Membrane computing) (19th : 2018 : Dresden, Germany)]  
Materiale a stampa
Lo trovi qui: New York University