Computación Bio-inspirada
Máster Universitario en Lógica, Computación e Inteligencia Artificial
(Curso 2024-2025)
Modelo Splicing de T. Head
(
ASIGNADO:
Carmen Ponce González)
Aqueous computing
(
ASIGNADO:
Joaquín Egocheaga Ramos)
Spiking neural P systems
Hybrid networks of evolutionary processors
Reaction systems
Computing with viruses
(
ASIGNADO:
Sergio Santiago Sánchez)
Dendrite P systems
Sobre el
Common Algorithmic Problem
Soluciones de 3-COL en el modelo no restringido de Adleman y en el modelo débil de Amos
(
ASIGNADO:
Jordhano Abrahán Mañón Castillo)
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
Generación de permutaciones en el modelo débil de Amos
Una solución del problema Knapsack en el modelo sticker de Roweis
(
ASIGNADO:
Adam Lei-Yi Chen Abolacio)
Programas moleculares y sistemas lógicos-formales
Modelos de computación molecular en ACL2
(
ASIGNADO:
Guadalupe Vega Morrone)
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
Un sistema P generador de cuadrados de números naturales
Un sistema P generador de un conjunto numérico
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:
José Sanz Durán)
Evolutionary membrane computing: A comprehensive survey and new results
(
ASIGNADO:
Natalia Sikorska)
A polynomial alternative to unbounded environment for tissue P systems with cell division
Artificial Inmune Systems (
ASIGNADO:
Stefanie Helene Manger)
Inteligencia Artificial mediante Máquinas de Virus (
ASIGNADO:
Ricardo Andrés Martín Romero)
Hora
20 de enero
27 de enero
15:30 - 16:30
Sergio Santiago
Stephanie Manger
16:30 - 17:30
Ricardo Martín
Jordhano Mañón
17:30 - 18:30
Guadalupe Vega
Natalia Sikorska
18:30 - 19:30
Adam Chen
Joaquín Egocheaga
19:30 - 20:30
Carmen Ponce
José Sanz