Titlebook: Membrane Computing; 11th International C Marian Gheorghe,Thomas Hinze,Arto Salomaa Conference proceedings 2011 Springer Berlin Heidelberg 2

本義

書目名稱Membrane Computing影響因子(影響力)




書目名稱Membrane Computing影響因子(影響力)學(xué)科排名




書目名稱Membrane Computing網(wǎng)絡(luò)公開度




書目名稱Membrane Computing網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Membrane Computing被引頻次




書目名稱Membrane Computing被引頻次學(xué)科排名




書目名稱Membrane Computing年度引用




書目名稱Membrane Computing年度引用學(xué)科排名




書目名稱Membrane Computing讀者反饋




書目名稱Membrane Computing讀者反饋學(xué)科排名

Ancillary

MUTED

Polymorphic P Systems the rules of every region are defined by the contents of interior regions, rather than being explicitly specified in the description of the system. This idea is inspired by the von Neumann’s concept of “program is data” and also related to the research direction proposed by Gh. P?un about the cell nucleus.

Efflorescent

Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodingstems working in accepting mode with that of membrane systems working in generating mode. Features like determinism, presence of promoters and of cooperative rules are considered. The comparison between some of the considered classes of membrane systems is carried out by defining encodings of one class into another.

侵害

嚴(yán)重傷害

暖昧關(guān)系

GENRE

An Integrated Approach to P Systems Formal Verificationchecker, against a Kripke structure representation. The method is applied to a basic class of P systems with transformation and communication rules using either maximal parallelism or asynchronous rewriting strategy and for a special variant of P systems with electrical charges, but without active membranes.

從容

978-3-642-18122-1Springer Berlin Heidelberg 2011

Bother

Membrane Computing978-3-642-18123-8Series ISSN 0302-9743 Series E-ISSN 1611-3349