Grau en Enginyeria Mecànica

Universitat de Lleida

Escola Politècnica Superior

Inici Pla d’estudis Professorat Detall

CABISCOL TEIXIDO, MARIA ALBA

Categoria: TITULAR D'UNIVERSITAT

Perfil acadèmic: Doctorat

Departament: ENGINYERIA INDUSTRIAL I DE L'EDIFICACIÓ

Adreça electrònica: 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 Mecànica - UdL	1	EXPRESSIÓ GRÀFICA I
Grau en Enginyeria Electrònica Industrial i Automàtica - UdL	1	EXPRESSIÓ GRÀFICA I
Grau en Enginyeria de l'Energia i Sostenibilitat - 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
Doble titulació: Grau en Eng. Mecànica i Eng. de l'Energia i Sostenibilitat	5	TREBALL DE FI DE GRAU

Recerca

Grup de recerca: Logic, Optimization and Robotics(LOR)

Projectes de recerca	Data inici	Data fi	Investigadors principals
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	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ó
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