idUS
Depósito de Investigación
Universidad de Sevilla
| | | |
  • Español
Login | Contact | Help | Biblioteca US |
  • Español
 
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of idUSCommunities and CollectionsBy Issue DateAuthorsTitlesSubjectsFunding agenciesAuthor profiles USThis CommunityBy Issue DateAuthorsTitlesSubjectsFunding agencies

Services

My AccountLoginRegisterDeposit your workApplication to deposit in idUSRequest the deposit to the LibraryMore info

Discover

Author
Pérez Jiménez, Mario de Jesús (303)
Riscos Núñez, Agustín (87)Gutiérrez Naranjo, Miguel Ángel (57)Valencia Cabrera, Luis (49)Martínez del Amor, Miguel Ángel (46)Pérez Hurtado de Mendoza, Ignacio (41)Paun, Gheorghe (40)Romero Campero, Francisco José (37)Orellana Martín, David (27)Díaz Pernil, Daniel (22)... View MoreSubjectMembrane Computing (62)P systems (12)Membrane computing (11)P System (11)SAT problem (11)Spiking Neural P systems (10)CUDA (9)Active membranes (6)Cell division (6)Computational Complexity (6)... View MoreDate Issued2020 - 2021 (7)2010 - 2019 (144)2000 - 2009 (148)1990 - 1999 (3)1980 - 1989 (1)Funding agencyJunta de Andalucía (111)Ministerio de Educación y Ciencia (MEC). España (77)Ministerio de Ciencia y Tecnología (MCYT). España (43)Ministerio de Ciencia e Innovación (MICIN). España (35)Ministerio de Economía y Competitividad (MINECO). España (16)National Natural Science Foundation of China (10)Ministerio de Economia, Industria y Competitividad (MINECO). España (9)Sichuan Science and Technology Program (2)Agencia Regional de Ciencia y Tecnología, Región de Murcia (1)Artificial Intelligence Key Laboratory of Sichuan Province (1)... View MoreHas file(s)Yes (303)

Policies

Institutional statementBerlin DeclarationidUS Policies

Gatherers

RecolectaOpenAIRE
HispanaEuropeana
BaseOAIster
Google AcadémicoMicrosoft Academic
DART-Europe E-theses PortalLA Referencia

Links of interest

Sherpa/RomeoDulcinea
OpenDOARCreative Commons

Share

 
Search 
  •   idUS
  • Investigación
  • Search
  •   idUS
  • Investigación
  • Search

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 303

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

Characterizing Tractability by Tissue-Like P Systems [Presentation]

Gutiérrez Escudero, Rosa; Pérez Jiménez, Mario de Jesús; Rius Font, Miquel (Fénix Editora, 2009)
In the framework of cell–like membrane systems it is well known that the construction of exponential number of objects in polynomial time is not enough to efficiently solve NP–complete problems. Nonetheless, it may be ...
Icon

Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT [Presentation]

Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (2002)
In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As an application of this ...
Icon

Generation of Diophantine Sets by Computing P Systems with External Output [Chapter of Book]

Romero Jiménez, Álvaro; Pérez Jiménez, Mario de Jesús (Springer, 2002)
In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. These P systems are stable under composition and iteration of functions. We prove that every ...
Icon

On the Reachability Problem for P systems with Porters. [Presentation]

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (2002)
Icon

Extending SNP Systems Asynchronous Simulation Modes in P-Lingua [Presentation]

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 neurophysiological structure of the brain, these systems have been subjected to many extensions in recent ...
Icon

Implementing Local Search with Membrane Computing [Presentation]

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011)
Local search is currently one of the most used methods for finding solution in real-life problems. In this paper we present an implementation of local search with Membrane Computing techniques applied to the N-queens ...
Icon

Spiking Neural P Systems with Several Types of Spikes [Presentation]

Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Rodríguez Patón, Alfonso (Fénix Editora, 2011)
With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling along the axons of neurons, we consider an extension of spiking neural P systems, where several ...
Icon

Spiking Neural dP Systems [Presentation]

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 (in short, SN P systems), inspired from the way the neurons communicate through spikes, and the dP ...
Icon

Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment [Chapter of Book]

Graciani Díaz, Carmen; Martín Mateos, Francisco Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2002)
The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS verification system (an interactive environment for writing formal specifications and checking formal ...
Icon

Solving Knapsack Problems in a Sticker Based Model [Chapter of Book]

Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2002)
Our main goal in this paper is to give molecular solutions for two NP–complete problems, namely Subset-sum and Knapsack, in a sticker based model for DNA computations. In order to achieve this, we have used a finite set ...
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 31
  • About idUS
  • Deposit your work
  • Services
  • Distribution License
  • FAQS
  • idUS in figures

Universidad de Sevilla
  • idUS is a DSpace version 6.2 implementation and is managed by Biblioteca de la Universidad de Sevilla
  • Last update: 13 April 2021
Contact  |  Help

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional License.

Logo CrueCreative Commons LicenseLevel AA conformance, W3C WAI Web Content Accessibility Guidelines 2.0
Copyright © 2015. idUS. Depósito de Investigación de la Universidad de Sevilla.
     

     

    This website uses cookies to improve your user experience. If you continue browsing, we understand that you accept our terms of use.  More information.

    OK