A SIMULATION ALGORITHM FOR MULTIENVIRNMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION (Englisch)
- Neue Suche nach: Martinez-Del-Amor, M.A.
- Neue Suche nach: Perez-Hurtado, I.
- Neue Suche nach: Perez-Jimenez, M.J.
- Neue Suche nach: Riscos-Nunez, A.
- Neue Suche nach: Sancho-Caparrini, F.
- Neue Suche nach: Martinez-Del-Amor, M.A.
- Neue Suche nach: Perez-Hurtado, I.
- Neue Suche nach: Perez-Jimenez, M.J.
- Neue Suche nach: Riscos-Nunez, A.
- Neue Suche nach: Sancho-Caparrini, F.
In:
Special Issue - Natural Computing: Theory and Applications
1
;
107-118
;
2011
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:A SIMULATION ALGORITHM FOR MULTIENVIRNMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION
-
Beteiligte:Martinez-Del-Amor, M.A. ( Autor:in ) / Perez-Hurtado, I. ( Autor:in ) / Perez-Jimenez, M.J. ( Autor:in ) / Riscos-Nunez, A. ( Autor:in ) / Sancho-Caparrini, F. ( Autor:in )
-
Erschienen in:INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE ; 22, 1 ; 107-118
-
Verlag:
- Neue Suche nach: WORLD SCIENTIFIC
-
Erscheinungsdatum:01.01.2011
-
Format / Umfang:12 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 004
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 004 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 22, Ausgabe 1
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
PREFACE: Special Issue - Natural Computing: Theory and ApplicationsFreund, R. / Gheorghe, M. / Marcus, S. / Mitrana, V. / Perez-Jimenez, M.J. et al. | 2011
- 1
-
PREFACEFREUND, RUDOLF et al. | 2011
- 7
-
ON STRONG REVERSIBILITY IN P SYSTEMS AND RELATED PROBLEMSIBARRA, OSCAR H. et al. | 2011
- 15
-
ON STRING LANGUAGES GENERATED BY SPIKING NEURAL P SYSTEMS WITH ANTI-SPIKESKRITHIVASAN, KAMALA et al. | 2011
- 29
-
COMPUTATION OF RAMSEY NUMBERS BY P SYSTEMS WITH ACTIVE MEMBRANESPAN, LINQIANG et al. | 2011
- 39
-
P SYSEMS WITH PROTEINS ON MEMBRANES: A SURVEYPaun, A. / Paun, M. / Rodriguez-Paton, A. / Sidoroff, M. et al. | 2011
- 39
-
P SYSTEMS WITH PROTEINS ON MEMBRANES: A SURVEYPUN, ANDREI et al. | 2011
- 55
-
ON A PARTIAL AFFIRMATIVE ANSWER FOR A PAUN'S CONJECTUREPerez-Hurtado, I. / Perez-Jimenez, M.J. / Riscos-Nunez, A. / Gutierrez-Naranjo, M.A. / Rius-Font, M. et al. | 2011
- 55
-
ON A PARTIAL AFFIRMATIVE ANSWER FOR A PUN'S CONJECTUREPREZ-HURTADO, IGNACIO et al. | 2011
- 65
-
P SYSTEMS WITH ACTIVE MEMBRANES WORKING IN POLYNOMIAL SPACEPORRECA, ANTONIO E. et al. | 2011
- 75
-
ON THE POWER OF FAMILIES OF RECOGNIZER SPIKING NEURAL P SYSTEMSSOSK, PETR et al. | 2011
- 89
-
MODELING DIFFUSION IN A SIGNAL TRANSDUCTION PATHWAY: THE USE OF VIRTUAL VOLUMES IN P SYSTEMSBESOZZI, DANIELA et al. | 2011
- 97
-
LOG-GAIN STOICHIOMETRIC STEPWISE REGRESSION FOR MP SYSTEMSMANCA, VINCENZO et al. | 2011
- 107
-
A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATIONMARTNEZ-DEL-AMOR, M. A. et al. | 2011
- 107
-
A SIMULATION ALGORITHM FOR MULTIENVIRNMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATIONMartinez-Del-Amor, M.A. / Perez-Hurtado, I. / Perez-Jimenez, M.J. / Riscos-Nunez, A. / Sancho-Caparrini, F. et al. | 2011
- 119
-
AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTINGBARBUTI, ROBERTO et al. | 2011
- 133
-
FORMAL VERIFICATION OF P SYSTEMS USING SPINIPATE, FLORENTIN et al. | 2011
- 143
-
SMALL UNIVERSAL TVDH AND TEST TUBE SYSTEMSALHAZOV, ARTIOM et al. | 2011
- 155
-
FILTER POSITION IN NETWORKS OF SUBSTITUTION PROCESSORS DOES NOT MATTERMONTORO, FERNANDO ARROYO et al. | 2011
- 167
-
FUNCTIONS DEFINED BY REACTION SYSTEMSEHRENFEUCHT, ANDRZEJ et al. | 2011
- 179
-
P SYSTEMS AND TOPOLOGY: SOME SUGGESTIONS FOR RESEARCHFRISCO, PIERLUIGI et al. | 2011
- 191
-
AN OBSERVER-BASED DE-QUANTISATION OF DEUTSCH'S ALGORITHMCALUDE, CRISTIAN S. et al. | 2011
- 203
-
PC GRAMMAR SYSTEMS WITH CLUSTERS OF COMPONENTSCSUHAJ-VARJ, ERZSBET et al. | 2011
- 213
-
ORTHOGONAL SHUFFLE ON TRAJECTORIESDALEY, MARK et al. | 2011
- 223
-
ON THE NUMBER OF ACTIVE SYMBOLS IN LINDENMAYER SYSTEMSDASSOW, JRGEN et al. | 2011
- 237
-
POSITIONED AGENTS IN ECO-GRAMMAR SYSTEMSLANGER, MIROSLAV et al. | 2011
- 247
-
MORPHIC CHARACTERIZATIONS OF LANGUAGE FAMILIES IN TERMS OF INSERTION SYSTEMS AND STAR LANGUAGESOKUBO, FUMIYA et al. | 2011
- 261
-
POWER SUMS ASSOCIATED WITH CERTAIN RECURSIVE PROCEDURES ON WORDSSALOMAA, ARTO et al. | 2011
- 273
-
ERRATUM: "PARIKH MATRIX MAPPING AND LANGUAGES"ATANASIU, RADU-FLORIAN et al. | 2011