- idUS
- Listar por autor
Listar por autor "Alhazov, Artiom"
Mostrando ítems 41-52 de 52
-
Ponencia
Semilinear Sets, Register Machines, and Integer Vector Addition (P) Systems
Alhazov, Artiom; Belingheri, Omar; Freund, Rudolf; Ivanov, Sergiu; Porreca, Antonio E.; Zandron, Claudio (Fénix, 2016)In this paper we consider P systems working with multisets with integer multiplicities. We focus on a model in which rule ...
-
Ponencia
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
Some open problems
Alhazov, Artiom (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020) -
Ponencia
The Computational Power of Exponential-Space P Systems with Active Membranes
Alhazov, Artiom; Leporati, Alberto; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2012)We show that exponential-space P systems with active membranes characterize the complexity class EXPSPACE. This result ...
-
Ponencia
The Membrane Systems Language Class
Alhazov, Artiom; Ciubotaru, Constantin; Rogozhin, Yurii; Ivanov, Sergiu (Fénix Editora, 2010)The aim of this paper is to introduce the class of languages generated by the transitional model of membrane systems ...
-
Ponencia
The Power of Symport-3 with Few Extra Symbols
Alhazov, Artiom; Rogozhin, Yurii (Fénix Editora, 2012)Membrane systems (with symbol objects) are formal models of distributed parallel multiset processing. Symport rules move ...
-
Ponencia
Time-freeness and Clock-freeness and Related Concepts in P Systems
Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Pan, Linqiang; Song, Bosheng (Fenix Editora, 2017)In the majority of models of P systems, rules are applied at the ticks of a global clock and their products are introduced ...
-
Ponencia
(Tissue) P Systems with Anti-Membranes
Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)The concept of a matter object being annihilated when meeting its corresponding anti-matter object is taken over for ...
-
Ponencia
(Ultimately Confluent) Parallel Multiset-Rewriting Systems with Context
Alhazov, Artiom; Sburlan, Dragos (Fénix Editora, 2004)The aim of this paper is to study the power of parallel multiset- rewriting systems with permitting context (or P systems ...
-
Ponencia
Unfair P Systems
Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Fenix Editora, 2017)We introduce a novel kind of P systems in which the application of rules in each step is controlled by a function on the ...
-
Ponencia
Uniform Solution to QSAT Using Polarizationless Active Membranes
Alhazov, Artiom; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006)It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless ...
-
Ponencia
Variants of P Systems with Toxic Objects
Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Fénix Editora, 2015)Toxic objects have been introduced to avoid trap rules, especially in (purely) catalytic P systems. No toxic object is ...