Tesis doctorales sobre Ciencia de los ordenadores

Diseño de un atms generico. aplicaciones al aprendizaje y a la validacion de bases de conocimiento.

Tesis doctoral de Zurita Lopez José Manuel Esta tesis se compone de dos partes. En la primera se realiza el […]

Castro Peña Juan Luis, Enrique Trillas Ruiz, Llorení§ Valverde Garcia, Miguel Delgado Calvo-flores, Ramón López De Mántaras Badía, Zurita Lopez José Manuel

Aspectividad y transformacion. una investigacion fenomenologica de la infografia.

Tesis doctoral de Felicidad Romero Tejedor El tema de la tesis esta justificado por el auge actual de las nuevas

Alfonso Ruiz Rallo, Felicidad Romero Tejedor, Jordi Pericot Canaleta, Mauricio Perez Jimenez, Van Den Boom Holger, Vega De La Rosa Carmelo

Un formalismo para la extraccion de informacion semantica en textos matematicos.

Tesis doctoral de Julia Diaz Garcia El trabajo de investigacion que se presenta ha sido desarrollado en el marco del

Ana García Serrano, De Sopeña Pastor Luis, Julia Diaz Garcia, Kepa Sarasola Gabiola, Pilar Rodríguez Marín, Roberto Moriyon Salomon

Tecnicas de transformacion de programas logicos para su optimizacion y paralelizacion automatica

Tesis doctoral de Francisco Bueno Carrillo La tesis propone transformaciones de programas logicos que tienen por objetivo su optimizacion mediante

Francesca Rossi, Francisco Bueno Carrillo, José Cuena Bartolome, Juan José Moreno Navarro, K. Debray Saumya, Manuel Hermenegildo Salinas

Drago: un lenguaje para programar aplicaciones distribuidas tolerantes a fallos y cooperativas

Tesis doctoral de Miranda Gonzalez Francisco Javier Drago es un lenguaje experimental desarrollado para soportar la implementacion de aplicaciones distribuidas

Albert Llamosi Casas, Angel Alvarez Rodriguez, De Miguel Moro Tomas, José Manuel Bernabéu Aubán, Juan Antonio De La Puente Alfaro, Miranda Gonzalez Francisco Javier

Realizacion infografica. tecnicas y procesos en la animacion de la imagen virtual 3d

Tesis doctoral de Emilio Rosello Tormo Estudio teorico practico del proceso de creacion de la animacion tridimensional por ordenador, dividido

Alcala Mellado José Ramon, Emilio Rosello Tormo, Horacio Silva Sebastián, José Saborit Viguer, Marta Conejero Lopez, Raul Dura Grimalt

The calculus of refinements: a formal specification model based on inclusions

Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification

Fernando Orejas Valdés, francesc Esteva messeguer, Jaume Agustí Cullell, Jordi Levy Diaz, Mario Rodríguez Artalejo, peter Mosses

Sobre la representacion y el conocimiento temporal en sistemas basados en conocimientos.

Tesis doctoral de LLuis Vila Grabulosa Esta tesis explora la representacion del tiempo y el razonamiento automatico sobre este en

Antoni Olivé Ramon, Carles Sierra, federico Barber sanchis, han Reichgelt, LLuis Vila Grabulosa, Ton Sales Porta

Dependencias funcionales difusas en bases de datos relacionales difusas

Tesis doctoral de Juan Carlos Cubero Talavera La memoria tiene como finalidad definir un modelo relacional de bases de datos

Claudi Alsina Catala, Enrique Trillas Ruiz, José Luis Verdegay Galdeano, Juan Carlos Cubero Talavera, Llorení§ Valverde Garcia, María Amparo Vila Miranda

Planificacion de la produccion a corto plazo en sistemas de fabricacion flexible (fms)

Tesis doctoral de Jose Teba Fernandez El problema de asignar rutas de fabricacion en un fms ha sido abordado por

De La Fuente Garcia David, Francisco Cruz Lario, Javier Garcia Lomas Jung, Jose Teba Fernandez, Rafael Ruiz Usano, Sebastian Lozano Segura

Tesis doctoral sobre Ciencia de los ordenadores