Computación Bio-inspirada

Máster Universitario en Lógica, Computación e Inteligencia Artificial

(Curso 2023-2024)

Modelo Splicing de T. Head (ASIGNADO: Francisco Horacio Sánchez Trigo)
Aqueous computing (ASIGNADO: Martina Fuentes Morono)
Spiking neural P systems (ASIGNADO: Mario Chacón Falcón)
Hybrid networks of evolutionary processors
Reaction systems (ASIGNADO: Gonzalo Martínez Fernández)
Computing with viruses (ASIGNADO: Claudia García Barragán)
Dendrite P systems (ASIGNADO: Sara Ruishan González Bárcena)
Sobre el Common Algorithmic Problem (ASIGNADO: Javier Hiruelo Pérez)
Soluciones de 3-COL en el modelo no restringido de Adleman y en el modelo débil de Amos
El problema de las familias disjuntas en el modelo sticker de Roweis
Verificación formal de programas en modelos moleculares con memoria de acceso aleatorio (ASIGNADO: Luisa Gerlach)
Generación de permutaciones en el modelo débil de Amos
Una solución del problema Knapsack en el modelo sticker de Roweis (ASIGNADO: Ana Conde Marrón)
Programas moleculares y sistemas lógicos-formales (ASIGNADO: Pablo Ramos Berciano)
Modelos de computación molecular en ACL2
Una solución del problema Knapsack mediante sistemas P con membranas activas
Una formalización de los sistemas P básicos de transición
La técnica del grafo de dependencia (ASIGNADO: Nuria Gómez Arias)
Un sistema P generador de cuadrados de números naturales (ASIGNADO: Mario Espinosa Rodríguez)
Un sistema P generador de un conjunto numérico (ASIGNADO: Andrés Nicolás Uranga Limón)
Un sistema P que calcula una función parcial
Verificación de un sistema P que trabaja a modo de neuronas
Sistemas P con creación de membranas (ASIGNADO: Nicolás Rodríguez Galván)
Evolutionary membrane computing: A comprehensive survey and new results (ASIGNADO: Marvin Peinado Vidaña)
A polynomial alternative to unbounded environment for tissue P systems with cell division (ASIGNADO: Fernando Luque de la Torre)

Hora	16 de enero	23 de enero	30 de enero
14:30 - 15:30		Mario Espinosa	Francisco Sánchez
15:30 - 16:30		Javier Hiruelo	Luisa Gerlach
16:30 - 17:30	Nicolás Rodríguez	Fernando Luque	Gonzalo Martínez
17:30 - 18:30	Andrés Uranga	Sara González	Martina Fuentes
18:30 - 19:30		Ana Conde	Nuria Gómez
19:30 - 20:30		Mario Chacón	Pablo Ramos
20:30 - 21:30		Marvin Peinado	Claudia García