Search | Research Group on Natural Computing

Search

Results 511 - 520 of 1207

Results

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.

Simulating large-scale ENPS models by means of GPU

Fri, 05/25/2012 - 10:13 — manu

García-Quismondo, M., Pavel A. B., & Pérez-Jiménez M. J. (2012). Simulating large-scale ENPS models by means of GPU. Tenth Brainstorming Week on Membrane Computing. I, 137-152.

The efficiency of tissue P systems with cell separation relies on the environment

Tue, 09/25/2012 - 10:09 — mmartinez

Macías-Ramos, L. F., Pérez-Jiménez M. J., Riscos-Núñez A., Rius-Font M., & Valencia-Cabrera L. (2012). The efficiency of tissue P systems with cell separation relies on the environment. 13th International Conference on Membrane Computing (CMC13). 277-290.

Simulating a Family of Tissue P Systems Solving SAT on the GPU

Thu, 08/01/2013 - 15:07 — manu

Martínez-del-Amor, M. A., Pérez-Carrasco J., & Pérez-Jiménez M. J. (2013). Simulating a Family of Tissue P Systems Solving SAT on the GPU. Eleventh Brainstorming Week on Membrane Computing (11BWMC). 201-220.

Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques

Sat, 08/30/2014 - 13:11 — mmartinez

Gazdag, Z., & Gutiérrez-Naranjo M. A. (2014). Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques. Twelfth Brainstorming Week on Membrane Computing (BWMC2014). 207-220.

Decision Tree Models Induced by Membrane Systems

Thu, 03/17/2016 - 17:11 — manu

Peng, H., Wang J., Pérez-Jiménez M. J., Riscos-Núñez A., Xiao J., & Zhang G. (2015). Decision Tree Models Induced by Membrane Systems. Workshop on Membrane Computing 2015 (WMC2015), Satellite workshop of UCNC2015. 107-116.

Proceedings of the Fourteenth Brainstorming Week on Membrane Computing

Tue, 02/14/2017 - 10:21 — dorellana

Graciani-Díaz, C., Orellana-Martín D., Riscos-Núñez A., Romero-Jiménez Á., & Valencia-Cabrera L. (2016). Proceedings of the Fourteenth Brainstorming Week on Membrane Computing. Fourteenth Brainstorming Week on Membrane Computing. xi+362.

Counting Membrane Systems

Thu, 02/08/2018 - 12:52 — dorellana

Valencia-Cabrera, L., Orellana-Martín D., Riscos-Núñez A., & Pérez-Jiménez M. J. (2017). Counting Membrane Systems. Eighteenth International Conference on Membrane Computing (CMC18). 359-372.

Interval-valued fuzzy spiking neural P systems for fault diagnosis of power transmission networks

Mon, 10/21/2019 - 18:10 — mmartinez

Wang, J., Peng H., Yu W., Ming J., Pérez-Jiménez M. J., Tao C., et al. (2019). Interval-valued fuzzy spiking neural P systems for fault diagnosis of power transmission networks. Engineering Applications of Artificial Intelligence. 82, 102 - 109.

A weighted corrective fuzzy reasoning spiking neural P system for fault diagnosis in power systems with variable topologies

Sun, 05/17/2020 - 12:31 — mmartinez

Wang, T., Wei X., Wang J., Huang T., Peng H., Song X., et al. (2020). A weighted corrective fuzzy reasoning spiking neural P system for fault diagnosis in power systems with variable topologies. Engineering Applications of Artificial Intelligence. 92, 103680.