7059 research outputs found
Sort by
Misión exploratoria de visualización raster serverless: COG en Maplibre y más allá
No full textConferència de l'empresa geomatico en el marc de les 17enes Jornades de SIG Lliure 2024 organitzades pel SIGTE de la Universitat de Girona. Va tractar de com aprofitar i tractar els fitxers geotiff i raster per obtenir nous productes. Més enllà dels programes Mapbox, Maplibre o Deck.gl s'exploren les possibilitats de consumir i visualitzar dades en format raster des del núvolLa conferència que l'empresa geomatico va oferir dins les Jornades de SIGLliure 2024 va tractar de com aprofitar i tractar els fitxers geotiff i raster per obtenir nous productes7622.mp4
7622.mp3
Tort Law Reform in Spain
No full textPonència de Miquel Martín Casals, professor de Dret Civil a la Universitat de Girona, sobre la Reforma de la llei de danys a Espanya7687.mp4
7687.mp
Structure-guided local improvement for maximum satisfiability
No full textStefan Szeider, from the Vienna University of Technology tells that the enhanced performance of today’s MaxSAT solvers has elevated their appeal for many large-scale applications, notably in software analysis and computer-aided design. Our research delves into refining anytime MaxSAT solving by repeatedly identifying and solving with an exact solver smaller subinstances that are chosen based on the graphical structure of the instance. We investigate various strategies to pinpoint these subinstances. This structure-guided selection of subinstances provides an exact solver with a high potential for improving the current solution. Our exhaustive experimental analyses contrast our methodology as instantiated in our tool MaxSLIM with previous studies and benchmark it against leading-edge MaxSAT solversStefan Szeider, de la Universitat Tècnica de Viena, explica que el rendiment millorat dels solucionadors MaxSAT actuals ha augmentat el seu atractiu per a moltes aplicacions a gran escala, especialment en l'anàlisi de programari i el disseny assistit per ordinador. La seva investigació aprofundeix en perfeccionar en qualsevol moment la resolució de MaxSAT7731.mp4
7731.mp
Early Career Award. Enhancing constraint programming with machine learning: current challenges and future opportunities
No full textQuentin Cappart from the Polytechnic University of Milan tells about the Constraint programming (CP) that is a well-established method for tackling combinatorial problems. Traditionally, CP has focused on solving isolated problem instances, often overlooking the fact that these instances frequently originate from related data distributions. In recent years, there has been a growing interest in leveraging machine learning, particularly neural networks, to enhance CP solvers by utilizing historical data. Despite this interest, it remains unclear how to effectively integrate learning into CP engines to boost overall performance. In this presentation, I will share my journey in tackling this challenge, from my initial attempts to my current research directions. I will offer personal advice for researchers interested in exploring this fascinating field, highlighting the potential and opportunities for integrating machine learning with constraint programming7739.mp4
7739.mp
Efficient Implementation of the Global Cardinality Constraint with Costs
No full textMargaux Schmied from the University of Côte d'Azur, France, tells us that the success of Constraint Programming relies partly on the global constraints and implementation of the associated filtering algorithms. Recently, new ideas emerged to improve these implementations in practice, especially regarding the all different constraint. In this paper, we consider the cardinality constraint with costs. The cardinality constraint is a generalization of the all different constraint that specifies the number of times each value must be taken by a given set of variables in a solution. The version with costs introduces an assignment cost and bounds the total sum of assignment costs. The arc consistency filtering algorithm of this constraint is difficult to use in practice, as it systematically searches for many shortest paths. We propose a new approach that works with upper bounds on shortest paths based on landmarks. This approach is fast and avoids, in practice, a large number of explicit computations of shortest paths7768.mp4
7768.mp
Minizinc Challenge Results
No full textPeter Stuckey show the results of the MiniZinc Challenge. This is an annual competition of constraint programming solvers on a variety of benchmarks. It has been held every year since 2008, with the winners being announced at the annual International Conference on Principles and Practice of Constraint Programming7771.mp4
7771.mp
Aprenentatge basat en problemes. Segona tutoria: aportació de la informació per a la resolució dels objectius = Aprendizaje basado en problemas. Segunda tutoría: aportación de información para la resolución de los objetivos
No full textSegona tutoria d'un escenari d'ABP a càrrec del professor David Cámara Liébana i alumnes de 2n curs del Grau d'Infermeria. En aquesta sessió es fa recordatori dels objectius formulats en la sessió anterior i s'identifiquen les fonts d'informació consultades per a la resolució de cada objectiu7712.mp4
7712.mp3
Entrevista a Rafael Ponsatí
No full textEntrevista a Rafael Ponsatí, emmarcada dins la col·lecció d’Entrevistes a Mestres Exiliats.
Rafael Ponsatí i Terradas va ser un important educador i pedagog català que es va destacar pel seu compromís amb una educació transformadora i innovadora, centrada en l’alumne i en la seva capacitat crítica. Va defensar la necessitat d’un sistema educatiu que promogués el pensament autònom i la participació activa, inspirant a molts mestres a adoptar metodologies més interactives. A més, va escriure diverses obres sobre pedagogia, aportant reflexions sobre l'ensenyament i l'aprenentatge, així com sobre la importància de la formació contínua per als educadors. El seu llegat pedagògic continua sent referent en l’àmbit educatiu català, destacant la rellevància d'una educació que fomenti valors com la solidaritat i la creativitat.7714.mp4
7714.mp3
Intervenció de Irene de Puig
No full textIntervenció de Irene de Puig, directora del Grup d'Innovació i Recerca per a l'Ensenyament de la Filosofia (IREF), en l'acte d'homenatge a Josep Maria Terricabras, celebrat el 9 d'octubre del 2024, a l’Aula Magna Modest Prats de l'edifici de Sant Domènec, al campus de Barri Vell de la Universitat de Girona7817.mp4
7817.mp3
Intervenció d'Imma Merino
No full textIntervenció d'Imma Merino, periodista i professora de comunicació de la Universitat de Girona, en l'acte d'homenatge a Josep Maria Terricabras, celebrat el 9 d'octubre del 2024, a l’Aula Magna Modest Prats de l'edifici de Sant Domènec, al campus de Barri Vell de la Universitat de Girona7824.mp4
7824.mp3