Tratabilidad con membranas activas

UNIVERSIDAD DE SEVILLA

Diploma de Estudios Avanzados (DEA)
Manuel Alejandro Fernández Soria 30 de Noviembre de 2007. Sevilla
   

Formación Académica
Licenciado en Matemáticas por la Universidad  de Sevilla. (2000)


Rama: Ecuaciones Diferenciales y Análisis Numérico.



Profesor de Enseñanza Secundaria:


Interino desde Marzo de 2001 hasta el Agosto de 2006Funcionario de Carrera desde Septiembre de 2006



 

 

Programa de Doctorado 


Departamento: Ciencias de la Computación e Inteligencia  ArtificialPrograma: 1774­ Lógica, Computación e Inteligencia Artificia Tutor: Mario de J. Pérez Jiménez 





 

 

Programa de Doctorado


Líneas de Investigación:  
­ Lógica Matemática. ­ Ciencias de la Computación.­ Inteligencia Artificial                 



Fases:


Docencia: Curso 2002/2003 Investigación 2004/2007



 

 

Periodo de docencia


Cursos realizados.


Aprendizaje AutomáticoComputacion Celular con Membranas Computación molecular basada en ADN Métodos Formales en Computación e Inteligencia Artificial Programación Lógica Razonamiento Automático Síntesis, Verificación y Razonamiento sobre Agentes











 

 

Periodo de Investigación


Línea de Investigación: 
Ciencias de la Computación



Título del trabajo: Estudio de la Tratabilidad en Sistemas Celulares con Membranas  activas y sin Polarizaciones.

 

 

Resumen del trabajo
Computacion celular con membranas:
1. Estructura  de membranas:
●

Como estructura de árbolComo lenguaje sobre los símbolos [  ]

●

2. Multiconjuntos. 3. Reglas de evolución.
   

Resumen del trabajo

Insertar gráfica de membranas con reglas

 

 

Resumen del trabajo (2)
Tipos de sistemas P:  ● Con salida externa ● Symport­Antiport ● de aceptación ●  básicos de transición ● con membrana de entrada ●  generadores ● reconocedores ● otros...

 

 ...