| Department | Computer Science and Information Technologies |
| Knowledgment area | Computational Science and Artificial Intelligence |
| Research | Research group Grupo de Visión Artificial y Reconocimiento de Patrones |
| Research lines | No data available from Curriculum Management System at UDC. (SUXI). |
| Contacto | UDC directory |
| Scopus23474267500 | |
This section shows the teaching given in degrees, masters and other officers studies in last 6 years.
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
| Automata and Formal Languages | Compulsory | 0 | 16 |
| Programming Paradigms | Compulsory | 0 | 243 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Programming II
Degree in Computer Engineering
|
Core | 0 | 21 |
|
Programming Paradigms
Degree in Computer Engineering
|
Compulsory | 0 | 256.5 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Programming Paradigms
Degree in Computer Engineering
|
Compulsory | 0 | 268.5 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Programming Paradigms
Degree in Computer Engineering
|
Compulsory | 0 | 250 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Programming Paradigms
Degree in Computer Engineering
|
Compulsory | 0 | 250 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Programming Paradigms
Degree in Computer Engineering
|
Compulsory | 0 | 230 |
Defined tutoring by teacher for 2023/2024 academic course.
| Quarter | Day | Site |
|---|---|---|
| 1st quarter |
Monday
17:30 a 18:30 |
Teams |
| 1st quarter |
Thursday
17:30 a 18:30 |
Teams |
| 1st quarter |
Friday
15:30 a 17:30 |
Teams |
| 2nd quarter |
Monday
10:00 a 13:00 |
Teams |
| 2nd quarter |
Thursday
10:00 a 11:00 |
Teams |
No available EOG works or final master thesis directed by current teacher since 2013 year.
Select merit type and year to query research merits.
Axudas para a consolidación e estruturación de unidades de investigación competitivas-GRC
| Funding entity | Consellería de Educación e Ordenación Universitaria |
| Main researches | González Penedo, F. Manuel |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2020 to 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
| Funding entity | Ministerio de Ciencia, Innovación y Universidades |
| Main researches | Marcos Ortega Hortas / Enrique Javier Carmona Suárez |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/01/2019 to 31/12/2022 |
SIRIUS - Sistema de análisis de microcirculación retiniana: evaluación multidisciplinar e integración en protocolos clínicos
| Funding entity | Instituto de Salud Carlos III (ISCIII) |
| Main researches | Marcos Ortega Hortas |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/01/2016 to 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
| Funding entity | Instituto de Salud Carlos III (ISCIII) |
| Main researches | Marcos Ortega Hortas |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/01/2015 to 31/12/2017 |
Red de Investigación IEMath-Galicia
| Funding entity | Consellería de Cultura, Educación e Ordenación Universitaria |
| Main researches | Juan José Nieto Roig |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2014 to 31/12/2015 |
Análisis automático de imágenes de fondo de ojo asociadas a diferentes patologías
| Funding entity | Institut d'Assistència Sanitaria (IAS) |
| Main researches | Manuel González Penedo |
| Type | Contrato |
| Dates | From 02/05/2013 to 31/12/2014 |
iDEAS: Dry Eye Assessment System
| Funding entity | Universidade da Coruña, por la contratación de servicios externos del proyecto PI10/00578 del Instituto de Salud Carlos III. |
| Main researches | Manuel Francisco González Penedo |
| Type | Contrato |
| Dates | From 28/02/2013 to 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
| Funding entity | Universidade da Coruña, por la contratación de servicios externos del proyecto PI10/00578 del Instituto de Salud Carlos III. |
| Main researches | Manuel Francisco González Penedo |
| Type | Contrato |
| Dates | From 04/09/2013 to 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.
| Funding entity | Xunta de Galicia |
| Main researches | Manuel Francisco González Penedo |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2013 to 30/11/2015 |
Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)
| Funding entity | Xunta de Galicia |
| Main researches | Ricardo Cao Abad |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2012 to 31/12/2013 |
Rede IEMath-Galicia (Programa de Consolidación y estructuración de unidades de investigación competitivas).
| Funding entity | Xunta de Galicia |
| Main researches | Juan José Nieto Roig |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2012 to 30/11/2013 |
Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-
| Funding entity | Ministerio de Economía y Competitividad |
| Main researches | José Pedro Cabalar Fernández |
| Type | Proyecto Otros Programas |
| Dates | From 01/01/2010 to 31/12/2013 |
Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.
| Funding entity | Dirección Xeral de Investigación, Desenvolvemento e Innovación |
| Type | Proyecto Otros Programas |
| Dates | From 01/01/2008 to 31/10/2011 |
Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
| Type | Proyecto Otros Programas |
| Dates | From 01/10/2006 to 30/09/2009 |
LÓGICAS, DEDUCCIÓN Y PROGRAMACIÓN PARA SISTEMAS INTELIGENTES (AMPLIACIONES Y APLICACIONES DE ANSWER SET PROGRAMMING)
| Type | Proyecto Otros Programas |
| Dates | From 01/10/2006 to 30/09/2009 |
Red Gallega de Procesamiento del Lenguaje y Recuperación de Información
| Funding entity | Consellería de Educación e Ordenación Universitaria |
| Main researches | Manuel Vilares Ferro |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2006 to 31/12/2008 |
REGACA (Rede galega de álxebra, computación e aplicacións)
| Funding entity | CONSELLERÍA DE INNOVACIÓN, INDUSTRIA E COMERCIO |
| Main researches | MANUEL EULOGIO LADRA GONZALEZ |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2004 to 31/12/2012 |
Sistema distribuído de Identificación Personas mediante Huellas de Retina
| Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Main researches | Manuel Francisco González Penedo |
| Type | Proyecto Programas Autonomicos |
| Dates | From 24/10/2003 to 23/10/2006 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Funding entity | Ministerio de Ciencia y Tecnología |
| Main researches | Víctor M. Gulías Fernández |
| Type | Proyecto Programas Nacionales |
| Dates | From 05/11/2002 to 05/11/2005 |
e-MINDER. Electronic commerce leveraging network for developing European regions
| Funding entity | Union Europea |
| Type | Proyecto Otros Programas |
| Dates | From 29/08/2001 to 29/08/2003 |
Técnicas de agrupamiento perceptual para reconocimiento de objetos de imágenes
| Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Main researches | Manuel Francisco González Penedo |
| Type | Proyecto Programas Autonomicos |
| Dates | From 20/07/2001 to 20/07/2004 |
Modelización y evaluación de un sistema de almacenamiento distribuido a bajo coste para aplicaciones multimedia
| Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Type | Proyecto Otros Programas |
| Dates | From 01/12/1999 to 01/12/2001 |
Arquitectura de nodos de proceso paralelo para servicio de vídeo bajo demanda
| Funding entity | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Type | Proyecto Otros Programas |
| Dates | From 30/12/1999 to 31/12/2001 |
Sócrates (Sistema objetual y cooperativo para la racionalización de la actividad y la tecnología de la empresa )
| Funding entity | Dirección Xeral de Universidades |
| Type | Proyecto Otros Programas |
| Dates | From 24/10/1996 to 24/10/1998 |
Sistema de cálculo simbólico con arquitectura cliente/servidor y núcleo funcional
| Funding entity | Dirección Xeral de Universidades |
| Main researches | José Luis Freire Nistal |
| Type | Proyecto Otros Programas |
| Dates | From 01/01/1994 to 31/12/1995 |
Generación óptima de conexiones en mapas: aplicación en redes de distribución.
| Funding entity | Consellería de Educación e Ordenación Universitaria |
| Main researches | Antonio Ángel Blanco Ferro |
| Type | Proyecto Programas Autonomicos |
| Dates | From 07/04/1994 to 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
| Funding entity | Fundación Empresa-Universidad Gallega (FEUGA) |
| Type | Contrato |
| Dates | From 08/03/1993 to 08/06/1993 |
Reescritura gráfica
| Funding entity | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Main researches | José Luis Freire |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/10/1991 to 01/10/1993 |
On the Confluence of the Graphic Calculus with Penrose Diagrams
| Authors | José Luis Freire Nistal, Antonio Ángel Blanco Ferro, José María Molinelli Barba, José Enrique Freire Brañas |
| Journal | Lecture Notes in Computer Science Vol. 6927 (pages 169 to 176) |
| DOI | https://doi.org/10.1007/978-3-642-27549-4 |
Crossover operators for permutations equivalence between position and order-based crossover
| Authors | Concepción Vidal, Gilberto Pérez, Felicidad Aguado, Lin, J |
| Journal | LOGIC JOURNAL OF THE IGPL Vol. 19 Num. 2 (pages 405 to 414) |
Genetic algorithms in Coq: Generalization and formalization of the crossover operator
| Authors | Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal |
| Journal | Journal of Formalized Reasoning (pages 25 to 37) |
Certified Genetic Algorithms: Crossover Operators for Permutations
| Authors | Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 282 to 289) |
An automatic calculator with penrose diagrams
| Authors | José María Barja Pérez, Antonio Ángel Blanco Ferro, José Luis Freire Nistal, Lin, J |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 1333 Num. - (pages 77 to 94) |
Addenda to "Computer-looking for Nontrivial Repetitions in the Pascal Triangle"
| Authors | Lin, J |
| Journal | SIGSMALL/ PC NOTES Vol. 17 Num. 4 (pages 55 to 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)
International
| Authors | Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal |
| Place | 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
International
| Authors | Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez |
| Place | 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
International
| Authors | Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez |
| Place | 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
International
| Authors | Gilberto Pérez, José Luis Freire Nistal, Lin, J |
| Place | Cali (Colombia) |
Academic or management positions held by teacher.