7059 research outputs found
Sort by
Constraint Programming with JuMP
No full textBenoit Legat is from the Catholic University of Louvain, Belgium. This tutorial provides a comprehensive guide to solving constraint programming problems using JuMP, a domain-specific modeling language for mathematical optimization in Julia. JuMP supports a wide range of solvers including SAT, CP (both Constraint Programming and Conic Programming), and Mixed-Integer Linear Programming (MILP) solvers, all accessible through a unified interface. One of JuMP's key features is its powerful constraint reformulation mechanism, which allows users and solvers to define new constraint types and reformulations or to disable existing ones. JuMP's automatic reformulation process involves solving a shortest path problem within a hypergraph that represents all possible constraint types and their reformulations. This innovative approach enables users to effectively explore and experiment with different reformulations, ensuring the appropriate model is communicated to the solver. JuMP also implements an interface with MiniZinc which allows it to use any solver that MiniZinc supports. We also show how to use callbacks with MILP solvers, an essential feature to combine the generic heuristic of the solver with the user problem-specific knowledge. During the tutorial, we go through several examples to illustrate each aspect of the talk7766.mp4
7766.mp
Exponential steepest ascent from valued constraint graphs of pathwidth four
No full textMelle van Marle from the University of Utrecht, Holland, tells us about the complexity of maximising fitness via local search on valued constraint satisfaction problems (VCSPs). We consider two kinds of local ascents: (1) steepest ascents, where each step changes the domain that produces a maximal increase in fitness; and(2) -ordered ascents, where -- of the domains with available fitness increasing changes -- each step changes the -minimal domain. We provide a general padding argument to simulate any ordered ascent by a steepest ascent. We construct a VCSP that is a path of binary constraints between alternating 2-state and 3-state domains with exponentially long ordered ascents. We apply our padding argument to this VCSP to obtain a Boolean VCSP that has a constraint (hyper)graph of arity 5 and pathwidth 4 with exponential steepest ascents. This is an improvement on the previous best known construction for long steepest ascents, which had arity 8 and pathwidth 77779.mp4
7779.mp
Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination
No full textNeng-Fa Zhou, from the City University of New York, presents a SAT encoding, called vertex elimination encoding (VEE), for the Hamiltonian Cycle Problem (HCP). The encoding maps a Hamiltonian cycle in the reduced graph after vertex elimination to a Hamiltonian cycle in the original graph. While VEE is not competitive for large dense graphs due to its large encoding sizes, it can be utilized to reduce graphs when they are sparse. This paper compares VEE with the distance encoding, and shows that the hybridization of these two encodings is effective for the benchmarks. For the knight's tour problem, in particular, the hybrid encoding solves some middle-sized instances that were beyond the reach for previous eager SAT encodings7781.mp4
7781.mp
Entrevista a Antoni Domènech
No full textEntrevista a Antoni Domènech, emmarcada dins la col·lecció d’Entrevistes a Mestres Exiliats.
Antoni Domènech és un destacat educador i pedagog català, reconegut pel seu compromís amb la innovació educativa i la millora del sistema d'ensenyament. La seva obra es centra en la importància d'un model d'ensenyament que promogui el pensament crític i la creativitat dels alumnes, així com l'ús de metodologies actives que fomentin la participació i l'aprenentatge significatiu. Domènech ha contribuït a la formació de docents i a l’elaboració de materials pedagògics, defensant la idea que l’educació ha de ser un procés adaptat a les necessitats i interessos de cada estudiant. El seu llegat pedagògic continua influenciant les pràctiques educatives contemporànies, destacant la importància d'una educació inclusiva i accessible per a tots.7716.mp4
7716.mp
La vida humana com a vida cíclica des de l'autoconeixement
No full textNúria Beitia Hernández, professora col·laboradora de la Universitat de Barcelona, presenta en el XXIè Seminari Internacional de Cultura Escrita i Visual Josep Arnall Juan la conferència titulada"La vida humana com a vida cíclica des de l'autoconeixement". En aquesta, aborda la "creació i recreació de la vida", evitant deliberadament el terme "reproducció", al qual atribueix connotacions capitalistes. Beitia desenvolupa diversos conceptes relacionats amb la sexualitat, com el plaer, el desplaer, la libido, el descobriment i la comunicació. Explica com els processos fisiològics femenins han estat excessivament medicalitzats, construint-se així un imaginari de perill al voltant del part natural. Això ha conduït al control dels cossos femenins i a la cosificació del part, que defensa com un procés sexual i natural amb la seva pròpia temporalitat, que hauria de ser viscut amb llibertat, comoditat i intimitat. Afirma que "a les dones ens han pres el part". Beitia destaca el rol de la llevadora, que considera la "veritable professió més antiga del món", especialment rellevant quan el part és fisiològic, ja que "el part no es fa, sinó que s'acompanya". A més, posa èmfasi en el fet de néixer, citant Maria Zambrano: "abans que mortals som nascudes i nascuts". Finalment, reivindica la necessitat de models anatòmics que reflecteixin altres corporalitats, mostrant una nina que pareix, expulsa la placenta i alleta, així com imatges de diferents postures de part. Conclou que en l'experiència femenina "es col·loca la submissió a través del dolor", mentre que la corporalitat masculina es defineix per la imatge i unes pràctiques sexuals sovint exagerades i frustrants. Insisteix en la necessitat d'un canvi en la visió de la corporalitat, tant femenina com masculina, en el marc de la creació i recreació de la vida.7905.mp4
7905.mp33451
Entrevista a Berta Vidal
No full textEntrevista de Dolors Vidal Casellas, directora de la Càtedra de Gastronomia, Cultura i Turisme Calonge i Sant Antoni de la Universitat de Girona, a Berta Vidal, en el marc del Gran Dinar d'Aprofitament celebrat a Girona el 5 d'octubre del 2024. La Berta Vidal, responsable de coneixement i recerca de la Fundació Espigoladors, ens explica com des d'aquesta associació lluiten per l’aprofitament dels aliments7908.mp4
7908.mp32101
Entrevista a Carmina Nogareda
No full textEntrevista de Dolors Vidal Casellas, directora de la Càtedra de Gastronomia, Cultura i Turisme Calonge i Sant Antoni de la Universitat de Girona, a Carmina Nogareda, en el marc del Gran Dinar d'Aprofitament celebrat a Girona el 5 d'octubre del 2024. La senyora Carme Nogareda, responsable del Banc dels aliments de la zona de La Selva i el Baix Empordà explica com gestionen les sobres d'aliments de grans empreses i restaurants així com també l'aprofitament de la feina dels espigoladors. Ens explica com gestionen i el Gran Recapte d'Aliments7913.mp4
7913.mp321
Producción de aceites microbianos (sco) para su uso como ingrediente alimentario: Fermentación a partir de lípidos por medio del proceso ex-novo de Yarrowia lipotílica
No full textPresentació del Treball de fi de Màster a càrrec de Xabier Martínez Virto sobre la producció d'olis microbians (SCO) per al seu ús com a ingredient alimentari: fermentació a partir de lípids per mitjà del procés ex-novo de Yarrowia lipolytica7960.mp4
7960.mp
Aprenentatge basat en problemes. Cas: la Martina a la consulta d’atenció primària
No full textSimulació d’un cas a la consulta d'atenció primària per treballar l’aprenentatge basat en problemes (ABP) al Grau d’Infermeria i al Grau de Medicina. S’hi proposa una situació de consulta en què l’infermer o infermera i el metge o metgessa es troben una persona que presenta simptomatologia psiquiàtrica i alhora es pot generar una sospita de violència masclista. El cas genera una introducció cap als conceptes de violència masclista i els aspectes que envolten aquesta violència, i com afecta la violència masclista a la salut mental de les donesSimulación de un caso en la consulta de atención primaria para trabajar el aprendizaje basado en problemas (ABP) en el Grado de Enfermería y en el Grado de Medicina. Se propone una situación de consulta en la que el enfermero o enfermera y el médico se encuentran una persona que presenta sintomatología psiquiátrica y al mismo tiempo se puede generar una sospecha de violencia machista. El caso genera una introducción hacia los conceptos de violencia machista y los aspectos que rodean a esta violencia, y cómo afecta la violencia machista a la salud mental de las mujeres7948-cat.mp4
7948-spa.mp4
7948.mp3