Big-eRisk: Predicción temprana de riesgos personales en conjuntos de datos masivos
Funding entity | Ministerio de Ciencia e Innovación |
Main researches | JAvier Parapar López |
Type | Proyecto Programas Nacionales |
Dates | From 01/12/2021 to 30/11/2024 |
Address | Laboratoria 4.2 Facultad de Informática Campus de Elviña s/n 15071 A Coruña |
Phone | 981167000 ext. 1270 |
Fax | 981167160 |
Website | http://www.dc.fi.udc.es/irlab |
UNESCO codes |
LOGICA MATEMATICA (110208) INFORMATICA (120317) |
Socioeconomic codes |
R&D related to Natural Sciences - financed from GUF (12.1) |
Research lines |
Recuperación de Información Recuperación de Información en la Web Representación Lógica del Conocimiento Computación Evolutiva Bioinformática Sistemas de Recomendación |
Keywords | Recuperación de Información, modelos, evaluación; Recuperación de Información Web, escalabilidad, buscadores verticales; Eficiencia, índices, compresión, pruning, optimización; Lógica, programación lógica, modelos lógicos de RI; Computación evolutiva, propiedades, aplicaciones algoritmos evolutivos a RI; Bioinformática, predicción de estructura de proteínas, modelado de crecimiento tumoral; Sistemas de Recomendación, modelos, evaluación, eficiencia |
Services offered |
Análisis, diseño,implementación y evaluación de sistemas. Informáticos en dominios complejos:recuperación de información y sistemas de recomendación Búsqueda,optimización,web,etc. Modelización y formulación de problemas complejos |
Infraestructure resources | Servidores de gama media y alta. Varios Ordenadores personales de sobremesa y portátiles. Colecciones de evaluación y Recuperación de Información TREC, AQUAINT Y colecciones Web.(Licencias para investigación en el Grupo) |
Transferable results | Sistemas de recuperación de información, coma o sistema de noticias web NowOnWeb, o sistema de procura de información lexislativa Lexisla ou a ferramenta de xestión de corpus lingüísticos Coruña Corpus Tool (todos elas dispoñíbeis na dirección web www.irlab.org). Solucións de indexación, almacenamento e recuperación de información. Solucións a problemas de procura e optimización. |
You can browse the catalog by selecting a merit type and year.
Big-eRisk: Predicción temprana de riesgos personales en conjuntos de datos masivos
Funding entity | Ministerio de Ciencia e Innovación |
Main researches | JAvier Parapar López |
Type | Proyecto Programas Nacionales |
Dates | From 01/12/2021 to 30/11/2024 |
Razonamiento Automático y Aprendizaje con Inducción de Conocimiento
Funding entity | Ministerio de Ciencia e Innovación |
Main researches | Pedro Cabalar Fernández/ José Santos Reyes |
Type | Proyecto Programas Nacionales |
Dates | From 01/09/2021 to 31/08/2024 |
Predicción de la estructura de proteínas de SARS-CoV-2 con técnicas de inteligencia artificial
Funding entity | Axencia Galega de Innovación |
Main researches | Santos Reyes, José |
Type | Proyecto Programas Autonomicos |
Dates | From 01/11/2020 to 31/12/2021 |
Modelos de recomendación respetuosos con la privacidad del usuario
Funding entity | Linknovate Science SL |
Main researches | Javier Parapar López |
Type | Contrato |
Dates | From 15/10/2020 to 15/05/2021 |
Integración de la plataforma interna de ABanca Seguros, API de interacción securizada y adquisición de información documental automatizada
Funding entity | ODEENE Ingeniería |
Main researches | José Carlos Dafonte Vázquez / Víctor Carneiro Díaz |
Type | Contrato |
Dates | From 01/09/2020 to 31/12/2020 |
Generación automática de código seguro desde lenguajes de tercera generación a framework Metrópolis - ABanca. Plataforma de detección de vulnerabilidades y estandarización de código (Fase III)
Funding entity | ODEENE Ingeniería |
Main researches | José Carlos Dafonte Vázquez / Víctor Carneiro Díaz |
Type | Contrato |
Dates | From 15/06/2020 to 15/03/2021 |
Axudas para acreditación, estructuración e mellora de Centros de Investigación Singulares do Sistema Universitario de Galicia
Funding entity | CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL |
Main researches | M.G. Penedo |
Type | Proyecto Programas Autonomicos |
Dates | From 01/12/2019 to 30/11/2022 |
CA18128 - Saving European Archaeology from the Digital Dark Age
Funding entity | COST European Cooperation in Science and Technology |
Main researches | Julian Richards |
Type | Proyecto UE |
Dates | From 04/03/2019 to 03/03/2023 |
Tecnologías para la predicción temprana de signos relacionados con trastornos psicológicos
Funding entity | Ministerio de Ciencia, Innovación y Universidades |
Main researches | Álvaro Barreiro García / Javier Parapar López |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2019 to 31/12/2021 |
AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS. GPC
Funding entity | CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL |
Main researches | ÁLVARO BARREIRO GARCÍA |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2019 to 20/11/2021 |
Axudas para a consolidación e estructuración de unidades de investigación Competitivas
Funding entity | Xunta de Galicia |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2019 to 31/12/2021 |
Análisis e investigación de un sistema de recomendación como servicio.
Funding entity | Linknovate Science SL |
Main researches | Javier Parapar López |
Type | Contrato |
Dates | From 01/04/2019 to 31/03/2021 |
RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS (TARDIS)
Funding entity | Ministerio de Economía y Competitividad (MINECO) |
Main researches | Pedro Cabalar Fernández |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2018 to 31/12/2020 |
Infraestructura para la optimización de recursos de cómputo orientada a proyectos de análisis de datos masivos y securización de sistemas y redes para el Centro de Investigación en TIC (CITIC)
Funding entity | Ministerio de Ciencia, Innovación y Universidades |
Main researches | Manuel González Penedo |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2018 to 31/12/2019 |
TARDIS: Temporal Automated Reasoning for Dynamic Intelligent Systems
Funding entity | Ministerio de Economía y Competitividad |
Main researches | Pedro Cabalar |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2018 to 31/12/2020 |
Red de investigación IEMath-Galicia
Funding entity | Xunta de Galicia |
Main researches | Juan José Nieto Roig |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2017 to 31/12/2018 |
Axudas para a consolidación e estruturación de unidades de investigación competitivas-GPC
Funding entity | Consellería de Cultura, Educación e Ordenación Universitaria |
Main researches | Álvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2017 to 31/12/2018 |
Xunta de Galicia (GPC ED431B 2016/035)
Funding entity | Xunta de Galicia |
Main researches | Álvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2017 to 31/12/2018 |
Plan de Innovación para la generación de conocimeinto
Funding entity | Linknovate Science SL |
Main researches | Javier Parapar López |
Type | Contrato |
Dates | From 01/10/2017 to 30/11/2018 |
Plan de innovación para la generación de conocimiento
Funding entity | Linknovate Science SL |
Main researches | Javier Parapar López |
Type | Contrato |
Dates | From 01/10/2017 to 30/11/2018 |
Accesibilidad y disponibilidad de un Discovery Engine
Funding entity | Linknovate Science SL |
Main researches | Javier Parapar López |
Type | Contrato |
Dates | From 06/02/2017 to 15/06/2017 |
Búsqueda, filtrado y explotación de datos como servicio
Funding entity | Linknovate Science SL |
Main researches | Javier Parapar López |
Type | Contrato |
Dates | From 06/02/2017 to 15/06/2017 |
Axudas para a acreditación, estruturación e mellora de centros de investigación singulares e agrupacións estratéxicas consolidadas do Sistema universitario de Galicia, cofinanciadas polo Fondo Europeo de Desenvolvemento Rexional (Feder), no marco do programa operativo Feder Galicia 2014-2020
Funding entity | Consellería de Cultura, Educación e Ordenación Universitaria |
Main researches | Manuel F. González Penedo |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2016 to 30/11/2019 |
MODELOS DE LENGUAJE PROBABILÍSTICOS PARA RANKINGS PERSONALIZADOS EN SISTEMAS DE ACCESO A LA INFORMACIÓN
Funding entity | Ministerio de Economía y Competitividad (MINECO) |
Main researches | ALVARO BARREIRO GARCÍA |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2016 to 31/12/2018 |
Effective collaboration for European RD and Innovation in software services and Cloud Computing, Knowledge Discovery and Roadmapping (HOLA CLOUD). UDC Third Party participation.
Funding entity | Union Europea |
Main researches | Javier Parapar López |
Type | Proyecto UE |
Dates | From 01/01/2016 to 31/12/2016 |
Effective collaboration for European RD and Innovation in software, services and Cloud computing: Knowledge discovery and Roadmapping" (HOLACLOUD)
Funding entity | Union Europea |
Main researches | Javier Parapar López |
Type | Proyecto UE |
Dates | From 01/01/2015 to 31/12/2016 |
Procesamiento de imágenes DGGE (Denaturing Gradient Gel Electrophoresis) mediante modelos conexionistas y computación evolutiva
Funding entity | Universidad del Bío-Bío |
Main researches | Carola Figueroa Flores, María Angélica Caro Gutiérrez, José Santos Reyes |
Type | Proyecto Internacional |
Dates | From 01/01/2015 to 31/12/2016 |
MODELIZACIÓN DE PROCESOS BIOLÓGICOS EMERGENTES
Funding entity | Ministerio de Economía y Competitividad (MINECO) |
Main researches | José Santos Reyes |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2014 to 31/12/2017 |
Ayudas para la consolidación y estructuración de unidades de investigación competitivas. Modalidad de Redes: "Rede de Procesamento da Linguaxe e Recuperación da Información (REDPLIR)"
Funding entity | Consellería de Cultura, Educación e Ordenación Universitaria |
Main researches | Manuel Vilares Ferro |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2014 to 31/12/2015 |
MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS
Funding entity | Ministerio de Economía y Competitividad (MINECO) |
Main researches | José Pedro Cabalar Fernández |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2014 to 31/12/2016 |
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 |
Acuerdo para la explotación del software Totem-PDF (registro software con asiento registral 03/2014/909, número solicitud C-162-2014)
Funding entity | FACTORÍA DE SOFTWARE E MULTIMEDIA S.L (IMAXIN SOFTWARE) |
Main researches | Alvaro Barreiro García |
Type | Contrato |
Dates | From 29/10/2014 to 31/12/2017 |
Ayuda para la consolidación y estructuración de unidades de investigación competitivas
Funding entity | Consellería de Cultura, Educación e Ordenación Universitaria |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2013 to 31/12/2015 |
Recuperación y análisis de sentimientos en la web social
Funding entity | Ministerio de Economía y Competitividad (MINECO) |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2013 to 31/12/2015 |
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 |
Evolutionary optimization of emergent processes
Funding entity | Ministerio de Economía y Competitividad (MINECO) |
Main researches | José Santos Reyes |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2012 to 31/12/2013 |
Optimización evolutiva de procesos emergentes modelados con técnicas de vida artificial
Funding entity | Ministerio de Economía y Competitividad |
Main researches | José Santos Reyes |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2012 to 31/12/2013 |
Aplicaciones de análisis avanzado de vídeo para una smart city eficiente y segura (A2VISES)
Funding entity | Sixtema Soluciones y Proyectos de Información SL |
Main researches | Alvaro Barreiro García |
Type | Contrato |
Dates | From 01/01/2012 to 31/12/2014 |
Semi-automatic segmentation and text extraction from PDF newspapers and magazines. Acuerdo colaboración en el marco de la EEN (European Enterprise Network) con CIS Galicia, Echopress slr y Oktago (spin off Universidad de Calabria)
Funding entity | European Enterprise Network |
Main researches | Alvaro Barreiro García |
Type | Contrato |
Dates | From 01/01/2011 to 31/12/2012 |
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 |
Ayuda para la consolidación de unidades de investigación competitivas
Funding entity | Xunta de Galicia, Consellería de Innovación,Industria e Comercio |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2010 to 31/12/2011 |
Sistema de recuperación y oferta de noticias digitales NF4E-News Filtering for the Enterpise
Funding entity | Comasis Consultores SL |
Main researches | Alvaro Barreiro García |
Type | Contrato |
Dates | From 15/10/2010 to 15/10/2011 |
COATI: búsqueda avanzada y multlingüe en blogs para la recuperación de opiniones y tendencias para el ámbito empresaria y de la administración pública
Funding entity | FACTORÍA DE SOFTWARE E MULTIMEDIA S.L (IMAXIN SOFTWARE) |
Main researches | Alvaro Barreiro García |
Type | Contrato |
Dates | From 01/01/2010 to 31/12/2011 |
Obtención, integración, gestión y explotación de fuentes heterogéneas y multimodales en sistemas de vigilancia tecnológica
Funding entity | Fundación para fomento de la calidad industrial y desarrollo tecnológico de Galicia gestionadora del CIS |
Type | Contrato |
Dates | From 01/01/2010 to 31/12/2011 |
FEAST: Foundations and Extensions of Answer Set Programming Technology
Funding entity | Ministerio de Ciencia e Innovación |
Main researches | Pedro Cabalar |
Type | Proyecto Programas Nacionales |
Dates | From 01/10/2009 to 30/09/2012 |
Ayuda para la consolidación de unidades de investigación competitivas
Funding entity | Xunta de Galicia, Consellería de Innovación,Industria e Comercio |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2009 to 16/12/2009 |
Recuperación de Información sobre distintos medios con una perspectiva multidimensional: relevancia, novedad, personalización y contexto
Funding entity | Ministerio de Ciencia e Innovación |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2009 to 31/12/2011 |
Algoritmos Genéticos en problemas de Satisfactibilidad: estudio formal y aplicación a Answer Set Programming
Funding entity | Xunta de Galicia |
Main researches | Pedro Cabalar |
Type | Proyecto Programas Autonomicos |
Dates | From 01/10/2008 to 30/08/2011 |
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 |
Estudio técnico para la incorporación de técnicas de detección de redundancia y novedad en sistemas operacionales de recuperación de información
Funding entity | Universidade de Santiago de Compostela |
Main researches | Alvaro Barreiro García |
Type | Contrato |
Dates | From 21/11/2008 to 31/12/2009 |
Sistema de indexación, extracción de contenidos, búsqueda y gestión de información en fuentes legislativas
Funding entity | Fundación para fomento de la calidad industrial y desarrollo tecnológico de Galicia gestionadora del CIS |
Main researches | Alvaro Barreiro García |
Type | Contrato |
Dates | From 01/01/2008 to 31/12/2009 |
Mellora na recuperación de noticias e no acceso a información financieira: recuperación de noticia web. Subproxecto UDC
Funding entity | Dirección Xeral de Investigación, Desenvolvemento e Innovación |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 03/12/2007 to 03/12/2010 |
COMBINACIÓN DE TÉCNICAS DE APRENDIZAJE POR REFUERZO, DE PROGRAMACIÓN LÓGICA INDUCTIVA, Y DE MECANISMOS DE MODULACIÓN FUNCIONAL EN ESQUEMAS DE CONTROL DE AGENTES CON DISEÑO INCREMENTAL Y EVOLUTIVO.
Funding entity | MINISTERIO DE EDUCACIÓN Y CIENCIA |
Main researches | José Santos Reyes |
Type | Proyecto Otros Programas |
Dates | From 01/10/2007 to 30/04/2011 |
Grupo Integrado de Ingeniería (GII)
Type | Proyecto Otros Programas |
Dates | From 31/08/2007 to 15/11/2010 |
Recuperación de sentenzas relevantes e noveis utilizando modelos e técnicas de Recuperación de Información
Funding entity | Xunta de Galicia |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 03/12/2006 to 03/12/2007 |
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 |
Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
Funding entity | Ministerio de Educación y Ciencia |
Main researches | José Pedro Cabalar Fernández |
Type | Proyecto Programas Nacionales |
Dates | From 01/10/2006 to 30/09/2009 |
Recuperación de sentencias relevantes y noveles utilizando modelos y técnicas de Recuperación de Información-SUBPROYECTO UDC.
Funding entity | MINISTERIO DE EDUCACIÓN Y CIENCIA |
Main researches | Álvaro Barreiro García |
Type | Proyecto Otros Programas |
Dates | From 31/12/2005 to 31/12/2008 |
Diseño evolutivo de velas para navegación.
Funding entity | Dirección Xeral de Investigación e Desenvolvemento |
Type | Proyecto Otros Programas |
Dates | From 12/08/2004 to 13/08/2007 |
Sistema hiperespecrtral multisensor para la detección, seguimiento y representación cartográfica de vertidos marinos: instrumentación, sistemas de clasificación supervisada y detección en tiempo real (INCENTIVO)
Funding entity | Dirección Xeral de Investigación e Desenvolvemento |
Type | Proyecto Otros Programas |
Dates | From 04/06/2004 to 03/06/2007 |
DELIA: deduction and programming in non-classical logics for knowledge technology
Funding entity | Ministerio de Ciencia y Tecnología |
Main researches | David Pearce |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2004 to 31/12/2006 |
Sistema Hiperespectral Multisensor para la detección, seguimiento y representación cartográfica de vertidos marinos: Instrumentación, Sistemas de Clasificación Supervisada y Detección en Tiempo Real
Funding entity | Ministerio de Ciencia y Tecnología |
Main researches | Richard José Duro Fernández |
Type | Proyecto Otros Programas |
Dates | From 11/12/2003 to 10/12/2006 |
Sistema médico distribuído basado en XML
Funding entity | Ministerio de Ciencia y Tecnología |
Main researches | Manuel Francisco González Penedo |
Type | Proyecto Programas Nacionales |
Dates | From 03/12/2003 to 02/12/2006 |
La Epistasis Generalizada en la optimización funcional
Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
Type | Proyecto Otros Programas |
Dates | From 15/07/2003 to 14/07/2005 |
Implementación y evaluación en grandes colecciones de documentos del modelo lógico de Recuperación de Información IR-PLBR
Funding entity | Xunta de Galicia |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 04/07/2003 to 04/07/2005 |
Implementación y evaluación en grandes colecciones de documentos del modelo lógico de Recuperación de Información IR-PLBR
Funding entity | Ministerio de Ciencia y Tecnología MCyT |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Nacionales |
Dates | From 01/12/2002 to 30/11/2005 |
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 |
Construyendo ciudad, habitando entre redes, formulando proyectos de vida: un modelo de simulación basado en una aplicación informática vía web
Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
Main researches | José María Cardesín Díaz |
Type | Proyecto Programas Autonomicos |
Dates | From 08/10/2002 to 08/10/2005 |
Diseño, construcción y validación de un sistema jerárquico de almacenamiento de alta capacidad de bajo coste de adquisición y funcionamiento : Cheap TB
Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
Type | Proyecto Otros Programas |
Dates | From 28/09/2002 to 27/09/2004 |
Working Group on Answer Set Programming
Funding entity | Unión Europea (red de investigación) |
Main researches | Alessandro Provetti |
Type | Proyecto UE |
Dates | From 15/09/2002 to 14/03/2005 |
Unha linguaxe declarativa basada na causalidade: aplicación a diferentes problemas de razoamento (Incentivo TIC2001-0393)
Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
Type | Proyecto Otros Programas |
Dates | From 12/08/2002 to 11/08/2005 |
CONTRATO ART. 83 LOU ENTRE PARA PROYECTO "EVALUACIÓN EXTERNA DE LA APLICACIÓN WEB DE LONXANET PARA LA VENTA DE PRODUCTOS MARINOS DE EVALUACIÓN"
Funding entity | LONXANET DIRECTO, S.L. |
Type | Contrato |
Dates | From 01/06/2002 to 01/06/2003 |
Evaluación externa de la aplicación web de Lonxanet para la venta de productos marinos de alimentación
Funding entity | LONXANET DIRECTO, S.L. |
Main researches | Alvaro Barreiro García |
Type | Contrato |
Dates | From 01/06/2002 to 31/05/2003 |
CONTRATO DE COLABORACIÓN ENTRE LA UDC Y LA FUNDACIÓN CENTRO ONCOLÓGICO REGIONAL DE GALICIA
Funding entity | FUNDACIÓN CENTRO ONCOLÓGICO REGIONAL DE GALICIA ""JOSÉ ANTONIO QUIROGA Y PIÑEIRO"" |
Type | Contrato |
Dates | From 01/01/2002 to 01/01/2003 |
Un lenguaje declarativo basado en causalidad: aplicación a diferentes problemas de razonamiento
Funding entity | Ministerio de Ciencia y Tecnología |
Main researches | Ramón Pérez Otero |
Type | Proyecto Programas Nacionales |
Dates | From 28/12/2001 to 27/12/2004 |
Un lenguaje declarativo basado en causalidad:aplicación a diferentes problemas de razonamiento.
Type | Proyecto Otros Programas |
Dates | From 28/12/2001 to 28/12/2004 |
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 |
Imágenes hiperespectrales: técnicas de clasificación supervisada y registro temporal mediante redes neuronales.
Funding entity | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
Type | Proyecto Otros Programas |
Dates | From 18/01/2001 to 18/01/2004 |
Predicción de fallo empresarial mediante técnicas de inteligencia artificial
Type | Proyecto Otros Programas |
Dates | From 16/01/2001 to 16/01/2002 |
Diseños Adaptados y Algoritmos Genéticos
Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
Type | Proyecto Otros Programas |
Dates | From 26/08/2000 to 26/08/2002 |
Representación de coalgebras y categorías derivadas
Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
Type | Proyecto Otros Programas |
Dates | From 25/08/2000 to 25/08/2002 |
Predicción de fallo empresarial mediante técnicas de inteligencia artificial
Type | Proyecto Otros Programas |
Dates | From 01/06/2000 to 01/06/2001 |
Proyecto tecnológico protecas de embarcaciones catamarán sumergibles
Funding entity | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
Type | Proyecto Otros Programas |
Dates | From 01/01/2000 to 31/12/2001 |
Estudio y Diseño de cajas acústicas de alta calidad con resonadores acoplados
Funding entity | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
Type | Proyecto Otros Programas |
Dates | From 30/12/1999 to 31/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 |
Arquitectura cognitiva de robots móviles autónomos para tareas cooperativas y competitivas entre varios robots.
Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
Type | Proyecto Otros Programas |
Dates | From 25/08/1999 to 25/08/2002 |
Localización e t-estructuras na categoria derivada asociada a un dígrafo.
Type | Proyecto Otros Programas |
Dates | From 06/05/1999 to 06/05/2000 |
Tratamiento de conocimiento tradicional y biológico para una mejora en la gestión de las pesquerías artesanales gallegas. Desarrollo de un sistema terminológico y de mecanismos de compartición de conocimiento-.
Funding entity | Xunta de Galicia |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/1999 to 31/12/2000 |
Sistema de Razonamiento Automático sobre Dominios Dinámicos
Funding entity | Ministerio de Educación y Cultura |
Main researches | Ramón Pérez Otero |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/1999 to 31/12/2001 |
Sistema de razonamiento automático sobre dominios dinámicos
Funding entity | Secretaría de Estado de Universidades e Investigación. Programa Sectorial de Promoción General del Conocimiento |
Main researches | Ramón Pérez Otero |
Type | Proyecto Programas Nacionales |
Dates | From 01/10/1998 to 01/10/2001 |
Integración de módulos de procesado visual y selección de atención en la arquitectura cognitiva distribuida de robots autónomos.
Funding entity | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
Type | Proyecto Otros Programas |
Dates | From 01/10/1998 to 30/09/1999 |
Algoritmos genéticos: Epistasis y transformadas de Walsh
Type | Proyecto Otros Programas |
Dates | From 28/04/1998 to 28/04/1999 |
Arquitecturas de control con aprendizaje temporal para robots autónomos
Type | Proyecto Otros Programas |
Dates | From 28/04/1998 to 28/04/1999 |
CONVENIO DE LA UDC Y AFIANZAMIENTOS DE GALICIA SOCIEDAD DE GARANTÍA RECÍPROCA (AFIGAL) PARA DISEÑO, ORGANIZACIÓN Y DESARROLLO DE UN PLAN DE SISTEMAS
Funding entity | AFIANZAMIENTOS DE GALICIA SOCIEDAD DE GARANTÍA RECÍPROCA (AFIGAL) |
Type | Contrato |
Dates | From 26/05/1998 to 26/03/1999 |
Arquitectura de control con aprendizaje temporal para robots autónomos
Type | Proyecto Otros Programas |
Dates | From 01/01/1997 to 01/01/1998 |
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 |
Implementación de una base de datos con interfaces de usuario amigables bajo Internet
Funding entity | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
Type | Proyecto Otros Programas |
Dates | From 01/07/1996 to 30/06/1999 |
Razonamiento en sistemas dinámicos de eventos discretos. Integración en Medtool.
Funding entity | Xunta de Galicia |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/1996 to 31/12/1998 |
Algoritmos Genéticos. Aplicaciones a la economía
Type | Proyecto Otros Programas |
Dates | From 01/01/1996 to 01/01/1996 |
Razonamiento en Sistemas Dinámicos de Eventos Discretos. Integración en Medtool
Funding entity | Xunta de Galicia |
Main researches | Ramón Pérez Otero |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/1996 to 31/01/1998 |
Apoyo al diseño y desarrollo de ampliaciones de la aplicación Gialix: ¿Módulo de indicadores de diagnóstico financiero¿
Funding entity | Diputación de A Coruña (convenio de colaboración) |
Main researches | José Luis Freire Nistal |
Type | Contrato |
Dates | From 01/08/1996 to 30/04/1997 |
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 |
Aprendizaje en un entorno de desarrollo de sistemas expertos para ayuda a la investigación. Aplicación al dominio médico
Funding entity | Xunta de Galicia |
Main researches | Ramón Pérez Otero |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/1994 to 31/12/1995 |
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 |
Aprendizaje en un entorno de desarrollo de sistemas experto para ayuda a la investigación. Aplicación al dominio médico.
Funding entity | Xunta de Galicia |
Main researches | Ramón Pérez Otero |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/1994 to 31/12/1996 |
Sistema de adquisición automática de conocimiento para protocolos clínicos
Funding entity | Xunta de Galicia |
Main researches | Alvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/1993 to 31/12/1994 |
Generador de bases de conocimiento para protocolos clínicos.
Funding entity | Universidade da Coruña (UDC) |
Main researches | Alvaro Barreiro García |
Type | Proyecto Otros Programas |
Dates | From 01/07/1992 to 30/06/1993 |
TAO-E: Implementación, evaluación y refinamiento en un entorno clínico real de un consejero de terapia en oncología
Funding entity | Comisión Interministerial de Ciencia y Tecnología |
Main researches | José Mira Mira |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/1992 to 31/12/1994 |
Razonamiento temporal y planificación en un entorno clínico: aplicación en oncología
Funding entity | Comisión Interministerial de Ciencia y Tecnología |
Main researches | José Mira Mira |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/1990 to 31/12/1992 |
Un consejero de terapia en oncología
Funding entity | Comisión Interministerial de Ciencia y Tecnología |
Main researches | José Mira Mira |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/1989 to 31/12/1991 |
TAO Therapy Advides for Oncology
Funding entity | Union Europea |
Main researches | José Mira Mira |
Type | Proyecto UE |
Dates | From 01/01/1987 to 31/12/1991 |
La Epistasis Generalizada y las funciones difíciles de optimizar.
Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
Type | Proyecto Otros Programas |
Diseño co-evolutivo de sensores y actuadores virtuales, morfología y arquitectura cognitiva en robótica autónoma.
Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
Type | Proyecto Otros Programas |
C2F. Framework para la ayuda a la conversión de código fuente de lenguajes de programación imperativos
Type | Software Registrado |
Entity | Universidade da Coruña (UDC) |
Authors | José Carlos Dafonte Vázquez, Víctor Carneiro, Angel Gómez García, Francisco Javier Nóvoa De Manuel, María Martínez Pérez, Diego Fernández Iglesias, Minia Manteiga Outeiro, Alfonso Landin, Raul Santoveña, Diego Trabazo |
Application date | 17/11/2017 |
Approval date | 13/02/2018 |
FilmYou: Recomendación Distribuida de Películas
Type | Software Registrado |
Entity | |
Authors | Álvaro Barreiro García, Javier Parapar, Daniel Valcarce Silva |
Application date | 12/08/2015 |
Approval date | 04/12/2015 |
Totem PDF
Type | Software Registrado |
Entity | Universidade da Coruña (UDC) |
Authors | Javier Parapar, Alvaro Barreiro, Ramón Casares |
Application date | 01/01/2014 |
Approval date | 31/12/2014 |
Coruña Campus Tool
Type | Software Registrado |
Entity | Universidade da Coruña (UDC) |
Authors | Javier Parapar, Manuel Eduardo Ares Brea, Ismael Hasan Romero |
Application date | 27/01/2010 |
Approval date | 27/07/2010 |
Lexisla
Type | Software Registrado |
Entity | Universidade da Coruña (UDC) |
Authors | Álvaro Barreiro García, Javier Parapar, Roi Blanco González, Ismael Hasan Romero |
Application date | 27/01/2010 |
Approval date | 27/07/2010 |
NowOnWeb: Sistema de recuperación de noticias.
Type | Software Registrado |
Entity | Universidade da Coruña (UDC) |
Authors | Álvaro Barreiro García, Javier Parapar, José María Casanova Crespo |
Application date | 17/08/2007 |
Approval date | 17/08/2007 |
Niching methods integrated with a differential evolution memetic algorithm for protein structure prediction
Authors | Daniel Varela, J. Santos |
Journal | Swarm and Evolutionary Computation Vol. 71 |
DOI | https://doi.org/10.1016/j.swevo.2022.101062 |
Enriching linguistic descriptions of data: A framework for composite protoforms
Authors | Ramos-Soto, A., Martin-Rodilla, P. |
Journal | FUZZY SETS AND SYSTEMS Vol. 407 Num. 1 |
Bio-inspired Computing Approaches
Authors | JM Ferrández, J. Santos |
Journal | NATURAL COMPUTING |
DOI | https://doi.org/10.1007/s11047-021-09854-2 |
Protein structure prediction in an atomic model with differential evolution integrated with the crowding niching method
Authors | Daniel Varela, José Santos Reyes |
Journal | NATURAL COMPUTING (pages 1 to 15) |
DOI | https://doi.org/10.1007/s11047-020-09801-7 |
Software Support for Discourse-Based Textual Information Analysis: A Systematic Literature Review and Software Guidelines in Practice.
Authors | Martin-Rodilla, P. |
Journal | Information Vol. 11-5 (pages 256 to 256) |
La programación genética en el ámbito del pronóstico del fracaso empresaria
Authors | Angel Beade, Manuel Rodríguez, José Santos Reyes |
Journal | REVISTA DE LA ASOCIACIÓN ESPAÑOLA DE CONTABILIDAD Y AUDITORÍA DE CUENTAS. Vol. 132 (pages 5 to 8) |
Statistical language models for query-by-example spoken document retrieval
Authors | Paula Lopez-Otero, Javier Parapar, Álvaro Barreiro |
Journal | MULTIMEDIA TOOLS AND APPLICATIONS Vol. 79 Num. 11 (pages 7927 to 7949) |
Using score distributions to compare statistical significance test for information retrieval evaluation
Authors | Javier Parapar, David E. Losada, Manuel Antonio Presedo Quindimil, Álvaro Barreiro |
Journal | Journal of the Association for Information Science and Technology Vol. 71 Num. 1 (pages 98 to 113) |
Collaborative Filtering Embeddings for Memory-Based Recommender Systems
Authors | Daniel Valcarce-Silva, Alfonso Landin, Javier Parapar, Álvaro Barreiro |
Journal | Engineering Applications of Artificial Intelligence Vol. 85 (pages 347 to 356) |
A Complete Planner for Temporal Answer Set Programming
Authors | Pedro Cabalar, Concepción Vidal |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 11805 Num. 2 (pages 520 to 524) |
DOI | https://doi.org/10.1007/978-3-030-30244-3_43 |
Metainformation Scenarios in Digital Humanities: Characterization and Conceptual Modelling Strategies
Authors | Martin-Rodilla, P. |
Journal | INFORMATION SYSTEMS JOURNAL Vol. 84 (pages 29 to 48) |
Automatically obtaining a cellular automaton scheme for modeling protein folding using the FCC model
Authors | Daniel Varela, José Santos Reyes |
Journal | NATURAL COMPUTING (pages 275 to 284) |
"Forgetting auxiliary atoms in forks"
Authors | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
Journal | Artificial Intelligence Vol. 275 (pages 575 to 601) |
Assisting Forensic Identification through Unsupervised Information Extraction of Free Text Autopsy Reports: The Disappearances Cases during the Brazilian Military Dictatorship
Authors | Martin-Rodilla, P. |
Journal | Information Vol. 10 Num. 7 (pages 231 to 231) |
DOI | https://doi.org/10.3390/info10070231 |
Equilibrium Graphs
Authors | Pedro Cabalar, Carlos Pérez, Gilberto Pérez |
Journal | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE |
WHEN TO STOP MAKING RELEVANCE JUDGMENTS? A STUDY OF STOPPING METHODS FOR BUILDING INFORMATION RETRIEVAL
Authors | David E. Losada, Javier Parapar, Álvaro Barreiro |
Journal | Journal of the Association for Information Science and Technology Vol. 70 Num. 1 (pages 49 to 60) |
Crowding Differential Evolution for Protein Structure Prediction
Authors | Daniel Varela, José Santos Reyes |
Journal | LECTURE NOTES IN COMPUTER SCIENCE |
DOI | https://doi.org/10.1007/978-3-030-19651-6_19 |
Efficient query-by-example document retrieval combining phone multigram representation and dynamic time warping
Authors | Paula López Otero, Javier Parapar, Álvaro Barreiro |
Journal | INFORMATION PROCESSING & MANAGEMENT Vol. 56 Num. 1 (pages 43 to 60) |
Revisiting Explicit Negation in Answer Set Programming
Authors | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 19 Num. 5-6 (pages 908 to 924) |
DOI | https://doi.org/10.1017/s1471068419000267 |
Conceptualization and Non-Relational Implementation of Ontological and Epistemic Vagueness of Information in Digital Humanities
Authors | Martin-Rodilla, P. |
Journal | INFORMATICS-BASEL. |
DOI | https://doi.org/10.3390/informatics6020020 |
Special Issue Editorial "Bio-inspired Computing Applications"
Authors | José Manuel Ferrández, José Santos Reyes, Ramiro Varela |
Journal | NATURAL COMPUTING Vol. 18 (pages 215 to 216) |
Advances in the application and development of non-linear global optimization techniques in computational structural biology
Authors | J. Handl, A Shehu, J. Santos |
Journal | IEEE/ACM Transactions on Computational Biology and Bioinformatics Vol. 15 Num. 3 (pages 688 to 689) |
DOI | https://doi.org/10.1109/tcbb.2018.2817267 |
Document-based and Term-based Linear Methods for Pseudo-Relevance Feedback
Authors | Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
Journal | Applied Computing Review Vol. 18 Num. 4 (pages 5 to 17) |
A Rank Fusion Approach based on Score Distributions for Prioritizing Relevance Assessments in Information Retrieval Evaluation.
Authors | David E. Losada Carril, Javier Parapar, Álvaro Barreiro |
Journal | Information Fusion Vol. 39 (pages 56 to 71) |
Finding and Analysing Good Neighbourhoods to Improve Collaborative Filtering
Authors | Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
Journal | Knowledge-Based Systems Vol. 159 Num. 3 (pages 193 to 202) |
Assessing data analysis performance in research contexts: an experiment on accuracy, efficiency, productivity and researchers¿ satisfaction
Authors | Martin-Rodilla, P. |
Journal | DATA & KNOWLEDGE ENGINEERING |
Functional ASP with Intensional Sets; Application to Gelfond-Zhang Aggregates
Authors | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
Temporal Answer Set Programming on Finite Traces
Authors | Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
Answer Set Programming from a Logical Point of View
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Journal | Künstliche Intelligenz |
A MapReduce implementation of posterior probability clustering and relevance models for recommendation
Authors | Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
Journal | Engineering Applications of Artificial Intelligence Vol. 75 (pages 114 to 124) |
DOI | https://doi.org/10.1016/j.engappai.2018.08.006 |
Multi-Armed Bandits for Adjudicating Documents in Pooling-Based Evaluation of Information Retrieval Systems
Authors | David E. Losada, Javier Parapar, Álvaro Barreiro |
Journal | INFORMATION PROCESSING & MANAGEMENT Vol. 53 Num. 5 (pages 1005 to 1025) |
DOI | https://doi.org/10.1016/j.ipm.2017.04.005 |
A hybrid evolutionary algorithm for protein structure prediction using the Face-Centered Cubic lattice model
Authors | Daniel Varela, José Santos Reyes |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 10634 |
Axiomatic Analysis of Language Modelling of Recommender Systems
Authors | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
Journal | INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS Vol. 25 Num. 2 (pages 113 to 128) |
Inclusion of the fitness sharing technique in an evolutionary algorithm to analyze the fitness landscape of the genetic code adaptability
Authors | José Santos Reyes, Ángel Monteagudo |
Journal | BMC BIOINFORMATICS |
haspie - A Musical Harmonisation Tool based on ASP
Authors | Pedro Cabalar, Rodrigo Martín |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (pages 637 to 642) |
On the Properties of Atom Definability and Well-Supportedness in Logic Programming
Authors | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (pages 624 to 636) |
Temporal logic programs with variables
Authors | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Num. 2 (pages 226 to 243) |
DOI | https://doi.org/10.1017/s1471068416000570 |
A Modelling Language for Discourse: Analysis in Humanities: Definition, Design, Validation and First Experiences.
Authors | Martin-Rodilla, P. |
Journal | Revista de humanidades Digitales. UNED. |
Temporal Equilibrium Logic with past operators
Authors | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
Journal | Journal of Applied Non-Classical Logics Vol. 27 Num. 3-4 (pages 161 to 177) |
DOI | https://doi.org/10.1080/11663081.2018.1427987 |
Protein folding modeling with neural cellular automata using the Face-Centered Cubic model
Authors | Daniel Varela, J. Santos |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 10337 (pages 125 to 134) |
Enablers and Inhibitors in Causal Justifications of Logic Programs
Authors | Pedro Cabalar, Jorge Fandinno |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Num. 1 (pages 49 to 74) |
Stable Reasoning
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Journal | Journal of Applied Non-Classical Logics Vol. 27 Num. 3-4 (pages 238 to 254) |
Evolved synaptic delay based neural controllers for walking patterns in hexapod robotic structures
Authors | José Santos Reyes, Pablo Fernández |
Journal | NATURAL COMPUTING Vol. 16 Num. 2 (pages 201 to 211) |
Verification for ASP denotational semantics: A case study using the PVS theorem prover
Authors | Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Journal | LOGIC JOURNAL OF THE IGPL Vol. 25 Num. 2 (pages 195 to 213) |
DOI | https://doi.org/10.1093/jigpal/jzw060 |
A Qualitative Spatial Representation of String Loops as Holes
Authors | Pedro Cabalar, Paulo E. Santos |
Journal | Artificial Intelligence Vol. 238 (pages 1 to 10) |
Item-based relevance modelling of recommendations for getting rid of long tail products
Authors | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
Journal | Knowledge-Based Systems Vol. 103 (pages 41 to 51) |
DOI | https://doi.org/10.1016/j.knosys.2016.03.021 |
Justifications for Programs with Disjunctive and Causal-choice Rules
Authors | Pedro Cabalar, Jorge Fandinno |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 16 Num. 5-6 (pages 587 to 603) |
Framing Holes within a Loop Hierarchy
Authors | Paulo E. Santos, Pedro Cabalar |
Journal | SPATIAL COGNITION AND COMPUTATION Vol. 16 Num. 1 (pages 54 to 95) |
Treatment analysis in a cancer stem cell context using a tumor growth model based on cellular automata
Authors | Ángel Monteagudo, José Santos Reyes |
Journal | PLOS ONE |
Stable Models for Temporal Theories - Invited Talk
Authors | Pedro Cabalar |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9345 (pages 1 to 13) |
A Distributed Recommendation Platform for Big Data
Authors | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
Journal | JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 21 Num. 13 (pages 1810 to 1829) |
DOI | https://doi.org/10.3217/jucs-021-13-1810 |
Explaining preferences and preferring explanations
Authors | Pedro Cabalar, Jorge Fandinno |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9060 (pages 218 to 232) |
A denotational semantics for equilibrium logic
Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, David Pearce |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Num. 4-5 (pages 620 to 634) |
DOI | https://doi.org/10.1017/s1471068415000277 |
An infinitary encoding of equilibrium logic
Authors | Pedro Cabalar, Concepción Vidal, Martin Diéguez Lodeiro |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Num. 4-5 (pages 666 to 680) |
Emergent protein folding modeled with evolved neural cellular automata using the 3D HP model
Authors | José Santos Reyes, Pablo Villot, Martin Diéguez |
Journal | JOURNAL OF COMPUTATIONAL BIOLOGY Vol. 21 Num. 11 (pages 823 to 845) |
Studying the capability of different cancer hallmarks to initiate tumor growth using a cellular automaton simulation. Application in a cancer stem cell context
Authors | Ángel Monteagudo Insua, José Santos Reyes |
Journal | BIOSYSTEMS Vol. 115 (pages 46 to 58) |
DOI | https://doi.org/10.1016/j.biosystems.2013.11.001 |
A Complexity Assessment for Queries involving Sufficient and Necessary Causes
Authors | Pedro Cabalar, Jorge Fandinno, Michael Fink |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (pages 297 to 319) |
A Free Logic for Stable Models with Partial Intensional Functions
Authors | Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (pages 340 to 354) |
Finding a needle in the Blogosphere: an information fusion approach for blog distillation search
Authors | José M Chenlo, Javier Parapar, David E. Losada, José Santos Reyes |
Journal | Information Fusion Vol. 23 (pages 58 to 68) |
DOI | https://doi.org/10.1016/j.inffus.2014.09.001 |
Score distributions for Pseudo Relevance Feedback
Authors | Javier Parapar, Presedo-Quindimil, Manuel A., Álvaro Barreiro García |
Journal | INFORMATION SCIENCES Vol. 273 (pages 171 to 181) |
DOI | https://doi.org/10.1016/j.ins.2014.03.034 |
Causal Graph Justifications of Logic Programs
Authors | Pedro Cabalar, Jorge Fandinno, Michael Fink |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 14 Num. 4-5 (pages 603 to 618) |
DOI | https://doi.org/10.1017/s1471068414000234 |
Combining Psycho-linguistic, Content-based and Chat-based Features to Detect Predation in Chatrooms
Authors | Javier Parapar, Losada, David E., Álvaro Barreiro García |
Journal | JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 20 Num. 2 (pages 213 to 239) |
Analysis of behaviour transitions in tumour growth using a cellular automaton simulation
Authors | José Santos Reyes, Ángel Monteagudo |
Journal | IET Systems Biology (pages 1 to 13) |
DOI | https://doi.org/10.1049/iet-syb.2014.0015 |
Temporal Equilibrium Logic: a survey
Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez Lodeiro |
Journal | Journal of Applied Non-Classical Logics Vol. 23 Num. 1-2 (pages 2 to 24) |
DOI | https://doi.org/10.1080/11663081.2013.798985 |
Foreword
Authors | Pedro Cabalar, Agustín Valverde |
Journal | Journal of Applied Non-Classical Logics Vol. 23 Num. 1-2 (pages 1 to 1) |
Relevance-based language modelling for recommender systems
Authors | Javier Parapar, Alejandro Bellogín, Pablo Castells, Álvaro Barreiro García |
Journal | INFORMATION PROCESSING & MANAGEMENT Vol. 49 Num. 4 (pages 966 to 980) |
DOI | https://doi.org/10.1016/j.ipm.2013.03.001 |
Integrating Temporal Extensions of Answer Set Programming
Authors | Felicidad Aguado, Gilberto Pérez, Concepción Vidal |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8148 (pages 23 to 35) |
DOI | https://doi.org/10.1007/978-3-642-40564-8_3 |
Multiobjective differential evolution in the optimization of topological active models
Authors | Jorge Novo, José Santos Reyes, M G Penedo |
Journal | Applied Soft Computing Vol. 13 (pages 3167 to 3177) |
DOI | https://doi.org/10.1016/j.asoc.2012.12.010 |
An experimental study of constrained clustering effectiveness in presence of erroneous constraints
Authors | Eduardo Ares, M., Javier Parapar, Álvaro Barreiro García |
Journal | INFORMATION PROCESSING & MANAGEMENT Vol. 48 Num. 3 (pages 537 to 551) |
DOI | https://doi.org/10.1016/j.ipm.2011.08.006 |
Topological active models optimization with differential evolution
Authors | Jorge Novo, José Santos Reyes, M G Penedo |
Journal | EXPERT SYSTEMS WITH APPLICATIONS Vol. 35 Num. 15 (pages 12165 to 12176) |
DOI | https://doi.org/10.1016/j.eswa.2012.04.087 |
Biped locomotion control with evolved adaptive center-crossing continuous time recurrent neural networks
Authors | José Santos Reyes, Angel Campo |
Journal | Neurocomputing Vol. 86 Num. 1 (pages 86 to 96) |
DOI | https://doi.org/10.1016/j.neucom.2012.01.009 |
Topological Active Volume 3D Segmentation Model Optimized with Genetic Approaches
Authors | J. Novo, N. Barreira, M G Penedo, José Santos Reyes |
Journal | NATURAL COMPUTING Vol. 11 (pages 161 to 174) |
DOI | https://doi.org/10.1007/s11047-011-9275-8 |
Improving the Extraction of Text in PDFs by Simulating the Human Reading Order
Authors | Hasan, Ismael, Javier Parapar, Álvaro Barreiro García |
Journal | JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 18 Num. 5 (pages 623 to 649) |
ECIR 2012: 34th European Conference on Information Retrieval Research (conference report)
Authors | Ricardo Baeza-Yates, Mari-Carmen Marcos, Arjen P. de Vries, Hugo Zaragoza, Berkant Barla Cambazoglu, Vanessa Murdock, Álvaro Barreiro García, David E. Losada, Ronny Lempel, Fabrizio Silvestri, Mounia Lalmas |
Journal | SIGIR FORUM Vol. 46 Num. 2 (pages 34 to 41) |
Evolved artificial neural networks for controlling Topological Active Nets deformation and for medical image segmentation
Authors | C. de La Vega, J. Novo, J. Santos, M G Penedo |
Journal | Frontiers in Artificial Intelligence and Applications Vol. 243 (pages 1380 to 1389) |
A learning-based approach for the identification of sexual predators in chat logs. CLEF 2012 Evaluation Labs. Vol. 1179 of CEUR-WS Proceedings
Authors | Javier Parapar, David E. Losada, Álvaro Barreiro |
Journal | CEUR-WS (pages 1 to 12) |
Differential Evolution Optimization of 3D Topological Active Volumes
Authors | J. Novo, José Santos Reyes, M G Penedo |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6691 (pages 282 to 290) |
DOI | https://doi.org/10.1007/978-3-642-21501-8_35 |
Loop Formulas for Splitable Temporal Logic Programs
Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (pages 80 to 92) |
DOI | https://doi.org/10.1007/978-3-642-20895-9_9 |
STeLP - a Tool for Temporal Answer Set Programming
Authors | Pedro Cabalar, Martín Diéguez |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (pages 370 to 375) |
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) |
A Cluster Based Pseudo Feedback Technique Which Exploits Good and Bad Clusters
Authors | Javier Parapar, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 7023 (pages 403 to 412) |
A logical characterisation of ordered disjunction
Authors | Pedro Cabalar |
Journal | AI COMMUNICATIONS Vol. 24 Num. 2 (pages 165 to 175) |
DOI | https://doi.org/10.3233/aic-2011-0494 |
Formalising the Fisherman's Folly puzzle
Authors | Pedro Cabalar, Santos, Paulo E. |
Journal | Artificial Intelligence Vol. 175 Num. 1, SI (pages 346 to 377) |
DOI | https://doi.org/10.1016/j.artint.2010.04.004 |
Simulated evolution applied to study the genetic code optimality using a model of codon reassignments
Authors | José Santos Reyes, Ángel Monteagudo Insua |
Journal | BMC BIOINFORMATICS Vol. 12 (pages 0 to 0) |
Optimization of Topological Active Nets with Differential Evolution
Authors | Jorge Novo Buján, José Santos Reyes, M G Penedo |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6593 (pages 350 to 360) |
Promoting Divergent Terms in the Estimation of Relevance Models
Authors | Javier Parapar, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6931 (pages 77 to 88) |
Automata-based Computation of Temporal Equilibrium Models
Authors | Pedro Cabalar, Stephane Demri |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 7225 (pages 57 to 72) |
The Use of Latent Semantic Indexing to Mitigate OCR Effects of Related Document Images
Authors | Renato F. Bulcao Neto, Jose A. Camacho Guerrero, Marcio Dutra, Álvaro Barreiro García, Javier Parapar, Alessandra A. Macedo |
Journal | JOURNAL OF UNIVERSAL COMPUTER SCIENCE Vol. 17 Num. 1 (pages 64 to 80) |
Functional answer set programming
Authors | Pedro Cabalar |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 11 Num. 2-3 (pages 203 to 233) |
DOI | https://doi.org/10.1017/s1471068410000517 |
Improving alternative text clustering quality in the avoiding bias task with spectral and flat partition algorithms
Authors | Manuel Eduardo Ares Brea, Javier Parapar, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6262 Num. 2 (pages 407 to 421) |
Lexisla: a legislative Information Retrieval System, PLN-E 2010, Workshop NLP in the Enterprise: Envisioning the Next 10 Years, SEPLN 2010, Valencia, September 7, 2010, CEUR Workshop Proceedings, vol-697.
Authors | Ismael Hassan, Javier Parapar, Álvaro Barreiro |
Journal | CEUR-WS (pages 1 to 4) |
Study of the Genetic Code Adaptability by Means of a Genetic Algorithm
Authors | Ángel Monteagudo Insua, José Santos Reyes |
Journal | JOURNAL OF THEORETICAL BIOLOGY Num. 2643 (pages 854 to 865) |
A Normal Form for Linear Temporal Equilibrium Logic
Authors | Pedro Cabalar |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6342 (pages 64 to 76) |
Probabilistic static pruning of inverted files
Authors | Roi Blanco González, Álvaro Barreiro García |
Journal | ACM TRANSACTIONS ON INFORMATION SYSTEMS Vol. 28 Num. 1 (pages 1 to 33) |
Evolutionary Multiobjective Optimization of Topological Active Nets
Authors | Jorge Novo Buján, M G Penedo, José Santos Reyes |
Journal | PATTERN RECOGNITION LETTERS Vol. 31 Num. 13 (pages 1781 to 1794) |
Nitrificación en reactores biopelícula de membrana tubular permeable a gases
Authors | Judith Molina Burgos, Antonio Fermín Yáñez Izquierdo, Juan Alfredo Jacome Burgos, Suárez, J. |
Journal | Ingeniería del Agua Vol. 16 Num. 2 (pages 129 to 144) |
CIE-9-MC code classification with knn and SVM
Authors | David Lojo Vicente, David E. Losada Carril, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5602 (pages 499 to 508) |
Genetic Approaches for Topological Active Nets Optimization
Authors | Óscar Ibáñez Panizo, Noelia Barreira Rodríguez, José Santos Reyes, M G Penedo |
Journal | PATTERN RECOGNITION Vol. 42 Num. 5 (pages 907 to 917) |
Genetic Code Optimality Studied by Means of Simulated Evolution and Within the Coevolution Theory of the Canonical Code Organization
Authors | José Santos Reyes, Ángel Monteagudo Insua |
Journal | NATURAL COMPUTING Vol. 8 Num. 4 (pages 719 to 738) |
Genetic Approaches for the Automatic Division of Topological Active Volumes
Authors | Jorge Novo Buján, Noelia Barreira Rodríguez, M G Penedo, José Santos Reyes |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5602 (pages 20 to 29) |
Safety Preserving Transformations for General Answer Set Programs
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (pages 58 to 70) |
Avoiding Bias in Text Clustering Using Constrained K-means and May-Not-Links
Authors | Manuel Eduardo Ares Brea, Javier Parapar, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5766 (pages 322 to 329) |
Using a rank fusion technique to improve shot boundary detection effectiveness
Authors | Manuel Eduardo Ares Brea, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (pages 247 to 254) |
A Revised Concept of Safety for General Answer Set Programs
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (pages 58 to 70) |
Localisation of the Optic Disc by Means of GA-Optimised Topological Active Nets
Authors | Jorge Novo Buján, M G Penedo, José Santos Reyes |
Journal | IMAGE AND VISION COMPUTING Vol. 27 (pages 1572 to 1584) |
N-gram based models for retrieval in degraded large collections
Authors | Javier Parapar López, Ana María Freire Veiga, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5478 (pages 680 to 684) |
Evaluation of text clustering algorithms with n-gram-based document fingerprints
Authors | Javier Parapar López, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5478 (pages 645 to 653) |
Revisitin n-gram based models for retrieval in degraded large collections
Authors | Javier Parapar, Ana Freire Veiga, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5478 (pages 680 to 684) |
Probabilistic documents length priors for language models
Authors | Roi Blanco González, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4956 (pages 394 to 405) |
The space within the Fisherman¿s Folly: playing with a puzzle in mereotopology
Authors | Paulo E. Santos, Pedro Cabalar |
Journal | SPATIAL COGNITION AND COMPUTATION Vol. 8 (pages 47 to 64) |
Strongly equivalent temporal logic programs
Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5293 (pages 8 to 20) |
Partial Functions and Equality in Answer Set Programming
Authors | Pedro Cabalar |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5366 (pages 392 to 406) |
Optic Disc Segmentation by Means of GA-Optimized Topological Active Nets
Authors | Jorge Novo Buján, M G Penedo, José Santos Reyes |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5112 (pages 807 to 816) |
Higher Epistasis in Genetic Algorithms
Authors | María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren |
Journal | BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 77 (pages 225 to 243) |
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) |
High order fucntions and Walsh coefficients revisited
Authors | María Teresa Iglesias Otero, Concepción Vidal, Alain Verschoren |
Journal | BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 15 (pages 403 to 408) |
Automatic Topological Active Net Division in a Genetic-Greedy Hybrid Approach
Authors | Noelia Barreira Rodríguez, M G Penedo, Óscar Ibáñez Panizo, José Santos Reyes |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4478 (pages 226 to 233) |
Temporal Equilibrium Logic: a first approach
Authors | Pedro Cabalar, Gilberto Pérez |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 241 to 248) |
The 2-epistasis of fitness functions
Authors | María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren |
Journal | BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 76 (pages 397 to 419) |
NowOn Web: a NewsIR System
Authors | Javier Parapar, Álvaro Barreiro García |
Journal | Procesamiento del Lenguaje Natural Vol. 39 (pages 287 to 288) |
The Coruña Corpus Tool
Authors | Javier Parapar, Isabel Moskowich-Spiegel Fandiño |
Journal | Procesamiento del Lenguaje Natural Vol. 39 (pages 289 to 290) |
Overall Comparison at the Standard Levels of Recall of Multiple Retrieval Methods with the Friedman Test
Authors | José María Casanova Crespo, Manuel Antonio Presedo Quindimil, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4425 (pages 682 to 685) |
Propositional Theories are Strongly Equivalent to Logic Programs
Authors | Pedro Cabalar, Paolo Ferraris |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 7 Num. 6 (pages 745 to 759) |
The Information Retrieval Lab at the University of A Coruña BCS-IRSG Informer, Vol 25.
Authors | Javier Parapar, Álvaro Barreiro |
Journal | BCS-IRSG Informer (Britisth Computer Society - Information Retrieval Specialist Group) Vol. 25 (pages 5 to 57) |
NowOn Web: News Search and Summarization
Authors | Javier Parapar, José María Casanova Crespo, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 225 to 232) |
Static Pruning of Terms in Inverted Files
Authors | Roi Blanco González, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4425 (pages 64 to 75) |
Partial Equilibrium Logic
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde |
Journal | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Vol. 50 (pages 305 to 331) |
Minimal Logic Programs
Authors | Pedro Cabalar, Gilberto Pérez |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4670 (pages 104 to 118) |
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
Authors | Pedro Cabalar, David Pearce, Panos Rondogiannis, William Wadge |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4483 (pages 44 to 57) |
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) |
Genetic-Greedy Hybrid Approach for Topological Active Nets Optimization
Authors | José Santos Reyes, Óscar Ibáñez Paniño, Noelia Barreira Rodríguez, M G Penedo |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4431 (pages 202 to 210) |
Generalized Walsh Transforms and Epistasis
Authors | María Teresa Iglesias Otero, Concepción Vidal, Alan Verschoren |
Journal | BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 13 (pages 55 to 68) |
TSP and cluster-based solutions to the reassignment of document identifiers
Authors | Roi Blanco González, Álvaro Barreiro García |
Journal | INFORMATION RETRIEVAL Vol. 9 Num. 4 (pages 499 to 517) |
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (pages 592 to 601) |
Sentence retrieval with LSI and topic identification
Authors | David Parapar López, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3936 (pages 119 to 130) |
Topological Active Nets Optimization Using Genetic Algorithms
Authors | O. Ibáñez, Noelia Barreira Rodríguez, José Santos Reyes, M G Penedo |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4141 (pages 272 to 282) |
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde Ramos |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4079 (pages 346 to 360) |
Negations and document length in logical retrieval
Authors | David E. Losada Carril, Álvaro Barreiro García |
Journal | INFORMATION SYSTEMS Vol. 31 Num. 7 (pages 610 to 620) |
On the Logic and Computation of Partial Equilibrium Models
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde Ramos |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4160 (pages 82 to 94) |
Strings and holes: an exercise on spatial representation and reasoning
Authors | Pedro Cabalar, Paulo Eduardo Santos |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (pages 419 to 429) |
Computing epistasis of Template Functions through Walsh Transforms
Authors | María Teresa Iglesias Otero, Concepción Vidal, Alain Verschoren |
Journal | COMPUTING AND INFORMATICS Vol. 24 (pages 263 to 279) |
Neural Clustering Analysis of Macroevolutionary and Genetic Algorithms in the Evolution of Robot Controllers
Authors | Jose Antonio Becerra Permuy, José Santos Reyes |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3562 (pages 415 to 424) |
Complex Behaviours through modulation in Autonomous Robot Control
Authors | Jose Antonio Becerra Permuy, Francisco Javier Bellas Bouza, José Santos Reyes, Richard José Duro Fernández |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3512 (pages 717 to 724) |
Document Identifier Reassignment Through Dimensionality Reduction
Authors | Roi Blanco González, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3408 (pages 375 to 387) |
Reducing Propositional Theories in Equilibrium Logic to Logic Programs
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3808 (pages 4 to 17) |
A Software Architecture for Effective Document Identifier Reassignment
Authors | Roi Blanco González, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (pages 254 to 262) |
Logic programs with functions and default values
Authors | Pedro Cabalar, David Lorenzo |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3229 (pages 294 to 306) |
Negations and document length in logical retrieval
Authors | David E. Losada Carril, Álvaro Barreiro García |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3246 (pages 196 to 207) |
Embedding term similarity and inverse document frequency into a logical model of Information Retrieval
Authors | Álvaro Barreiro García, David Enrique Losada Carril |
Journal | JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY Vol. 54 Num. 4 (pages 285 to 301) |
Modelling Temporal Series Through Synaptic Delay-based Neural Networks
Authors | Richard José Duro Fernández, José Santos Reyes |
Journal | NEURAL COMPUTING & APPLICATIONS Vol. 11 (pages 224 to 237) |
Multimodule Artificial Neural Network Architectures for Autonomous Robot Control Through Behavior Modulation
Authors | José Antonio Becerra Permuy, José Santos Reyes, Richard José Duro Fernández |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2687 (pages 169 to 176) |
Propositional logic representations for documents and queries: a large-scale evaluation
Authors | Álvaro Barreiro García, David Enrique Losada Carril |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2633 (pages 219 to 234) |
A Rewriting Method for Well-Founded Semantics with Explicit Negation
Authors | Pedro Cabalar |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2401 Num. - (pages 378 to 392) |
Self Pruning Gaussian Synapse Networks for Behavior Based Robots.
Authors | Richard José Duro Fernández, José Santos Reyes, José Antonio Becerra Permuy |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2415 Num. - (pages 837 to 843) |
II-DTB, Discrete Time Backpropagation with Product Unist
Authors | José Santos Reyes, Richard José Duro Fernández |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2084 Num. - (pages 207 to 214) |
Considerations in the application of Evolution to the Generation of Robot Controllers
Authors | José Santos Reyes, Richard José Duro Fernández, Jose Antonio Becerra Permuy, Juan Crespo Mariño, Francisco Bellas Bouza |
Journal | INFORMATION SCIENCES Vol. 133 Num. - (pages 133 to 148) |
Multary Epistasis
Authors | María Teresa Iglesias Otero, Concepción Vidal, Dominique Suys, Alain Verschoren |
Journal | BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 8 Num. - (pages 651 to 671) |
Pit Units in Temporal Time Delay Based Networks Trained with Descrete Time Backpropagation
Authors | José Santos Reyes, Richard José Duro Fernández |
Journal | INTERNATIONAL JOURNAL OF COMPUTERS SYSTEMS AND SIGNALS Vol. 2 Num. 1 (pages 31 to 42) |
Influence of Noise on Discrete Time Backpropagation Trained Networks
Authors | José Santos Reyes, Richard José Duro Fernández |
Journal | Neurocomputing Vol. 41 Num. - (pages 67 to 89) |
Behavior Reuse and virtual Sensors in the Evolution of Complex Behavior Architectures
Authors | Richard José Duro Fernández, José Antonio Becerra Permuy, José Santos Reyes |
Journal | THEORY IN BIOSCIENCES Vol. 120 Num. - (pages 188 to 206) |
Chaotic Time Series Prediction with Discrete Time Backpropagation
Authors | Richard José Duro Fernández, José Santos Reyes |
Journal | ARTIFICIAL NEURAL NETWORKS IN PATTERN RECOGNITION Num. - (pages 103 to 115) |
A Logical Model for Information Retrieval based on Propositional Logic and Belief Revision
Authors | Álvaro Barreiro García, David Enrique Losada Carril |
Journal | COMPUTER JOURNAL Vol. 44 Num. 5 (pages 410 to 424) |
Efficient Algorithms for Ranking Documents Represented as DNF Formulas
Authors | Álvaro Barreiro García, David Enrique Losada Carril |
Journal | TECHNOLOGY LETTERS Vol. 4 Num. 1 (pages 16 to 24) |
Epistasis and Unitation
Authors | María Teresa Iglesias Otero, Concepción Vidal |
Journal | COMPUTERS AND ARTIFICIAL INTELLIGENCE Vol. 18 Num. 5 (pages 467 to 483) |
Training Higher Order Gaussian Synapses
Authors | Richard José Duro Fernández, José Santos Reyes |
Journal | FOUNDATIONS AND TOOLS FOR NEURAL MODELING- LECTURE NOTES IN COMPUTER SCIENCE Vol. 1606 Num. - (pages 537 to 545) |
Discrete Time Backpropagation for Training Synaptic Delay Based Artificial Neural Networks
Authors | Richard José Duro Fernández, José Santos Reyes |
Journal | IEEE TRANSACTIONS ON NEURAL NETWORKS Vol. 10 Num. 4 (pages 779 to 789) |
Progressive Construction of Compound Behavior Controllers for Autonomous Robots Using Temporal Information
Authors | Jose Antonio Becerra Permuy, José Santos Reyes, Richard José Duro Fernández |
Journal | ADVANCES IN ARTIFICIAL LIFE- LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Vol. 1674 Num. - (pages 324 to 328) |
Using Temporal Information in ANNs for the Implementation of Autonomous Robot Controllers
Authors | Richard José Duro Fernández, José Santos Reyes |
Journal | ENGINEERING APPLICATIONS OF BIO- INSPIRED ARTIFICIAL NEURAL NETWORKS- LECTURE NOTES IN COMPUTER SCIENCE Vol. 1607 Num. - (pages 540 to 547) |
Sistemas y Datos para ayudar a dirigir las Empresas de hoy (I)
Authors | Miguel José Rodríguez Rubio, José Mª García-Tizón Iglesias |
Journal | CÍRCULO DE DIRIGENTES.REVISTA DE LOS DIRIGENTES, DIRECTIVOS Y PROFESIONALES. Vol. 1 Num. 1 (pages 16 to 17) |
Tecnología de la Información + Trabajo Cooperativo = Sinergia
Authors | Miguel José Rodríguez Rubio, José Mª García-Tizón Iglesias |
Journal | CÍRCULO DE DIRIGENTES.REVISTA DE LOS DIRIGENTES, DIRECTIVOS Y PROFESIONALES. Vol. 3 Num. 3 (pages 16 to 17) |
Sistemas y Datos para ayudar a dirigir las Empresas de hoy (II)
Authors | Miguel José Rodríguez Rubio, José Mª García-Tizón Iglesias |
Journal | CÍRCULO DE DIRIGENTES.REVISTA DE LOS DIRIGENTES, DIRECTIVOS Y PROFESIONALES. Vol. 1 Num. 2 (pages 12 to 13) |
An alternative approach to involutive Brauer Groups
Authors | Concepción Vidal |
Journal | LECTURE NOTES IN PURE AND APPLIED MATHEMATICS Vol. 1 Num. 197 (pages 311 to 324) |
Development of in-house spectral data manipulation programs following quality guides
Authors | José Manuel Andrade Garda, Darío Prada Rodríguez, Javier Andrade Garda, Jesús Otero Seoane, Miguel José Rodríguez Rubio |
Journal | LABORATORY AUTOMATION & INFORMATION MANAGEMENT Vol. 33 Num. 2 (pages 119 to 127) |
Introducing planning in discrete event systems
Authors | Pedro Cabalar, Ramón Pérez Otero, Álvaro Barreiro García, Manuel Cabarcos Traseira |
Journal | COMPUTER AIDED SYSTEMS THEORY, LECTURE IN COMPUTER SCIENCE Vol. 1333 Num. - (pages 146 to 159) |
Knowledge refinement of an expert system using a symbolic connectionist approach
Authors | José Santos Reyes, David Lorenzo Blanco, Silvia Gómez Pose, Joaquín Heras Varela, Ramón Pérez Otero |
Journal | ARTIFICIAL INTELLIGENCE IN MEDICINE Vol. - Num. - (pages 516 to 520) |
Parallelization of connecitonist models based on a symbolyc formalism
Authors | José Santos Reyes, Ramón Pérez Otero, Manuel Cabarcos Traseira, José Mira Mira |
Journal | BIOLOGICAL AND ARTIFICIAL COMPUTATION: FROM NEUROSCIENCE TO TECHNOLOGY, LECTURE NOTES IN COMPUTER SCIENCE Vol. 1240 Num. - (pages 304 to 312) |
Discrete event simulation in an environment for temporal expert systems
Authors | Álvaro Barreiro García, Pedro Cabalar, P. Otero, D. Lorenzo |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Num. - (pages 271 to 286) |
Automatic induction of DEVS Structures
Authors | Pedro Cabalar, P. Otero, D. Lorenzo |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Num. - (pages 305 to 313) |
Relatively noetherian rings, localization and sheaves, part III: Functional behaviour
Authors | Concepción Vidal, A. Verschoren |
Journal | COMMUNICATIONS IN ALGEBRA Vol. 23 Num. 7 (pages 2597 to 2619) |
Synaptic modulation based artificial neural networks. From natural to artificial neural computation
Authors | Richard José Duro Fernández, José Santos Reyes |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 930 Num. - (pages 31 to 36) |
NETTOOL: A hybrid connectionist-symbolic development environment. From natural to artificial neural computation
Authors | José Santos Reyes, R. Otero, J. Mira |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 930 Num. - (pages 658 to 665) |
STIMS-MEDTOOL: Integration of Expert Systems Modelling and Simulation
Authors | R.P. Otero, Álvaro Barreiro, Herbert Praefoher, Franz Pichler |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 763 (pages 347 to 356) |
Design and integration of a graphic interface for an expert system in oncology
Authors | R. Marín, M. Taboada, J. Mira, Álvaro Barreiro, R.P. Otero |
Journal | INTERNATIONAL JOURNAL OF BIO-MEDICAL COMPUTING Vol. 33 Num. 1 (pages 25 to 43) |
A modular knowledge base for the follow-up of clinical protocols.
Authors | Álvaro Barreiro, R.P. Otero, R. Marín, J. Mira |
Journal | METHODS OF INFORMATION IN MEDICINE Vol. 32 (pages 373 to 381) |
On the naturality of the iteration and recursive specifications
Authors | José Luis Freire Nistal, Felicidad Aguado, F. Alonso Amo |
Journal | APPLIED MATHEMATICS AND COMPUTATION Vol. 58 Num. 1 (pages 1 to 18) |
On Knowledge Based Systems in CCU's: Monitoring and Patients Follow-up,
Authors | J. Mira, R.P. Otero, S. Barro, Álvaro Barreiro, Ruiz, R., R. Marín, A. Delgado, A. Amaro, M. Jacket |
Journal | Lecture Notes in Medical Informatics Vol. 47 (pages 174 to 192) |
Fuzzy Specification in Data Capture and Knowledge Representation for an Expert System in Oncology
Authors | Álvaro Barreiro García, J. Mira, Antonio Fermín Yáñez Izquierdo |
Journal | FUZZY SETS AND SYSTEMS Vol. 44 Num. - (pages 431 to 448) |
On the Kleisli Funtors and Functional Completeness
Authors | José Luis Freire Nistal, Felicidad Aguado |
Journal | TECHNICAL REPORT - DEPARTMENT OF COMPUTER SCIENCE Vol. 1 Num. - (pages 0 to 0) |
Evaluation of Knowledge Based Systems from the User Perspective
Authors | A. Grant, C. Parker-Jones, R. White, D,. Cramp, Álvaro Barreiro, J. Mira, A. Artal, J.M Montero |
Journal | Lecture Notes in Medical Informatics Vol. 47 (pages 312 to 3324) |
Naturality of the conditional and the recurison
Authors | José Luis Freire Nistal, Felicidad Aguado |
Journal | INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS Vol. 35 (pages 7 to 14) |
DOI | https://doi.org/10.1080/00207169008803886 |
Towards a computational theory of systems: some cases study
Authors | J. Mira, A. Delgado, R.P. Otero, R. Marín, S. Barro, Álvaro Barreiro |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 410 (pages 284 to 300) |
Digging into Software Knowledge Generation in Cultural Heritage: Modeling Assistance Strategies for Large Archaeological Data Sets. Book Serie: Modeling and Optimization in Science and Technologies Volume 11
Authors | Martin-Rodilla, P. |
Publishing | Springer International Publishing, (España) |
ISBN | 978-3-319-69187-9 |
Problemas resueltos de Combinatoria. Laboratorio con SageMath
Authors | Felicidad Aguado, Felipe Gago Couso, Gilberto Pérez, Concepción Vidal, Manuel Ladra González, Ana Maria Vieites Rodriguez |
Publishing | Ediciones Paraninfo, SA, Madrid (España) |
ISBN | 978-84-283-4074-8 |
Logic, Leadership and Enthusiasm: A Festschrift in honour of Luis Fariñas del Cerro - Special issue JANCL 27(3-4)
Editors | Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce |
Publishing | Taylor and Francis, (España) |
ISBN | 1166-308 |
Journal of Universal Computer Science, Special Issue on Information Retrieval and Recommender Systems
Editors | Fidel Cacheda, Javier Parapar |
Publishing | GRAZ UNIV TECHNOLGOY, Graz (Austria) |
ISBN | 0948-695X |
TEORIA DE GRAFOS: EJERCICIOS RESUELTOS Y PROPUESTOS. LABORATORIO CON SAGE
Authors | Concepción Vidal, Ana Maria Vieites Rodriguez, Felicidad Aguado, Gilberto Pérez, Manuel Ladra González, Felipe Gago Couso |
Publishing | Ediciones Paraninfo S.A, Madrid (España) |
ISBN | 978-84-283-3707-6 |
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013
Editors | Pedro Cabalar, Tran Cao Son |
Publishing | Springer, (España) |
ISBN | 978-3-642-40563-1 |
"Equilibrium Logic and Answer Set Programming", special issue of the Journal of Applied Non-Classical Logics 23(1-2)
Publishing | Taylor and Francis, (España) |
ISBN | 1166-3081 |
Vida Artificial. Realizaciones computacionales
Authors | J. Santos |
Publishing | Servicio de Publicaciones Universidad A Coruña, (España) |
ISBN | 978-84-9749-184-6 |
Current Topics in Artificial Intelligence. Revised Selected Papers
Editors | Roque Marín, Eva Onaindía, Alberto Bugarín, José Santos Reyes |
Publishing | Springer - Verlag, (España) |
ISBN | 978-3-540-45915-6 |
Evolución artificial y robótica autónoma
Authors | José Santos Reyes, Richard José Duro Fernández |
Publishing | RA-MA, Madrid (España) |
ISBN | 8478976310 |
Foundations of Generic Optimization. Volume 1: A combinatorial approach to epistasis.
Authors | María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal |
Publishing | Springer, Dordrecht (Países Bajos) |
ISBN | 1-4020-3666-3 |
Biologically Inspired Robot Behavior Engineering
Publishing | Physica-Verlag, Heidelberg (Alemania) |
ISBN | 3-7908-1513-6 |
Localization and sheaves: a relative point of you. Pitman Research Notes in Mathematics Series
Authors | Concepción Vidal, P. Jara, A. Verschoren |
Publishing | Longman, (Estados Unidos) |
ISBN | nodef-0548 |
Tumor growth emergent behavior analysis based on cancer hallmarks and in a cancer stem cell context
Authors | José Santos Reyes,Ángel Monteagudo |
Book |
Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology Publishing: Elsevier. ISBN: 9780128042595 |
Pages | From 545 to 558 |
Emergent Image Segmentation by Means of Evolved Connectionist Models and Using a Topological Active Net Model
Authors | Jorge Novo,Cristina V. Sierra,José Santos Reyes,Manuel González Penedo |
Book |
Agents and Artificial Intelligence Vol. 449 Publishing: springer verlag. ISBN: 978-3-662-44439 |
Pages | From 1 to 113 |
Using evolved artificial neural networks for providing an emergent segmentation with an active net model
Authors | Jorge Novo,Cristina V. Sierra,José Santos Reyes,Manuel González Penedo |
Book |
Recent Advances in Knowledge - Based Paradigms and Applications - Advances in Intelligent Systems and Computing Vol. 234 Publishing: Springer - Verlag. ISBN: 9783319016481 |
Pages | From 57 to 72 |
Causal Logic Programming" in Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Esra Er
Authors | Pedro Cabalar |
Book |
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz Publishing: Springer - Verlag. ISBN: SBN 978-3-642-30743-0 |
Pages | From 102 to 116 |
Answer Set; Programming?
Authors | Pedro Cabalar |
Book |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday) Vol. 1 Publishing: Springer. ISBN: 978-3-642-20831-7 |
Pages | From 334 to 343 |
Agrupamiento documentale
Authors | Eduardo Ares, M.,Javier Parapar,Álvaro Barreiro García |
Book |
Recuperación de Información. Un enfoque práctico y multidisciplinar Publishing: RA-MA Editorial. ISBN: 978-84-9964-112-6 |
Pages | From 393 to 418 |
Evolving robot behavior for centralized action selection
Authors | Fernando Montes González,José Santos Reyes |
Book |
Advances in Artificial Intelligence Applications Vol. 17 Publishing: Centro de Investigación en Computación del IPN. ISBN: 16659899 |
Pages | From 213 to 213 |
Robot Controller Evolution with Macroevolutionary Algorithms
Authors | Jose Antonio Becerra Permuy,José Santos Reyes,Richard José Duro Fernández |
Book |
Information Processing with Evolutionary Algorithms From Industrial Applications to Academic Speculations Vol. - Publishing: Springer. ISBN: 1-85233-866-0 |
Pages | From 117 to 128 |
Some approaches for reusing behaviour based robot cognitive architectures obtained through evolution
Authors | Richard José Duro Fernández,José Santos Reyes,Jose Antonio Becerra Permuy |
Book |
Biologically Inspired Robot Behavior Engineering Vol. - Publishing: Physica-Verlag. ISBN: 3-7908-1513-6 |
Pages | From 239 to 260 |
Contraste y Validación en Ambiente Real del Modelado Neuronal para la Predicción del Fracaso Empresarial
Authors | Manuel Rodríguez López,José Santos Reyes |
Book |
Actas de la IX Conferencia de la Asociación Española para la Inleligencia Artificial (CAEPIA 2001).Actas Vol. - Publishing: Servicio Publicaciones Univ. de Oviedo. ISBN: 84-932297-0-9 |
Pages | From 0 to 0 |
Symmetric Closed Categories and Involutive Brauer Groups
Authors | Concepción Vidal |
Book |
Ring Theory and Algebraic Geometry Vol. - Publishing: Marcel Dekker. ISBN: 0-8247-0559-9 |
Pages | From 325 to 339 |
Evolving ANN Controllers for Smart Mobile Robots
Authors | Richard José Duro Fernández,José Antonio Becerra Permuy,José Santos Reyes |
Book |
Future Directions for Intelligent Systems and Information Sciencias Vol. - Publishing: Physica Verlag. ISBN: 3-7908-1276-5 |
Pages | From 34 to 64 |
The Artificial Intelligence perspective in prevention, diagnosis and rehabilitation: some cases study.
Authors | J. Mira,R. Marín,R.P. Otero,S. Barro,A. Delgado,Álvaro Barreiro,Ruiz, R. |
Book |
Actualidades en Medicina Física y de Rehabilitación Publishing: Sepresa. ISBN: 84-404-8745-2 |
Pages | From 1 to 7 |
Fuzzy knowledge representation for leukemia diagnosis in children oncology
Authors | Álvaro Barreiro,J. Mira,R. Marín,A. Delgado,J.M. Couselo |
Book |
Progress in Fuzzy Sets and Systems Publishing: Kluwer Acad. Publ. ISBN: 0-7923-0730-5 |
Pages | From 22 to 34 |
Métodos de computación evolutiva para a predición da estrutura de proteínas e para a modelización computacional do proceso de pregado de proteínas
Author | Daniel Varela Miguéns |
Director/s | José Santos Reyes |
Scope | Facultad de Informática |
Qualification | Sobresaliente Cum Laude |
Information Retrieval Models for Recommender Systems
Author | Daniel Valcarce Silva |
Director/s | Álvaro Barreiro García; Javier Parapar López |
Scope | Facultad de Informática |
Qualification | Sobresaliente Cum Laude |
Tumor growth analysis using cellular automata based on the cancer hallmarks
Author | Ángel Monteagudo Insua |
Director/s | José Santos Reyes |
Scope | Facultad de Informática |
Qualification | Sobresaliente Cum Laude |
A casual semantics for logic programming
Author | Jorge Fandiño García |
Director/s | José Pedro Cabalar Fernández |
Scope | Facultad de Informática |
Qualification | Sobresaliente Cum Laude |
Temporal answer set programming
Author | Martín Diéguez Lodeiro |
Director/s | José Pedro Cabalar Fernández |
Scope | Computación |
Qualification | Sobresaliente Cum Laude |
Relevance-Based Language Models: New Estimations and Applications
Author | Javier Parapar López |
Director/s | Álvaro Barreiro García |
Scope | Computación |
Qualification | Apto Cum Laude |
Constrained Clustering Algorithms: Practical Issues and Applications
Author | Manuel Eduardo Ares Brea |
Director/s | Álvaro Barreiro García |
Scope | Computación |
Qualification | Apto Cum Laude |
Clasificación Automática de Documentación Clínica
Author | José David Lojo Vicente |
Director/s | Álvaro Barreiro García; David Enrique Losada Carril |
Scope | Computación |
Qualification | Apto |
Evolutionary Optimization of Topological Active Models for Image Segmentation
Author | Jorge Novo Buján |
Director/s | José Santos Reyes; Manuel Fco. González Penedo |
Scope | Computación |
Qualification | Apto Cum Laude |
Index compression for information retrieval systems
Author | Roi Blanco González |
Director/s | Álvaro Barreiro García |
Scope | Computación |
Qualification | Sobresaliente Cum Laude |
Aproximación evolutiva para la obtención incremental de arquitecturas modulares de comportamientos en robots autónomos
Author | José Antonio Becerra Permuy |
Director/s | Richard José Duro Fernández;José Santos Reyes |
Scope | Computación |
Qualification | Sobresaliente Cum Laude |
A logical model of information retrieval based on propositional logic and belief revision
Author | David Enrique Losada Carril |
Director/s | Álvaro Barreiro García |
Scope | Computación |
Qualification | Sobresaliente Cum Laude |
Algoritmos genéticos generalizados. Variaciones sobre un tema.
Author | María Teresa Iglesias Otero |
Director/s | Concepción Vidal Martín;Alain Verschoren |
Scope | Computación |
Qualification | Apto |
Evolution of amino acid properties in the context of protein secondary structure prediction
IEEE Congress on Evolutionary Computation 2021
International
Authors | José Santos Reyes, Héctor Rivas |
Place | Cracovia (Polonia) |
Testing the tests: simulation of rankings to compare statistical significance tests in information retrieval evaluation
ACM SAC '21 36th Annual ACM Symposium on Applied Computing
International
Authors | David E. Losada, Javier Parapar, Álvaro Barreiro |
Place | Seul (Corea del Sur) |
DOI | https://doi.org/10.1145/3412841.3441945 |
El fracaso empresarial en pequeñas y medianas empresas: aplicación de la programación genética en su predicción a largo plazo
XXI Congreso AECA (Asociación Española de Contabilidad y Administración de Empresas)
National
Authors | Angel Beade, Manuel Rodríguez, José Santos Reyes |
Place | Toledo (España) |
Protocolo de autoevaluación e impacto frente a técnicas tradicionales en la docencia práctica de Sistemas Operativos
V Xornadas de Innovación Docente na UDC. Centro Universitario de Formación e Innovación Educativa (CUFIE), UDC
https://www.udc.es/en/cufie/INNOVACION/xornada_innovacion/V-Xornadas-de-Innovacion-Docente-na-UDC/
Autonomous
Authors | Martin-Rodilla, P., Javier Parapar, Álvaro Barreiro |
Organization | Universidade da Coruña (UDC) |
Place | Coruña, A (España) |
Adding Temporal Dimension to Ontology Learning Models for Depression Signs Detection from Social Media Texts
15th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
International
Authors | Martin-Rodilla, P. |
Place | Praga (República Checa) |
DOI | https://doi.org/10.5220/0009351903230330 |
The wisdom of the rankers: a cost-effective method for building pooled test collections without participant systems
ACM SAC '21 36th Annual ACM Symposium on Applied Computing
International
Authors | David Otero, Javier Parapar, Álvaro Barreiro |
Place | Seul (Corea del Sur) |
DOI | https://doi.org/10.1145/3412841.3441947 |
Autoevaluación, co-evaluación y estudio empírico frente a técnicas de evaluación tradicionales en la asignatura de Sistemas Operativos
XXVII Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2021) https://jenui2021.uv.es/
National
Authors | Martin-Rodilla, P., Javier Parapar |
Organization | Universitat de Valencia (UV) |
Place | Valencia (España) |
eRisk 2021: Pathological Gambling, Self-harm and Depression Challenges
43rd European Conference on Information Retrieval (ECIR 2021)
International
Authors | Javier Parapar, Martin-Rodilla, P., David E. Losada, FABIO CRESTANI |
Place | Lucca (Italia) |
Novel and Diverse Recommendations by Leveraging Linear Models with User and Item Embeddings
43rd European Conference on Information Retrieval (ECIR 2021)
International
Authors | Alfonso Landin, Javier Parapar, Álvaro Barreiro |
Place | Lucca (Italia) |
Experimental Analysis of the Relevance of Features and Effects on Gender Classification Models for Social Media Author Profiling
16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021)
International
Authors | Piot, P., Martin-Rodilla, P., Javier Parapar |
Place | Praga (República Checa) |
Forgetting auxiliary atoms in forks
International Joint Conference on Artifical Intelligence 2020 (IJCAI)
International
Authors | Felicidad Aguado, Gilberto Pérez, cabalar, Jorge Fandinno, David Pearce, Concepción Vidal |
Place | Yokohama (Japón) |
Aplicación de la programación genética en la predicción del fracaso empresarial en pequeñas y medianas empresas
XIX Encuentro Internacional de la Asociación Española de Contabilidad y Administración de Empresas
International
Authors | Angel Beade, José Santos Reyes, Manuel Rodríguez López |
Place | Guarda (Portugal) |
Beaver: Efficiently Building Test Collections for Novel Tasks
Joint Conference of the Information Retrieval Communities in Europe (CIRCLE 2020)
International
Authors | David Otero, Javier Parapar, Álvaro Barreiro |
Place | Samatan (Francia) |
Hacia una conceptualización y representación visual estratigráfica desacoplada: el megalitismo como caso de estudio
Theoretical Archaeology Group (TAG). Lisboa, Febrero, 2020. https://digital.csic.es/handle/10261/237840
International
Authors | Martin-Rodilla, P., Tejedor-Rodríguez, C., Masaguer, M. |
Organization | Universidade de Lisboa |
Place | Lisboa (Portugal) |
Explicit Negation in Linear-Dynamic Equilibrium Logic
24th European Conference on Artificial Intelligence (ECAI 2020)
International
Authors | Felicidad Aguado, cabalar, fandinno, pérez, Concepción Vidal |
Place | Santiago de Compostela (España) |
Shallow Neural Models for Top-N Recommendation
24th European Conference on Artificial Intelligence (ECAI 2020)
International
Authors | Alfonso Landin, Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
Place | Santiago de Compostela (España) |
DOI | https://doi.org/10.3233/faia200449 |
Priors for Diversity and Novelty on Neural Recommender Systems
XoveTIC 2019
International
Authors | Alfonso Landin, Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
Organization | Centro de Investigación en Tecnoloxías da Información e as Comunicacións (CITIC) |
Place | Coruña, A (España) |
DOI | https://doi.org/10.3390/proceedings2019021020 |
Building High-Quality Datasets for Information Retrieval Evaluation at a Reduced Cost
XoveTIC 2019
International
Authors | David Otero, Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
Organization | Centro de Investigación en Tecnoloxías da Información e as Comunicacións (CITIC) |
Place | Coruña, A (España) |
DOI | https://doi.org/10.3390/proceedings2019021033 |
PRIN: A Probabilistic Recommender with Item Priors and Neural Models
41st European Conference on Information Retrieval (ECIR 2019)
International
Authors | Alfonso Landin, Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
Place | Colonia (Alemania) |
DOI | https://doi.org/10.1007/978-3-030-15712-8_9 |
A Complete Planner for Temporal Answer Set Programming
19th EPIA Conference on Artificial Intelligence, EPIA 2019
International
Authors | Pedro Cabalar, Manuel Rey, Concepción Vidal |
Place | Vila Real (Portugal) |
Revisiting Explicit Negation in Answer Set Programming
35th International Conference on Logic Programming (ICLP 2019)
International
Authors | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
Organization | Association for Logic Programming |
Place | Las Cruces, New Mexico (Estados Unidos) |
LiMe: Linear Methods for Pseudo-Relevance Feedback
33rd ACM SIGAPP Symposium On Applied Computing (SAC-2018)
International
Authors | Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
Place | Pau (Francia) |
DOI | https://doi.org/10.1145/3167132.3167207 |
Term Association Measures for Memory-based Recommender Systems
V Congreso Español de Recuperación de Información (CERI 2018)
National
Authors | Eva Suárez-García, Alfonso Landin, Daniel Valcarce, Álvaro Barreiro |
Organization | Universidad de Zaragoza (UNIZAR) |
Place | Zaragoza (España) |
DOI | https://doi.org/10.1145/3230599.3230606 |
On the use of fitness sharing in studying the genetic code optimality
XIII Congreso Español en Metaheurísticas y Algoritmos Evolutivos y Bioinspirados (MAEB 2018) - XVIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA 2018)
International
Authors | José Santos Reyes, Ángel Monteagudo Insua |
Place | Granada (España) |
Mejora de la motivación del alumnado mediante la realización de un debate en la materia de Sistemas Inteligentes
XXIV Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2018)
National
Authors | Amparo Alonso-Betanzos, Verónica Bolón-Canedo, Isaac Fernández Varela, David Alonso Rios, Daniel Varela |
Organization | Universitat Oberta de Catalunya (UOC) |
Place | Barcelona (España) |
Cost-effective construction of Information Retrieval Text Collections
V Congreso Español de Recuperación de Información (CERI 2018)
National
Authors | David E. Losada, Javier Parapar, Álvaro Barreiro |
Organization | Universidad de Zaragoza (UNIZAR) |
Place | Zaragoza (España) |
DOI | https://doi.org/10.1145/3230599.3230612 |
Docencia en Sistemas de Acceso á Información: detección de plaxios, emprego de tecnoloxías avanzadas para desenvolvemento software e achegamento da experiencia na industria á aula
III Xornadas de Innovación Docente. Contextos universitarios transformadores: construíndo espazos de aprendizaxe (ISSN: 2605-1222)
Local
Authors | Paula Lopez-Otero, Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
Organization | Universidade da Coruña (UDC) |
Place | Coruña, A (España) |
Introducing Temporal Stable Models for Linear Dynamic Logic
16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18)
International
Authors | Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub |
Organization | KR org |
Place | Tempe, Arizona (Estados Unidos) |
Neural cellular automata for modeling protein folding.
Biomath 2018 : Mathematical Methods and Models in Biosciences
International
Authors | Daniel Varela, José Santos Reyes |
Place | Sofia (Bulgaria) |
Query Expansion as a Matrix Factorization Problem: Extended Abstract
V Congreso Español de Recuperación de Información (CERI 2018)
National
Authors | Daniel Valcarce, Javier Parapar, Álvaro Barreiro |
Organization | Universidad de Zaragoza (UNIZAR) |
Place | Zaragoza (España) |
DOI | https://doi.org/10.1145/3230599.3230603 |
Forgetting Auxiliary Atoms as Forks
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
International
Authors | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
Place | Espoo (Finlandia) |
Protein folding modeling with neural cellular automata using the Face-Centered Cubic model
IWINAC2017
International
Authors | José Santos Reyes, Daniel Varela |
Place | Coruña, A (España) |
Forgetting Auxiliary Atoms in Forks
10th Workshop on Answer Set Programming and Other Computing Paradigms, co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017
International
Authors | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
Place | Espoo (Finlandia) |
A hybrid evolutionary algorithm for protein structure prediction using the Face-Centered Cubic lattice model
ICONIP 2017 (Core A)
International
Authors | José Santos Reyes, Daniel Varela |
Place | Guangzhou (China) |
Combining Top-N Recommenders with Metasearch Algorithms
40th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2017)
International
Authors | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
Organization | ACM |
Place | Tokyo (Japón) |
DOI | https://doi.org/10.1145/3077136.3080647 |
Multi-Context Systems: Dynamics and Evolution
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
International
Authors | Stefania Costantini, Andrea Formisano, Pedro Cabalar |
Place | Espoo (Finlandia) |
A protein folding model using the Face-Centered Cubic lattice model
GECCO 2017 (Core A)
International
Authors | José Santos Reyes, Daniel Varela |
Place | Berlin (Alemania) |
Language Models for Collaborative Filtering Neighbourhoods
38th European Conference on IR Research (ECIR 2016)
International
Authors | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
Place | Padua (Italia) |
DOI | https://doi.org/10.1007/978-3-319-30671-1_45 |
Additive Smoothing for Relevance-Based Language Modelling of Recommender Systems
Congreso Español de Recuperación de Información (CERI'16)
National
Authors | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
Organization | UNIVERSIDAD DE GRANADA |
Place | Granada (España) |
DOI | https://doi.org/10.1145/2934732.2934737 |
Protein Folding Modeling with Neural Cellular Automata Using Rosetta
GECCO2016 (Core A)
International
Authors | José Santos Reyes, Daniel Varela |
Place | Denver (Estados Unidos) |
Formal verification for ASP: a case study using the PVS theorem prover
CMMSE 2015 (15th Int. Conf. on Computational and Mathematical Methods in Science and Engineering
International
Authors | Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Place | Rota (España) |
Feeling lucky?: multi-armed bandits for ordering judgements in pooling-based evaluation
ACM SAC '16 Proceedings of the 31st Annual ACM Symposium on Applied Computing
International
Authors | David E. Losada, Javier Parapar, Álvaro Barreiro |
Organization | ACM |
Place | Pisa (Italia) |
DOI | https://doi.org/10.1145/2851613.2851692 |
An ASP Semantics for Default Reasoning with Constraints
International Joint Conference on Artificial Intelligence (IJCAI'16)
International
Authors | Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub |
Organization | AAAI |
Place | New York (Estados Unidos) |
Efficient Pseudo-Relevance Feedback Methods for Collaborative Filtering Recommendation
38th European Conference on IR Research (ECIR 2016)
International
Authors | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
Place | Padua (Italia) |
DOI | https://doi.org/10.1007/978-3-319-30671-1_44 |
Equilibrium Graphs
9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), workshop of ICLP 2016
International
Authors | Pedro Cabalar, Carlos Pérez Ramil, Gilberto Pérez |
Place | New York (Estados Unidos) |
Computing Neighbourhoods with Language Models in a Collaborative Filtering Scenario
7th Italian Information Retrieval Workshop (IIR 2016)
International
Authors | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
Place | Venezia (Italia) |
A denotational semantics for equilibrium logic
International Conference of Logic Programming ICLP 2015
International
Authors | Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal |
Organization | Association for Logic Programming |
Place | Cork (Irlanda) |
An infinitary encoding of temporal equilibrium logic
International Conference of Logic Programming ICLP 2015
International
Authors | Pedro Cabalar, Martín Diéguez Lodeiro, Concepción Vidal |
Organization | Association for Logic Programming |
Place | Cork (Irlanda) |
Evolutionary optimization of cancer treatments in a cancer stem cell context
GECCO 2015 - Genetic and Evolutionary Computation Conference
International
Authors | José Santos Reyes, Ángel Monteagudo |
Place | Madrid (España) |
A Study of Priors for Relevance-Based Language Modelling of Recommender Systems
9th ACM Conference on Recommender Systems (RecSys 2015)
International
Authors | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
Place | Vienna (Austria) |
DOI | https://doi.org/10.1145/2792838.2799677 |
A Study of Smoothing Methods for Relevance-Based Language Modelling of Recommender Systems
37th European Conference on Information Retrieval (ECIR 2015)
International
Authors | Daniel Valcarce, Javier Parapar, Álvaro Barreiro García |
Place | Vienna (Austria) |
Evolution of synaptic delay based neural controllers for implementing central pattern generators in hexapod robotic structures
International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015
International
Authors | José Santos Reyes, Pablo Fernández |
Place | Elche/Elx (España) |
Combination of differential evolution and fragment-based replacements for protein structure prediction
GECCO 2015 - Genetic and Evolutionary Computation Conference
International
Authors | José Santos Reyes, Daniel Varela |
Place | Madrid (España) |
Strong Equivalence of Non-Monotonic Temporal Theories
14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
International
Authors | Pedro Cabalar, Martín Diéguez |
Place | Viena (Austria) |
Temporal Stable Models are LTL-representable
7th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'14)
International
Authors | Pedro Cabalar, Martín Diéguez |
Place | Viena (Austria) |
When Recommenders Met Big Data: an Architectural Proposal and Evaluation
III Congreso Español de Recuperación de la Información (CERI 2014)
National
Authors | Daniel Valcarce, Javier Parapar, Alvaro Barreiro |
Organization | Sociedad Española de Recuperación de Información |
Place | Coruña, A (España) |
Integrating Temporal Extensions of Answer Set Programming
12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13)
International
Authors | Concepción Vidal, Felicidad Aguado, Gilberto Pérez |
Place | Coruña, A (España) |
Redes Neuronales Artificiales y predicción del fallo empresarial: superación del enfoque de "caja negra" con algoritmos de poda y análisis de sensibilidad
XVII Congreso AECA
International
Authors | Carlos Piñeiro Sánchez, Manuel Rodríguez López, Pablo De Llano Monelos, José Santos Reyes |
Organization | AECA - Asociación Española de Contabilidad y Administración de Empresas |
Place | Pamplona/Iruña (España) |
An Investigation of Actions, Change and Space
23rd International Conference on Automated Planning and Scheduling, ICAPS 2013
International
Authors | Paulo E. Santos, Pedro Cabalar |
Place | Roma (Italia) |
An algebra of causal chains
6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13)
International
Authors | Pedro Cabalar, Jorge Fandinno |
Place | Estambul (Turquía) |
Loop formulas for splitable temporal logic programs
12th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR13
International
Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Place | Coruña, A (España) |
Evolved center-crossing recurrent synaptic delay based neural networks for biped locomotion control
IEEE CEC 2013 - IEEE Congress on Evolutionary Computation
International
Authors | José Santos Reyes |
Place | Cancún (México) |
Cellular automata for modeling protein folding using the HP model
IEEE CEC 2013 - IEEE Congress on Evolutionary Computation (Core A)
International
Authors | José Santos Reyes, Martín Diéguez Lodeiro, Pablo Villot |
Place | Cancún (México) |
Emergent segmentation of topological active nets by means of evolutionary obtained artificial neural networks
International Conference on Agents and Artificial Intelligence (ICAART'13)
International
Authors | C. V. Sierra, J. Novo, J. Santos, M G Penedo |
Organization | Institute for Systems and Technologies of Information, Control and Communication (INSTICC) |
Place | Barcelona (España) |
Cancer stem cell modeling using a cellular automaton
IWINAC - 2013, International Work-Conference on the Interplay between Neural and Artificial Computation
International
Authors | José Santos Reyes, Ángel Monteagudo |
Place | Palma (España) |
Combination of reinforcement learning with evolution for automatically obtaining robot neural controllers
IEEE CEC 2013 - IEEE Congress on Evolutionary Computation (Core A)
International
Authors | José Santos Reyes, Rodrigo Palacios Leiva, Ricardo Cruz Alvarez, V.R., Montes-Gonzalez,, L. Rascon Perez |
Place | Cancún (México) |
Análisis de herramientas para la docencia práctica en Recuperación de Información
IX FORO INTERNACIONAL SOBRE LA EVALUACIÓN DE LA CALIDAD DE LA INVESTIGACIÓN Y DE LA EDUCACIÓN SUPERIOR (FECIES). Santiago de Compostela (España), 12-15 de Junio de 2012
National
Authors | Javier Parapar, Álvaro Barreiro |
Place | Santiago de Compostela (España) |
Language Modelling of Constraints for Text Clustering
ECIR 2012 34th European Conference on Information Retrieval.
International
Authors | Javier Parapar, Álvaro Barreiro |
Organization | Universitat Pompeu Fabra (UPF) |
Place | Barcelona (España) |
DOI | https://doi.org/10.1007/978-3-642-28997-2_30 |
Paving the way for temporal grounding
28th International Conference on Logic Programming
ICLP 2012
International
Authors | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
Organization | International Conference on Logic Programming ICLP |
Place | Budapest (Hungría) |
A cellular automaton model for tumor growth simulation
PACBB '2012: 6th International Conference on Practical Applications of Computational Biology & Bioinformatics
International
Authors | José Santos Reyes, Ángel Monteagudo |
Place | Salamanca (España) |
Evolved artificial neural networks for controlling Topological Active Nets deformation and for medical image segmentation
International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'12)
International
Authors | Cristina V. Sierra, J. Novo, J. Santos, M G Penedo |
Organization | KES International |
Place | Donostia-San Sebastián (España) |
Constrained Text Clustering using Word Trigrams
II Congreso Español de Recuperación de la Información (CERI 2012)
National
Authors | Eduardo Ares, M., Álvaro Barreiro |
Organization | Sociedad Española de Recuperación de Información |
Place | Valencia (España) |
Study of cancer hallmarks relevance using a cellular automaton tumor growth model
PPSN 2012: Parallel Problem Solving from Nature - PPSN XII
International
Authors | José Santos Reyes, Ángel Monteagudo |
Place | Taormina (Italia) |
Knots World: an investigation of actions, change and space
Spatio-temporal Dynamics Workshop (STeDy'12) (inside ECAI 2012)
International
Authors | Paulo E. Santos, Pedro Cabalar |
Organization | EurAI |
Place | Montpellier (Francia) |
Evaluación de técnicas de aprendizaje activo para codificación CIE9-MC de informes de alta hospitalaria
1st Spanish Conference on Information Retrieval CERI'10
International
Authors | David Lojo Vicente, David E. Losada Carril, Álvaro Barreiro García |
Place | Madrid (España) |
Fórmulas de ciclo para programas lógicos temporales: una primera aproximación
RSME 11
National
Authors | Gilberto Pérez, Felicidad Aguado, Concepción Vidal |
Organization | Real Sociedad Matemática Española |
Place | Ávila (España) |
Temporal Logic Programs with variables
Workshop on Grounding and Transformations for Theories with Variables (GTTV'17)
International
Authors | Pedro Cabalar |
Place | Espoo (Finlandia) |
Differential Evolution for Protein Structure Prediction Using the HP Model
IWINAC2011 - International Work-conference on the Interplay between Natural and Artificial Computation
International
Authors | José Santos Reyes, Martin Diéguez |
Place | Santa Cruz de la Palma (España) |
Multiobjective optimization of the 3D Topological Active Volume segmentation model
International Conference on Agents and Artificial Intelligence (ICAART'11)
International
Authors | J. Novo, M G Penedo, José Santos Reyes |
Organization | Institute for Systems and Technologies of Information, Control and Communication (INSTICC) |
Place | Roma (Italia) |
Where to start fitering redundancy? A cluster-based approach
33rd ACM International Conference on Research and Development in Information Retrieval SIGIR¿10
International
Authors | Ronald Teijeira Fernández, Javier Parapar, David E. Losada Carril, Álvaro Barreiro García |
Place | Ginebra (Suiza) |
Logic Programs and Causal Proofs
10th Intl. Symposium on Logical Formalization on Commonsense Reasoning (Commonsense'11)
International
Authors | Pedro Cabalar |
Place | Palo Alto (Estados Unidos) |
Blog posts and comments extraction and impact on retrieval efectiveness
1st Spanish Conference on Information Retrieval CERI'10
International
Authors | Javier Parapar, Jorge López Castro, Álvaro Barreiro García |
Place | Madrid (España) |
Blog Snippets: A comments-biased approach
33rd ACM International Conference on Research and Development in Information Retrieval SIGIR¿10
International
Authors | Javier Parapar, Jorge López Castro, Álvaro Barreiro García |
Place | Ginebra (Suiza) |
An Experiment on Tabled Evaluation for Hidden Predicates
1st Workshop on Grounding and Transformations for Theories with Variables (GTTV'11) (inside LPNMR'11)
International
Authors | Pedro Cabalar, Martín Diéguez |
Place | Vancouver (Canadá) |
Improving Text Clustering with Social Tagging,
AAAI ICWSM 2011 Proceedings of the Fifth International Conference on Weblogs and Social Media
International
Authors | Eduardo Ares, M., Javier Parapar, Álvaro Barreiro |
Place | Barcelona (España) |
Evolution of Adaptive Center-crossing Continuous Time Recurrent Neural Networks for Biped Robot Control
European Symposium on Artificial Neural Networks (ESANN 2010)
International
Authors | Ángel Campo Penín, José Santos Reyes |
Place | Brujas (Bélgica) |
Optimization of Topological Active Models with Multiobjective Evolutionary Algorithms
ICPR 2010 - 20th International Conference on Pattern Recognition
International
Authors | Jorge Novo Buján, José Santos Reyes, M G Penedo, Alba Fernández Arias |
Place | Estambul (Turquía) |
An automatic linking service of document images reducing the effect of OCR errors with latent semantics
25th ACM Symposium on applied computing ACM SAC 2010
International
Authors | Renato De Freitas Bulcao-Neto, José Antonio Camacho Guerrero, Álvaro Barreiro García, Javier Parapar, Alessandra Alaniz Macedo |
Place | Lausanne (Suiza) |
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) |
Enabling the Grid for experiments in distributed information retrieval
1st EELA-2 Conference CIEMAT 2009
International
Authors | Raúl Ramos Pollan, Álvaro Barreiro García |
Place | Bogotá (Colombia) |
Existential Quantifiers in the Rule Body
WLP 2009, 23rd Workshop on (Constraint) Logic Programming
International
Authors | Pedro Cabalar |
Place | Potsdam (Alemania) |
Inductive Logic Programming for Agent Control Learning in the RoboCup Soccer Simulation
CAEPIA-TTIA 2009, XIII Conferencia de la Asociación Española para la Inteligencia Artificial
International
Authors | Alberto Domínguez Illobre, Álvaro García Bargo, Jorge González Iglesias, Ramón Pérez Otero, José Santos Reyes |
Place | Sevilla (España) |
Safety Preserving Transformations for General Answer Set Programs
LOPSTR 2009,19th International Symposium on Logic-Based Program Synthesis and Transformation
International
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Place | Cohimbra (Portugal) |
Compression-based document length prior for Language Models
SIGIR¿09, 32nd ACM Internatinal Conference on Research and Development in Information Retrieval
International
Authors | Javier Parapar, David E. Losada Carril, Álvaro Barreiro García |
Place | Boston (Estados Unidos) |
Winnowing-Based Text Clustering
CIKM 2008 - 17th ACM conference on information and knowledge management (Workshop Proceedings)
International
Authors | Javier Parapar, Álvaro Barreiro García |
Place | Napa Valley, California (Estados Unidos) |
Segmentation of legislative documents using a domain-specific lexicon
DEXA 2008 - 19th International Workshop on Database and Expert Systems Applications
International
Authors | Ismael Hasan Romero, Javier Parapar, Roi Blanco González |
Place | Turin (Italia) |
Deception, order and epistasis
GEM 2008 - The 2008 International Conference on Genetic and Evolutionary Methods (WORLDCOMP¿08)
International
Authors | Concepción Vidal, María Teresa Iglesias Otero, Alain Verschoren |
Place | Las Vegas (Estados Unidos) |
An Effective and Efficient Web News Extraction Technique for an Operational NewsIR System
CAEPIA-TIIA 2007, XII Conferencia de la Asociación Española para la Inteligencia Artificial
International
Authors | Javier Parapar, Álvaro Barreiro García |
Place | Salamanca (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) |
Holes, Knots and Shapes: A Spatial Ontology of a Puzzle
COMMONSENSE 2007, 8th International Symposium on Logical Formalization of Commonsense Reasoning
International
Authors | Paulo Santos, Pedro Cabalar |
Place | Palo Alto, CA (Estados Unidos) |
Retrieval of relevant and novel sentences applying Information Retrieval models and techniques
CEDI 2007, VII Jornada de Seguimiento de Proyectos en Tecnologías Informáticas en el área de Inteligencia Artificial, II Congreso Español de Informática.(jspTIN)
National
Authors | David E. Losada Carril, Álvaro Barreiro García |
Place | Zaragoza (España) |
Automatic Topological Active Net Division in a Genetic-Greedy Hybrid Approach
3rd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA 2007)
National
Authors | Noelia Barreira Rodríguez, M G Penedo, Óscar Ibáñez Panizo, José Santos Reyes |
Place | Girona (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) |
Boosting Static Pruning of Inverted Files
SIGIR 2007, 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
International
Authors | Roi Blanco González, Álvaro Barreiro García |
Place | Amsterdam (Países Bajos) |
Overall comparison at the standard levels of recall of multiple retrieval methods with the Friedman test
29th European Conference on Information Retrieval. Euro XXII
International
Authors | Manuel Antonio Presedo Quindimil, Álvaro Barreiro García, José María Casanova Crespo |
Place | Roma (Italia) |
Genetic-Greedy Hybrid Approach for Topological Active Nets Optimization
8th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2007
International
Authors | José Santos Reyes, Óscar Ibáñez Panizo, Noelia Barreira Rodríguez, M G Penedo |
Place | Warsaw (Polonia) |
Simulated evolution of the adaptability of the genetic code using genetic algorithms
2nd. International Work-Conference on the Interplay between Natural and Arti cial Computation, IWINAC 2007
International
Authors | José Santos Reyes, Ángel Monteagudo |
Place | Murcia (España) |
Topological Active Volumes Optimization with Genetic Approaches
CAEPIA-TIIA 2007, XII Conferencia de la Asociación Española para la Inteligencia Artificial
International
Authors | Jorge Novo Buján, Noelia Barreira Rodríguez, M G Penedo, José Santos Reyes |
Place | Salamanca (España) |
Passing through Holes and Getting Entangled by Strings: An Automated Solution for a Spatial Puzzle
ECAI 2006 - 17th European Conference on Artificial Intelligence: Workshop on Spatial and Temporal Reasoning
International
Authors | Paulo Eduardo Santos, Pedro Cabalar |
Place | Riva del Garda (Italia) |
Some features about the convergence process of a Genetic Algorithm.
International Congress of Mathematicians ICM 2006
International
Authors | María Teresa Iglesias Otero, Matilde Ríos Fachal, Concepción Vidal |
Place | Madrid (España) |
Logical Foundations of Well-Founded Semantics
KR 2006 - 10th International Conference on Principles of Knowlege Representation and Reasoning
International
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce |
Place | Windermere, Lake District (Reino Unido) |
Some features about the convergence of a genetic algoritm
ICM2006, International Congress of Mathematicians
International
Authors | María Teresa Iglesias Otero, Matilde Ríos, Concepción Vidal |
Place | Madrid (España) |
Topological Active Nets Optimization Using Genetic Algorithms
Third International Conference, ICIAR 2006
International
Authors | Óscar Ibáñez Panizo, Noelia Barreira Rodríguez, José Santos Reyes, M G Penedo |
Place | Póvoa de Varzim (Portugal) |
Characterization of a Simple Case of the Reassignment of Document Identifiers as a Pattern Sequencing Problem
SIGIR 2005. 28th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
International
Authors | Roi Blanco González, Álvaro Barreiro García |
Place | Salvador (Brasil) |
A Functional Action Language Front-end
ASP 2005. Answer Set Programming: Advances in Theory and Implementation
International
Authors | Pedro Cabalar |
Place | Bath (Reino Unido) |
A logic for reasoning about well-founded semantics: preliminary report
CAEPIA 2005. XI Conferencia de la Asociación Española pra la Inteligencia Artificial
National
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce |
Place | Santiago de Compostela (España) |
Query expansion using Wordnet with a logical model of information retrieval
IADIS International Conference on Applied Computing 2005
International
Authors | David Parapar López, Álvaro Barreiro García, David E. Losada Carril |
Place | Algarve (Portugal) |
Walsh transforms, balance sum theorems and partition coefficients over multary alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
International
Authors | María Teresa Iglesias Otero, Bart Naudths, Alain Verschoren, Concepción Vidal |
Place | Washington (Estados Unidos) |
La varianza epistática como medida de optimización en el empleo de Algoritmos Genéticos
I Congreso de Estatística e Investigação Operacional da Galiza e Norte de Portugal
International
Authors | Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal |
Place | Guimaraes (Portugal) |
Evaluación de estrategias en recuperación de información
I Congreso de Estatística e Investigação Operacional da Galiza e Norte de Portugal
International
Authors | Manuel Antonio Presedo Quindimil, Álvaro Barreiro García |
Place | Guimaraes (Portugal) |
Formalización de las Bases de Gröbner en Coq
Primer Congreso Conjunto de Matemáticas RSME - SCM - SEIO - SEMA. MAT.ES
National
Authors | Gilberto Pérez |
Place | Valencia (España) |
A Software Architecture for Effective Document Identifier Reassignment
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International
Authors | Roi Blanco González, Álvaro Barreiro García |
Place | España |
La varianza epistática como medida de optimización en el empleo de Algoritimos genéticos.
I Congreso de Estadística e Investigaçao Operacional de Galiza e Norte de Portugal VI Congreso Galego de Estadística e Investigación de Operacións
International
Authors | Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal |
Place | Guimaraes (Portugal) |
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) |
Evaluación de estrategias en recuperación de información
I Congreso de Estadística e Investigaçao Operacional de Galiza e Norte de Portugal VI Congreso Galego de Estadística e Investigación de Operacións
International
Authors | Manuel Antonio Presedo Quindimil, Álvaro Barreiro García |
Place | Guimaraes (Portugal) |
Walsh Transforms, Balanced Sum Theorems and Partition Coefficients over Multary Alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
International
Authors | María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal |
Place | Washington (Estados Unidos) |
Codon Based Amino Acid Encoding for the Neural Network Prediction of Protein Secondary Structure
Proceedings of the 5th Spanish Bioinformatics Conference
National
Authors | José Santos Reyes |
Place | Barcelona (España) |
Estudio del Efecto Baldwin en la Obtención de Controladores en Robótica
Tercer Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB'04)
National
Authors | F. Silva, José Santos Reyes |
Organization | Universidad de Córdoba |
Place | Córdoba (España) |
Optimización de recursos sensoriales y de procesado en la obtención de comportamientos para robots autónomos
Tercer Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB'04)
National
Authors | Jose Antonio Becerra Permuy, José Santos Reyes, Richard José Duro Fernández |
Organization | Universidad de Córdoba |
Place | Córdoba (España) |
Negations as a high precision mechanism
26th European Conference on Information Retrieval (ECIR 2004)
International
Authors | David E. Losada Carril, Álvaro Barreiro García |
Place | Sunderland (Reino Unido) |
New insights on the intuitionistic interpretation of Default Logic
European Conference on Artificial Intelligence (ECAI 04)
International
Authors | Pedro Cabalar, David Lorenzo |
Place | Valencia (España) |
A Preliminary Study on Reasoning About Causes
6th International Symposium on Logical Formalizations on Commonsense Reasoning. AAAI Spring Symposium Series (AAAI-SSS03)
International
Authors | Pedro Cabalar |
Place | Stanford, Palo Alto, CA (Estados Unidos) |
Análisis de la medida de distancia entre documentos y consultas en el modelo lógico de Recuperación de Información PLBR
II Jornadas de tratamiento y recuperación de la información Jotri 2003
National
Authors | Álvaro Barreiro García, David Enrique Losada Carril |
Organization | Universidad Carlos III de Madrid |
Place | España |
Computing epistasis of template functions with the hyperplane averaging theorem
Meeting on linear algebra and applications (EALA)
International
Authors | María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren |
Place | Caparica (Portugal) |
Functions and Default values in Logic Programs and Action Theories
II Seminarios Internacionales de Altea. Applications of Logic and Mathematics to Programming.
International
Authors | Pedro Cabalar, David Lorenzo Blanco |
Organization | Universidad Rey Juan Carlos |
Place | España |
A theoretical study of logical retrieval in terms of a characterisation of knowledge revision
ACM SIGIR 2003 Workshop on Mathematical/Formal Methods in Information Retrieval
International
Authors | David Enrique Losada Carril, Álvaro Barreiro García |
Place | Toronto (Canadá) |
Alternative Characterizations for Strong Equivalence of Logic Programs.
9th International Workshop on Non-monotonic Reasoning. NMR¿2002
International
Authors | Pedro Cabalar |
Place | Toulousse (Francia) |
MA VS. GA in Low Population Evolutionary Processes with Mostly Flat Fitness Landscapes
6th Joint Conference on Information Sciences.
International
Authors | Jose Antonio Becerra, José Santos Reyes, Richard José Duro Fernández |
Place | Carolina del Norte (Estados Unidos) |
A Three-Valued Characterization for Strong Equivalence of Logic Programs
18th National Conference on Artificial Intelligence (AAAI¿02)
International
Authors | Pedro Cabalar |
Place | Toulousse (Francia) |
Integración y Coexistencia de Aplicaciones Legacy y Aplicaciones Web Usando Patrones
Simposio en Informática y Telecomunicación
International
Authors | Antonio Ángel Blanco Ferro, José Mª García-Tizón Iglesias, Miguel José Rodríguez Rubio, Juan José Sánchez Penas |
Place | Coruña, A (España) |
Well Founded Semantics as Two-dimensional Here-and-There
Workshop on Answer Set Programming, 2001 AAAI Spring Symposium Series
International
Authors | Pedro Cabalar |
Place | San Francisco (Estados Unidos) |
Rating the impact of logical representations on retrieval performance
11 International Workshop on Database and Expert Systems Applications (DEXA 2001)
International
Authors | Álvaro Barreiro García, David Enrique Losada Carril |
Place | Munich (Alemania) |
Methodology for the integration of fishers ecological knowledge in fisheries biology and management using knowledge representation (Artificial Intelligence)
Putting Fisher,s Knowledge to Work
International
Authors | Antonio García Allut, Freire, M., Álvaro Barreiro García, David Enrique Losada Carril |
Place | Vancouver, BC (Canadá) |
II-DTB, Discrte Time Backpropagation with Product Units
International Work Conference on Artificial Neural Networks (IWANN 2001)
International
Authors | José Santos Reyes, Richard José Duro Fernández |
Place | Granada (España) |
Integration of fishers¿ecological knowledge in fisheries biology and management using Knowledge Representation (Artificial Intelligence).
People and the Sea. Maritime Research in the Social Sciences, an agenda for the 21st century
International
Authors | Antonio García Allut, Freire, M., Álvaro Barreiro García, David Enrique Losada Carril |
Place | Amsterdam (Países Bajos) |
An Homogeneous Framework to Model Relevance Feedback
24 Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
International
Authors | Álvaro Barreiro García, David Enrique Losada Carril |
Place | New Orleans (Estados Unidos) |
Evolución distribuída en la obtención de controladores en robótica autónoma
Simposio Español de Informática Distribuída (SEID'2000)
International
Authors | José Santos Reyes, José Antonio Becerra Permuy |
Place | Ourense (España) |
Applying Synaptic Delays for Virtual Sensing and Actuation in Mobile Robots
International Joint Conference on Neural Networks( IJCNN 2000)
International
Authors | José Santos Reyes, Richard José Duro Fernández, Francisco Bellas Bouza, Jose Antonio Becerra Permuy |
Place | Como (Italia) |
On Line Darwinist Cognitive Mechanism for an Artificial Organism
Sixth International Conference on the Simulation of Adaptive Behavior( SAB 2000)
International
Authors | Richard José Duro Fernández, José Santos Reyes, Francisco Bellas Bouza, A. Lamas |
Place | París (Francia) |
Implementing Document Ranking within a Logical Framework
7th International Symposium on String Processing and Information Retrieval SPIRE'2000
International
Authors | Álvaro Barreiro García, David Enrique Losada Carril |
Place | Coruña, A (España) |
Template functions and their Epistasis
MS'2000 International Conference on Modelling and Simulation
International
Authors | María Teresa Iglesias Otero, Alain Verschoren, Concepción Vidal |
Place | España |
Robust Visual Recognition with High-Order Gaussian Synapses Networks
International Joint Conference on Neural Networks( IJCNN 2000)
International
Authors | José Santos Reyes, Richard José Duro Fernández, J.L. Crespo |
Place | Como (Italia) |
Temporal Constraint Networks in Action
14th European Conference on Artificial Intelligence( ECAI 2000)
International
Authors | Pedro Cabalar, Ramón Otero, Silvia G. Pose |
Place | Berlín (Alemania) |
Contraste y Validación en Ambiente Real del Modelado Neuronal para la Predicción del Fracaso Empresarial
Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA 2001)
National
Authors | Manuel Rodríguez López, José Santos Reyes |
Organization | Universidad de Oviedo |
Place | Gijón (España) |
Using description logics to integrate fishers ecological Knowledge in the research of artisanal fisheries
Workshop on Binding Environmental Sciences and Artificial Intelligence (BESAI'2000)
International
Authors | Álvaro Barreiro García, David Enrique Losada Carril, Antonio García Allut, Freire, M. |
Place | Barcelona (España) |
Aspects of Evolution for Obtaining Real Robot Controllers
Frontiers in Evolutionary Algorithms. FEA'2000
International
Authors | Richard José Duro Fernández, José Santos Reyes, J.A. Becella, J.L. Crespo, Francisco Bellas Bouza |
Place | Atlantic City( Nueva Jers (Estados Unidos) |
Improving Reusability of Behavior based Robot Cognitive Architectures
6th ESA Workshop on Advanced Space Technologies for Robotics and Automation( ASTRA 2000)
International
Authors | Richard José Duro Fernández, José Santos Reyes, José Antonio Becerra Permuy |
Place | Estec, Noorwijk (Países Bajos) |
Formalizing Distinguishability: A Contexts Based Case
15th European Meeting on Cibernetics and Systems 2000
International
Authors | Álvaro Barreiro García, Raúl Ramos Pollán |
Place | Viena (Austria) |
PAL: Pertinence Action Language
8th Intl. Workshop on Non-Monotonic Reasoning NMR'2000
International
Authors | Pedro Cabalar, Manuel Jose Cabarcos Traseira, Ramón Otero |
Place | Breckenridge, CO (Estados Unidos) |
Using Higher Order Synapses and Nodes to Improve the Sensing Capabilities of Mobile robots
European Symposium on Artificial Neural Networks( ESANN'2000)
International
Authors | Richard José Duro Fernández, José Santos Reyes, Jose Antonio Becerra Permuy, Francisco Bellas Bouza, J.L. Crespo |
Place | Brujas (Bélgica) |
Retrieval Situations and Belief Change
11th International Workshop on Database and Expert Systems Applications
International
Authors | Álvaro Barreiro García, David Enrique Losada Carril |
Place | Greenwich (Reino Unido) |
Lógica, matemática, deducción automática
Primer Congreso Anual de la Real Sociedad Matemática Española
National
Authors | Gilberto Pérez, José María Barja Pérez |
Place | Madrid (España) |
DTB for the prediction of sunspot activity
World Multiconference on Systemics, Cybernetics and Informatics and 5th International Conference on Information Systems Analysis and Synthesis( SCI/ ISAS 99)
International
Authors | José Santos Reyes, Richard José Duro Fernández |
Place | Orlando (Estados Unidos) |
Conceptualization of a belief revision approach to information retrieval
Searching for information: artificial intelligence and information retrieval approaches
International
Authors | David Enrique Losada Carril, Álvaro Barreiro García |
Place | Glasgow (Reino Unido) |
Twebs: an application of terminological logics in web searching
IV Congreso ISKO- España EOCONSID' 99
International
Authors | Álvaro Barreiro García, David Enrique Losada Carril, Raúl Ramos Pollán |
Place | Granada (España) |
Temporal Answer Sets
Joint Conference on Declarative Programming( APPIA- GULP- PRODE' 99)
International
Authors | Pedro Cabalar |
Place | L'Aquila (Italia) |
Temporal constraint networks in action: a preliminary report
IV Taller de Razonamiento Temporal
International
Authors | Pedro Cabalar, Ramón Pérez Otero, Silvia Gómez Pose |
Place | Murcia (España) |
Computing epistasis through Walsh transforms
Quinto Encuentro de Algebra Computacional y Aplicaciones EACA 99
National
Authors | María Teresa Iglesias Otero, Concepción Vidal |
Place | Santa Cruz de Tenerife (España) |
Incremental Design of Neural Controllers for Infrasensorized Autonomous Robots
Wiener's Cybernetics: 50 Years of Evolution
International
Authors | Richard José Duro Fernández, José Santos Reyes |
Place | España |
Visual tracking in a real robot through higher order synapses
Wiener's Cybernetics: 50 Years of Evolution
International
Authors | Richard José Duro Fernández, José Santos Reyes |
Place | España |
Razonamiento temporal no monótono
IV Taller de Razonamiento Temporal
International
Authors | Álvaro Barreiro García, Pedro Cabalar, Manuel Jose Cabarcos Traseira, David Lorenzo Blanco, David Enrique Losada Carril, Ramón Pérez Otero, Mario Otero Díaz, Silvia Gómez Pose, Raúl Ramos Pollán, José Manuel Rodríguez Rodríguez, Julio García Soto, Óscar García Trinidad |
Place | Murcia (España) |
Using a belief revision operator for document ranking in extended boolean models
22nd International Conference on Research and Development in Information Retrieval( SIGIR' 99)
International
Authors | David Enrique Losada Carril, Álvaro Barreiro García |
Place | Berkeley (Estados Unidos) |
Pertinence and causality
Sixteenth International Joint Conference on Artificial Intelligence( JCAI' 99)
International
Authors | Ramón Pérez Otero, Pedro Cabalar |
Place | Estocolmo (Suecia) |
Discrete Time Backpropagation and Synaptic Delay Based Artificial Neural Networks in Chaotic Time Series Prediction
8th International Conference on Artificial Neural Network
International
Authors | Richard José Duro Fernández, José Santos Reyes |
Place | Skövde (Suecia) |
A Terminological Approach to Resource Discovery Mechanisms
IBERAMIA 98./6º Congreso Iberoamericano de Inteligencia Artificial
International
Authors | David Enrique Losada Carril, Raúl Ramos Pollán, Álvaro Barreiro García |
Place | Lisboa (Portugal) |
Learning to Reason in Time Using Discrete Time Backpropagation
International Conference on Neural Networks and Brain
International
Authors | José Santos Reyes, Richard José Duro Fernández |
Place | Pekin (China) |
Envolving Neural Controllers for Temporally Dependent Behaviors in Autonomous Robots
11th Int¿l Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. IEA-98-AIE
International
Authors | José Santos Reyes, Richard José Duro Fernández |
Place | España |
Design of ANN Architectures for Handling the Temporal
Eurocast97 International Conference
International
Authors | Richard José Duro Fernández, José Santos Reyes |
Place | España |
ECG Beat classification with synaptic delay based artificial neural networks
IWANN'97
International
Authors | Richard José Duro Fernández, José Santos Reyes |
Place | España |
Enseñanza de inteligencia artificial en el nivel introductorio: Fundamentos, énfasis y restricciones
3 Jornadas de Enseñanza Universitaria de Informática. Jenui'97
National
Authors | Álvaro Barreiro García |
Place | Madrid (España) |
Evolutionary design of ann architectures for the detection of patters in signals
Frontiers in Evolutionary Algorithms (FEA'97) - Joint Conference of Information Sciences
International
Authors | José Santos Reyes, Richard José Duro Fernández |
Place | Carolina del Norte (Estados Unidos) |
Synaptic delay based artificial neural networks and discrete time backpropagation applied to QRS Complex Detection
ICNN¿97, INTERNATIONAL CONFERENCE ON NEURAL NETWORKS
International
Authors | Richard José Duro Fernández, José Santos Reyes |
Place | Houston, Texas (Estados Unidos) |
Un modelo terminológico para el problema de recuperación de datos
7 Conferencia de la asociación española para la Inteligencia Artificial
National
Authors | Álvaro Barreiro García, Pedro Cabalar, Raúl Ramos Pollán |
Place | Málaga (España) |
Finite state automata generalization by means of anns for phonene recognition
Proc. of Foruth Bayona Workshop on Intelligent Methods in Signal Processing and Communications
International
Authors | Richard José Duro Fernández, José Santos Reyes |
Place | España |
Some results on localization of algebras over Krull domains
Fourth Week on Algebra and Algebraic Geometry (SAGA 4)
International
Authors | Concepción Vidal |
Place | Amberes (Bélgica) |
Modelo de Mecanismo Mental darwinista para robots móviles autónomos
Seminario Anual de Automática y Electrónica Industrial (SAAEI'96)
National
Authors | Richard José Duro Fernández, Francisco Prieto Guerreiro, José Santos Reyes |
Place | Zaragoza (España) |
Efficient concurrent execution of Medtool expert systems
Proceedins of Expert Systems. Applications & Artificial Intelligence (EXPERSYS-96)
International
Authors | Pedro Cabalar, Ramón Pérez Otero, Mario Otero Díaz, M. Cabarcos |
Place | París (Francia) |
A global approach to schemata
International Conference on Intelligent Technologies in Human-related. Sciences
International
Authors | Concepción Vidal, María Teresa Iglesias Otero |
Place | León (España) |
Discrete event simulation in an environment for temporal expert systems
EUROCAST'95. (Fifth international conference on computer aided systems technology)
International
Authors | Álvaro Barreiro García, Pedro Cabalar, David Lorenzo Blanco, Ramón Pérez Otero |
Place | Innsbruck (Austria) |
Applying induction in temporal expert systems
IJCAI'95 workshop on data engineering for inductive learning
International
Authors | David Lorenzo Blanco, Pedro Cabalar, Ramón Pérez Otero |
Place | Montreal (Canadá) |
Automatic induction of DEVS structures
EUROCAST'95. (Fifth international conference on computer aided systems technology)
International
Authors | David Lorenzo Blanco, Pedro Cabalar, Ramón Pérez Otero |
Place | Innsbruck (Austria) |
Structure sheaves over locally noetherian rings
Congreso Internacional de Teoría de Anillos
International
Authors | Concepción Vidal, A. Verschoren |
Place | Almería (España) |
Evolutionary aided design of pattern detecting recurrent artificial neural networks
EUROCAST'95. (Fifth international conference on computer aided systems technology)
International
Authors | José Santos Reyes, Richard José Duro Fernández |
Place | Innsbruck (Austria) |
Visualizing the inference network in Medtool
Fifth International Symposium on Knowledge Engineering
International
Authors | R.P. Otero, J. Santos, Álvaro Barreiro, J. Mira, R. Marín |
Place | Sevilla (España) |
Rapid prototyping of Medical Graphic Interfaces
DEXA'92 3rd International Conference on Database and Expert Systems Applications
International
Authors | R. Marín, M. Taboada, J. Mira, Álvaro Barreiro, R.P. Otero, A. Delgado |
Organization | DEXA |
Place | Valencia (España) |
Representation of Temporal Knowledge in Obstetrics
Fourth International Symposium on Knowledge Engineering
International
Authors | R. Marín, M. Taboada, G. Mouriño, J. Mira, Álvaro Barreiro, R.P. Otero, M. Pereira |
Place | Barcelona (España) |
Follow-up of patients included in oncology protocols using Medtool V Mediterranean Conference on Medical and Biological Engineering, Medicon 89
V Mediterranean Conference on Medical and Biological Engineering, Medicon 89
International
Authors | Álvaro Barreiro, R.P. Otero, R. Marín, A. Delgado, J. Mira |
Place | Patras (Grecia) |
On functional specifications of a database in medicine: a case study in cardiologyMIMI 88, Mini and microcomputers and their applications
MIMI 88, Mini and microcomputers and their applications
International
Authors | Antonio Fermín Yáñez Izquierdo, M. Jacquet, Álvaro Barreiro, A. Delgado, R. Marín, R.P. Otero, J. Mira |
Place | Sant Feliu de Llobregat (España) |
a frecuencia fundamental de la voz como screening de evolución del desarrollo puberal
XVII Congreso Español de Pediatría
National
Authors | A., Bernal, Álvaro Barreiro, J. Mira, R. Tojo |
Place | Zaragoza (España) |
Formal specifications in data capture for an expert system in oncology
Preprints of Second IFSA World Congress
International
Authors | J. Mira, A. Grant, Jones, R., D,. Cramp, A. Delgado, Antonio Fermín Yáñez Izquierdo, Álvaro Barreiro, J.M. Couselo, L. Iglesias |
Place | Tokyo (Japón) |
Sistemas expertos y consejeros de terapia en medicina: ejemplos en cardiología, oncología pediátrica y medicina perinatal
Proceedings del III Simposium Internacional de Ingeniería Biomédica,
International
Authors | J. Mira, R. Marín, Antonio Fermín Yáñez Izquierdo, A. Delgado, R.P. Otero, M. Jacquet, S. Barro, Álvaro Barreiro, J.M. Couselo |
Place | Madrid (España) |