Dra. Concepción Vidal Martín  

Titular de universidade (TIT-UN)

Departamento Computación
Área Álxebra
Investigación  Grupo de investigación Information Retrieval Lab
Liñas de investigación Aínda non figuran no xestor curricular da UDC (SUXI).
Contacto Directorio da UDC

Docencia

Docencia impartida

Neste apartado móstrase a docencia impartida en graos, mestrados e resto de titulacións oficiais ata os últimos 6 anos.

Materia e estudos en que se imparte Horas totais
Algoritmos 17
Álxebra 45
Matemática Discreta 60
Materia e estudos en que se imparte Horas totais
Álxebra
Grao en Enxeñaría Informática
75
Matemática Discreta
Grao en Enxeñaría Informática
60
Materia e estudos en que se imparte Horas totais
Álxebra
Grao en Enxeñaría Informática
55
Matemática Discreta
Grao en Enxeñaría Informática
90
Materia e estudos en que se imparte Horas totais
Álxebra
Grao en Enxeñaría Informática
50
Matemática Discreta
Grao en Enxeñaría Informática
70
Materia e estudos en que se imparte Horas totais
Álxebra
Grao en Enxeñaría Informática
30
Matemática Discreta
Grao en Enxeñaría Informática
95
Materia e estudos en que se imparte Horas totais
Álxebra
Grao en Enxeñaría Informática
30
Matemática Discreta
Grao en Enxeñaría Informática
90

Titorías definidas polo/a docente para o curso académico 2017/2018.

Facultade de Informática

Cuadrimestre Día Lugar
Primeiro cuadrimestre martes
10:30 a 12:30
Despacho 4.10
Primeiro cuadrimestre mércores
10:30 a 12:30
Despacho 4.10
Primeiro cuadrimestre xoves
10:30 a 12:30
Despacho 4.10
Segundo cuadrimestre martes
10:30 a 12:30
Despacho 4.10
Segundo cuadrimestre mércores
10:30 a 12:30
Despacho 4.10
Segundo cuadrimestre xoves
10:30 a 12:30
Despacho 4.10

Traballos fin de grao e mestrado

Non figuran proxectos fin de grao ou mestrado dirixidos polo/a docente desde o ano 2013

Resultados da investigación

Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.

MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS

Entidade financiadora Ministerio de Economía y Competitividad (MINECO)
Investigadores principais José Pedro Cabalar Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2014 ata 31/12/2016

Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-

Entidade financiadora Ministerio de Economía y Competitividad
Tipo Proxecto Outros Programas
Datas Desde 01/01/2010 ata 31/12/2012

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

Entidade financiadora Xunta de Galicia
Tipo Proxecto Outros Programas
Datas Desde 01/01/2009 ata 16/12/2009

Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.

Entidade financiadora Dirección Xeral de Investigación, Desenvolvemento e Innovación
Tipo Proxecto Outros Programas
Datas Desde 01/01/2008 ata 31/10/2011

La Epistasis Generalizada en la optimización funcional

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 15/07/2003 ata 14/07/2005

Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 05/11/2002 ata 05/11/2005

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

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 28/09/2002 ata 27/09/2004

Diseños Adaptados y Algoritmos Genéticos

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 26/08/2000 ata 26/08/2002

Algoritmos genéticos: Epistasis y transformadas de Walsh

Tipo Proxecto Outros Programas
Datas Desde 28/04/1998 ata 28/04/1999

Algoritmos Genéticos. Aplicaciones a la economía

Tipo Proxecto Outros Programas
Datas Desde 01/01/1996 ata 01/01/1996

Verification for ASP denotational semantics: A case study using the PVS theorem prover

Autores Mª Felicidad Aguado Martín, Pablo Fernández Ascariz, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Revista LOGIC JOURNAL OF THE IGPL Vol. 25 Núm. 2 (páxs. 195 ata 213)
DOI https://doi.org/10.1093/jigpal/jzw060

Temporal logic programs with variables

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Martín Diéguez Lodeiro, Gilberto Pérez Vega, Concepción Vidal Martín
Revista THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Núm. 2 (páxs. 226 ata 243)
DOI https://doi.org/10.1017/s1471068416000570

