Doctorado en Computación

Código
Curso
Tipo
Créd.
00003A001
Validación y usabilidad de sistemas informáticos
Profesor responsable: Moret Bonillo, Vicente
Otros profesores: Mosqueira Rey, Eduardo; Hernandez Pereira, Elena Maria
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A002
Certificación de propiedades de Sistemas Distribuidos
Profesor responsable: Freire Nistal, José Luis
Otros profesores: Gulías Fernández, Víctor M.; Muñoz,Cesar
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A003
Modelado de sistemas distribuidos e concurrentes
Profesor responsable: Gulías Fernández, Víctor M.
Otros profesores: Cabrero Souto, David
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A004
Procesamiento del lenguaje natural
Profesor responsable: Graña Gil, Jorge
Otros profesores: Vilares Ferro, Jesús
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A005
Modelos y técnicas avanzadas de recuperación de información
Profesor responsable: Barreiro García, Alvaro
Otros profesores: Losada Carril, David Enrique
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A006
Razonamiento y aprendizaje de sentido común
Profesor responsable: Pérez Otero, Ramón
Otros profesores: Marín Morales, Roque Luis
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A007
Aprendizaje máquina.
Profesor responsable: Alonso Betanzos, Amparo
Otros profesores: Fontenla Romero, Oscar; Guijarro Berdiñas, Bertha; González Penedo, Manuel Francisco; Mosqueira Rey, Eduardo; Vidal Martín, Concepción; Santos Reyes,
Lugar de impartición: Facultade de Informática
(A) Fundamental
4
00003A008
Lógica Computacional
Profesor responsable: Freire Nistal, José Luis
Otros profesores: Barja Pérez, José María; Cabalar Fernández, José Pedro; Mosqueira Rey, Eduardo; Muñoz, Cesar
Lugar de impartición: Fac. Informática
(A) Fundamental
4
00003A009
Vida Artificial y Robótica Autónoma
Profesor responsable: Santos Reyes, José
Otros profesores: Becerra Permuy, José Antonio; Bellas Bouza, Francisco Javier
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A010
Monitorización inteligente
Profesor responsable: Moret Bonillo, Vicente
Otros profesores: Cabrero Canosa, Mariano J.
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A011
Sistemas multiagente
Profesor responsable: Alonso Betanzos, Amparo
Otros profesores: Sanchez Maroño, Noelia; Guijarro Berdiñas, Bertha; Cabrero Canosa, Mariano; Hernández Pereira, Elena
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A012
Extracción de información y búsqueda de respuestas
Profesor responsable: Alonso Pardo, Miguel
Otros profesores: Vilares Ferro, Manuel
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A013
Programación Lógica y Representación del Conocimiento
Profesor responsable: Cabalar Fernández, José Pedro
Otros profesores: Lorenzo Blanco, David
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A014
Estructuras y algoritmos para el manejo de ficheros de texto
Profesor responsable: Rodríguez Brisaboa, Nieves
Otros profesores: Paramá Gabia, José Ramón
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A015
Técnicas Avanzadas en Procesado de Imágenes
Profesor responsable: González Penedo, Manuel
Otros profesores: Radeva Ivanova, Petia
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A016
Introducción a los modelos de cómputo
Profesor responsable: Blanco Ferro, Antonio
Otros profesores: Fernández Vilaboa, José Manuel; Ladra González, Manuel
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003A017
Evaluación del Rendimiento de Sistemas Distribuidos
Profesor responsable: Valderruten Vidal, Alberto
Otros profesores: Puigjaner Trepat, Ramón
Lugar de impartición: Facultade de Informática
(A) Fundamental
3
00003B018
Modelos físicos en computación avanzada
Profesor responsable: Moret Bonillo, Vicente
Otros profesores: Blanco Ferro, Antonio
Lugar de impartición: Facultade de Informática
(B) Metodolóxico
2
00003C019
Bibliotecas digitales
Profesor responsable: López Rodríguez, Juan Ramón
Otros profesores: Saavedra Places, Mª Angeles
Lugar de impartición: Facultade de Informática
(C) Campos Afíns
2
00003C020
Web semántica
Profesor responsable: Rodríguez Penabad, Miguel
Otros profesores: Saavedra Places, Mª Angeles
Lugar de impartición: Facultade de Informática
(C) Campos Afíns
2


