Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "Sempere Luna, José María"

Mostrando ítems 1-20 de 52

Página siguiente

A membrane computing simulator of trans-hierarchical antibiotic resistance evolution dynamics in nested ecological compartments (ARES)

Campos Frances, Marcelino; Llorens, Carlos; Sempere Luna, José María; Futami, Ricardo; Rodríguez, Irene; Carrasco, Purificación; Capilla, Rafael; Latorre, Amparo; Coque, Teresa M.; Moya, Andrés; Baquero, Fernando (BioMed Central, 2015)

In this article, we introduce ARES (Antibiotic Resistance Evolution Simulator) a software device that simulates P-system model scenarios with five types of nested computing membranes oriented to emulate a hierarchy of ...
A Model of Antibiotic Resistance Evolution Dynamics Through P Systems with Active Membranes and Communication Rules

Baquero, Fernando; Campos Frances, Marcelino; Llorens, Carlos; Sempere Luna, José María (Springer-Verlag, 2018)
A two authorities electronic vote scheme

Larriba-Flor, Antonio Manuel; Sempere Luna, José María; López Rodríguez, Damián (Elsevier, 2020-10)

[EN] In this paper we propose a new electronic multi-authority voting system based on blind signatures. We focus on the open problem of the efficiency of electronic voting systems. Most of the proposed systems rely on ...
A View of P Systems from Information Theory

Sempere Luna, José María (Springer Verlag (Germany), 2017-02)

In this work we propose new view of P systems by using the framework of Information Theory. Given a cell-like P system with communication and evolution rules, we analyze the amount of information that it holds as the result ...
Accepting networks of genetic processors are computationally complete

Campos Frances, Marcelino; Sempere Luna, José María (Elsevier, 2012-10-19)

We propose a computational model that is inspired by genetic operations over strings such as mutation and crossover. The model, Accepting Network of Genetic Processors, is highly related to previously proposed ones such ...
Algoritmos para SAT basados en la representación de tablas booleanas

Collado Ponce, Manuel (Universitat Politècnica de València, 2024-10-23)

[ES] El problema SAT (satisfacibilidad en lógica proposicional) es muy importante, ya que fue el primer problema que se probó que era NP-completo y muchos otros problemas se resuelven mediante su reducción a SAT. Es por ...
Análisis, diseño e implementación de clasificadores genómicos para la detección de distrofias hereditarias de la retina mediante técnicas de machine learning.

Vaño Ribelles, Andrea (Universitat Politècnica de València, 2022-09-05)

[ES] Las distrofias hereditarias de la retina (DHR) engloban a un conjunto de enfermedades que se caracterizan, en la mayoría de los casos, por una degeneración progresiva de los fotorreceptores, dando lugar a una pérdida ...
Autómatas de Watson-Crick: Inferencia de modelos y caracterización de clases de lenguajes sensibles al contexto

Lyeuta Tykhovod, Vladyslav (Universitat Politècnica de València, 2017-10-20)

