Search: Fontainebleau, France | Research Group on Natural Computing

Search: Fontainebleau, France

5 results

Results

A P-Lingua based Simulator for Spiking Neural P Systems

Thu, 09/01/2011 - 16:08 — manu

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. (2011). A P-Lingua based Simulator for Spiking Neural P Systems. Proceedings of the 12th International Conference on Membrane Computing (CMC12). 323-346.

Proceedings of the 12th International Conference on Membrane Computing (CMC12)

Thu, 09/01/2011 - 15:56 — manu

Gheorghe, M., Paun G., & Verlan S. (2011). Proceedings of the 12th International Conference on Membrane Computing (CMC12). 12th International Conference on Membrane Computing (CMC12). vi + 511.

Proceedings of the 12th International Conference on Membrane Computing (CMC12). Preface

Thu, 09/01/2011 - 15:58 — manu

Gheorghe, M., Paun G., & Verlan S. (2011). Proceedings of the 12th International Conference on Membrane Computing (CMC12). Preface. Proceedings of the 12th International Conference on Membrane Computing (CMC12). i-iii.

A Spiking Neural P system simulator based on CUDA

Thu, 09/01/2011 - 16:00 — manu

Cabarle, F., Adorna H., & Martínez-del-Amor M. A. (2011). A Spiking Neural P system simulator based on CUDA. 12th International Conference on Membrane Computing (CMC12). 77-92.

Formal Verication of P Systems with Active Membranes through Model Checking

Thu, 09/01/2011 - 16:05 — manu

Ipate, F., Lefticaru R., Pérez-Hurtado I., Pérez-Jiménez M. J., & Tudose C. (2011). Formal Verication of P Systems with Active Membranes through Model Checking. 12th International Conference on Membrane Computing (CMC12). 241-252.