CABISCOL TEIXIDO, MARIA ALBA

Categoría: TITULAR DE UNIVERSIDAD
Perfil académico: Doctorado
Departamento: INGENIERÍA INDUSTRIAL Y DE LA EDIFICACIÓN
Dirección electrónica: alba.cabiscolteixido@udl.cat

Docencia

Enseñanza Curso Asignatura
Tronco común de las ingenierías industriales - Lleida 1 EXPRESIÓN GRÁFICA I
PARS Enginyeries Industrials 1 EXPRESIÓN GRÁFICA I
Grado en Ingeniería Mecànica 1 EXPRESIÓN GRÁFICA I
Grado en Ingeniería Electrónica Industrial y Automática 1 EXPRESIÓN GRÁFICA I
Grado en Ingeniería de la Energía y Sostenibilidad 1 EXPRESIÓN GRÁFICA I
Doble titulació: Eng Mecànica i Eng. de l'Energia i Sostenibilitat 1 EXPRESIÓN GRÁFICA I
Grado en Ingeniería Mecànica 4 TRABAJO DE FIN DE GRADO
Doble titulació: Eng Mecànica i Eng. de l'Energia i Sostenibilitat 5 TRABAJO DE FIN DE GRADO

Investigación

Grupo de investigación: Logic, Optimization and Robotics(LOR)
Proyectos de investigación Fecha inicio Fecha fin Investigadores principales
Instituciones Electrónicas Autónomas. 01/01/2006 31/12/2008 MARIA TERESA ALSINET BERNADO
Sistemas eficientes de razonamiento automático con información incompleta e imprecisa basados en SAT y CSP: Diseño e implementación 01/01/2010 31/12/2013 RAMON BÉJAR TORRES
Teoria, Aplicaciones y Sinergia en SAT, CSP y FDL 01/01/2011 31/12/2013 CESAR FERNÁNDEZ CAMON
TASSAT 2: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones 01/01/2014 30/06/2017 CARLOS J. ANSOTEGUI GIL
Sistemas de Demostración Prácticos Mas Allá de Resolución. 01/06/2020 29/02/2024 CARLOS J. ANSOTEGUI GIL, JORGE LEVY DÍAZ
Satisfactibilidad y Optimización con Certificados de Prueba más allá de Resolución - Aplicaciones (PROOFS BEYOND-A) 01/09/2023 31/08/2026 CARLOS J. ANSOTEGUI GIL, JORGE LEVY DÍAZ
Lógicas multivaluadas: Algoritmos para SAT y Max-SAT 01/10/2007 30/09/2010 CESAR FERNÁNDEZ CAMON
Lógica multivaluada: Fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión 13/12/2004 12/12/2007 CESAR FERNÁNDEZ CAMON
AGENTS 2011: Model d'aprenentatge dins d'un entorn col·laboratiu 19/10/2010 18/10/2012 JOSEP ARGELICH ROMA
Integració en la plataforma Sakai un sistema automàtic de certificació de solucions 22/10/2010 21/10/2011 CARLOS MATEU PIÑOL
Robocode: Model d'aprenentatge dins un entorn col·laboratiu competitiu. 27/02/2012 26/02/2013 JORDI PLANES CID
Eina de verificació de solucions a problemes de programació com a recurs d'autoaprenentatge (versió 2.0) 28/02/2012 27/02/2013 CARLOS J. ANSOTEGUI GIL
Lógicas multivaluadas y clásica: fundamentos y aplicaciones computacionales 28/12/2001 27/12/2004 FELIPE MAÑA SERRES
Sistema automàtic de verificació de solucions de programes informàtics com a suport a l'aprenentatge i autoavaluació. 30/12/2009 29/12/2010 CARLOS J. ANSOTEGUI GIL
AGENTS: Model d'aprenentatge dins un entorn col·laboratiu. 30/12/2009 29/12/2010 JOSEP ARGELICH ROMA
TASSAT 3: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones (TASSAT3) 30/12/2016 29/12/2020 CARLOS J. ANSOTEGUI GIL
Tesis Año Dirección
Encodings and Benchmarks for Maxsat Solving 2012 Ramon Béjar y Felip Manyà
Publicaciones Año Autores Tipo
Encodings and benchmarks for MaxSAT solving 2015 Cabiscol A Article en premsa
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT 2012 Argelich J;Cabiscol A;Lynce I;Manyà F Article d'investigació
Expressió Gràfica I: Pràctiques de CAD 2010 Cabiscol A.; Salvador S. Apunts docents
Exercicis d'Expressió Gràfica I: Dibuix Industrial: Normalització 2010 Cabiscol A.; Salvador S. Apunts docents
Exercicis d'Expressió Gràfica I: Sistema Dièdric 2010 Cabiscol A; Salvador S. Apunts docents
Problemes d'Expressió Gràfica. Segon semestre 2010 Cabiscol A, Sol S Apunts docents
Apunts de Sistema Dièdric 2010 Cabiscol A; Salvador S. Apunts docents
Apunts de Geomètric 2010 Cabiscol A; Salvador S Apunts docents
Apunts d'Introducció a l'Expressió Gràfica 2010 Cabiscol A; Salvador S Apunts docents
New Insights into Encodings from MaxCSP into Partial MaxSAT 2010 Argelich J; Cabiscol A; Lynce I; Manyà F Capítol de llibre d'investigació
New Insights into Encodings from MaxCSP into Partial MaxSAT 2010 Argelich J., Cabiscol A., Lynce I., Manyà F. Article d'investigació
Expressio Gràfica i DAO Bloc IV: Normalització. Dibuix Industrial 2009 Cabiscol A, Sol S Apunts docents
Pràctiques de CAD 2009 Cabiscol A, Pérez G, Sol S Apunts docents
Generating Hard Instances for MaxSAT 2009 Béjar R, Cabiscol A, Manyà F, Planes J. Article d'investigació
Regular Encodings from Max-CSP into Partial Max-SAT 2009 Argelich J, Cabiscol A, Lynce I, Manyà F. Article d'investigació
Sequential Encodings from Max-CSP into Partial Max-SAT 2009 Argelich J,Cabiscol A,Lynce I, Manyà F. Article d'investigació
Solucions de Problemes: Quadern-EPS-num:113 2009 Cabiscol A. Publicació electrònica docent
Transparències: Sistema Dièdric 2009 Cabiscol A. Publicació electrònica docent
Regular Encodings from Max-CSP into Partial Max-SAT 2009 Argelich J, Cabiscol A, Lynce I, Manyà F. Capítol de llibre d'investigació
Generating Hard Instances for MaxSAT 2009 Béjar R, Cabiscol A, Manyà F, Planes J. Capítol de llibre d'investigació
Expressio Gràfica i Disseny Assistit per Ordinador. Problemes. 2on semestre 2008 Cabiscol A, Pérez G, Sol S Apunts docents
Expressio Gràfica i Disseny Assistit per Ordinador. Pràctiques de CAD 2008 Cabiscol A, Pérez G, Sol S Apunts docents
Encoding Max-CSP into Partial Max-SAT 2008 Argelich J, Cabiscol A, Lynce I, Manyà F. Capítol de llibre d'investigació
Modelling Max-CSP as Partial Max-SAT 2008 Argelich J, Cabiscol A, Lynce I, Manyà F Article d'investigació
Encoding Max-CSP into Partial Max-SAT 2008 Argelich J, Cabiscol A, Lynce I, Manyà F. Article d'investigació
Regular-SAT: A many-valued approach to solving combinatorial problems 2007 Béjar R, Manyà F, Cabiscol A, Fernández C, Gomes C. Article d'investigació
Introducció a la normalització 2007 Cabiscol A Publicació electrònica docent
Exercicis Dibuix Industrial: Enunciats i Solucions 2007 Cabiscol A Publicació electrònica docent
Expressio Gràfica i Disseny Assistit per Ordinador. Pràctiques de CAD 2006 Cabiscol A, Perez G. Apunts docents
Expressio Gràfica i Disseny Assistit per Ordinador. Teoria. 2on semestre 2006 Cabiscol A, Perez G. Apunts docents
Expressio Gràfica i Disseny Assistit per Ordinador. Problemes. 2on semestre 2006 Cabiscol A, Perez G. Apunts docents
Expressio Gràfica i Disseny Assistit per Ordinador. Teoria. 1er semestre 2005 Cabiscol A, Perez G. Apunts docents
Expressio Gràfica i Disseny Assistit per Ordinador. Pràctiques. 1er semestre 2005 Cabiscol A, Perez G. Apunts docents
Geometria Descriptiva. Sistemes de representació 2004 Cabiscol A, Pérez G Apunts docents
Introducció a l'Expressió Gràfica 2004 Cabiscol A, Pérez G Apunts docents
The interface between P and NP in Many-Valued Clausal Forms 2004 Ansótegui C, Béjar R, Cabiscol A, Manyà F. Capítol de llibre d'investigació
The Interface between P and NP in Signed CNF Formulas 2004 Ansótegui C, Béjar R, Cabiscol A, Manyà F. Capítol de llibre d'investigació
The interface between P and NP in Many-Valued Clausal Forms 2004 Ansótegui C, Béjar R, Cabiscol A, Manyà F. Article d'investigació
The Interface between P and NP in Signed CNF Formulas 2004 Ansotegui C, Béjar R, Cabiscol A, Manyà F. Article d'investigació
Dibuix Geomètric 2004 Cabiscol A Apunts docents
Transparències d'Expressió Gràfica: Bloc IV 2004 Cabiscol A Publicació electrònica docent
Transparències d'Expressió Gràfica: Bloc I-II 2004 Cabiscol A Publicació electrònica docent
Cortes, Secciones y Roturas 2004 Cabiscol A Publicacions Multimèdia docents
Pràctiques de Disseny Assistit per Ordinador 2004 Cabiscol A Apunts docents
Problemes d'Expressió Gràfica. Bloc I-II-III 2004 Cabiscol A Apunts docents
Problemes d'Expressió Gràfica. Bloc IV 2004 Cabiscol A, Pérez G Apunts docents
Dibuix Industrial. Normalització 2004 Cabiscol A, Pérez G Apunts docents
Minimal and Redundant SAT Encodings for the All-Interval-Series Problem 2002 Alsinet T, Béjar R, Cabiscol A, Fernàndez C, Manyà F. Article d'investigació
Resolución de problemas en ingeniería utilizando técnicas de inteligencia artificial 2002 Ansótegui C, Béjar R, Cabiscol A, Manyà F. Article d'investigació
Obtención de modelos 3D a partir de proyecciones axonométricas 2002 Béjar R, Cabiscol A, Fernández C, López M, Manyà F. Article d'investigació
Extending the Reach of SAT with Many-Valued Logics 2001 Béjar R;Cabiscol A;Fernández C;Manyà F; Gomes C Article d'investigació
Capturing Structure with Satisfiability 2001 Béjar R, Cabiscol A, Fernández, Manyà F, Gomes C. Article d'investigació
Resolución de problemas de Scheduling utilizando fórmulas multivaluadas 2000 Béjar R, Cabiscol A, Manyà F. Article d'investigació
Planificació Estratègica a la Universitat de Lleida 1999 Porta, Barragan, Barroso, Cabiscol, Clarià, Chavarriga, Galcerán, Garriga, Gené, Giné, Gràcia, Illa, Llorca, Miret, Palacín, Ribó, Roig, Rosell-Urrutia, Rosell-Polo, Ruestes, Salvador, Sendin, Villar, Altres llibres