Cálculo de secuentes para sistemas de tipos puros
Tesis doctoral de Francisco Gutiérrez López Los sistemas de tipos puros forman un marco general para definir sistemas de tipos […]
Tesis doctoral de José María Troya Linero
Información academica José María Troya Linero. Tesis donde José María Troya Linero ha sido autor, director o parte del tribunal.
Formación de coaliciones en sistemas multiagente: una aproximación computacionalmente tratable basada en teoría de juegos
Tesis doctoral de María Victoria Belmonte Martinez El presente trabajo trata el problema de la cooperación y coordinación entre agentes
Un lenguaje de coordinación para la resolución de problemas basados en descomposición de dominios
Tesis doctoral de Enrique Soler Castillo El propósito de esta tesis es presentar un lenguaje de coordinación transportable y eficiente
Coordinated roles: un modelo de coordinación de objetos activos
Tesis doctoral de Juan Manuel Murillo Rodriguez En los últimos años, la necesidad de construir aplicaciones cada día más complejas,
Redes neuronales recurrentes para optimización combinatoria
Tesis doctoral de Gloria Galan Marin Esta tesis doctoral se dedica al estudio y desarrollo de redes neuronales para la
Sistema bayesiano para modelado del alumno
Tesis doctoral de Eva Millan Valldeperas Las nuevas tecnologías han aportado al campo de la educación aspectos innovadores que suponen
Animación automática de especificaciones oasis utilizando programación lógica concurrente
Tesis doctoral de Letelier Torres Patricio Orlando El modelo conceptual expresa los requisitos funcionales de un sistema de información. Errores
Un sistema de ejecucion distribuido para lenguajes orientados a objetos concurrentes.
Tesis doctoral de Antonio Jesús Nebro Urbaneja Esta tesis se enmarca en el ámbito de los lenguajes orientados a objetos
Soporte a la compilacion de problemas numericos irregulares para ejecucion distribuida.
Tesis doctoral de Guillermo Perez Trabado El objetivo de este trabajo es generar código paralelo spmd de forma sistemática a
Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar