Sortir del Laberint : un joc per pensar

“Sortir del Laberint” és un joc tipus puzzle, l’objectiu principal del qual és aconseguir que el jugador pugui sortir d’un laberint amb el mínim nombre de passes i el més ràpid possible.

Unraveling the "pressure effect" in nucleation

The influence of the pressure of a chemically inert carrier gas on the nucleation rate is one of the biggest puzzles in the research of gas-liquid nucleation. Experiments can show a positive effect, a negative effect, or no effect at all. The same experiment may show both trends for the same substance depending on temperature, or for different substances at the same temperature. We show how this ambiguous effect naturally arises from the competition of two contributions: nonisothermal effects and pressure-volume work. Our model clarifies seemingly contradictory experimental results and quantifies the variation of the nucleation ability of a substance in the presence of an ambient gas. Our findings are corroborated by molecular dynamics simulations and might have important implications since nucleation in experiments, technical applications, and nature practically always occurs in the presence of an ambient gas.

Adaptació metrològica grega en l'arquitectura ibèrica de Catalunya: Puig de Sant Andreu d'Ullastret i Mas Castellar de Pontós

En el presente artículo se analiza la adopción en el contexto ibérico catalán de los patrones métricos característicos de las colonias griegas del Mediterráneo occidental. La determinación de la unidad de medida constructiva empleada, así como de su aplicación, ha sido posible mediante la identificación de los principios geométricos estructurales de las torres defensivas ibéricas.

How hard is a commercial puzzle: the eternity II challenge

Recently, edge matching puzzles, an NP-complete problem, have received, thanks to money-prized contests, considerable attention from wide audiences. We consider these competitions not only a challenge for SAT/CSP solving techniques but also as an opportunity to showcase the advances in the SAT/CSP community to a general audience. This paper studies the NP-complete problem of edge matching puzzles focusing on providing generation models of problem instances of variable hardness and on its resolution through the application of SAT and CSP techniques. From the generation side, we also identify the phase transition phenomena for each model. As solving methods, we employ both; SAT solvers through the translation to a SAT formula, and two ad-hoc CSP solvers we have developed, with different levels of consistency, employing several generic and specialized heuristics. Finally, we conducted an extensive experimental investigation to identify the hardest generation models and the best performing solving techniques.

PuzleFotoApp

Memòria del projecte final de carrera de l'aplicació PuzleFotoApp. Aquesta aplicació és un joc educatiu (pel sistema operatiu Android) que permet resoldre puzles lliscants.