CABISCOL TEIXIDO, MARIA ALBA

Categoria: TITULAR D'UNIVERSITAT
Perfil acadèmic: Doctorat
Departament: ENGINYERIA INDUSTRIAL I DE L'EDIFICACIÓ
Email: alba.cabiscolteixido@udl.cat

Docència

Ensenyament Curs Assignatura
Tronc comú de les enginyeries industrials - Lleida 1 EXPRESSIÓ GRÀFICA I
PARS Enginyeries Industrials 1 EXPRESSIÓ GRÀFICA I
Grau en Enginyeria de l'Energia i Sostenibilitat - UdL 1 EXPRESSIÓ GRÀFICA I
Grau en Enginyeria Mecànica - UdL 1 EXPRESSIÓ GRÀFICA I
Grau en Enginyeria Electrònica Industrial i Automàtica - UdL 1 EXPRESSIÓ GRÀFICA I
Doble titulació: Grau en Eng. Mecànica i Eng. de l'Energia i Sostenibilitat 1 EXPRESSIÓ GRÀFICA I
Grau en Enginyeria Mecànica - UdL 4 TREBALL DE FI DE GRAU

Recerca

Grup de recerca: Logic, Optimization and Robotics(LOR)
Projectes de recerca Data inici Data fi Investigadors principals
AGENTS: Model d'aprenentatge dins un entorn col·laboratiu. 30/12/2009 29/12/2010 JOSEP ARGELICH ROMA
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
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
Instituciones Electrónicas Autónomas. 01/01/2006 31/12/2008 MARIA TERESA ALSINET BERNADO
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
TASSAT 3: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones (TASSAT3) 30/12/2016 29/12/2020 CARLOS J. ANSOTEGUI GIL
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
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
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 y clásica: fundamentos y aplicaciones computacionales 28/12/2001 27/12/2004 FELIPE MAÑA SERRES
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
Lógicas multivaluadas: Algoritmos para SAT y Max-SAT 01/10/2007 30/09/2010 CESAR FERNÁNDEZ CAMON
Robocode: Model d'aprenentatge dins un entorn col·laboratiu competitiu. 27/02/2012 26/02/2013 JORDI PLANES CID
Integració en la plataforma Sakai un sistema automàtic de certificació de solucions 22/10/2010 21/10/2011 CARLOS MATEU PIÑOL
AGENTS 2011: Model d'aprenentatge dins d'un entorn col·laboratiu 19/10/2010 18/10/2012 JOSEP ARGELICH ROMA
Tesis Any Direcció
Encodings and Benchmarks for Maxsat Solving 2012 Ramon Béjar y Felip Manyà
Publicacions Any Autors Tipus
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ó
New Insights into Encodings from MaxCSP into Partial MaxSAT 2010 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
New Insights into Encodings from MaxCSP into Partial MaxSAT 2010 Argelich J; Cabiscol A; Lynce I; Manyà F Capítol de llibre d'investigació
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
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
Problemes d'Expressió Gràfica. Segon semestre 2010 Cabiscol A, 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ó
Regular Encodings from Max-CSP into Partial Max-SAT 2009 Argelich J, Cabiscol A, Lynce I, Manyà F. Capítol de llibre d'investigació
Transparències: Sistema Dièdric 2009 Cabiscol A. Publicació electrònica docent
Solucions de Problemes: Quadern-EPS-num:113 2009 Cabiscol A. Publicació electrònica docent
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 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
Sequential Encodings from Max-CSP into Partial Max-SAT 2009 Argelich J,Cabiscol A,Lynce I, Manyà F. Article d'investigació
Modelling Max-CSP as Partial Max-SAT 2008 Argelich J, Cabiscol A, Lynce I, Manyà F Article 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. Article d'investigació
Encoding Max-CSP into Partial Max-SAT 2008 Argelich J, Cabiscol A, Lynce I, Manyà F. Capítol de llibre d'investigació
Exercicis Dibuix Industrial: Enunciats i Solucions 2007 Cabiscol A Publicació electrònica docent
Introducció a la normalització 2007 Cabiscol A Publicació electrònica docent
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ó
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. 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. 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
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ó
Dibuix Geomètric 2004 Cabiscol A 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. 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ó
Transparències d'Expressió Gràfica: Bloc IV 2004 Cabiscol A Publicació electrònica docent
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ó
Geometria Descriptiva. Sistemes de representació 2004 Cabiscol A, Pérez G Apunts docents
Dibuix Industrial. Normalització 2004 Cabiscol A, Pérez G Apunts docents
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 IV 2004 Cabiscol A, Pérez G Apunts docents
Problemes d'Expressió Gràfica. Bloc I-II-III 2004 Cabiscol A 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ó
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ó
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ó
Capturing Structure with Satisfiability 2001 Béjar R, Cabiscol A, Fernández, Manyà F, Gomes C. 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ó
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