Information Retrieval Lab (IRlab)

 Research group

General data

Coordinator Dr. Álvaro Barreiro García
Catedrático de universidade
Register date 18/05/2007
Dept. assignment Computer Science
Center assignment Faculty of Computer Science
Internal code G000494

Contact

Address Laboratoria 4.2 Facultad de Informática Campus de Elviña s/n 15071 A Coruña
Phone  981167000 ext. 1270
Fax  981167160
Email
Website  http://www.dc.fi.udc.es/irlab

Research scope

Research lines

Recuperación de Información

Recuperación de Información en el Web

Eficiencia en Recuperación de Información

Representación lógica del conocimiento

Algoritmos genéticos

Keywords Recuperación de Información, modelos implementación, evaluación; Recuperación de Información Web, escalabilidad, sistemas de news; Eficiencia, índices, compresión, pruning, optimización; Lógica, programación lógica, modelos lógicos de RI; Algoritmos genéticos, propiedades, aplicaciones algoritmos genéticos a RI

Technology offer

Services offered

Análisis, diseño,implementación y evaluación de sistemas. Informáticos en dominios complejos:recuperación de información. Búsqueda,optimización,web,etc. Modelización y formulación de problemas complejos

Infraestructure resources Un servidor de gama media DELL poweredge. 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.El sistema de noticias Web NowOnWeb(http://irlab.dc.fi.udc.es)ha sido evaluado ya por la OTRI de la UDC y se esta estudiando su comercialización.Soluciones de indexación, almacenamiento y recuperación de Información.Soluciones a problemas de búsqueda y optimización.

Group members

Dr. Álvaro Barreiro García
Computational Science and Artificial Intelligence
Coordinador
Dr. Roi Blanco González
Colaborador externo
Dr. Javier Parapar López
Computational Science and Artificial Intelligence
PDI
Dr. José Pedro Cabalar Fernández
Computational Science and Artificial Intelligence
PDI
Dr. María Teresa Iglesias Otero
Applied Mathematics
PDI
Dr. Miguel José Rodríguez Rubio
Computational Science and Artificial Intelligence
PDI
Dr. Manuel Ojeda Aciego
Colaborador externo
Dr. David Enrique Losada Carril
Colaborador externo
Dr. Pablo Castells Azpilicueta
Colaborador externo
Dr. Jorge Fandiño García
Contratado Proxecto
Dr. José Luis Freire Nistal
Computational Science and Artificial Intelligence
PDI
Daniel Valcarce Silva
Contratado Predoutoral
Dr. José Santos Reyes
Computational Science and Artificial Intelligence
PDI
Daniel Varela Miguéns
Computational Science and Artificial Intelligence
Contratado Proxecto
José López Veiga
Doutorando
Dr. Ángel Monteagudo Ínsua
Computational Science and Artificial Intelligence
Contratado Proxecto
Dr. Paula López Otero
Computational Science and Artificial Intelligence
Contratado Proxecto

Research results

You can browse the catalog by selecting a merit type and year.

Axudas para a consolidación e estruturación de unidades de investigación competitivas-GPC

Funding entity CONSELLERIA DE CULTURA, EDUCACIÓN E ORDENACIÓN UNIVERSITARIA
Main researches Álvaro Barreiro García
Dates From 01/01/2017 to 31/12/2018

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
Dates From 01/01/2016 to 31/12/2018

MODELIZACIÓN DE PROCESOS BIOLÓGICOS EMERGENTES

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches José Santos Reyes
Dates From 01/01/2014 to 31/12/2016

MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches José Pedro Cabalar Fernández
Dates From 01/01/2014 to 31/12/2016

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
Dates From 01/01/2012 to 31/12/2012

Consolidación e estruturación de grupos de investigación: "Information Retrieval Lab: IRLab".

Dates From 01/01/2009 to 16/12/2009

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
Dates From 01/01/2008 to 31/10/2011

Grupo Integrado de Ingeniería (GII)

Dates From 31/08/2007 to 15/11/2010

Recursos funcionales para la construcción de sistemas distribuidos complejos de alta disponibilidad

Funding entity MINISTERIO DE EDUCACIÓN Y CIENCIA
Main researches Víctor M. Gulías Fernández
Dates From 31/12/2005 to 30/12/2008

Sistema médico distribuído basado en XML

Funding entity Ministerio de Ciencia y Tecnología
Main researches Manuel Francisco González Penedo
Dates From 03/12/2003 to 02/12/2006

Sistema Distribuído para Medida del Calibre Retiniano (SIDMECAR)

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Main researches Manuel Francisco González Penedo
Dates From 01/12/2003 to 30/11/2006

Implementación y evaluación en grandes colecciones de documentos del modelo lógico de recuperación de información IRPLBR (Incentivo)

Dates From 15/07/2003 to 14/07/2005

La Epistasis Generalizada en la optimización funcional

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
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 (IR-PLBR)

Funding entity Ministerio de Ciencia y Tecnología
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
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
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
Dates From 28/09/2002 to 27/09/2004

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
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.
Dates From 01/06/2002 to 01/06/2003

CONTRATO ART. 83 ENTRE R CABLE Y FUDC PARA PROYECTO DENOMINADO "PILOTO DE SERVIDOR DE STREAMING ON DEMAND JERÁRQUICO UTILIZANDO TECNOLOGÍA FUNCIONAL DISTRIBUIDA"

Funding entity R, CABLE Y TELECOMUNICACIONES
Dates From 01/02/2002 to 01/06/2002

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""
Dates From 01/01/2002 to 01/01/2003

CONTRATO ART. 11 L.R.U. PARA LA REALIZACIÓN DEL PROYECTO DENOMINADO "PILOTO DE SERVIDOR DE STREAMING ON DEMAND JERÁRQUICO UTILIZANDO TECNOLOGÍA FUNCIONAL DISTRIBUIDA"

Funding entity R, CABLE Y TELECOMUNICACIONES
Dates From 01/01/2002 to 01/01/2003

Un lenguaje declarativo basado en causalidad:aplicación a diferentes problemas de razonamiento.

Dates From 28/12/2001 to 28/12/2004

e-MINDER. Electronic commerce leveraging network for developing European regions

Funding entity Union Europea
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)
Dates From 18/01/2001 to 18/01/2004

