Listar BWMC2014. Brainstorming Week on Membrane Computing (12th. 2014. Sevilla) por título 

Listar BWMC2014. Brainstorming Week on Membrane Computing (12th. 2014. Sevilla) por título

Mostrando ítems 3-22 de 26

    • Ponencia
      Icon

      Constant-Space P Systems with Active Membranes 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2014)
      We continue the investigation of the computational power of space- constrained P systems. We show that only a constant ...
    • Ponencia
      Icon

      Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example 

      Konur, Savas; Gheorgue, Marian; Dragomir, Ciprian; Ipate, Florentin; Krasnogor, Natalio (Fénix Editora, 2014)
      As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal veri ...
    • Ponencia
      Icon

      Describing Membrane Computations with a Chemical Calculus 

      Battyányi, Péter; Vaszil, György (Fénix Editora, 2014)
      Membrane systems are nature motivated computational models inspired by certain basic features of biological cells and ...
    • Ponencia
      Icon

      Extending SNP Systems Asynchronous Simulation Modes in P-Lingua 

      Macías Ramos, Luis Felipe; Song, Tao; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014)
      Spiking neural P systems (SN P systems for short) is a developing field within the P systems world. Inspired by the ...
    • Ponencia
      Icon

      Four (Somewhat Nonstandard) Research Topics 

      Paun, Gheorghe (Fénix Editora, 2014)
      Four research directions are suggested, dealing with the following four main ideas: computing along the axon (up to now, ...
    • Ponencia
      Icon

      Length P Systems with a Lone Traveler 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Fénix Editora, 2014)
      In this paper we consider P systems with linear membrane structures (only one membrane is elementary) with at most one ...
    • Ponencia
      Icon

      Life-Death Ratio Approach by a Multiset-Based Type System 

      Aman, Bogdan; Ciobanu, Gabriel (Fénix Editora, 2014)
      We introduce and study a multiset-based type system with ratio thresholds motivated by an important regulatory mechanism ...
    • Ponencia
      Icon

      Matter and Anti-Matter in Membrane Systems 

      Alhazov, Artiom; Aman, Bogdan; Freund, Rudolf; Paun, Gheorghe (Fénix Editora, 2014)
      The concept of a matter object being annihilated when meeting its corresponding anti-matter object is investigated in the ...
    • Ponencia
      Icon

      Membrane Clustering: A Novel Clustering Algorithm under Membrane Computing 

      Peng, Hong; Zhang, Jiarong; Wang, Jun; Wang, Tao; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2014)
      Membrane computing (known as P systems) is a class of distributed parallel computing models, this paper presents a novel ...
    • Ponencia
      Icon

      On Parallel Array P Systems 

      Pan, Linqiang; Paun, Gheorghe (Fénix Editora, 2014)
      We further investigate the parallel array P systems recently introduced by K.G. Subramanian, P. Isawasan, I. Venkat, and ...
    • Ponencia
      Icon

      P Colony Robot Controller 

      Langer, Miroslav; Cienciala, Ludek; Ciencialová, Lucie; Perdek, Michal; Smolka, Vladimír (Fénix Editora, 2014)
      P colonies were introduced in 2004 (see [7]) as an abstract computing device composed of independent single membrane ...
    • Ponencia
      Icon

      P Systems with Anti-Matter 

      Freund, Rudolf; Paun, Gheorghe (Fénix Editora, 2014)
      After a short introduction to the area of membrane computing (a branch of natural computing), we introduce the concept ...
    • Ponencia
      Icon

      Priorities, Promoters and Inhibitors in Deterministic Non-Cooperative P Systems 

      Alhazov, Artiom; Freund, Rudolf (Fénix Editora, 2014)
      Membrane systems (with symbol objects) are distributed controlled multiset processing systems. Non-cooperative P systems ...
    • Ponencia
      Icon

      Probabilistic Guarded P Systems, A Formal Definition 

      García Quismondo, Manuel; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014)
      In this paper, we extend the general framework of Multienvironment P systems, which is a formal framework for modelling ...
    • Ponencia
      Icon

      Red-Green P Automata 

      Aman, Bogdan; Csuhaj Varjú, Erzsébet; Freund, Rudolf (Fénix Editora, 2014)
      In this short note we extend the notion of red-green Turing machines to speci c variants of P automata. Acceptance and ...
    • Ponencia
      Icon

      Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era 

      Orellana Martín, David; Graciani Díaz, Carmen; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Valencia Cabrera, Luis (Fénix Editora, 2014)
      Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the ...
    • Ponencia
      Icon

      Scalable Grid-Based Implementation for Membrane Computing 

      Ciobanu, Gabriel (Fénix Editora, 2014)
      We first present the formal semantics of a parallel rule-based formalism inspired by biological cells, and then provide ...
    • Ponencia
      Icon

      Self-constructing Recognizer P Systems 

      Díaz Pernil, Daniel; Peña Cantillana, Francisco; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2014)
      Usually, the changes produced in the membrane structure of a P system are considered side effects. The output of the ...
    • Ponencia
      Icon

      Solving SAT with Active Membranes and Pre-Computed Initial Con gurations 

      Aman, Bogdan; Ciobanu, Gabriel (Fénix Editora, 2014)
      In this paper we provide algorithms for solving the SAT problem using P systems with active membranes with neither ...
    • 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 ...