Grado en Ingeniería de la Energía y Sostenibilidad

Universitat de Lleida

Escola Politècnica Superior

Inicio Plan de estudios Profesorado Detall

CABISCOL TEIXIDO, MARIA ALBA

Categoría: TITULAR DE UNIVERSIDAD

Perfil académico: Doctorado

Departamento: INFORMATICA E INGENIERIA INDUSTRIAL

Email: alba.cabiscolteixido@udl.cat

Docencia

Enseñanza	Curso	Asignatura
Tronco común de las ingenierías industriales - Lleida	1	EXPRESIÓN GRÁFICA I
Grado en Ingeniería de la Energía y Sostenibilidad	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
Doble titulació: Eng Mecànica i Eng. de l'Energia i Sostenibilitat	1	EXPRESIÓN GRÁFICA I

Investigación

Grupo de investigación: Logic, Optimization and Robotics(LOR)

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ó
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
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ó
Solucions de Problemes: Quadern-EPS-num:113	2009	Cabiscol A.	Publicació electrònica docent
Sequential 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.	Article 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 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ó
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