Predicción de fallo empresarial mediante técnicas de inteligencia artificial

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
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
Dates From 25/08/2000 to 25/08/2002

Predicción de fallo empresarial mediante técnicas de inteligencia artificial

Dates From 01/06/2000 to 01/06/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)
Dates From 30/12/1999 to 31/12/2001

Modelización y evaluación de un sistema de almacenamiento distribuido a bajo coste para aplicaciones multimedia

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Dates From 01/12/1999 to 01/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
Dates From 25/08/1999 to 25/08/2002

Localización e t-estructuras na categoria derivada asociada a un dígrafo.

Dates From 06/05/1999 to 06/05/2000

ACUERDO MARCO ENTRE EL GRUPO GALLEGO DE CABLE Y LA UDC

Funding entity GRUPO GALLEGO DE CABLE
Dates From 24/03/1999 to 24/03/2000

CONVENIO DE COLABORACIÓN ENTRE EL EXCMO. AYUNTAMIENTO DE A CORUÑA Y LA UDC PARA PUESTA EN MARCHA DE UN SISTEMA DE RED QUE COMUNIQUE A TODOS LOS CENTROS EDUCATIVOS Y CULTURALES

Funding entity AYUNTAMIENTO DE A CORUÑA
Dates From 01/01/1999 to 01/01/2000

ADDENDA AL CONVENIO ENTRE EL AYUNTAMIENTO DE CULLEREDO Y LA UDC (FACULTAD DE INFORMÁTICA) PARA APORTAR TÉCNICO ESPECIALIZADO EN TELEMÁTICA

Funding entity INSTITUTO GALEGO DE PROMOCIÓN ECONÓMICA (IGAPE)
Dates From 16/11/1998 to 31/12/1999

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)
Dates From 01/10/1998 to 30/09/1999

Sistema de razonamiento automático sobre dominios dinámicos

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Dates From 01/10/1998 to 01/10/2001

CONVENIO DE COLABORACIÓN ENTRE EL EXCMO. AYUNTAMIENTO DE LA CORUÑA Y LA UNIVERSIDAD DE LA CORUÑA A TRAVÉS DEL LABORATORIO DE FUNDAMENTOS DE COMPUTACIÓN E INTELIGENCIA ARTIFICIAL, PARA CONFECCIÓN ESTUDIO DE ALTERNATIVAS Y EVALUACIÓN EN DIVERSOS ÁMBITO

Funding entity AYUNTAMIENTO DE A CORUÑA
Dates From 21/07/1998 to 15/10/1998

CONVENIO DE COLABORACIÓN ENTRE LA CÁMARA OFICIAL DE COMERCIO, INDUSTRIA Y NAVEGACIÓN DE LA CORUÑA Y LA UDC PARA APOYO AL DISEÑO Y APLICACIÓN DE NUEVAS TECNOLOGÍAS INFORMÁTICAS

Funding entity CAMARA OFICIAL DE COMERCIO, INDUSTRIA Y NAVEGACIÓN DE FERROL
Dates From 18/06/1998 to 31/12/1998

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)
Dates From 26/05/1998 to 26/03/1999

Algoritmos genéticos: Epistasis y transformadas de Walsh

Dates From 28/04/1998 to 28/04/1999

Arquitecturas de control con aprendizaje temporal para robots autónomos

Dates From 28/04/1998 to 28/04/1999

CONVENIO DE COLABORACIÓN ENTRE LA CÁMARA OFICIAL DE COMERCIO, INDUSTRIA Y NAVEGACIÓN DE LA CORUÑA Y LA UDC PARA APOYO AL DISEÑO Y APLICACIÓN DE NUEVAS TECNOLOGÍAS INFORMÁTICAS

Funding entity CAMARA OFICIAL DE COMERCIO, INDUSTRIA Y NAVEGACIÓN DE FERROL
Dates From 14/11/1997 to 14/11/1998

Arquitectura de control con aprendizaje temporal para robots autónomos

Dates From 01/01/1997 to 01/01/1998

Geometría de Riemann y Geometría Integral: modelos teóricos y aplicaciones en Mecánica Clásica y Estereología

Funding entity Dirección Xeral de Universidades
Dates From 25/10/1996 to 25/10/1999

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
Dates From 24/10/1996 to 24/10/1998

Análisis de LIGs y TAGs en programación dinámica

Funding entity Dirección Xeral de Universidades
Dates From 24/10/1996 to 24/10/1999

Razonamiento en sistemas dinámicos de eventos discretos. Integración en Medtool

Funding entity Dirección Xeral de Universidades
Dates From 24/10/1996 to 24/10/1999

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)
Dates From 01/07/1996 to 30/06/1999

Algoritmos Genéticos. Aplicaciones a la economía

Dates From 01/01/1996 to 01/01/1996

Algoritmos genéticos. Aplicaciones a la economía

Dates From 01/01/1996 to 01/01/1996

CONVENIO DE COLABORACION ENTRE LA INMOBILIARIA FADESE SA Y EL LABORATORIO DE FUNDAMENTOS DE COMPUTACION E INTELIGENCIA ARTIFICIAL DE LA FACULTAD DE INFORMATICA DE LA UDC (LFCIA)

Funding entity FADESE, S.A.
Dates From 30/06/1995 to 01/01/1996