An infinitary encoding of equilibrium logic

Autores José Pedro Cabalar Fernández, Concepción Vidal Martín, Martin Diéguez Lodeiro
Revista THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Núm. 4-5 (páxs. 666 ata 680)

A denotational semantics for equilibrium logic

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín, David Pearce
Revista THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Núm. 4-5 (páxs. 620 ata 634)
DOI https://doi.org/10.1017/s1471068415000277

Temporal Equilibrium Logic: a survey

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín, Martín Diéguez Lodeiro
Revista Journal of Applied Non-Classical Logics Vol. 23 Núm. 1-2 (páxs. 2 ata 24)
DOI https://doi.org/10.1080/11663081.2013.798985

Integrating Temporal Extensions of Answer Set Programming

Autores Mª Felicidad Aguado Martín, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Lecture Notes in Computer Science Vol. 8148 (páxs. 23 ata 35)
DOI https://doi.org/10.1007/978-3-642-40564-8_3

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

Autores Concepción Vidal Martín, Gilberto Pérez Vega, Mª Felicidad Aguado Martín, José Mª Molinelli Barba
Revista LOGIC JOURNAL OF THE IGPL Vol. 19 Núm. 2 (páxs. 405 ata 414)

Loop Formulas for Splitable Temporal Logic Programs

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Lecture Notes in Computer Science Vol. 6645 (páxs. 80 ata 92)
DOI https://doi.org/10.1007/978-3-642-20895-9_9

High order fucntions and Walsh coefficients revisited

Autores María Teresa Iglesias Otero, Concepción Vidal Martín, Alain Verschoren
Revista BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 15 (páxs. 403 ata 408)

Higher Epistasis in Genetic Algorithms

Autores María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal Martín, Alain Verschoren
Revista BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 77 (páxs. 225 ata 243)

Strongly equivalent temporal logic problems

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Lecture Notes in Computer Science Vol. 5293 (páxs. 8 ata 20)

Genetic algorithms in Coq: Generalization and formalization of the crossover operator

Autores Mª Felicidad Aguado Martín, José Luis Doncel Juárez, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Journal of Formalized Reasoning (páxs. 25 ata 37)

The 2-epistasis of fitness functions

Autores María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal Martín, Alain Verschoren
Revista BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 76 (páxs. 397 ata 419)

Certified Genetic Algorithms: Crossover Operators for Permutations

Autores 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
Revista Lecture Notes in Computer Science Vol. 4739 (páxs. 282 ata 289)

Generalized Walsh Transforms and Epistasis

Autores María Teresa Iglesias Otero, Concepción Vidal Martín, Alan Verschoren
Revista BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 13 (páxs. 55 ata 68)

Computing epistasis of Template Functions through Walsh Transforms

Autores María Teresa Iglesias Otero, Concepción Vidal Martín, Alain Verschoren
Revista COMPUTING AND INFORMATICS Vol. 24 (páxs. 263 ata 279)

Multary Epistasis

Autores María Teresa Iglesias Otero, Concepción Vidal Martín, Dominique Suys, Alain Verschoren
Revista BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 8 Núm. - (páxs. 651 ata 671)

Epistasis and Unitation

Autores María Teresa Iglesias Otero, Concepción Vidal Martín
Revista COMPUTERS AND ARTIFICIAL INTELLIGENCE Vol. 18 Núm. 5 (páxs. 467 ata 483)

An alternative approach to involutive Brauer Groups

Autores Concepción Vidal Martín
Revista LECTURE NOTES IN PURE AND APPLIED MATHEMATICS Vol. 1 Núm. 197 (páxs. 311 ata 324)

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

Autores Concepción Vidal Martín, A. Verschoren
Revista COMMUNICATIONS IN ALGEBRA Vol. 23 Núm. 7 (páxs. 2597 ata 2619)

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

Autores 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
Editorial Ediciones Paraninfo S.A, Madrid (España)
ISBN 978-84-283-3707-6

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

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

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

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

Symmetric Closed Categories and Involutive Brauer Groups

Autores Concepción Vidal Martín
Libro Ring Theory and Algebraic Geometry
Edita Marcel Dekker.
ISBN: 0-8247-0559-9
Páxinas Desde a 325 ata a 339

