| Departamento | Ciencias da Computación e Tecnoloxías da Información |
| Área | Ciencia da computación e intelixencia artificial |
| Investigación | Grupo de investigación Grupo de Visión Artificial e Recoñecemento de Patróns |
| Liñas de investigación | Aínda non figuran no xestor curricular da UDC (SUXI). |
| Contacto | Directorio da UDC |
| Scopus23474267500 | |
Neste apartado móstrase a docencia impartida en graos, másteres e resto de titulacións oficiais ata os últimos 6 anos.
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
| Autómatas e Linguaxes Formais | Obrigatorio | 0 | 16 |
| Paradigmas de Programación | Obrigatorio | 0 | 243 |
| Programación II | Formación básica | 0 | 21 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Autómatas e Linguaxes Formais
Grao en Intelixencia Artificial
|
Obrigatorio | 0 | 16 |
|
Paradigmas de Programación
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 243 |
|
Programación II
Grao en Enxeñaría Informática
|
Formación básica | 0 | 21 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Paradigmas de Programación
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 256,5 |
|
Programación II
Grao en Enxeñaría Informática
|
Formación básica | 0 | 21 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Paradigmas de Programación
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 268,5 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Paradigmas de Programación
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 250 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Paradigmas de Programación
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 250 |
Titorías definidas polo/a docente para o curso académico 2024/2025.
| Cuadrimestre | Día | Lugar |
|---|---|---|
| Primeiro cuadrimestre |
luns
17:30 a 18:30 |
Teams |
| Primeiro cuadrimestre |
xoves
17:30 a 18:30 |
Teams |
| Primeiro cuadrimestre |
venres
15:30 a 17:30 |
Teams |
Non figuran proxectos fin de grao ou máster dirixidos polo/a docente desde o ano 2013
Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.
IA confiable y explicable para el diagnóstico por imagen médica asistido por ordenador: Nuevos avances y aplicaciones
| Entidade financiadora | Ministerio de Ciencia, Innovación y Universidades |
| Investigadores principais | Marcos Ortega Hortas (IP1) / Jorge Novo Buján (IP2) |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 01/09/2024 ata 31/08/2027 |
Axudas para a consolidación e estruturación de unidades de investigación competitivas-GRC
| Entidade financiadora | Consellería de Educación e Ordenación Universitaria |
| Investigadores principais | González Penedo, F. Manuel |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2020 ata 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
| Entidade financiadora | Ministerio de Ciencia, Innovación y Universidades |
| Investigadores principais | Marcos Ortega Hortas / Enrique Javier Carmona Suárez |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 01/01/2019 ata 31/12/2022 |
SIRIUS - Sistema de análisis de microcirculación retiniana: evaluación multidisciplinar e integración en protocolos clínicos
| Entidade financiadora | Instituto de Salud Carlos III (ISCIII) |
| Investigadores principais | Marcos Ortega Hortas |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 01/01/2016 ata 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
| Entidade financiadora | Instituto de Salud Carlos III (ISCIII) |
| Investigadores principais | Marcos Ortega Hortas |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 01/01/2015 ata 31/12/2017 |
Red de Investigación IEMath-Galicia
| Entidade financiadora | Consellería de Cultura, Educación e Ordenación Universitaria |
| Investigadores principais | Juan José Nieto Roig |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2014 ata 31/12/2015 |
Análisis automático de imágenes de fondo de ojo asociadas a diferentes patologías
| Entidade financiadora | Institut d'Assistència Sanitaria (IAS) |
| Investigadores principais | Manuel González Penedo |
| Tipo | Contrato |
| Datas | Desde 02/05/2013 ata 31/12/2014 |
iDEAS: Dry Eye Assessment System
| Entidade financiadora | Universidade da Coruña, por la contratación de servicios externos del proyecto PI10/00578 del Instituto de Salud Carlos III. |
| Investigadores principais | Manuel Francisco González Penedo |
| Tipo | Contrato |
| Datas | Desde 28/02/2013 ata 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
| Entidade financiadora | Universidade da Coruña, por la contratación de servicios externos del proyecto PI10/00578 del Instituto de Salud Carlos III. |
| Investigadores principais | Manuel Francisco González Penedo |
| Tipo | Contrato |
| Datas | Desde 04/09/2013 ata 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.
| Entidade financiadora | Xunta de Galicia |
| Investigadores principais | Manuel Francisco González Penedo |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2013 ata 30/11/2015 |
Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)
| Entidade financiadora | Xunta de Galicia |
| Investigadores principais | Ricardo Cao Abad |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2012 ata 31/12/2013 |
Rede IEMath-Galicia (Programa de Consolidación y estructuración de unidades de investigación competitivas).
| Entidade financiadora | Xunta de Galicia |
| Investigadores principais | Juan José Nieto Roig |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2012 ata 30/11/2013 |
Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-
| Entidade financiadora | Ministerio de Economía y Competitividad |
| Investigadores principais | José Pedro Cabalar Fernández |
| Tipo | Proxecto Outros Programas |
| Datas | Desde 01/01/2010 ata 31/12/2013 |
Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.
| Entidade financiadora | Dirección Xeral de Investigación, Desenvolvemento e Innovación |
| Tipo | Proxecto Outros Programas |
| Datas | Desde 01/01/2008 ata 31/10/2011 |
Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
| Tipo | Proxecto Outros Programas |
| Datas | Desde 01/10/2006 ata 30/09/2009 |
LÓGICAS, DEDUCCIÓN Y PROGRAMACIÓN PARA SISTEMAS INTELIGENTES (AMPLIACIONES Y APLICACIONES DE ANSWER SET PROGRAMMING)
| Tipo | Proxecto Outros Programas |
| Datas | Desde 01/10/2006 ata 30/09/2009 |
Red Gallega de Procesamiento del Lenguaje y Recuperación de Información
| Entidade financiadora | Consellería de Educación e Ordenación Universitaria |
| Investigadores principais | Manuel Vilares Ferro |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2006 ata 31/12/2008 |
REGACA (Rede galega de álxebra, computación e aplicacións)
| Entidade financiadora | CONSELLERÍA DE INNOVACIÓN, INDUSTRIA E COMERCIO |
| Investigadores principais | MANUEL EULOGIO LADRA GONZALEZ |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2004 ata 31/12/2012 |
Sistema distribuído de Identificación Personas mediante Huellas de Retina
| Entidade financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Investigadores principais | Manuel Francisco González Penedo |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 24/10/2003 ata 23/10/2006 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Entidade financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principais | Víctor M. Gulías Fernández |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 05/11/2002 ata 05/11/2005 |
e-MINDER. Electronic commerce leveraging network for developing European regions
| Entidade financiadora | Union Europea |
| Tipo | Proxecto Outros Programas |
| Datas | Desde 29/08/2001 ata 29/08/2003 |
Técnicas de agrupamiento perceptual para reconocimiento de objetos de imágenes
| Entidade financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Investigadores principais | Manuel Francisco González Penedo |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 20/07/2001 ata 20/07/2004 |
Modelización y evaluación de un sistema de almacenamiento distribuido a bajo coste para aplicaciones multimedia
| Entidade financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proxecto Outros Programas |
| Datas | Desde 01/12/1999 ata 01/12/2001 |
Arquitectura de nodos de proceso paralelo para servicio de vídeo bajo demanda
| Entidade financiadora | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Tipo | Proxecto Outros Programas |
| Datas | Desde 30/12/1999 ata 31/12/2001 |
Sócrates (Sistema objetual y cooperativo para la racionalización de la actividad y la tecnología de la empresa )
| Entidade financiadora | Dirección Xeral de Universidades |
| Tipo | Proxecto Outros Programas |
| Datas | Desde 24/10/1996 ata 24/10/1998 |
Sistema de cálculo simbólico con arquitectura cliente/servidor y núcleo funcional
| Entidade financiadora | Dirección Xeral de Universidades |
| Investigadores principais | José Luis Freire Nistal |
| Tipo | Proxecto Outros Programas |
| Datas | Desde 01/01/1994 ata 31/12/1995 |
Generación óptima de conexiones en mapas: aplicación en redes de distribución.
| Entidade financiadora | Consellería de Educación e Ordenación Universitaria |
| Investigadores principais | Antonio Ángel Blanco Ferro |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 07/04/1994 ata 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
| Entidade financiadora | Fundación Empresa-Universidad Gallega (FEUGA) |
| Tipo | Contrato |
| Datas | Desde 08/03/1993 ata 08/06/1993 |
Reescritura gráfica
| Entidade financiadora | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Investigadores principais | José Luis Freire |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 01/10/1991 ata 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áxs. 169 ata 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áxs. 405 ata 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áxs. 25 ata 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áxs. 282 ata 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áxs. 77 ata 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áxs. 55 ata 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 ou de xestión para o/a docente.