CONVENIO DE COLABORACIÓN ENTRE LA DIPUTACIÓN DE LA CORUÑA Y LA UDC PARA LA REINGENIERIA DEL SISTEMA GIALIX PARA SU ADAPTACIÓN A LA ARQUITECTURA CLIENTE/SERVIDOR

Funding entity DIPUTACIÓN PROVINCIAL DE A CORUÑA
Dates From 12/06/1995 to 01/01/1996

CONVENIO DE COLABORACIÓN ENTRE LA DIPUTACIÓN Y LA UDC PARA LA CONVERSIÓN DE LOS MÓDULOS DE EDICIÓN DE INFORMES Y PROCESOS DIFERIDOS DEL SITEMA GIALIX

Funding entity DIPUTACIÓN PROVINCIAL DE A CORUÑA
Dates From 12/06/1995 to 01/01/1996

CONVENIO DE COLABORACIÓN ENTRE LA INMOBILIARIA FADESE Y EL LABORATORIO DE FUNDAMENTOS DE COMPUTACION PARA DESARROLLO POR PARTE DEL LABORATORIO DE UNA APLICACION GRAFICA QUE SIRVA COMO PUNTO DE INFORMACION PARA LOS CLIENTES DE FADESA

Funding entity FADESE, S.A.
Dates From 08/06/1995 to 31/07/1995

G-estructuras y Geometría Integral.Aplicaciones

Funding entity Dirección Xeral de Universidades
Main researches Ana Dorotea Tarrío Tobar
Dates From 01/12/1994 to 01/12/1995

CONVENIO DE COLABORACION ENTRE LA DIPUTACION DE LA CORUÑA Y LA UNIVERSIDAD PARA EL APOYO AL DISEÑO Y DESARROLLO DE AMPLIACIONES DE GESTION INTEGRAL PARA LA ADMINISTRACION LOCAL (GIALIX).

Funding entity DIPUTACIÓN PROVINCIAL DE A CORUÑA
Dates From 21/11/1994 to 21/02/1995

CONVENIO DE COLABORACIÓN ENTRE LA DIPUTACIÓN DE LA CORUÑA Y LA UDC PARA EL APOYO AL DISEÑO Y DESARROLLO TECNOLÓGICO DEL SISTEMA PROVINCIAL DE GESTIÓN DE PLANES

Funding entity DIPUTACIÓN PROVINCIAL DE A CORUÑA
Dates From 06/09/1994 to 06/03/1995

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

Evaluación de la aplicación Web lonxanet para la venta de productos marinos para alimentación

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico

La Epistasis Generalizada y las funciones difíciles de optimizar.

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico

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

Sistemas de cálculo simbólico arq. cliente/servidor y núcleo funcional

Funding entity Dirección Xeral de Universidades

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

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

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

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

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

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)

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

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

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)

Causal Graph Justifications of Logic Programs

Authors José Pedro Cabalar Fernández, Jorge Fandiño, 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

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

Temporal Equilibrium Logic: a survey

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín, 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

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

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

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

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

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)

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)

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)

On the Confluence of the Graphic Calculus with Penrose Diagrams

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, José María Molinelli Barba, José Enrique Freire Brañas
Journal Lecture Notes in Computer Science Vol. 6927 (pages 169 to 176)
DOI https://doi.org/10.1007/978-3-642-27549-4

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)

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)

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

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)

Crossover operators for permutations equivalence between position and order-based crossover

Authors Concepción Vidal Martín, Gilberto Pérez Vega, Mª Felicidad Aguado Martín, José Mª Molinelli Barba
Journal LOGIC JOURNAL OF THE IGPL Vol. 19 Num. 2 (pages 405 to 414)

Functional answer set programming

Authors José Pedro Cabalar Fernández
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 11 Num. 2-3 (pages 203 to 233)
DOI https://doi.org/10.1017/s1471068410000517

A logical characterisation of ordered disjunction

Authors José Pedro Cabalar Fernández
Journal AI COMMUNICATIONS Vol. 24 Num. 2 (pages 165 to 175)
DOI https://doi.org/10.3233/aic-2011-0494

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)

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)

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)

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)

A Normal Form for Linear Temporal Equilibrium Logic

Authors José Pedro Cabalar Fernández
Journal Lecture Notes in Computer Science Vol. 6342 (pages 64 to 76)

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)

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)

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)

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)

A Revised Concept of Safety for General Answer Set Programs

Authors José Pedro Cabalar Fernández, 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)

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)

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)

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)

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)

The fold Operator as a Coequalizer Using Coq

Authors Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal, Javier Paris Fernandez
Journal Lecture Notes in Computer Science Vol. 5717 (pages 167 to 176)

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)

Certifying properties of an efficient functional program for computing Gröbner bases

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
Journal JOURNAL OF SYMBOLIC COMPUTATION Vol. 44 Num. 5 (pages 571 to 582)

Strongly equivalent temporal logic problems

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Journal Lecture Notes in Computer Science Vol. 5293 (pages 8 to 20)

Higher order functions and Walsh coefficients revisited

Authors María Teresa Iglesias Otero, Concepción Vidal Martín, Alain Verschoren
Journal BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 15 (pages 403 to 408)

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)

Partial Functions and Equality in Answer Set Programming

Authors José Pedro Cabalar Fernández
Journal Lecture Notes in Computer Science Vol. 5366 (pages 392 to 406)

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)

Strongly Equivalent Temporal Logic Programs

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Journal Lecture Notes in Computer Science Vol. 5293 (pages 8 to 20)

Higher Epistasis in Genetic Algorithms

Authors María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal Martín, Alain Verschoren
Journal BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 77 (pages 225 to 243)

Higher epistasis in genetic algorihms

Authors María Teresa Iglesias Otero, Van Verschoren, Vicente Suárez Peñaranda, Concepción Vidal Martín
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 Mª Felicidad Aguado Martín, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
Journal Journal of Formalized Reasoning (pages 25 to 37)

