Computación Bio-inspirada
Máster Universitario en Lógica, Computación e Inteligencia Artificial
(Curso 2020-2021)
Trabajos de la asignatura
Modelo Splicing de T. Head
(ASIGNADO: )
Aqueous computing
(ASIGNADO: )
(*)
Spiking neural P systems
(ASIGNADO: Miguel Pérez Cutiño)
Hybrid networks of evolutionary processors
(ASIGNADO: )
(*)
Reaction systems
(ASIGNADO: Clément Becarelli)
(*)
Computing with viruses
(ASIGNADO: Manuel J. Chacón Gómez)
(*)
Dendrite P systems
(ASIGNADO: Jaime Alcántara Pérez)
(*)
Sobre el Common Algorithmic Problem
(ASIGNADO: Carlos David Martínez Rial)
(*)
Soluciones de 3-COL en el modelo no restringido de Adleman
y en el modelo débil de Amos
(ASIGNADO: Arturo Pérez Sánchez)
(*)
El problema de las familias disjuntas en el modelo sticker de Roweis
(ASIGNADO: Francisco J. Higueras Galván)
(*)
Verificación formal de programas en modelos moleculares con memoria de
acceso aleatorio
(ASIGNADO: Manuel Paniagua Gómez)
(*)
Generación de permutaciones en el modelo débil de Amos
(ASIGNADO: Juan Antonio Caro León)
(*)
Una solución del problema Knapsack en el modelo sticker de Roweis
(ASIGNADO: Sergio Torrijos Campano)
Programas moleculares y sistemas lógicos-formales
(ASIGNADO: )
(*)
Modelos de computación molecular en ACL2
(ASIGNADO: Vanesa Sánchez Conde)
(*)
Una solución del problema Knapsack mediante sistemas P
con membranas activas
(ASIGNADO: Pedro García Victoria)
(*)
Una formalización de los sistemas P básicos de transición
(ASIGNADO: Manuel Silván Hernández)
(*)
La técnica del grafo de dependencia
(ASIGNADO: Olmo Chiara Llanos)
(*)
Un sistema P generador de cuadrados de números naturales
(ASIGNADO: Manuel Mateos Gutiérrez)
Un sistema P generador de un conjunto numérico
(ASIGNADO: )
Un sistema P que calcula una función parcial
(ASIGNADO: )
Verificación de un sistema P que trabaja a modo de neuronas
(ASIGNADO: )
Sistemas P con creación de membranas.
(ASIGNADO: )
FECHA Y HORA DE PRESENTACIÓN DE LOS TRABAJOS.
Mario de J. Pérez Jiménez