Este trabajo se enmarca en el área de investigación de la inferencia gramatical y la teoría de lenguajes formales. La inferencia gramatical trata fundamentalmente sobre el estudio del aprendizaje automático (inferencia ...
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors

Bottoni ., Paolo; Labella ., Anna; Manea ., Florin; Mitrana, Víctor; Petre ., Ion; Sempere Luna, José María (Springer Verlag (Germany), 2011-03)

In this paper we consider three variants of accepting networks of evolutionary processors. It is known that two of them are equivalent to Turing machines. We propose here a direct simulation of one device by the other. ...
Diseño de herramientas basadas en teoría de la información para el análisis de información genómica asociada a enfermedades raras

Martínez Bravo, Luis Alberto (Universitat Politècnica de València, 2024-10-22)

[ES] Este Trabajo Fin de Grado presenta el desarrollo de dos herramientas computacionales diseñadas para el análisis de datos genómicos con un enfoque en la identificación de k-mers significativos. La primera herramienta ...
Diseño de una librería gráfica para la representación de configuraciones en sistemas P

Samblás Martínez, María (Universitat Politècnica de València, 2015-03-25)

[ES] La Computación natural aproxima el esquema de célula eucariota a un modelo distribuido y paralelo capaz de procesar y generar información: Sistema P. Los Sistemas P tienen dos características principales e importantes ...
Diseño e implementación de algoritmos para la simulación mediante computación con membranas en dominios de aplicación biológicos

Martínez García, Kevin (Universitat Politècnica de València, 2021-10-06)

[ES] La computación con membranas es un modelo de computación que se inspira en el funcionamiento de una célula eucariota animal. El modelo de sistemas P de transición propuesto por Gheorghe P ˘aun y los diferentes tipos ...
Diseño e implementación de herramientas para la caracterización de información genómica asociada a enfermedades raras mediante redes neuronales artificiales

Escribano de la Torre, Yaiza (Universitat Politècnica de València, 2024-10-25)

[CA] La retinosi pigmentària és una malaltia genètica rara que afecta la retina, provocant una pèrdua progressiva de la visió. A causa de la raresa d’aquesta condició, un dels principals desafiaments en la investigació ...
Diseño e implementación de modelos de lenguaje para información genómica asociada a enfermedades raras mediante inferencia gramatical

Gómez Ruiz, Iván (Universitat Politècnica de València, 2024-09-03)

[ES] El presente Trabajo de Fin de Grado aborda el diseño e implementación de modelos de lenguaje para la información genómica asociada a enfermedades raras, específicamente la retinosis pigmentaria, utilizando algoritmos ...
Diseño e implementación de sistemas de anotación genómica basados en computación biomolecular y biocelular y técnicas de machine learning

Granados Bañuls, Alejandro (Universitat Politècnica de València, 2021-09-07)

[ES] El proyecto trata sobre el procesamiento de datos en formato FASTA y VCF y la transformación de estos datos al formato pvcf. Después estos datos serán usados para la generación de un modelo de lenguaje basado en los ...
Diseño e implementación de un analizador de biosecuencias para el análisis de mutaciones producidas por elongación de la horquilla 'hairpin'

Naya Català, Fernando (Universitat Politècnica de València, 2016-09-02)

[ES] La complementariedad de bases de Watson y Crick representa una gran fuente de estudio en biología estructural y las estructuras ahorquilladas (hairpin structures) son uno de los tipos de secuencia que más aplicaciones ...
Diseño e implementación de un analizador de biosecuencias: Análisis de la elongación en horquilla

Diez Alba, Carlos (Universitat Politècnica de València, 2016-09-05)

[ES] Mediante este proyecto se plantea el diseño de un analizador de biosecuencias centrado en el análisis de la elongación en horquilla (hairpin lengthening), una operación natural sobre lenguajes formales inspirada en ...
Diseño e implementación de un analizador de biosecuencias: Análisis de mutaciones en nucleótidos

Zamuner Antón, Martín Gabriel (Universitat Politècnica de València, 2016-09-30)

[ES] En el presente Trabajo Fin de Grado se desarrollará un analizador de secuencias de carácter bioquímico (fundamentalmente, secuencias de ADN y de ARN) para la búsqueda de posibles mutaciones debidas a la modificación, ...
Diseño e implementación de un analizador de biosecuencias: Análisis de nudos y pseudonudos en ARN

Pitarch Rodrigo, Guillem (Universitat Politècnica de València, 2015-10-01)

[ES] En el presente TFG se desarrollará un analizador de secuencias de carácter bioquímico (secuencias de ARN) para la búsqueda de posibles estructuras de nudos y pseudonudos ("knots and pseudonots"). El marco teórico de ...
Diseño e implementación de un analizador de biosecuencias: Análisis de subsecuencias de repetición

Villar Lafuente, Carlos José (Universitat Politècnica de València, 2016-09-07)

[ES] En el presente TFG se desarrollará un analizador de secuencias de carácter bioquímico (fundamentalmente, secuencias de ADN y de ARN) para la búsqueda de posibles mutaciones debidas a la repetición de subsecuencias. ...