The space within the Fisherman¿s Folly: playing with a puzzle in mereotopology

Authors Paulo E. Santos, José Pedro Cabalar Fernández
Journal SPATIAL COGNITION AND COMPUTATION Vol. 8 (pages 47 to 64)

High order fucntions and Walsh coefficients revisited

Authors María Teresa Iglesias Otero, Concepción Vidal Martín, 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)

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)

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation

Authors José Pedro Cabalar Fernández, 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 Mª Felicidad Aguado Martín, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Journal Lecture Notes in Computer Science Vol. 4739 (pages 282 to 289)

Minimal Logic Programs

Authors José Pedro Cabalar Fernández, Gilberto Pérez Vega
Journal Lecture Notes in Computer Science Vol. 4670 (pages 104 to 118)

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)

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)

On the representation of imperative programs in a logical framework

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro, David Cabrero Souto
Journal Lecture Notes in Computer Science Vol. 4739 (pages 202 to 209)

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)

Temporal Equilibrium Logic: a first approach

Authors José Pedro Cabalar Fernández, Gilberto Pérez Vega
Journal Lecture Notes in Computer Science Vol. 4739 (pages 241 to 248)

Using Coq to understand nested datatypes

Authors Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal
Journal Lecture Notes in Computer Science Vol. 4739 (pages 210 to 216)

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)

The 2-epistasis of fitness functions

Authors María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal Martín, Alain Verschoren
Journal BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 76 (pages 397 to 419)

Propositional Theories are Strongly Equivalent to Logic Programs

Authors José Pedro Cabalar Fernández, Paolo Ferraris
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 7 Num. 6 (pages 745 to 759)

Matemáticas evolutivas: algoritmos genéticos

Authors María Teresa Iglesias Otero
Journal MATEMATICALIA Vol. 3 Num. 4 (pages 0 to 0)

Partial Equilibrium Logic

Authors José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce, Agustín Valverde
Journal ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Vol. 50 (pages 305 to 331)

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)

Generalized Walsh Transforms and Epistasis

Authors María Teresa Iglesias Otero, Concepción Vidal Martín, Alan Verschoren
Journal BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 13 (pages 55 to 68)

On the Logic and Computation of Partial Equilibrium Models

Authors José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce, Agustín Valverde Ramos
Journal Lecture Notes in Computer Science Vol. 4160 (pages 82 to 94)

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic

Authors José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce, Agustín Valverde Ramos
Journal Lecture Notes in Computer Science Vol. 4079 (pages 346 to 360)

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs

Authors José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce
Journal Lecture Notes in Computer Science Vol. 4140 (pages 592 to 601)

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)

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)

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)

Higher order functions and Walsh coeficcients.

Authors María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Alain Verschoren
Journal BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 13 (pages 633 to 643)

Generalized Walsh Transform and Epistasis.

Authors María Teresa Iglesias Otero, Concepción Vidal Martín, Alain Verschoren
Journal BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 13 (pages 55 to 68)

Strings and holes: an exercise on spatial representation and reasoning

Authors José Pedro Cabalar Fernández, Paulo Eduardo Santos
Journal Lecture Notes in Computer Science Vol. 4140 (pages 419 to 429)

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)

Towards a Certified and Efficient Computing of Gröbner Bases

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas
Journal Lecture Notes in Computer Science Vol. 3643 (pages 111 to 120)

Reducing Propositional Theories in Equilibrium Logic to Logic Programs

Authors José Pedro Cabalar Fernández, David Pearce, Agustín Valverde
Journal Lecture Notes in Computer Science Vol. 3808 (pages 4 to 17)

On Recursive Functions and Well-Founded Relations in the Calculus of Constructions

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro
Journal Lecture Notes in Computer Science Vol. 3643 (pages 69 to 80)

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)

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)

VoDKA : Developing a Video-on-Demand Server using Distributed Functional Programming

Authors Víctor Manuel Gulias Fernández, Miguel Barreiro, José Luis Freire Nistal
Journal JOURNAL OF FUNCTIONAL PROGRAMMING Vol. 15 Num. 3 (pages 403 to 430)

Computing epistasis of Template Functions through Walsh Transforms

Authors María Teresa Iglesias Otero, Concepción Vidal Martín, Alain Verschoren
Journal COMPUTING AND INFORMATICS Vol. 24 (pages 263 to 279)

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)

Logic programs with functions and default values

Authors José Pedro Cabalar Fernández, David Lorenzo
Journal Lecture Notes in Computer Science Vol. 3229 (pages 294 to 306)

Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias
Journal Lecture Notes in Computer Science Vol. 2809 (pages 220 to 230)

Aplicación de Algoritmos Genéticos para optimizar curvas termogravimétricas

Authors Matilde Ríos Fachal, María Teresa Iglesias Otero, Salvador Naya Fernández, Francisco Javier Bellas Bouza
Journal ANALES DE INGENIERÍA MECÁNICA Vol. 2 Num. 15 (pages 1395 to 1403)

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)

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)

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)

Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias
Journal Lecture Notes in Computer Science Vol. 2809 (pages 220 to 230)

On the Strong Co-induction in Coq

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Enrique Freire Brañas
Journal Lecture Notes in Computer Science Vol. 2809 (pages 279 to 290)

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)

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)

A Rewriting Method for Well-Founded Semantics with Explicit Negation

Authors José Pedro Cabalar Fernández
Journal Lecture Notes in Computer Science Vol. 2401 Num. - (pages 378 to 392)

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)

Multary Epistasis

Authors María Teresa Iglesias Otero, Concepción Vidal Martín, Dominique Suys, Alain Verschoren
Journal BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 8 Num. - (pages 651 to 671)

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)

Considerations in the application of Evolution to the Generation of Robot Controllers

