Kernel P Systems Modelling, Testing and Verification - Sorting Case Study

Author(s):  
Marian Gheorghe ◽  
Rodica Ceterchi ◽  
Florentin Ipate ◽  
Savas Konur
Keyword(s):  
2019 ◽  
Vol 232 ◽  
pp. 119-130 ◽  
Author(s):  
Tasneem Khaliq ◽  
Donald S. Gaydon ◽  
Mobin-ud-Din Ahmad ◽  
M.J.M. Cheema ◽  
Umair Gull

Biosystems ◽  
2008 ◽  
Vol 91 (3) ◽  
pp. 438-457 ◽  
Author(s):  
Francisco José Romero-Campero ◽  
Mario J. Pérez-Jiménez

Author(s):  
Miguel A. Gutiérrez-Naranjo ◽  
Mario J. Pérez-Jiménez

Local search is currently one of the most used methods for finding solutions in real-life problems. It is usually considered when the research is interested in the final solution of the problem instead of the how the solution is reached. In this paper, the authors present an implementation of local search with Membrane Computing techniques applied to the N-queens problem as a case study. A CLIPS program inspired in the Membrane Computing design has been implemented and several experiments have been performed. The obtained results show better average times than those obtained with other Membrane Computing implementations that solve the N-queens problem.


1995 ◽  
Vol 8 (4) ◽  
pp. 32-36 ◽  
Author(s):  
David A. Corben ◽  
Eric F. Wolstenholme ◽  
Richard W. Stevenson

2012 ◽  
Vol 41 (7) ◽  
pp. 697-711 ◽  
Author(s):  
Shinya Kikuchi ◽  
Nopadon Kronprasert

Author(s):  
Mónica Cardona ◽  
M. Angels Colomer ◽  
Mario J. Pérez-Jiménez ◽  
Delfí Sanuy ◽  
Antoni Margalida
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document