Código
Trabajos de investigación tutelados
Créditos
00003T001
Monitorización Inteligente de Pacientes: Un análisis crítico
Profesor responsable: Moret Bonillo, Vicente
6
00003T002
Convalidación de sistemas multiagente
Profesor responsable: Alonos Betanzos, Amparo
6
00003T003
Interacción hombre-máquina: recursos, herramientas y métodos
Profesor responsable: Alonso Pardo, Miguel Angel
6
00003T004
Formalismos y técnicas para el tratamiento automático del lenguaje natural
Profesor responsable: Graña Gil, Jorge
6
00003T005
Metodología de diseño de modelos de rendimiento.
Profesor responsable: Valderruten Vidal, Alberto
6
00003T006
Formalización de patrones de diseño en sistemas concurrentes y distribuidos
Profesor responsable: Gulias Fernandez, Victor M.
6
00003T007
Categorías cerradas y bisimilaridad
Profesor responsable: Blanco Ferro, Antonio A.
6
00003T008
Razonamiento y aprendizaje en formalismos causales
Profesor responsable: Pérez Otero, Ramon
6
00003T009
Aplicaciones de programación lógica declarativa para la resolución de problemas
Profesor responsable: Cabalar Fernandez, José Pedro
6
00003T010
Verificación de programas imperativos en coq
Profesor responsable: Freire Nistal, José Luis
6
00003T011
Experimentación e avaliación en recuperación de información
Profesor responsable: Barreiro Garcia, Alvaro
6
00003T012
Nuevas tecnologías para el contorno corporativo
Profesor responsable: Cabrero Souto, David
6
00003T013
Técnicas avanzadas para la gestión de la información
Profesor responsable: Cabrero Souto, David
6
00003T014
Influencia de diferentes métodos de agrupamiento en el desarrollo de un método de aprendizaje neuronal
Profesor responsable: Alonso Betanzos, Amparo
Colaboran: Fontenla Romero, Oscar
6
00003T015
Implementación y validación empírica de algoritmos de recuperación de textos
Profesor responsable: Rodriguez Brisaboa, Nieves
Colaboran: Rodriguez Penabad, Miguel; Parama Gabia, José Ramon; Lopez Rodriguez, Juan Ramon; Saavedra Places, Mª Angeles
6
00003T016
Implementación y validación empírica de algoritmos de indexación
Profesor responsable: Rodriguez Brisaboa, Nieves
Colaboran: Rodriguez Penabad, Miguel; Parama Gabia, José Ramon; Lopez Rodriguez, Juan Ramon; Saavedra Places, Mª Angeles
6
00003T017
Implementación e validación empírica de algoritmos de compresión de textos
Profesor responsable: Rodriguez Brisaboa, Nieves
Colaboran: Rodriguez Penabad, Miguel; Parama Gabia, José Ramon; Lopez Rodriguez, Juan Ramon; Saavedra Places, Mª Angeles
6
00003T018
Bases de datos orientadas a aspectos
Profesor responsable: Rodriguez Brisaboa, Nieves
Colaboran: Rodriguez Penabad, Miguel; Parama Gabia, José Ramon; Lopez Rodriguez, Juan Ramon; Saavedra Places, Mª Angeles
6
00003T019
Estudio de métodos de selección de modelos predictivos
Profesor responsable: Fontenla Romero, Oscar
6
00003T020
Estudio de la mejora de la capacidad de generalizar un sistema inteligente basado en metodos locales
Profesor responsable: Fontenla Romero, Oscar
6
00003T021
Implementación y validación empírica de algoritmos de procura de patrones en textos
Profesor responsable: Paramá Gabía, José Ramón
Colaboran: Rodríguez Brisaboa, Nieves; Rodríguez Penabad, Miguel; López Rodríguez, Juan Ramón; Saavedra Places, Mª Angeles
6
00003T022
Problemas de procura en textos comprimidos
Profesor responsable: Paramá Gabía, José Ramón
Colaboran: Rodríguez Brisaboa, Nieves; Rodríguez Penabad, Miguel; López Rodríguez, Juan Ramón; Saavedra Places, Mº Angeles
6
00003T023
Representación de objetos 3D mediante superficies y volúmenes implícitos
Profesor responsable: González Penedo, Manuel Francisco
6
00003T024
Análisis automático sobre imágenes digitales de angiografía de ojo
Profesor responsable: González Penedo, Manuel Francisco
6
00003T025
Técnicas para segmentación 3D: volúmenes topológicos deformables
Profesor responsable: González Penedo, Manuel Francisco
6
00003T026
Segmentación de estructuras anatómicas a partir de imágenes CT
Profesor responsable: González Penedo, Manuel Francisco
6
00003T027
Abstracción de patrones y desarrollo de marcos en sistemas de workflow. Reutilización de código
Profesor responsable: Rodríguez Rubio, Miguel
6
00003T028
Arquitectura multicapa para o desarrollo de aplicaciones de control de gestión
Profesor responsable: Rodríguez Rubio, Miguel
6
00003T029
Eficiencia en recuperación de información
Profesor responsable: Barreiro García, álvaro
6
00003T030
Agentes inteligentes evolutivos
Profesor responsable: Mosqueira Rey, Eduardo
6
00003T031
Mejora de un algoritmo de aprendizaje basado en sensibilidad
Profesor responsable: Guijarro Berdiñas, Berta
6
00003T032
Recuperación de información multilingüe
Profesor responsable: Vilares Ferro, Jesus
6
00003T033
Aprendizaje en programación lógica inductiva (ILP)
Profesor responsable: Pérez Otero, Ramón
6



Tipo de programa: Unidepartamental
Dep. responsable: Computación
Coordinador: Blanco Ferro, Antonio Angel
Áreas por las que se adscribirá el D.E.A.: Ciencia de la Computación e Intelig. Art, Lenguajes y sistemas informáticos.

Programa con Mención de Calidad.