Authors José Santos Reyes, Richard José Duro Fernández, Jose Antoniio Becerra Permuy, Juan Crespo Mariño, Francisco Bellas Bouza
Journal INFORMATION SCIENCES Vol. 133 Num. - (pages 133 to 148)

Fusion and Deforestation in COQ

Authors José Luis Freire Nistal, Enrique Freire Brañas, Antonio Ángel Blanco Ferro, J. José Sánchez Penas
Journal Lecture Notes in Computer Science Vol. 2178 Num. - (pages 583 to 596)

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)

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)

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)

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)

Unha implementación da rede informática educativa. O sistema do Concello da Coruña

Authors José Luis Freire Nistal
Journal BOLETÍN DAS CIENCIAS Vol. 13 Num. 43 (pages 37 to 47)

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)

Progressive Construction of Compound Behavior Controllers for Autonomous Robots Using Temporal Information

Authors Jose Antoniio 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)

Epistasis and Unitation

Authors María Teresa Iglesias Otero, Concepción Vidal Martín
Journal COMPUTERS AND ARTIFICIAL INTELLIGENCE Vol. 18 Num. 5 (pages 467 to 483)

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)

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)

An alternative approach to involutive Brauer Groups

Authors Concepción Vidal Martín
Journal LECTURE NOTES IN PURE AND APPLIED MATHEMATICS Vol. 1 Num. 197 (pages 311 to 324)

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)

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 (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)

Distributed Functional Computing and its Instrumentation

Authors Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Luis Freire Nistal
Journal PARALLEL AND DISTRIBUTED SYSTEM: THEORY AND APPLICATIONS Num. - (pages 0 to 0)

Introducing planning in discrete event systems

Authors José Pedro Cabalar Fernández, 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)

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)

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)

From sequential to distributed formal proofs.

Authors Víctor Manuel Gulias Fernández, José Santiago Jorge Castro, Juan José Quintela Carreira, José Luis Freire Nistal
Journal Lecture Notes in Computer Science Vol. 1333 Num. - (pages 501 to 513)

An automatic calculator with penrose diagrams

Authors José María Barja Pérez, Antonio Ángel Blanco Ferro, José Luis Freire Nistal, José Mª Molinelli Barba
Journal Lecture Notes in Computer Science Vol. 1333 Num. - (pages 77 to 94)

Automatic induction of DEVS Structures

Authors José Pedro Cabalar Fernández, P. Otero, D. Lorenzo
Journal Lecture Notes in Computer Science Vol. 1030 Num. - (pages 305 to 313)

Evaluation Lazy avec Caml Light.

Authors Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Alberto Valderruten Vidal
Journal COLLECTION DIDACTIQUE, INRIA Vol. - Num. 15 (pages 77 to 94)

Discrete event simulation in an environment for temporal expert systems

Authors Álvaro Barreiro García, José Pedro Cabalar Fernández, P. Otero, D. Lorenzo
Journal Lecture Notes in Computer Science Vol. 1030 Num. - (pages 271 to 286)

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)

DCAML: Computación distribuida en CAML LIGHT

Authors José Luis Freire Nistal, Basilio Bernardo Fraguela Rodríguez, Víctor Manuel Gulias Fernández
Journal TÉCNICAL REPORT Vol. - Num. 19 (pages 0 to 0)

Relatively noetherian rings, localization and sheaves, part III: Functional behaviour

Authors Concepción Vidal Martín, A. Verschoren
Journal COMMUNICATIONS IN ALGEBRA Vol. 23 Num. 7 (pages 2597 to 2619)

TEORIA DE GRAFOS: EJERCICIOS RESUELTOS Y PROPUESTOS. LABORATORIO CON SAGE

Authors Concepción Vidal Martín, Ana Maria Vieites Rodriguez, Mª Felicidad Aguado Martín, Gilberto Pérez Vega, Manuel Ladra González, Felipe Gago Couso
Publishing Ediciones Paraninfo S.A, Madrid (España)
ISBN 978-84-283-3707-6

MATLAB PARA CÁLCULO EN UNA VARIABLE

Authors María Teresa Iglesias Otero
Publishing Andavira Editora, S.L., Santiago de Compostela (España)
ISBN 978-84-8408-617-8

Comercio electrónico : la tecnología al servicio de la PYME

Authors Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Javier Mosquera Blanco, Carlos Abalde Ramiro, José Luis Freire Nistal
Publishing Vía Láctea Editorial, Coruña, A (España)
ISBN 84-89444-91-9

Foundations of Generic Optimization. Volume 1: A combinatorial approach to epistasis.

Authors María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal Martín
Publishing Springer, Dordrecht (Países Bajos)
ISBN 1-4020-3666-3

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

Biologically Inspired Robot Behavior Engineering

Publishing Physica-Verlag, Heidelberg (Alemania)
ISBN 3-7908-1513-6

Algoritmos genéticos generalizados. Variaciones sobre un tema

Authors María Teresa Iglesias Otero
Publishing Univ. La Coruña, Coruña, A (España)
ISBN 84-89694-80-x

Localization and sheaves: a relative point of you. Pitman Research Notes in Mathematics Series

Authors Concepción Vidal Martín, P. Jara, A. Verschoren
Publishing Longman, (Estados Unidos)
ISBN nodef-0548

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
Publishing: Springer - Verlag<<.
ISBN: 9783319016481
Pages From 57 to 72

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
Publishing: springer verlag<<.
ISBN: 978-3-662-44439
Pages From 1 to 113

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

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
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
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
Publishing: Servicio Publicaciones Univ. de Oviedo<<.
ISBN: 84-932297-0-9

Symmetric Closed Categories and Involutive Brauer Groups

Authors Concepción Vidal Martín
Book Ring Theory and Algebraic Geometry
Publishing: Marcel Dekker<<.
ISBN: 0-8247-0559-9
Pages From 325 to 339

Sociedade do Coñecemento

