idUS
Depósito de Investigación
Universidad de Sevilla
| | | BUS |
  • Español
Login | Contact | Help | Biblioteca USBUS |
  • Español
JavaScript is disabled for your browser. Some features of this site may not work without it.
All of idUSCommunities and CollectionsBy Issue DateAuthorsTitlesSubjectsFunding agenciesAward-winning thesesAuthor profiles USThis CommunityBy Issue DateAuthorsTitlesSubjectsFunding agencies
My AccountLoginRegisterDeposit your workApplication to deposit in idUSRequest the deposit to the LibraryMore info
Author
Alhazov, Artiom (49)
Freund, Rudolf (29)Ivanov, Sergiu (20)Rogozhin, Yurii (5)Verlan, Sergey (5)Leporati, Alberto (4)Research Group on Natural Computing (4)Zandron, Claudio (4)Mauri, Giancarlo (3)Oswald, Marion (3)... View MoreSubjectComputational complexity (1)Membrane Systems (1)Space Complexity (1)... View MoreDate Issued2010 - 2020 (33)2004 - 2009 (16)Funding agencyJunta de Andalucía (1)Ministerio de Ciencia e Innovación (MICIN). España (1)Ministerio de Economía y Competitividad (MINECO). España (1)Ministerio de Educación y Ciencia (MEC). España (1)
PoliciesInstitutional statementBerlin DeclarationidUS Policies
Recolecta
LA ReferenciaOpenAIRE
HispanaEuropeana
Google AcadémicoBase
OAIsterCORE
DART-Europe E-theses PortalOpenDOAR
re3data.orgfairsharing.org
Search 
  •   idUS
  • Jornadas y Congresos US
  • Informática
  • Search
  •   idUS
  • Jornadas y Congresos US
  • Informática
  • Search

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 49

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Presentation
Icon

P Systems with Active Membranes and Two Polarizations 

Alhazov, Artiom; Freund, Rudolf; Paun, Gheorghe (Fénix Editora, 2004)
P systems with active membranes using only two electrical charges and only rules of types (a) and (c) assigned to at most two membranes are shown to be computationally complete { thus improving the previous result of ...
Presentation
Icon

Evolution-Communication P Systems: Time-Freeness 

Alhazov, Artiom; Cavaliere, Matteo (Fénix Editora, 2005)
Membrane computing is a (biologically motivated) theoretical framework of distributed parallel computing. If symbol-objects are considered, then membrane sys- tems (also called P systems) are distributed multiset processing ...
Presentation
Icon

Beyond Generalized Multiplicities: Register Machines over Groups 

Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
Register machines are a classic model of computing, often seen as a canonical example of a device manipulating natural numbers. In this paper, we de ne register machines operating on general groups instead. This ...
Presentation
Icon

(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 membranes as objects and anti-membranes as the corresponding annihilation counterpart in P systems. ...
Presentation
Icon

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 P systems with active membranes with non-elementary membrane division. We present a double improvement ...
Presentation
Icon

Self-Stabilization in Membrane Systems 

Alhazov, Artiom; Antoniotti, Marco; Freund, Rudolf; Leporati, Alberto; Mauri, Giancarlo (Fénix Editora, 2012)
In this paper we study a notion of self-stabilization, inspired from biology and engineering. Multiple variants of formalization of this notion are considered, and we discuss how such properties affect the computational ...
Presentation
Icon

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 allowed to stay idle during a valid derivation in a P system with toxic objects. In this paper we ...
Presentation
Icon

A Short Note on Reversibility in P Systems 

Alhazov, Artiom; Morita, Kenichi (Fénix Editora, 2009)
Membrane computing is a formal framework of distributed parallel comput- ing. In this paper we study the reversibility and maximal parallelism of P systems from the computability point of view. The notions of reversible ...
Presentation
Icon

Deterministic Non-cooperative P Systems with Strong Context Conditions 

Alhazov, Artiom; Freund, Rudolf (Fénix Editora, 2015)
We continue the line of research of deterministic parallel non-cooperative multiset rewriting with control. We here generalize control, i.e., rule applicability context conditions, from promoters and inhibitors checking ...
Presentation
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 object. We raise and attack the question about the computational power of such systems, depending on ...
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 5
  • About idUS
  • Deposit your work
  • Services
  • Distribution License
  • FAQS
  • idUS in figures
Universidad de Sevilla
  • idUS is a DSpace implementation and is managed by Biblioteca de la Universidad de Sevilla.
  • Last update: 20 June 2023.
Contact  |  Help
The content of idUS is protected by Creative Commons 4.0 Internacional Licenses.
Creative Commons LicensesLevel AA conformance, W3C WAI Web Content Accessibility Guidelines 2.0Logo CrueLogo Handle
Copyright © 2015. idUS. Depósito de Investigación de la Universidad de Sevilla.
     

     

    We use cookies

    This website uses its own and third-party cookies to maintain the session, offer you a better user experience and obtain statistical data on user navigation. For more information see the Cookie Policy.