Algoritmos genéticos generalizados. Variaciones sobre un tema.

Autor María Teresa Iglesias Otero
Director/es Concepción Vidal Martín;Alain Verschoren
Ámbito Computación
Cualificación Apto

Integrating Temporal Extensions of Answer Set Programming
12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13)
Internacional

Autores Concepción Vidal Martín, Mª Felicidad Aguado Martín, Gilberto Pérez Vega
Lugar Coruña, A (España)

Paving the way for temporal grounding
28th International Conference on Logic Programming ICLP 2012
Internacional

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Martín Diéguez Lodeiro, Gilberto Pérez Vega, Concepción Vidal Martín
Organizador International Conference on Logic Programming ICLP
Lugar Budapest (Hungría)

Fórmulas de ciclo para programas lógicos temporales: una primera aproximación
RSME 11
Internacional

Autores Gilberto Pérez Vega, Mª Felicidad Aguado Martín, Concepción Vidal Martín
Organizador Real Sociedad Matemática Española
Lugar Ávila (España)

Loop formulas for splitable temporal logic programs
11th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR11
Internacional

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Lugar Vancouver (Canadá)

Crossover Operators for Permutations. Equivalence between Position and Order Based Crossover
9th International Conference Computational and Mathematical Methods in Science and Engineering (CMMSE 2009)
Internacional

Autores Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín
Lugar Gijón (España)

Deception, order and epistasis
GEM 2008 - The 2008 International Conference on Genetic and Evolutionary Methods (WORLDCOMP¿08)
Internacional

Autores Concepción Vidal Martín, María Teresa Iglesias Otero, Alain Verschoren
Lugar Las Vegas (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
Internacional

Autores Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Lugar San José (Costa Rica)

Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional

Autores Mª Felicidad Aguado Martín, José Mª Molinelli Barba, Gilberto Pérez Vega, Concepción Vidal Martín, Ana Maria Vieites Rodriguez
Lugar San José (Costa Rica)

Some features about the convergence of a genetic algoritm
ICM2006, International Congress of Mathematicians
Internacional

Autores María Teresa Iglesias Otero, Matilde Ríos, Concepción Vidal Martín
Lugar Madrid (España)

Some features about the convergence process of a Genetic Algorithm.
International Congress of Mathematicians ICM 2006
Internacional

Autores María Teresa Iglesias Otero, Matilde Ríos Fachal, Concepción Vidal Martín
Lugar Madrid (España)

Walsh Transforms, Balanced Sum Theorems and Partition Coefficients over Multary Alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
Internacional

Autores María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal Martín
Lugar Washington (Estados Unidos)

La varianza epistática como medida de optimización en el empleo de Algoritmos Genéticos
I Congreso de Estatística e Investigação Operacional da Galiza e Norte de Portugal
Internacional

Autores Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal Martín
Lugar Guimaraes (Portugal)

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
Internacional

Autores Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal Martín
Lugar Guimaraes (Portugal)

Walsh transforms, balance sum theorems and partition coefficients over multary alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
Internacional

Autores María Teresa Iglesias Otero, Bart Naudths, Alain Verschoren, Concepción Vidal Martín
Lugar Washington (Estados Unidos)

Computing epistasis of template functions with the hyperplane averaging theorem
Meeting on linear algebra and applications (EALA)
Internacional

Autores María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal Martín, Alain Verschoren
Lugar Caparica (Portugal)

Template functions and their Epistasis
MS'2000 International Conference on Modelling and Simulation
Internacional

Autores María Teresa Iglesias Otero, Alain Verschoren, Concepción Vidal Martín
Lugar España

Computing epistasis through Walsh transforms
Quinto Encuentro de Algebra Computacional y Aplicaciones EACA 99
Internacional

Autores María Teresa Iglesias Otero, Concepción Vidal Martín
Lugar Santa Cruz de Tenerife (España)

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

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

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

Autores Concepción Vidal Martín
Lugar Amberes (Bélgica)

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

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

Cargos

Cargos académicos ou de xestión para o/a docente.

Computación

Secretario/a

Desde 17/03/2014 ata 05/04/2017.

Computación

Secretario/a