13th International Conference on Membrane Computing - MTA Sztaki

More documents

Recommendations

Info

L.F. Macías-Ramos, M.J. Pérez-Jiménez 2. Binder, A., Freund, R., Oswald, M., Vock, L.: Extended spiking neural P Systems with excitatory and inhibitory astrocytes. In: Proceedings of the 8th <strong>Conference</strong> on 8th WSEAS <strong>International</strong> <strong>Conference</strong> on Evolutionary Computing - Volume 8. pp. 320–325. EC’07, World Scientific and Engineering Academy and Society (WSEAS), Stevens Point, Wisconsin, USA (2007), http://dl.acm.org/citation.cfm?id=1347992.1348008 3. Chen, H., Freund, R., Ionescu, M., Păun, G., Pérez-Jiménez, M.J.: On string languages generated by spiking neural P Systems. Fundam. Inform. 75(1-4), 141– 162 (2007) 4. Chen, H., Ionescu, M., Isdorj, T.O.: On the efficiency of spiking neural P Systems. In: Proceedings of the 8th <strong>International</strong> <strong>Conference</strong> on Electronics, Information, and Communication, Ulanbator, Mongolia. pp. 49–52 (06 2006) 5. Chen, H., Ionescu, M., Ishdorj, T.O., Păun, A., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P Systems with extended rules: universality and languages. Natural Computing 7(2), 147–166 (2008) 6. Congrace Developer Team: The exp4j website. http://projects.congrace.de/exp4j/ 7. Díaz-Pernil, D., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: A p- lingua programming environment for membrane computing. In: Corne, D.W., Frisco, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) Workshop on Membrane Computing. Lecture Notes in Computer Science, vol. 5391, pp. 187–203. Springer (2008) 8. García-Quismondo, M., Gutiérrez-Escudero, R., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: An overview of p-lingua 2.0. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.) Workshop on Membrane Computing. Lecture Notes in Computer Science, vol. 5957, pp. 264–288. Springer (2009) 9. Haydon, P.G.: Glia: listening and talking to the synapse. Nature Reviews Neuroscience 2(3), 185–193 (2001) 10. Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P Systems. Fundam. Inform. 71(2-3), 279–308 (2006) 11. Macías-Ramos, L.F., Pérez-Hurtado, I., García-Quismondo, M., Valencia-Cabrera, L., Pérez-Jiménez, M.J., Riscos-Núñez, A.: A p-lingua based simulator for spiking neural P Systems. In: Gheorghe, M., Păun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) Int. Conf. on Membrane Computing. Lecture Notes in Computer Science, vol. 7184, pp. 257–281. Springer (2011) 12. Pan, L., Păun, G.: Spiking neural P Systems with anti-spikes. <strong>International</strong> Journal of Computers, Communications and Control IV, 273–282 (09 2009), http://www.journal.univagora.ro/?page=article details&id=372 13. Pan, L., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P Systems with neuron division and budding. Science China Information Sciences 54(8), 1596–1607 (2011) 14. Pan, L., Wang, J., Hoogeboom, H.J.: Asynchronous extended spiking neural P Systems with astrocytes. In: Proceedings of the 12th international conference on Membrane Computing. pp. 243–256. CMC’11, Springer-Verlag, Berlin, Heidelberg (2012), http://dx.doi.org/10.1007/978-3-642-28024-5 17 15. Păun, A., Păun, G.: Small universal spiking neural P Systems. Biosystems 90(1), 48–60 (2007) 16. Păun, G.: Computing with membranes (P Systems): An introduction. In: Current Trends in Theoretical Computer Science, pp. 845–866 (2001) 17. Păun, G.: Spiking neural P Systems with astrocyte-like control. J. UCS 13(11), 1707–1721 (2007) 274
Spiking neural P systems with functional astrocytes 18. Păun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press, Inc., New York, NY, USA (2010) 19. Research Group on Natural Computing, University of Seville: The p–lingua website. http://www.p-lingua.org 20. Wang, J., Hoogeboom, H.J., Pan, L., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P Systems with weights. Neural Comput. 22(10), 2615–2646, http://dx.doi.org/10.1162/NECO a 00022 275
Page 1:
Erzsébet Csuhaj-Varjú Marian Gheo
Page 4 and 5:
Editors Erzsébet Csuhaj-Varjú Dep
Page 6 and 7:
Preface In addition to the texts or
Page 8 and 9:
Contents M.A. Martínez-del-Amor, I
Page 11 and 12:
13th Inter
Page 13 and 14:
(Tissue) P systems with decaying ob
Page 15 and 16:
Page 17 and 18:
Page 19 and 20:
Page 21 and 22:
Page 23 and 24:
Page 25 and 26:
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
Page 35:
Page 38 and 39:
Sorin Istrail, Solomon Marcus of pr
Page 40 and 41:
Sorin Istrail, Solomon Marcus proba
Page 42 and 43:
Sorin Istrail, Solomon Marcus stati
Page 44 and 45:
Sorin Istrail, Solomon Marcus 4.
Page 46 and 47:
Sorin Istrail, Solomon Marcus his f
Page 49 and 50:
13th Inter
Page 51 and 52:
Turing’s three pioneering initiat
Page 53 and 54:
Turing’s three pioneering initiat
Page 55 and 56:
13th Inter
Page 57:
MP systems for systems biology tere
Page 60 and 61:
Yu. Rogozhin this obstacle and to g
Page 62 and 63:
Yu. Rogozhin 10. J. Cocke, M. Minsk
Page 64 and 65:
M. Stannett The question arises, wh
Page 67:
Regular Contributions
Page 70 and 71:
T. Ahmed, G. DeLancy, A. Paun almos
Page 72 and 73:
T. Ahmed, G. DeLancy, A. Paun purpo
Page 74 and 75:
T. Ahmed, G. DeLancy, A. Paun Fig.
Page 76 and 77:
T. Ahmed, G. DeLancy, A. Paun gener
Page 78 and 79:
T. Ahmed, G. DeLancy, A. Paun
Page 80 and 81:
T. Ahmed, G. DeLancy, A. Paun Table
Page 82 and 83:
T. Ahmed, G. DeLancy, A. Paun 14. H
Page 84 and 85:
T. Ahmed, G. DeLancy, A. Paun 84
Page 87 and 88:
13th Inter
Page 89 and 90:
Asynchronuous and maximally paralle
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97:
Page 100 and 101:
A. Alhazov, R. Freund, H. Heikenwä
Page 102 and 103:
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
A. Alhazov, Yu. Rogozhin With coope
Page 118 and 119:
A. Alhazov, Yu. Rogozhin 2.3 P Syst
Page 120 and 121:
A. Alhazov, Yu. Rogozhin Such a sys
Page 122 and 123:
A. Alhazov, Yu. Rogozhin applied, f
Page 124 and 125:
A. Alhazov, Yu. Rogozhin - one extr
Page 126 and 127:
B. Aman, G. Ciobanu formalisms is e
Page 128 and 129:
B. Aman, G. Ciobanu membranes appea
Page 130 and 131:
B. Aman, G. Ciobanu • [ ] recep r
Page 132 and 133:
B. Aman, G. Ciobanu Definition 3. A
Page 134 and 135:
B. Aman, G. Ciobanu { w i , for all
Page 136 and 137:
B. Aman, G. Ciobanu The four transi
Page 138 and 139:
B. Aman, G. Ciobanu A state space i
Page 140 and 141:
B. Aman, G. Ciobanu to reiterate th
Page 143 and 144:
13th Inter
Page 145 and 146:
On structures and behaviors of spik
Page 147 and 148:
Page 149 and 150:
Page 151 and 152:
Page 153 and 154:
Page 155 and 156:
Page 157 and 158:
Page 159:
Page 162 and 163:
L. Cienciala, L. Ciencialová, M. P
Page 164 and 165:
Page 166 and 167:
Page 168 and 169:
Page 170 and 171:
Page 172 and 173:
H. ElGindy, R. Nicolescu, H. Wu pat
Page 174 and 175:
H. ElGindy, R. Nicolescu, H. Wu pro
Page 176 and 177:
H. ElGindy, R. Nicolescu, H. Wu (b)
Page 178 and 179:
H. ElGindy, R. Nicolescu, H. Wu 8 r
Page 180 and 181:
H. ElGindy, R. Nicolescu, H. Wu Pse
Page 182 and 183:
H. ElGindy, R. Nicolescu, H. Wu to
Page 184 and 185:
H. ElGindy, R. Nicolescu, H. Wu ter
Page 186 and 187:
H. ElGindy, R. Nicolescu, H. Wu 4.
Page 188 and 189:
H. ElGindy, R. Nicolescu, H. Wu Tab
Page 190 and 191:
Page 192 and 193:
H. ElGindy, R. Nicolescu, H. Wu 6 R
Page 194 and 195:
H. ElGindy, R. Nicolescu, H. Wu (wh
Page 196 and 197:
Page 199 and 200:
13th Inter
Page 201 and 202:
A formal framework for P systems wi
Page 203 and 204:
Page 205 and 206:
Page 207 and 208:
Page 209 and 210:
Page 211 and 212:
13th Inter
Page 213 and 214:
A new approach for solving SAT by P
Page 215 and 216:
Page 217 and 218:
Page 219 and 220:
Page 221 and 222:
13th Inter
Page 223 and 224: Maintenance of chronobiological inf
Page 231 and 232: 4 3.5 3 2.5 2 1.5 1 0.5 0 0 50 100
Page 243 and 244: 13th Inter
Page 245 and 246: Using a kernel P system to solve th
Page 261 and 262: Spiking neural P systems with funct
Page 273: Spiking neural P systems with funct
Page 278 and 279: L.F. Macías-Ramos, M.J. Pérez-Jim
Page 292 and 293: M.A. Martínez-del-Amor, I. Pérez-
Page 313 and 314: Membranes with local environments A
Page 315 and 316: Membranes with local environments T
Page 317 and 318: Membranes with local environments -
Page 319 and 320: Membranes with local environments -
Page 321 and 322: Membranes with local environments I
Page 325 and 326:
On efficient algorithms for SAT dis
Page 327 and 328:
On efficient algorithms for SAT 2 S
Page 329 and 330:
On efficient algorithms for SAT 2.4
Page 331 and 332:
On efficient algorithms for SAT inc
Page 333 and 334:
On efficient algorithms for SAT •
Page 335 and 336:
On efficient algorithms for SAT Not
Page 337 and 338:
On efficient algorithms for SAT the
Page 339:
On efficient algorithms for SAT 32.
Page 342 and 343:
A. Obtu̷lowicz - its underlying tr
Page 344 and 345:
A. Obtu̷lowicz 2−ramification
Page 346 and 347:
A. Obtu̷lowicz The correctness of
Page 348 and 349:
A. Obtu̷lowicz The arcs (links) fr
Page 351 and 352:
13th Inter
Page 353 and 354:
An analysis of correlative and quan
Page 355 and 356:
Page 357 and 358:
Page 359 and 360:
Page 361 and 362:
Page 363 and 364:
Page 365 and 366:
Page 367 and 368:
Page 369 and 370:
13th Inter
Page 371 and 372:
Sublinear-space P systems with acti
Page 373 and 374:
Page 375 and 376:
Page 377 and 378:
Page 379 and 380:
Page 381 and 382:
Page 383 and 384:
Page 385 and 386:
13th Inter
Page 387 and 388:
Modelling ecological systems with t
Page 389 and 390:
Page 391 and 392:
Page 393 and 394:
Page 395 and 396:
Page 397 and 398:
Page 399 and 400:
Page 401 and 402:
Page 403 and 404:
Page 405:
Page 408 and 409:
D. Sburlan hence one can gather use
Page 410 and 411:
D. Sburlan represents a 0L system.
Page 412 and 413:
D. Sburlan assuming that M is in a
Page 414 and 415:
D. Sburlan q 1 {t−, T 1 ↓, T 2
Page 416 and 417:
D. Sburlan In case of M, the states
Page 418 and 419:
D. Sburlan We introduced a formal s
Page 420 and 421:
P. Sosík [9, 10], several research
Page 422 and 423:
P. Sosík The rules of a system lik
Page 424 and 425:
P. Sosík 1. The family Π is polyn
Page 426 and 427:
P. Sosík (a) subsequently and recu
Page 428 and 429:
P. Sosík contentFinal = content(l,
Page 430 and 431:
P. Sosík Hence, with the aid of th
Page 432 and 433:
P. Sosík 8. Lakshmanan K. and Rama
Page 434 and 435:
S. Verlan, J. Quiros more relevance
Page 436 and 437:
S. Verlan, J. Quiros For a regular
Page 438 and 439:
S. Verlan, J. Quiros digital FPGA c
Page 440 and 441:
S. Verlan, J. Quiros where k j = N
Page 442 and 443:
S. Verlan, J. Quiros Now let us con
Page 444 and 445:
S. Verlan, J. Quiros We consider a
Page 446 and 447:
S. Verlan, J. Quiros the present co
Page 448 and 449:
S. Verlan, J. Quiros Table 2 gives
Page 450 and 451:
S. Verlan, J. Quiros Using similar
Page 452 and 453:
S. Verlan, J. Quiros 5. M. Maliţa,
Page 455 and 456:
13th Inter
Page 457 and 458:
Simplifying Event-B models of P sys
Page 461:
Author Index Adorna H., 143 Agrigor
show all

13th International Conference on Membrane Computing - MTA Sztaki

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?