Automatizacion e implementacion de algunos problemas algebraicos y geometricos
Tesis doctoral de Eugenio Roanes Lozano El trabajo desarrollado se inicio con el proyecto de investigacion «simulacion informatica de problemas […]
Tesis doctoral de Luis María Laita De La Rica
Información academica Luis María Laita De La Rica. Tesis donde Luis María Laita De La Rica ha sido autor, director o parte del tribunal.
Modelo de sistema de captacion no uniforme para sistemas de vision artificial orientados a la percepcion del movimiento y navegacion (mscnu).
Tesis doctoral de Hojas Hojas Luis Ignacio Datos académicos de la tesis doctoral «Modelo de sistema de captacion no
Control automatico de un citofotometro con plataforma movil mediante tecnicas de vision artificial en color real. aplicaciones a las ciencias experimentales.
Tesis doctoral de Rafael Medina Carnicer El trabajo presentado propone un nuevo algoritmo de segmentacion de escenas en color, basado
Modelo de verificacion de bases de conocimiento
Tesis doctoral de Couto Sayalero Julia Isabel Modelizacion de problemas estructurales en bb.Ce que usen logicas de primer orden.
Lenguaje formal para la automatizacion de programas estructurados
Tesis doctoral de Garcia De Diego Barber M. Teresa Datos académicos de la tesis doctoral «Lenguaje formal para la
Eg2: un metodo de aprendizaje automatico
Tesis doctoral de Marlon Nuñez Paz Este trabajo de investigacion presenta un metodo de aprendizaje automatico para ser utilizado en
Una interpretacion logico-algebraica de la semantica de la programacion
Tesis doctoral de Aurora Perez Perez Se utiliza la teoria de categorias y, en concreto, determinadas categorias preorden, para abordar
El teorema de lowenheim en el marco de la teoria de relativos
Tesis doctoral de Calixto Badesa Cortes El proposito de esta tesis es analizar en detalle la prueba que hizo lowenheim
Verificacion de bases de conocimiento.
Tesis doctoral de Betty Ramirez Nieves Se utiliza la teoria de categorias en su version de determinadas categorias preorden para
Logica y racionalidad del descubrimiento (acerca del metodo de arquimedes)
Tesis doctoral de Hernandez Martin M. Carmen Datos académicos de la tesis doctoral «Logica y racionalidad del descubrimiento (acerca