Authors José Luis Freire Nistal,Domingo Docampo Amoedo,A. R. Figueiras Vidal,Lois Rodríguez,Esther Touza Fernández
Book GALICIA 2010
Publishing: Asociación proxecto de investigación Galicia 2010<<.
ISBN: 84-607-1434-9
Pages From 527 to 575

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
Publishing: Physica Verlag<<.
ISBN: 3-7908-1276-5
Pages From 34 to 64

El impulso de las necesidades universitarias

Authors José Luis Freire Nistal
Book El futuro actual
Publishing: Ed. Caixa Galicia<<.
ISBN: CG-1
Pages From 422 to 435

On the functional approach to RDBMS

Authors José Luis Freire Nistal,Víctor Manuel Gulias Fernández,Xesús M. López
Book Data management systems
Publishing: IEEE Computer Society<<.
ISBN: 0-8186-8049-0
Pages From 169 to 169

Concurrent programming with traces in haskell

Authors Víctor Manuel Gulias Fernández,Juan José Quintela Carreira,José Luis Freire Nistal
Book Functional and logic programming
Publishing: Wordl Scientific<<.
ISBN: 981-02-2923-2
Pages From 176 to 191

Tumor growth analysis using cellular automata based on the cancer hallmarks

Autor Ángel Monteagudo Insua
Director/s José Santos Reyes
Scope Departamento en Constitución
Qualification Sobresaliente Cum Laude

A casual semantics for logic programming

Autor Jorge Fandiño García
Director/s José Pedro Cabalar Fernández
Scope Departamento en Constitución
Qualification Sobresaliente Cum Laude

Temporal answer set programming

Autor 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

Autor Javier Parapar López
Director/s Álvaro Barreiro García
Scope Computación
Qualification Apto Cum Laude

Constrained Clustering Algorithms: Practical Issues and Applications

Autor 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

Autor 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

Autor Jorge Novo Buján
Director/s José Santos Reyes; Manuel Fco. González Penedo
Scope Facultad de Informática
Qualification Apto Cum Laude

Index compression for information retrieval systems

Autor Roi Blanco González
Director/s Álvaro Barreiro García
Scope Computación
Qualification Sobresaliente Cum Laude

Epistasis superior

Autor Vicente Suarez Peñaranda
Director/s María Teresa Iglesias Otero;Alain Verschoren
Scope Electrónica y Sistemas
Qualification Sobresaliente Cum Laude

Aplicaciones del procesamiento del lenguaje natural en la recuperación de la información en español

Autor Jesús Vilares Ferro
Director/s Miguel Ángel Alonso Pardo;José Luis Freire Nistal
Scope Computación
Qualification Sobresaliente Cum Laude

Estudio de la verificación de propiedades de programas funcionales: de las pruebas manuales al uso de asistentes de pruebas

Autor Jose Santiago Jorge Castro
Director/s Víctor Manuel Gulias Fernández;José Luis Freire Nistal
Scope Computación
Qualification Sobresaliente Cum Laude

Aproximación evolutiva para la obtención incremental de arquitecturas modulares de comportamientos en robots autónomos

Autor José Antonio Becerra Permuy
Director/s Richard José Duro Fernández;José Santos Reyes
Scope Computación
Qualification Sobresaliente Cum Laude

Funciones de orden superior en programación funcional. Una perspectiva categórica

Autor Enrique Freire Brañas
Director/s José Luis Freire Nistal
Scope Computación
Qualification Sobresaliente Cum Laude

A logical model of information retrieval based on propositional logic and belief revision

Autor David Enrique Losada Carril
Director/s Álvaro Barreiro García
Scope Computación
Qualification Sobresaliente Cum Laude

DFL: Computación funcional distribuída

Autor Víctor Manuel Gulias Fernández
Director/s José Luis Freire Nistal
Scope Computación
Qualification Sobresaliente Cum Laude

Algoritmos genéticos generalizados. Variaciones sobre un tema.

Autor María Teresa Iglesias Otero
Director/s Concepción Vidal Martín;Alain Verschoren
Scope Computación
Qualification Apto

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)

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 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 Martín, Mª Felicidad Aguado Martín, Gilberto Pérez Vega
Place España

La Estadística en los Algoritmos Genéticos: el teorema de los esquemas
XI CONGRESO GALEGO DE ESTATÍSTICA E INVESTIGACIÓN DE OPERACIÓNS
National

Authors María Teresa Iglesias Otero
Place 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 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 España

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)

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)

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)

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)

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 Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
Place Gijón (España)

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)

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)

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)

Safety Preserving Transformations for General Answer Set Programs
LOPSTR 2009,19th International Symposium on Logic-Based Program Synthesis and Transformation
International

Authors José Pedro Cabalar Fernández, David Pearce, Agustín Valverde
Place Cohimbra (Portugal)

Existential Quantifiers in the Rule Body
WLP 2009, 23rd Workshop on (Constraint) Logic Programming
International

Authors José Pedro Cabalar Fernández
Place Potsdam (Alemania)

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 Martín, María Teresa Iglesias Otero, Alain Verschoren
Place Las Vegas (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)

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)

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)

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)

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)

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)

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)

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 Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Place San José (Costa Rica)

On the representation of imperative program in a logical framework
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro, David Cabrero Souto
Place Las Palmas de G. Canaria (España)

Using Coq to Understand Nested Datatypes
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International

Authors Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal
Place Las Palmas de G. Canaria (España)

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, José Pedro Cabalar Fernández
Place Palo Alto, CA (Estados Unidos)

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 Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Place San José (Costa Rica)

