| 000 | 05294nam a22006135i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-11467-0 | ||
| 003 | DE-He213 | ||
| 005 | 20240423125852.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2010 gw | s |||| 0|eng d | ||
| 020 |
_a9783642114670 _9978-3-642-11467-0 |
||
| 024 | 7 |
_a10.1007/978-3-642-11467-0 _2doi |
|
| 050 | 4 | _aQA75.5-76.95 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 072 | 7 |
_aUYA _2thema |
|
| 082 | 0 | 4 |
_a004.0151 _223 |
| 245 | 1 | 0 |
_aMembrane Computing _h[electronic resource] : _b10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / _cedited by Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg, Arto Salomaa. |
| 250 | _a1st ed. 2010. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2010. |
|
| 300 |
_aIX, 487 p. 86 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v5957 |
|
| 505 | 0 | _aInvited 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 EfficientSimulation of Polynomial-Space Turing Machines by P Systems with Active Membranes -- Look-Ahead Evolution for P Systems. | |
| 520 | _aThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Membrane Computing, WMC 2009, held in Curtea de Arges, Romania, during August 24 to 27, 2009 under the auspices of the European Molecular Computing Consortium (EMCC) and the Molecular Computing Task Force of IEEE Computational Intelligence Society. The 22 revised full papers presented together with 10 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science to application issues; the invited lectures present fundamental contributions to membrane computing; thus highlighting important directions of current research in this area. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aMachine theory. | |
| 650 | 0 | _aComputer simulation. | |
| 650 | 0 | _aBioinformatics. | |
| 650 | 1 | 4 | _aTheory of Computation. |
| 650 | 2 | 4 | _aFormal Languages and Automata Theory. |
| 650 | 2 | 4 | _aComputer Modelling. |
| 650 | 2 | 4 | _aComputational and Systems Biology. |
| 700 | 1 |
_aPaun, Gheorghe. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aPerez-Jimenez, Mario J. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aRiscos-Nunez, Agustin. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aRozenberg, Grzegorz. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aSalomaa, Arto. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642114663 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642114687 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v5957 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-11467-0 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c182555 _d182555 |
||