| Departamento | Ciencias de la Computación y Tecnologías de la Información |
| Área | Ciencia de la computación e inteligencia artificial |
| Investigación | Grupo de investigación Grupo de Visión Artificial y Reconocimiento de Patrones |
| Líneas de investigación | No figuran en el gestor curricular de la UDC (SUXI). |
| Contacto | Directorio de la UDC |
| Scopus23474267500 | |
En este apartado se muestra la docencia impartida en grados, másteres y resto de estudios oficiales en los últimos 6 años.
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
| Autómatas y Lenguajes Formales | Obligatorio | 0 | 16 |
| Paradigmas de Programación | Obligatorio | 0 | 243 |
| Programación II | Formación básica | 0 | 21 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Autómatas y Lenguajes Formales
Grado en Inteligencia Artificial
|
Obligatorio | 0 | 16 |
|
Paradigmas de Programación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 243 |
|
Programación II
Grado en Ingeniería Informática
|
Formación básica | 0 | 21 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Paradigmas de Programación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 256,5 |
|
Programación II
Grado en Ingeniería Informática
|
Formación básica | 0 | 21 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Paradigmas de Programación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 268,5 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Paradigmas de Programación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 250 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Paradigmas de Programación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 250 |
Tutorías definidas por el/la docente para el curso académico 2024/2025.
| Cuatrimestre | Día | Lugar |
|---|---|---|
| Primer cuatrimestre |
lunes
17:30 a 18:30 |
Teams |
| Primer cuatrimestre |
jueves
17:30 a 18:30 |
Teams |
| Primer cuatrimestre |
viernes
15:30 a 17:30 |
Teams |
No figuran proyectos fin de grado o máster dirigidos por el/la docente desde el año 2013
Puede consultar los méritos de investigación seleccionando un tipo de mérito y el año.
IA confiable y explicable para el diagnóstico por imagen médica asistido por ordenador: Nuevos avances y aplicaciones
| Entidad financiadora | Ministerio de Ciencia, Innovación y Universidades |
| Investigadores principales | Marcos Ortega Hortas (IP1) / Jorge Novo Buján (IP2) |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/09/2024 a 31/08/2027 |
Axudas para a consolidación e estruturación de unidades de investigación competitivas-GRC
| Entidad financiadora | Consellería de Educación e Ordenación Universitaria |
| Investigadores principales | González Penedo, F. Manuel |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/2020 a 31/12/2023 |
Desarrollo de tecnologías inteligentes para diagnóstico de la DMAE basadas en el análisis automático de nuevas modalidades heterogéneas de adquisición de imagen oftalmológica
| Entidad financiadora | Ministerio de Ciencia, Innovación y Universidades |
| Investigadores principales | Marcos Ortega Hortas / Enrique Javier Carmona Suárez |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/2019 a 31/12/2022 |
SIRIUS - Sistema de análisis de microcirculación retiniana: evaluación multidisciplinar e integración en protocolos clínicos
| Entidad financiadora | Instituto de Salud Carlos III (ISCIII) |
| Investigadores principales | Marcos Ortega Hortas |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/2016 a 31/12/2017 |
Desarrollo de un sistema automático para el cálculo y visualización de propiedades anatómicas de la retina en SD-OCT y su correlación con análisis funcionales heterogéneos de la visión
| Entidad financiadora | Instituto de Salud Carlos III (ISCIII) |
| Investigadores principales | Marcos Ortega Hortas |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/2015 a 31/12/2017 |
Red de Investigación IEMath-Galicia
| Entidad financiadora | Consellería de Cultura, Educación e Ordenación Universitaria |
| Investigadores principales | Juan José Nieto Roig |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/2014 a 31/12/2015 |
Análisis automático de imágenes de fondo de ojo asociadas a diferentes patologías
| Entidad financiadora | Institut d'Assistència Sanitaria (IAS) |
| Investigadores principales | Manuel González Penedo |
| Tipo | Contrato |
| Fechas | Desde 02/05/2013 a 31/12/2014 |
iDEAS: Dry Eye Assessment System
| Entidad financiadora | Universidade da Coruña, por la contratación de servicios externos del proyecto PI10/00578 del Instituto de Salud Carlos III. |
| Investigadores principales | Manuel Francisco González Penedo |
| Tipo | Contrato |
| Fechas | Desde 28/02/2013 a 30/08/2013 |
Desarrollo de una aplicación de escritorio para la adquisición de videos de película lacrimal y acceso a la plataforma IDEAS
| Entidad financiadora | Universidade da Coruña, por la contratación de servicios externos del proyecto PI10/00578 del Instituto de Salud Carlos III. |
| Investigadores principales | Manuel Francisco González Penedo |
| Tipo | Contrato |
| Fechas | Desde 04/09/2013 a 31/12/2013 |
Ayuda para la consolidación y estructuración de unidades de investigación competitivas del Sistema universitario de Galicia - Modalidad de grupos con potencial crecimiento.
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Manuel Francisco González Penedo |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/2013 a 30/11/2015 |
Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Ricardo Cao Abad |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/2012 a 31/12/2013 |
Rede IEMath-Galicia (Programa de Consolidación y estructuración de unidades de investigación competitivas).
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Juan José Nieto Roig |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/2012 a 30/11/2013 |
Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-
| Entidad financiadora | Ministerio de Economía y Competitividad |
| Investigadores principales | José Pedro Cabalar Fernández |
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/01/2010 a 31/12/2013 |
Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.
| Entidad financiadora | Dirección Xeral de Investigación, Desenvolvemento e Innovación |
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/01/2008 a 31/10/2011 |
Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/10/2006 a 30/09/2009 |
LÓGICAS, DEDUCCIÓN Y PROGRAMACIÓN PARA SISTEMAS INTELIGENTES (AMPLIACIONES Y APLICACIONES DE ANSWER SET PROGRAMMING)
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/10/2006 a 30/09/2009 |
Red Gallega de Procesamiento del Lenguaje y Recuperación de Información
| Entidad financiadora | Consellería de Educación e Ordenación Universitaria |
| Investigadores principales | Manuel Vilares Ferro |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/2006 a 31/12/2008 |
REGACA (Rede galega de álxebra, computación e aplicacións)
| Entidad financiadora | CONSELLERÍA DE INNOVACIÓN, INDUSTRIA E COMERCIO |
| Investigadores principales | MANUEL EULOGIO LADRA GONZALEZ |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/2004 a 31/12/2012 |
Sistema distribuído de Identificación Personas mediante Huellas de Retina
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Investigadores principales | Manuel Francisco González Penedo |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 24/10/2003 a 23/10/2006 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Entidad financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principales | Víctor M. Gulías Fernández |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 05/11/2002 a 05/11/2005 |
e-MINDER. Electronic commerce leveraging network for developing European regions
| Entidad financiadora | Union Europea |
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 29/08/2001 a 29/08/2003 |
Técnicas de agrupamiento perceptual para reconocimiento de objetos de imágenes
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Investigadores principales | Manuel Francisco González Penedo |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 20/07/2001 a 20/07/2004 |
Modelización y evaluación de un sistema de almacenamiento distribuido a bajo coste para aplicaciones multimedia
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/12/1999 a 01/12/2001 |
Arquitectura de nodos de proceso paralelo para servicio de vídeo bajo demanda
| Entidad financiadora | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 30/12/1999 a 31/12/2001 |
Sócrates (Sistema objetual y cooperativo para la racionalización de la actividad y la tecnología de la empresa )
| Entidad financiadora | Dirección Xeral de Universidades |
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 24/10/1996 a 24/10/1998 |
Sistema de cálculo simbólico con arquitectura cliente/servidor y núcleo funcional
| Entidad financiadora | Dirección Xeral de Universidades |
| Investigadores principales | José Luis Freire Nistal |
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/01/1994 a 31/12/1995 |
Generación óptima de conexiones en mapas: aplicación en redes de distribución.
| Entidad financiadora | Consellería de Educación e Ordenación Universitaria |
| Investigadores principales | Antonio Ángel Blanco Ferro |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 07/04/1994 a 07/04/1997 |
CONVENIO ESPECÍFICO ENTRE LA DIPUTACIÓN DE A CORUÑA, FEUGA Y UDC PARA LA DIAGNOSIS DE LOS SERVICIOS INFORMÁTICOS DE LA DIPUTACIÓN PROVINCIAL DE A CORUÑA
| Entidad financiadora | Fundación Empresa-Universidad Gallega (FEUGA) |
| Tipo | Contrato |
| Fechas | Desde 08/03/1993 a 08/06/1993 |
Reescritura gráfica
| Entidad financiadora | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Investigadores principales | José Luis Freire |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/10/1991 a 01/10/1993 |
On the Confluence of the Graphic Calculus with Penrose Diagrams
| Autores | José Luis Freire Nistal, Antonio Ángel Blanco Ferro, José María Molinelli Barba, José Enrique Freire Brañas |
| Revista | Lecture Notes in Computer Science Vol. 6927 (págs. 169 a 176) |
| DOI | https://doi.org/10.1007/978-3-642-27549-4 |
Crossover operators for permutations equivalence between position and order-based crossover
| Autores | Concepción Vidal, Gilberto Pérez, Felicidad Aguado, Lin, J |
| Revista | LOGIC JOURNAL OF THE IGPL Vol. 19 Núm. 2 (págs. 405 a 414) |
Genetic algorithms in Coq: Generalization and formalization of the crossover operator
| Autores | Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal |
| Revista | Journal of Formalized Reasoning (págs. 25 a 37) |
Certified Genetic Algorithms: Crossover Operators for Permutations
| Autores | Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 282 a 289) |
An automatic calculator with penrose diagrams
| Autores | José María Barja Pérez, Antonio Ángel Blanco Ferro, José Luis Freire Nistal, Lin, J |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 1333 Núm. - (págs. 77 a 94) |
Addenda to "Computer-looking for Nontrivial Repetitions in the Pascal Triangle"
| Autores | Lin, J |
| Revista | SIGSMALL/ PC NOTES Vol. 17 Núm. 4 (págs. 55 a 56) |
Crossover Operators for Permutations. Equivalence between Position and Order Based Crossover
9th International Conference Computational and Mathematical Methods in Science and Engineering (CMMSE 2009)
Internacional
| Autores | Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal |
| Lugar | Gijón (España) |
Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional
| Autores | Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez |
| Lugar | San José (Costa Rica) |
Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional
| Autores | Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez |
| Lugar | San José (Costa Rica) |
Extracción de programas a partir de pruebas : Certificación de la Forma Normal de la Reducción de Polinomios
CLEI 2005. XXXI Conferencia Latinoamericana de Informática
Internacional
| Autores | Gilberto Pérez, José Luis Freire Nistal, Lin, J |
| Lugar | Cali (Colombia) |
Cargos académicos o de gestión para el/la docente.