• Ponencia
      Icon

      Solving SAT with Antimatter in Membrane Computing 

      Díaz Pernil, Daniel; Alhazov, Artiom; Freund, Rudolf; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2015)
      The set of NP-complete problems is split into weakly and strongly NP- complete ones. The di erence consists in the in uence ...
    • Ponencia
      Icon

      Solving SAT with membrane creation 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (University of Amsterdam, 2005)
      Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ...
    • Ponencia
      Icon

      Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2007)
      Tissue P systems with cell division is a computing model in the framework of Membrane Computing based on intercellular ...
    • Ponencia
      Icon

      Solving Sudoku with Membrane Computing 

      Díaz Pernil, Daniel; Fernández Márquez, Carlos M.; García Quismondo, Manuel; Gutiérrez Naranjo, Miguel Ángel; Martínez del Amor, Miguel Ángel (IEEE Computer Society, 2010)
      Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple ...
    • Ponencia
      Icon

      Solving the 3-COL Problem by Using Tissue P Systems without Environment and Proteins on Cells 

      Díaz Pernil, Daniel; Christinal, Hepzibah A.; Gutiérrez Naranjo, Miguel Ángel (Fénix, 2016)
      The 3-COL problem consists on deciding if the regions of a map can be coloured with only three colors bearing in mind ...
    • Ponencia
      Icon

      Solving the Bin-Packing Problem by Means of Tissue P System with 2-Division 

      Christinal, Hepzibah A.; John, Rose Rani; Chandy, D. Abraham; Gutiérrez Naranjo, Miguel Ángel (Springer, 2017)
      The ability of tissue P systems with 2-division for solving NP problems in polynomial time is well-known and many solutions ...
    • Ponencia
      Icon

      Solving the BINPACKING Problem by Recognizer P Systems with Active Membranes 

      Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Fénix Editora, 2004)
      In this paper we present an e®ective solution to the BINPACKING problem using a family of recognizer P systems with active ...
    • Ponencia
      Icon

      Solving the feasibility problem in robotic motion planning by means of Enzymatic Numerical P systems 

      Pérez Hurtado de Mendoza, Ignacio; Martínez del Amor, Miguel Ángel; Zhang, Gexiang; Neri, Ferrante; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2019)
      Solving the feasibility problem in robotic motion planning means to find feasible trajectories for specific mobile robots ...
    • Ponencia
      Icon

      Solving the Independent Set problem by using tissue-like P systems with cell division 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2009)
      Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing inspired by the ...
    • Ponencia
      Icon

      Solving the N-Queens Puzzle with P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009)
      The N-queens puzzle consists on placing N queens on an N x Ngrid in such way that no two queens are on the same row, ...
    • Ponencia
      Icon

      Solving the Partition Problem by Using Tissue-like P Systems with Cell Division 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2008)
      Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing that shares with the ...
    • Ponencia
      Icon

      Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques 

      Gazdag, Zsolt; Gutiérrez Naranjo, Miguel Ángel (Springer, 2014)
      In Membrane Computing, the solution of a decision problem X belonging to the complexity class P via a polynomially uniform ...
    • Ponencia
      Icon

      Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques 

      Gazdag, Zsolt; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2014)
      In Membrane Computing, the solution of a decision problem X belonging to the complexity class P via a polynomially uniform ...
    • Ponencia
      Icon

      Some Notes on (Mem)Brane Computation 

      Busi, Nadia; Gutiérrez Naranjo, Miguel Ángel (Springer, 2006)
      Membrane Computing and Brane Calculi are two recent computational paradigms in the framework of Natural Computing. They ...
    • Ponencia
      Icon

      Some Open Problems about Numerical P Systems 

      Paun, Gheorghe (Fénix Editora, 2013)
      Some open problems and research topics related to numerical P systems are formulated { also recalling the problems from the corresponding section of the \mega- paper produced for the previous BWMC
    • Ponencia
      Icon

      Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts 

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús; Tomescu, Alexandru Ioan (Österreichische Computer Gesellschaft Komitee für Öffentlichkeitsarbeit, 2008)
      The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold ...
    • Ponencia
      Icon

      Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts 

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús; Tomescu, Alexandru Ioan (Fénix Editora, 2008)
      The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold ...
    • Ponencia
      Icon

      Sparse-matrix Representation of Spiking Neural P Systems for GPUs 

      Martínez del Amor, Miguel Ángel; Orellana Martín, David; Cabarle, Francis George C.; Pérez Jiménez, Mario de Jesús; Adorna, Henry N. (Fenix Editora, 2017)
      Current parallel simulation algorithms for Spiking Neural P (SNP) systems are based on a matrix representation. This helps ...
    • Ponencia
      Icon

      Specifying and Verifying Meta-Security by Means of Semantic Web Methods 

      Borrego Díaz, Joaquín; Chávez González, Antonia María; Pro Martín, José Luis; Matos Arana, Virginia (Springer, 2014)
      In order to achieve a systematic treatment of security protocols, organizations release a number of technical briefings ...
    • Ponencia
      Icon

      Spiking Neural dP Systems 

      Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Fénix Editora, 2011)
      We bring together two topics recently introduced in membrane computing, the much investigated spiking neural P systems ...