Un programa funcional certificado y eficiente para el cálculo de Bases de Gröbner
EACA 2006 - X Encuentro de Álgebra Computacional y Aplicaciones
International

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
Place Sevilla (España)

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 Martín
Place Madrid (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, José Pedro Cabalar Fernández
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 Martín
Place Madrid (España)

Logical Foundations of Well-Founded Semantics
KR 2006 - 10th International Conference on Principles of Knowlege Representation and Reasoning
International

Authors José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce
Place Windermere, Lake District (Reino Unido)

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)

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 José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce
Place Santiago de Compostela (España)

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 Vega
Place Valencia (España)

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 Martín
Place Washington (Estados Unidos)

Reasoning about a Functional Program for computing Gröbner Basis
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas
Place Palmas de Gran Canarias (España)

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)

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 Martín
Place Washington (Estados Unidos)

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 Palmas de Gran Canarias (España)

A Functional Action Language Front-end
ASP 2005. Answer Set Programming: Advances in Theory and Implementation
International

Authors José Pedro Cabalar Fernández
Place Bath (Reino Unido)

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 Vega, José Luis Freire Nistal, José Mª Molinelli Barba
Place Cali (Colombia)

On Recursive Functions and Well-founded Relations in the Calculus of Constructions
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro
Place Palmas de Gran Canarias (España)

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)

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 Martín
Place Guimaraes (Portugal)

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)

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 Martín
Place Guimaraes (Portugal)

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)

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)

Computing epistasis of Generalized Royal Road functions using Walsh transforms and the Hyperplane averaging theorem.
International Symposium on Symbolic and Algebraic Computation. ISSAC 2004
International

Authors María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Alain Verschoren
Organization Universidad de Cantabria
Place Santander (España)

New insights on the intuitionistic interpretation of Default Logic
European Conference on Artificial Intelligence (ECAI 04)
International

Authors José Pedro Cabalar Fernández, David Lorenzo
Place Valencia (España)

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)

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)

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 Leganés, Madrid (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á)

A Preliminary Study on Reasoning About Causes
6th International Symposium on Logical Formalizations on Commonsense Reasoning. AAAI Spring Symposium Series (AAAI-SSS03)
International

Authors José Pedro Cabalar Fernández
Place Stanford, Palo Alto, CA (Estados Unidos)

Functions and Default values in Logic Programs and Action Theories
II Seminarios Internacionales de Altea. Applications of Logic and Mathematics to Programming.
International

Authors José Pedro Cabalar Fernández, David Lorenzo Blanco
Organization Universidad Rey Juan Carlos
Place Altea, Alicante (España)

Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel
9th International Workshop on Computer Aided Systems Theory. EUROCAST2003
International

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias
Place Gran Canaria (España)

The Reduction Lemma in Coq
9th International Workshop on Computer Aided Systems Theory. EUROCAST2003
International

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, José Enrique Freire Brañas
Place Gran Canaria (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 Martín, Alain Verschoren
Place Caparica (Portugal)

A Cluster-based Payment Gateway System Developed Using a Distributed Functional Language
The First EurAsia Conference on Advances in Information & Communication Technology. Workshop on Formal Modeling of Intelligent Peripheral Systems ( EurAsia ICT 2002)
International

Authors Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Carlos Abalde Ramiro, Juan José Sánchez Penas
Place Shiraz (Irán)

Alternative Characterizations for Strong Equivalence of Logic Programs.
9th International Workshop on Non-monotonic Reasoning. NMR¿2002
International

Authors José Pedro Cabalar Fernández
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 José Pedro Cabalar Fernández
Place Toulousse (Francia)

Implementación de un modelo de monitorización para un servidor de Vídeo bajo demanda en Erlang
27 Conferencia Latinoamericana de Informática
International

Authors Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Javier Mosquera Blanco, Juan José Sánchez Penas, José Luis Freire Nistal
Place Mérida (Venezuela)

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 A Coruña (España)

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)

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, Juan Manuel Freire Botana, Álvaro Barreiro García, David Enrique Losada Carril
Place Vancouver, BC (Canadá)

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)

Prove and Then Execute
7 Encuentro de Álgebra Computacional y Aplicaciones (EACA¿2001)
International

Authors José Santiago Jorge Castro, José Luis Freire Nistal
Place Ezcaray, La Rioja (España)

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)

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, Juan Manuel Freire Botana, Álvaro Barreiro García, David Enrique Losada Carril
Place Amsterdam (Países Bajos)

Fusion and Deforestation in COQ
Eurocast 2001
International

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, Enrique Freire Brañas, Juan José Sánchez Penas
Organization Universidad de Las Palmas de Gran Canaria
Place Las Palmas de Gran Canari (España)

An Erlang-bases hierarchical distributed Vod System
7 International Erlang/OTP User Conference
International

Authors Juan José Sánchez Penas, José Luis Freire Nistal, Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Javier Mosquera Blanco
Place Älvsjö (Suecia)

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, Juan Manuel Freire Botana
Place Barcelona (España)

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 A Coruña (España)

Características Técnicas del Sistema de Red Educativa del Ayuntamiento de A Coruña
ON LINE EDUCA. Conferencia Internacional sobre Educación, Formación y Nuevas Tecnologías
International

Authors José Luis Freire Nistal
Place Madrid (España)

Lógica, matemática, deducción automática
Primer Congreso Anual de la Real Sociedad Matemática Española
National

Authors Gilberto Pérez Vega, José María Barja Pérez
Place Madrid (España)

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)

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)

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 Martín
Place Las Palmas Gran Canaria (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)

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)

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)

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 Antoniio Becerra Permuy, Francisco Bellas Bouza, J.L. Crespo
Place Brujas (Bélgica)

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 Antoniio Becerra Permuy
Place Como (Italia)

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)

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)

PAL: Pertinence Action Language
8th Intl. Workshop on Non-Monotonic Reasoning NMR'2000
International

Authors José Pedro Cabalar Fernández, Manuel Jose Cabarcos Traseira, Ramón Otero
Place Breckenridge, CO (Estados Unidos)

Temporal Constraint Networks in Action
14th European Conference on Artificial Intelligence( ECAI 2000)
International

Authors José Pedro Cabalar Fernández, Ramón Otero, Silvia G. Pose
Place Berlín (Alemania)

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)

Experiencias con un Cluster Beowulf
Simposio Español de Informática Distribuída (SEID'99)
International

Authors Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Antonio Ángel Blanco Ferro, Juan José Quintela Carreira, José Luis Freire Nistal
Place Santiago de Compostela (España)

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)

Razonamiento temporal no monótono
IV Taller de Razonamiento Temporal
International

Authors Álvaro Barreiro García, José Pedro Cabalar Fernández, 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)

Temporal constraint networks in action: a preliminary report
IV Taller de Razonamiento Temporal
International

Authors José Pedro Cabalar Fernández, 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 Martín
Place Santa Cruz de Tenerife (España)

Pertinence and causality
Sixteenth International Joint Conference on Artificial Intelligence( JCAI' 99)
International

Authors Ramón Pérez Otero, José Pedro Cabalar Fernández
Place Estocolmo (Suecia)

Temporal Answer Sets
Joint Conference on Declarative Programming( APPIA- GULP- PRODE' 99)
International

Authors José Pedro Cabalar Fernández
Place L'Aquila (Italia)

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 Las Palmas Gran Canaria (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)

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 Las Palmas Gran Canaria (España)

Diálgebras in high order programming
Wiener's Cybernetics: 50 Years of Evolution
International

Authors Enrique Freire Brañas, José Luis Freire Nistal, Antonio Ángel Blanco Ferro
Place Las Palmas Gran Canaria (España)

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)

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)

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)

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)

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)

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 Benicassim (España)

Instrumentation strategies in distributed functional computing
World Multiconference on Systemics, Cybernetics and Informatics, Focus Symposium: Architectures, Tools and Algorithms for Parallel and Distributed Systems
National

Authors Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
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)

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, José Pedro Cabalar Fernández, Raúl Ramos Pollán
Place Málaga (España)

Transport primitives for functional agents
APPIA-GULP-PRODE 1997 Joint Conference on Declarative Programming
International

Authors Víctor Manuel Gulias Fernández, Juan José Quintela Carreira, José Luis Freire Nistal
Place Grado (Italia)

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)

ECG Beat classification with synaptic delay based artificial neural networks
IWANN'97
International

Authors Richard José Duro Fernández, José Santos Reyes
Place Lanzarote (España)

Design of ANN Architectures for Handling the Temporal
Eurocast97 International Conference
International

Authors Richard José Duro Fernández, José Santos Reyes
Place Canarias (España)

A global approach to schemata
International Conference on Intelligent Technologies in Human-related. Sciences
International

Authors Concepción Vidal Martín, María Teresa Iglesias Otero
Place León (España)

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)

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 Bayona (España)

Experiencia en la integración entre Gestores relacionales y Lenguajes funcionales
1 Jornadas de Investigación y Docencia en Bases de Datos
National

Authors José Luis Freire Nistal, Víctor Manuel Gulias Fernández, Xesús Maria López
Place España

Efficient concurrent execution of Medtool expert systems
Proceedins of Expert Systems. Applications & Artificial Intelligence (EXPERSYS-96)
International

Authors José Pedro Cabalar Fernández, Ramón Pérez Otero, Mario Otero Díaz, M. Cabarcos
Place París (Francia)

Distributed computing using objective caml.
8th International Workshop on Implementationof Functional Languages
International

Authors José Luis Freire Nistal, Víctor Manuel Gulias Fernández, Juan José Quintela Carreira
Place Bonn (Alemania)

Concurrent Programming Using Traces in HASKELL
Second International Workshop on Functional and Logic programming
International

Authors Víctor Manuel Gulias Fernández, Juan José Quintela Carreira, José Luis Freire Nistal
Place Kanagawa (Japón)

Some results on localization of algebras over Krull domains
Fourth Week on Algebra and Algebraic Geometry (SAGA 4)
International

Authors Concepción Vidal Martín
Place Amberes (Bélgica)

Towards higher-order distribution in functional languages
APPIA-GULP-PRODE'96 Joint Conference on Declarative Programming
International

Authors Juan José Quintela Carreira, José Luis Freire Nistal, Víctor Manuel Gulias Fernández
Place San Sebastián (España)

Structure sheaves over locally noetherian rings
Congreso Internacional de Teoría de Anillos
International

Authors Concepción Vidal Martín, A. Verschoren
Place Almería (España)

Applying induction in temporal expert systems
IJCAI'95 workshop on data engineering for inductive learning
International

Authors David Lorenzo Blanco, José Pedro Cabalar Fernández, Ramón Pérez Otero
Place Montreal (Canadá)

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)

Extending CAML light to perform distributed computation
Gul-Prode'95
International

Authors José Luis Freire Nistal, Basilio Bernardo Fraguela Rodríguez, Víctor Manuel Gulias Fernández
Place Marina di Vietri (Italia)

Telemetry of movements and habitat utilization in juvenile blue crabs (Callinectes sapidus): Adaptative response to cannibalism
First Conference and Workshop on Fish Telemetry in Europe
International

Authors A.H. Hines, José Luis Freire Nistal, G.M. Ruiz, T.G. Wolcott
Place Lieja (Bélgica)

Automatic induction of DEVS structures
EUROCAST'95. (Fifth international conference on computer aided systems technology)
International

Authors David Lorenzo Blanco, José Pedro Cabalar Fernández, Ramón Pérez Otero
Place Innsbruck (Austria)

On the abstraction process. Brain processes, theories and models
International Conference in honor fo W.S. McCulloch. 25 years after this death
International

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro

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, José Pedro Cabalar Fernández, David Lorenzo Blanco, Ramón Pérez Otero
Place Innsbruck (Austria)